v1.2.2

What's New ?

• Fix a bug in framework concerning unary operators.

• Fix a bug in framework concerning multi-layer parenthesis around a single variable.

v1.2.1

What's New?

• Fix some bugs in constant propagation.

• Extend the analysis framework to support usage of native standard libs.

• Add command line interface for constant propagation.

• Stress Testing: Run reaching definition analysis, live variable analysis and constant propagation analysis on cpython 3.7.0 source code (400,000+ lines) and finish analysis within several seconds without crash.

v1.2.0

Feature Summary

• Add constant propagation analysis and refactor the framework.

v1.1.0

Feature Summary

• Fix improper handling of operators that have side effects like ++, --, +=, -=, etc.

• Add live variable analysis and its command line interface.

v1.0.0

Feature Summary

• Build method-level IR and CFG recursively for all input source files in a given directory.

  • An optional header file directory is supported, source files can include header files using relative path to the given header directory.

  • An optional language standard is supported, c++98 by default.

• An intra-procedural dataflow analysis framework and an implementation of reaching definition using the framework.