Search code examples
abstract-interpretation

Short implementation examples of abstract interpretation

I am taking a course on abstract interpretation, but I haven't seen any examples of how the theory maps down to actual code.

I am looking for short code examples, where I preferably won't have to work with a whole compiler. The analysis doesn't have to be useful, I would just like to see an example where the analysis is derived and then implemented.

Does anyone know of any such examples, perhaps from a university course?

Solution

  • There is MonoREIL, which comes with the recently open sourced tool BinNavi.

    See here is a short intro.

    Note that the context of the MonoREIL framework is not compilers but the analysis of binary code. Yet, it has been used for real world applications, see slide 34 ff of this introduction (which contains more formal background).