COL729 Lab 2 : Implementing Iterative Dataflow Analysis

Due date - 23:59, 18 March 2019

In this assignment, you will implement an iterative data flow analysis framework for LLVM IR.
Further, using the iterative data flow analysis framework you will implement:

• Reaching Definitions analysis
• Liveness analysis
• May-points to analysis

Assignment Instructions

Reference Code for May-points to analysis