Static Analysis by Policy Iteration on Relational Domains

  title={Static Analysis by Policy Iteration on Relational Domains},
  author={St{\'e}phane Gaubert and Eric Goubault and Ankur Taly and Sarah Zennou},
We give a new practical algorithm to compute, in finite time, a fixpoint (and often the least fixpoint) of a system of equations in the abstract numerical domains of zones and templates used for static analysis of programs by abstract interpretation. This paper extends previous work on the non-relational domain of interval to relational domains. The… CONTINUE READING



Citations per Year

69 Citations

Semantic Scholar estimates that this publication has 69 citations based on the available data.

See our FAQ for additional information.