Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.

Reaching Definition Analysis - Advanced Compiler class homework

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.

Detecting semantically equivalent code clone pairs in two or more code fragments.

Implementation of different forms of static program analysis techniques

Static analysis tool for format string vulnerability detection