Static Analysis Role of control flow graph in static analysis Writing an IR from scratch Static analysis using Haskell and Datalog Graph IR
