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...