Revamping TVLA : Making Parametric Shape Analysis Competitive ( Tool Paper )

@inproceedings{Bogudlov2007RevampingT,
  title={Revamping TVLA : Making Parametric Shape Analysis Competitive ( Tool Paper )},
  author={Igor Bogudlov and Tal Lev-Ami and Thomas W. Reps and Mooly Sagiv},
  year={2007}
}
TVLA is a parametric framework for shape analysis that can be easily instantiated to create different kinds of analyzers for checking properties of programs that use linked data structures. We report on dramatic improvements in TVLA’s performance, which make the cost of parametric shape analysis comparable to that of the most efficient specialized shape-analysis tools (which restrict the class of data structures and programs analyzed) without sacrificing TVLA’s parametricity. The improvements… CONTINUE READING
2 Citations
11 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-2 of 2 extracted citations

Similar Papers

Loading similar papers…