The SLAM project: debugging system software via static analysis
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A static analyzer for large safety-critical software
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
The trace partitioning abstract domain
ACM Transactions on Programming Languages and Systems (TOPLAS) - Special Issue ESOP'05
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Loopfrog: A Static Analyzer for ANSI-C Programs
ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
Saturn: a SAT-based tool for bug detection
CAV'05 Proceedings of the 17th international conference on Computer Aided Verification
Hi-index | 0.00 |
In this paper, we present our initial experience of building a tool named RED that focuses on automatic runtime error detection for C programs. It can show the absence of many classes of runtime errors and perform tunable program verification. We also propose techniques to reduce imprecision in the analysis.