- 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.
-
Couldn't load subscription status.
- Fork 2
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.
Couldn't load subscription status.
Abhi24krishna/Program-Analysis-using-Ast2json
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
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.