/Program-Analysis-using-Ast2json

This project is used to extract some basic assignment statements, loop conditions from the given python program. Using static control flow analysis, the project can be used to create a control flow graph. Using Reaching definition and live variable analysis, one can eliminate dead code from the program.

Primary LanguagePython

Program-Analysis-using-Ast2json

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