About: Csmith

An Entity of Type: software, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Csmith is a test case generation tool. It can generate random C programs that statically and dynamically conform to the C99 standard. It is used for stress-testing compilers, static analyzers, and other tools that process C code. It is a free, open source, permissively licensed C compiler fuzzer developed by researchers at the University of Utah. It was previously called Randprog.

Property Value
dbo:abstract
  • Csmith is a test case generation tool. It can generate random C programs that statically and dynamically conform to the C99 standard. It is used for stress-testing compilers, static analyzers, and other tools that process C code. It is a free, open source, permissively licensed C compiler fuzzer developed by researchers at the University of Utah. It was previously called Randprog. (en)
dbo:author
dbo:genre
dbo:latestReleaseDate
  • 2017-06-21 (xsd:date)
dbo:latestReleaseVersion
  • 2.3.0
dbo:license
dbo:programmingLanguage
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 53667286 (xsd:integer)
dbo:wikiPageLength
  • 1590 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1015246246 (xsd:integer)
dbo:wikiPageWikiLink
dbp:author
  • Xuejun Yang, Yang Chen, Eric Eide, John Regehr (en)
dbp:genre
  • Compiler fuzzer (en)
dbp:latestReleaseDate
  • 2017-06-21 (xsd:date)
dbp:latestReleaseVersion
  • 2.300000 (xsd:double)
dbp:license
dbp:name
  • Csmith (en)
dbp:programmingLanguage
dbp:repo
dbp:website
dbp:wikiPageUsesTemplate
dcterms:subject
rdf:type
rdfs:comment
  • Csmith is a test case generation tool. It can generate random C programs that statically and dynamically conform to the C99 standard. It is used for stress-testing compilers, static analyzers, and other tools that process C code. It is a free, open source, permissively licensed C compiler fuzzer developed by researchers at the University of Utah. It was previously called Randprog. (en)
rdfs:label
  • Csmith (en)
owl:sameAs
prov:wasDerivedFrom
foaf:homepage
foaf:isPrimaryTopicOf
foaf:name
  • Csmith (en)
is dbo:knownFor of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License