The Gauge Domain: Scalable Analysis of Linear Inequality Invariants

Abstract

The inference of linear inequality invariants among variables of a program plays an important role in static analysis. The polyhedral abstract domain introduced by Cousot and Halbwachs in 1978 provides an elegant and precise solution to this problem. However, the computational complexity of higher-dimensional convex hull algorithms makes it impractical for… (More)
DOI: 10.1007/978-3-642-31424-7_15

3 Figures and Tables

Topics

Statistics

01020201520162017
Citations per Year

Citation Velocity: 6

Averaging 6 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.
  • Presentations referencing similar topics