Z-ranking: Using statistical analysis to counter the impact of static analysis approximations

DOI10.1007/3-540-44898-5_16MaRDI QIDQ4813404zbMATH OpenFDO

Authors Ted Kremenek, Dawson Engler

Publication date 13 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2694/26940295.htm

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Counterexample guided path reduction for static program analysis
• scientific article; zbMATH DE number 1863891
• Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
• Toward general diagnosis of static errors
• Incremental false path elimination for static software analysis

Cited in

(4)

• A secrecy-preserving language for distributed and object-oriented systems
• Sound non-statistical clustering of static analysis alarms
• Code analysis and parallelizing vector operations in R
• An empirical study on classification methods for alarms from a bug-finding static C analyzer

This page was built for publication: Z-ranking: Using statistical analysis to counter the impact of static analysis approximations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4813404)