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
• scientific article; zbMATH DE number 2087567
• 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
• scientific article; zbMATH DE number 1953274 (Why is no real title available?)
• scientific article; zbMATH DE number 2090852 (Why is no real title available?)
• Programming Languages and Systems
• Static Analysis
• Tools and Algorithms for the Construction and Analysis of Systems

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)