Static analysis: a brief survey

DOI10.1093/JIGPAL/JZW042MaRDI QIDQ4644578zbMATH OpenOpenAlexFDO

Authors Iván García-Ferreira, Carlos Laorden, Igor L. Santos, Pablo García Bringas

Publication date 8 January 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzw042

zbMATH Keywords

bugsmathematical logicmodel checkingstatic binary code analysis

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On the complexity analysis of static analyses
• Static analysis by abstract interpretation: a mathematical programming approach
• scientific article; zbMATH DE number 2243645
• Certified Static Analysis by Abstract Interpretation
• scientific article; zbMATH DE number 3890704

Cited in

(9)

• Detecting races in relay ladder logic programs
• Foreword to the special issue on the 2017 static analysis symposium
• scientific article; zbMATH DE number 1693463 (Why is no real title available?)
• Static analysis by abstract interpretation: a mathematical programming approach
• An automatic testing method of invalid arithmetic operations
• Discovering unanticipated software output modes
• Formal concept analysis model for static code analysis
• Principles of staged static+dynamic partial analysis
• Using static analysis to reduce dynamic analysis overhead

This page was built for publication: Static analysis: a brief survey

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