Static Analysis by Policy Iteration on Relational Domains

@inproceedings{Gaubert2007StaticAB,
  title={Static Analysis by Policy Iteration on Relational Domains},
  author={St{\'e}phane Gaubert and Eric Goubault and Ankur Taly and Sarah Zennou},
  booktitle={ESOP},
  year={2007}
}
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

Topics

Statistics

051015'07'08'09'10'11'12'13'14'15'16'17'18
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.