Attributes | Values |
---|
rdf:type
| |
Description
| - Stanse is an automatic error-finding tool based on static analysis. The target language is C (ANSI C99), but extensible to C#/C++/Java. Stanse currently supports full ANSI C99, including most GNU C extensions. The main design goals are modular structure, easy extensibility, fast development. The tool also provides an easy to use interface and error path inspection. There are multiple ways to specify the input, including Makefile support and batch execution.
- Stanse is an automatic error-finding tool based on static analysis. The target language is C (ANSI C99), but extensible to C#/C++/Java. Stanse currently supports full ANSI C99, including most GNU C extensions. The main design goals are modular structure, easy extensibility, fast development. The tool also provides an easy to use interface and error path inspection. There are multiple ways to specify the input, including Makefile support and batch execution. (en)
|
Title
| - Stanse - Static Analysis Framework for C Code
- Stanse - Static Analysis Framework for C Code (en)
|
skos:prefLabel
| - Stanse - Static Analysis Framework for C Code
- Stanse - Static Analysis Framework for C Code (en)
|
skos:notation
| - RIV/00216224:14330/08:00028001!RIV10-MSM-14330___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216224:14330/08:00028001
|
http://linked.open...terniIdentifikace
| |
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - static analysis; software verification; C language; bug finding (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open.../licencniPoplatek
| |
http://linked.open...okalizaceVysledku
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...vavai/riv/projekt
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...echnickeParametry
| - Nástroj pro automatickou statickou analýzu programů v jazyce C. Implementováno v jazyce Java 6.0 (multiplatformní), CLI a GUI rozhraní.
|
http://linked.open...iv/tvurceVysledku
| - Obdržálek, Jan
- Trtík, Marek
- Slabý, Jiří
|
http://linked.open...avai/riv/vlastnik
| |
http://linked.open...itiJinymSubjektem
| |
http://localhost/t...ganizacniJednotka
| |