Revamping TVLA: Making parametric shape analysis competitive

32Citations
Citations of this article
17Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

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 were obtained by employing well-known techniques from the database community to reduce the cost of extracting information from shape descriptors and performing abstract interpretation of program statements and conditions. Compared to the prior version of TVLA, we obtained as much as 50-fold speedup. © Springer-Verlag Berlin Heidelberg 2007.

References Powered by Scopus

Parametric shape analysis via 3-valued logic

550Citations
N/AReaders
Get full text

Interprocedural shape analysis with separated heap abstractions

64Citations
N/AReaders
Get full text

Interprocedural shape analysis for cutpoint-free programs

44Citations
N/AReaders
Get full text

Cited by Powered by Scopus

Automated deduction for verification

25Citations
N/AReaders
Get full text

A relational approach to interprocedural shape analysis

24Citations
N/AReaders
Get full text

MemPick: High-level data structure detection in C/C++ binaries

23Citations
N/AReaders
Get full text

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Cite

CITATION STYLE

APA

Bogudlov, I., Lev-Ami, T., Reps, T., & Sagiv, M. (2007). Revamping TVLA: Making parametric shape analysis competitive. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4590 LNCS, pp. 221–225). Springer Verlag. https://doi.org/10.1007/978-3-540-73368-3_25

Readers' Seniority

Tooltip

PhD / Post grad / Masters / Doc 13

76%

Professor / Associate Prof. 2

12%

Researcher 2

12%

Readers' Discipline

Tooltip

Computer Science 17

100%

Save time finding and organizing research with Mendeley

Sign up for free