Article

Varieties of Static Analyzers: A Comparison with ASTREE

Authors:

Xavier RIVALAuthors Info & Claims

TASE '07: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering

Pages 3 - 20

https://doi.org/10.1109/TASE.2007.55

Published: 06 June 2007 Publication History

Publisher Site

Abstract

We discuss the characteristic properties of ASTRÉE, an automatic static analyzer for proving the absence of runtime errors in safety-critical real-time synchronous controlcommand C programs, and compare it with a variety of other program analysis tools.

Cited By

View all

Barai ASanthi NRazzak AEidenbenz SBadawy A(2023)LLVM Static Analysis for Program Characterization and Memory Reuse Profile EstimationProceedings of the International Symposium on Memory Systems10.1145/3631882.3631885(1-6)Online publication date: 2-Oct-2023
https://dl.acm.org/doi/10.1145/3631882.3631885
Küchler AWenning LWendland F(2023)AbsIntIO: Towards Showing the Absence of Integer Overflows in Binaries using Abstract InterpretationProceedings of the 2023 ACM Asia Conference on Computer and Communications Security10.1145/3579856.3582814(247-258)Online publication date: 10-Jul-2023
https://dl.acm.org/doi/10.1145/3579856.3582814
Miné ADelmas DGirault AGuan N(2015)Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics softwareProceedings of the 12th International Conference on Embedded Software10.5555/2830865.2830873(65-74)Online publication date: 4-Oct-2015
https://dl.acm.org/doi/10.5555/2830865.2830873
Show More Cited By

Recommendations

Systematic approaches for increasing soundness and precision of static analyzers
SOAP 2017: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis

Building static analyzers for modern programming languages is difficult. Often soundness is a requirement, perhaps with some well-defined exceptions, and precision must be adequate for producing useful results on realistic input programs. Formally ...
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles

Static analyzers are playing crucial roles in helping find programming mistakes and security vulnerabilities. The correctness of their analysis results is crucial for the usability in practice. Otherwise, the potential defects in these analyzers (, ...
Static Analyzers: Seat Belts for Your Code

Just as seat belt use is widespread, static analysis should be part of ethical software development. Because security must be designed in, static analysis should occur early in software development to reduce vulnerabilities or, even better, provide ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

TASE '07: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering

June 2007

486 pages

ISBN:0769528562

Publisher

IEEE Computer Society

United States

Publication History

Published: 06 June 2007

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

17
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 28 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Barai ASanthi NRazzak AEidenbenz SBadawy A(2023)LLVM Static Analysis for Program Characterization and Memory Reuse Profile EstimationProceedings of the International Symposium on Memory Systems10.1145/3631882.3631885(1-6)Online publication date: 2-Oct-2023
https://dl.acm.org/doi/10.1145/3631882.3631885
Küchler AWenning LWendland F(2023)AbsIntIO: Towards Showing the Absence of Integer Overflows in Binaries using Abstract InterpretationProceedings of the 2023 ACM Asia Conference on Computer and Communications Security10.1145/3579856.3582814(247-258)Online publication date: 10-Jul-2023
https://dl.acm.org/doi/10.1145/3579856.3582814
Miné ADelmas DGirault AGuan N(2015)Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics softwareProceedings of the 12th International Conference on Embedded Software10.5555/2830865.2830873(65-74)Online publication date: 4-Oct-2015
https://dl.acm.org/doi/10.5555/2830865.2830873
Cousot PFalaschi MAlbert E(2015)Verification by abstract interpretation, soundness and abstract inductionProceedings of the 17th International Symposium on Principles and Practice of Declarative Programming10.1145/2790449.2790451(1-4)Online publication date: 14-Jul-2015
https://dl.acm.org/doi/10.1145/2790449.2790451
Christakis MMüller PWüstholz V(2015)An Experimental Evaluation of Deliberate Unsoundness in a Static Program AnalyzerProceedings of the 16th International Conference on Verification, Model Checking, and Abstract Interpretation - Volume 893110.1007/978-3-662-46081-8_19(336-354)Online publication date: 12-Jan-2015
https://dl.acm.org/doi/10.1007/978-3-662-46081-8_19
Glaze DVan Horn D(2014)Abstracting abstract controlACM SIGPLAN Notices10.1145/2775052.266109850:2(11-22)Online publication date: 14-Oct-2014
https://dl.acm.org/doi/10.1145/2775052.2661098
Glaze DVan Horn DBlack ATratt L(2014)Abstracting abstract controlProceedings of the 10th ACM Symposium on Dynamic languages10.1145/2661088.2661098(11-22)Online publication date: 20-Oct-2014
https://dl.acm.org/doi/10.1145/2661088.2661098
Cousot PCousot RHenzinger TMiller D(2014)Abstract interpretationProceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)10.1145/2603088.2603165(1-10)Online publication date: 14-Jul-2014
https://dl.acm.org/doi/10.1145/2603088.2603165
Collavizza HLe Vinh NPonsini ORueher MRollet A(2014)Constraint-based BMCInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-012-0258-616:1(103-121)Online publication date: 1-Feb-2014
https://dl.acm.org/doi/10.1007/s10009-012-0258-6
Kumar SChimdyalwar BShrotri UMeyer BBaresi LMezini M(2013)Precise range analysis on large industry codeProceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering10.1145/2491411.2494569(675-678)Online publication date: 18-Aug-2013
https://dl.acm.org/doi/10.1145/2491411.2494569
Show More Cited By

Abstract

Cited By

Index Terms

Recommendations

Systematic approaches for increasing soundness and precision of static analyzers

Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles

Static Analyzers: Seat Belts for Your Code

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Share

Share this Publication link

Share on social media

Affiliations