4 papers
Minimal Comparison of Octagonal Abstract Domains
Kenny Ballou, Elena Sherman
Numerical abstract domains vary in their expressiveness; more expressive domains like Zones yield more precise invariants than Intervals. A comprehensive approach to selecting abst…
muRelBench: MicroBenchmarks for Zonotope Domains
Kenny Ballou, Elena Sherman
We present \texttt{muRelBench}, a framework for synthetic benchmarks for weakly-relational abstract domains and their operations. This extensible microbenchmarking framework enable…
Minimally Comparing Relational Abstract Domains
Kenny Ballou, Elena Sherman
Value-based static analysis techniques express computed program invariants as logical formula over program variables. Researchers and practitioners use these invariants to aid in s…
Identifying Minimal Changes in the Zone Abstract Domain
Kenny Ballou, Elena Sherman
Verification techniques express program states as logical formulas over program variables. For example, symbolic execution and abstract interpretation encode program states as a se…