program Analysis

https://kurser.dtu.dk/course/02242

Scala impl for program Analysis course

#implemented

generic worklist algorithm for program graph at wlAlgo.scala

boolean capable interval analysis (partial) for program graph at monotone.scala

boolean incapable interval analysis (partial) for flow graph at monotone.scala

run

make sure jdk and sbt is installed

then

sbt run