My initiation to abstract interpretation with the Karr domain
In order to discover abstract interpretation, I implemented a well-known numerical abstract domain in the static analyzer MemCAD. This domain, described in 1974 by Karr, can infer affine equalities of the shape “aX + bY + … = c”. Such properties are helpful to develop optimizing compilers and static analyzers.…
