Loopfrog: A static analyzer for ANSI-C programs (original) (raw)
Related papers
A formally-verified C static analyzer
Exploiting traces in static program analysis: better model checking through {{\tt printf}}$$ s
International Journal on Software Tools for Technology Transfer, 2008
International Journal on Software Tools for Technology Transfer, 2013
Advanced Program Analyses and Verifications
Model-Checking Software Using Precise Abstractions
Lecture Notes in Computer Science, 2008
Combining Analyses for C Program Verification
Lecture Notes in Computer Science, 2012
Fast and Safe Concrete Code Execution for Reinforcing Static Analysis and Verification
Modelirovanie i Analiz Informacionnyh Sistem, 2016
F-Soft: Software Verification Platform
Lecture Notes in Computer Science, 2005
Goanna: Syntactic Software Model Checking
Lecture Notes in Computer Science, 2008
FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs
Lecture Notes in Computer Science, 2005
A static analyzer for large safety-critical software
Proceedings of the …, 2003
Model checking C programs using F-Soft
2005 International Conference on Computer Design, 2005
Putting static analysis to work for verification: A case study
ACM Sigsoft Software Engineering Notes, 2000
On the Role of Static Analysis in Operating System Checking and Runtime Verification
2005
Common specification language for static and dynamic analysis of C programs
Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13, 2013
Artificial Intelligence, 1999
Towards Model Checking C Code with OPEN/CÆSAR
Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, 2006
Static Analysis using Parameterised Boolean Equation Systems
Reducing the Overhead of Assertion Run-time Checks via Static Analysis
2016
Combining Static Analysis and Test Generation for C Program Debugging
Lecture Notes in Computer Science, 2010
Runtime verification of C programs
Testing of Software and Communicating Systems, 2008
CMC: a pragmatic approach to model checking real code
Operating Systems Review, 2002
Softwaretechnik-Trends, 2014
UFO: A framework for abstraction-and interpolation-based software verification
2012
A Lesson on Runtime Assertion Checking with Frama-C
Lecture Notes in Computer Science, 2013
An abstract memory functor for verified C static analyzers
ACM SIGPLAN Notices, 2016
Extending Model Checking with Dynamic Analysis
Lecture Notes in Computer Science
Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation
2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2008
String Abstraction for Model Checking of C Programs
Model Checking Software, 2019
Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses
Lecture Notes in Computer Science, 2014
KeY-C: A tool for verification of C programs
Automated DeductionCADE-21, 2007