- Extracting assignments statments, loop conditions and branch conditions for basic python programs using abstract syntax tree dumpedinto json format.
- Building control flow graph from the given python program.
- Uisng Reaching definitions and Live variable analysis, detecting and deleting dead statments, variables from the given python program.