Sound non-statistical clustering of static analysis alarms

DOI10.1007/978-3-642-27940-9_20MaRDI QIDQ2891424zbMATH OpenOpenAlexFDO

Authors Woosuk Lee, Wonchan Lee, Kwangkeun Yi

Publication date 15 June 2012

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

Full work available at URL https://doi.org/10.1007/978-3-642-27940-9_20

Mathematics Subject Classification ID

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

Recommendations

• Static Analysis
• Programming Languages and Systems
• Modular static program analysis
• Learning a variable-clustering strategy for Octagon from labeled data generated by a static analysis
• Learning analysis strategies for Octagon and context sensitivity from labeled data generated by static analyses

Cites work

• Abstract interpretation and application to logic programs
• Access analysis-based tight localization of abstract memories
• Automatically Refining Abstract Interpretations
• Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software
• Static Analysis
• Tools and Algorithms for the Construction and Analysis of Systems
• Trace partitioning in abstract interpretation based static analyzers
• Z-ranking: Using statistical analysis to counter the impact of static analysis approximations

Cited in

(5)

• Learning a variable-clustering strategy for Octagon from labeled data generated by a static analysis
• A sparse evaluation technique for detailed semantic analyses
• Programming Languages and Systems
• Static Analysis
• Rethinking static analysis by combining discrete and continuous reasoning

Describes a project that uses

Uses Software

• ASTREE
• Bugbench
• Apron
• Dagger

This page was built for publication: Sound non-statistical clustering of static analysis alarms

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