{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:48:51Z","timestamp":1740098931189,"version":"3.37.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319662657"},{"type":"electronic","value":"9783319662664"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66266-4_13","type":"book-chapter","created":{"date-parts":[[2017,8,15]],"date-time":"2017-08-15T22:33:31Z","timestamp":1502836411000},"page":"197-212","source":"Crossref","is-referenced-by-count":1,"title":["Benchmarking Static Code Analyzers"],"prefix":"10.1007","author":[{"given":"J\u00f6rg","family":"Herter","sequence":"first","affiliation":[]},{"given":"Daniel","family":"K\u00e4stner","sequence":"additional","affiliation":[]},{"given":"Christoph","family":"Mallon","sequence":"additional","affiliation":[]},{"given":"Reinhard","family":"Wilhelm","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,17]]},"reference":[{"key":"13_CR1","unstructured":"AbsInt Angewandte Informatik GmbH: Astr\u00e9e. http:\/\/www.astree.de"},{"key":"13_CR2","unstructured":"AdaCore: CodePeer. http:\/\/www.adacore.com\/codepeer"},{"key":"13_CR3","unstructured":"DARPA - Defense Advanced Research Projects Agency: Space\/Time Analysis for Cybersecurity (STAC). http:\/\/www.darpa.mil\/program\/space-time-analysis-for-cybersecurity"},{"key":"13_CR4","unstructured":"Deutsch, A.: Static verification of dynamic properties. In: ACM SIGAda 2003 Conference (2003)"},{"key":"13_CR5","unstructured":"ETAPS\/TAPAS: Competition on Software Verification (SV-COMP). http:\/\/sv-comp.sosy-lab.org\/2017\/"},{"key":"13_CR6","unstructured":"GrammaTech: CodeSonar. http:\/\/www.grammatech.com\/products\/codesonar"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"K\u00e4stner, D., Min\u00e9, A., Mauborgne, L., Rival, X., Feret, J., Cousot, P., Schmidt, A., Hille, H., Wilhelm, S., Ferdinand, C.: Finding all potential runtime errors and data races in automotive software. In: SAE World Congress 2017. SAE International (2017)","DOI":"10.4271\/2017-01-0054"},{"key":"13_CR8","unstructured":"Lu, S., Li, Z., Qin, F., Tan, L., Zhou, P., Zhou, Y.: BugBench: benchmarks for evaluating bug detection tools. In: Workshop on the Evaluation of Software Defect Detection Tools (2005)"},{"key":"13_CR9","unstructured":"Martin, R., Christey, S., Jarzombek, J.: The case for common flaw enumeration. In: NIST Workshop on Software Security Assurance Tools, Techniques, and Methods, Long Beach, California, USA, November 2015. http:\/\/cwe.mitre.org\/documents\/case_for_cwes.pdf"},{"key":"13_CR10","unstructured":"Mathworks: Polyspace Bug Finder. http:\/\/www.mathworks.com\/products\/polyspace-bug-finder.html"},{"key":"13_CR11","unstructured":"Mathworks: Polyspace Code Prover. http:\/\/www.mathworks.com\/products\/polyspace-code-prover.html"},{"key":"13_CR12","unstructured":"Min\u00e9, A., Mauborgne, L., Rival, X., Feret, J., Cousot, P., K\u00e4stner, D., Wilhelm, S., Ferdinand, C.: Taking static analysis to the next level: proving the absence of run-time errors and data races with Astr\u00e9e. In: Embedded Real Time Software and Systems Congress ERTS2 (2016)"},{"key":"13_CR13","unstructured":"MISRA-C:2004 - Guidelines for the use of the C language in critical systems (2004)"},{"key":"13_CR14","unstructured":"MISRA-C:2012 - Guidelines for the use of the C language in critical systems (2013)"},{"key":"13_CR15","unstructured":"NIST - National Institute of Standards and Technology: Juliet Suite for C\/C++. http:\/\/samate.nist.gov\/SRD\/view.php?tsID=86"},{"key":"13_CR16","unstructured":"NIST - National Institute of Standards and Technology: SAMATE - Software Assurance Metrics And Tool Evaluation. http:\/\/samate.nist.gov\/Main_Page.html"},{"issue":"6","key":"13_CR17","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1109\/MC.2006.212","volume":"39","author":"GJ Holzmann","year":"2006","unstructured":"Holzmann, G.J.: The power of 10: rules for developing safety-critical code. Computer 39(6), 95\u201397 (2006). NASA\/JPL Laboratory for Reliable Software. http:\/\/dx.doi.org\/10.1109\/MC.2006.212","journal-title":"Computer"},{"key":"13_CR18","unstructured":"Rogue Wave Software: Klocwork\u2122. http:\/\/www.klocwork.com"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Shiraishi, S., Mohan, V., Marimuthu, H.: Test suites for benchmarks of static analysis tools. In: 2015 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Gaithersburg, MD, USA, pp. 12\u201315, 2\u20135 November 2015. http:\/\/dx.doi.org\/10.1109\/ISSREW.2015.7392027","DOI":"10.1109\/ISSREW.2015.7392027"},{"key":"13_CR20","unstructured":"Software Engineering Institute, Carnegie Mellon University: CERT Secure Coding Validation Suite. http:\/\/www.cert.org\/secure-coding\/tools\/validation-suite.cfm"},{"key":"13_CR21","unstructured":"Synopsys: Coverity. http:\/\/www.synopsys.com\/software-integrity\/products\/static-code-analysis.html"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66266-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T08:38:41Z","timestamp":1570005521000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66266-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319662657","9783319662664"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66266-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}