The Octagon Abstract Domain
暂无分享,去创建一个
This article presents a new numerical abstract domain for static analysis by abstract interpretation. It extends a former numerical abstract domain based on Difference-Bound Matrices and allows us to represent in- variants of the form (fafy < c), where a and y are program variables and c is a real constant.
[1] Henrik Reif Andersen,et al. Difference Decision Diagrams , 1999, CSL.
[2] Wang Yi,et al. Clock Difference Diagrams , 1998, Nord. J. Comput..