TVLA: A System for Implementing Static Analyses
Abstract elided by the publisher.
Related papers
- Revamping TVLA: Making Parametric Shape Analysis Competitive CAV 2007
- A System and Language for Building System-Specific, Static Analyses PLDI 2002
- Static prediction of parallel computation graphs POPL 2022
- Framework for Static Analysis of PHP Applications ECOOP 2015
- Simple relational correctness proofs for static analyses and program transformations POPL 2004
- Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs TOPLAS 1994
- SHErrLoc: A Static Holistic Error Locator TOPLAS 2017
- Chianina: an evolving graph system for flow- and context-sensitive analyses of million lines of C code PLDI 2021