1 Hit in 3.8 sec

Revamping TVLA: Making Parametric Shape Analysis Competitive [chapter]

Igor Bogudlov, Tal Lev-Ami, Thomas Reps, Mooly Sagiv
Computer Aided Verification  
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  ...  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.  ...  TVLA is a parametric framework based on the theory of [2] .  ... 
doi:10.1007/978-3-540-73368-3_25 dblp:conf/cav/BogudlovLRS07 fatcat:uabafgyl65dv7frqqi65cjpeei