Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis
No abstract available.
Related papers
- Sound, complete and scalable path-sensitive analysis PLDI 2008
- Componential Set-Based Analysis TOPLAS 1999
- Saturn: A scalable framework for error detection using Boolean satisfiability TOPLAS 2007
- On-line automated performance diagnosis on thousands of processes PPoPP 2006
- Efficient Simplification of Bisimulation Formulas TACAS 1995
- Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code PLDI 2021
- Sparse computation data dependence simplification for efficient compiler-generated inspectors PLDI 2019
- LOCKSMITH: Practical static race detection for C TOPLAS 2011