About: Stanse - Static Analysis Framework for C Code     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
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
  • P(1M0545)
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
  • 397189
http://linked.open...ai/riv/idVysledku
  • RIV/00216224:14330/08:00028001
http://linked.open...terniIdentifikace
  • Stanse 0.8
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
  • [9A32E68F0889]
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
  • 14330
is http://linked.open...avai/riv/vysledek of
Faceted Search & Find service v1.16.118 as of Jun 21 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software