Fast polyhedra abstract domain

Gagandeep Singh
Gagandeep Singh

POPL, pp. 46-59, 2017.

Cited by: 47|Views62
EI

Abstract:

Numerical abstract domains are an important ingredient of modern static analyzers used for verifying critical program properties (e.g., absence of buffer overflow or memory safety). Among the many numerical domains introduced over the years, Polyhedra is the most expressive one, but also the most expensive: it has worst-case exponential s...More

Code:

Data:

Your rating :
0

 

Tags
Comments