link to implementation

hi, someone ask me whether the code is publically avaiable. actually it is:

https://github.uio.no/msteffen/saprojects

it contains more than we will discuss. Material which covers the core of the chapter DFA is  under

https://github.uio.no/msteffen/saprojects/tree/master/projects/dfa

In particular:

  - basic infrastructure under https://github.uio.no/msteffen/saproject/tree/master/projects/dfa/src/analyses

   (like parsing and other such things)

 - the 4 discussed data flow  analyses:  https://github.uio.no/msteffen/saprojects/tree/master/projects/dfa/src/solution