title: Short implementation examples of abstract interpretation
body: <p>I am taking a course on abstract interpretation, but I haven't seen any examples of how the theory maps down to actual code.</p>
  
  <p>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.</p>
  
  <p>Does anyone know of any such examples, perhaps from a university course?</p>