The framework is currently composed of the following:
- parsers for Python, Java, Verilog, Fortran, and C/C++,
- an AST differencing tool, Diff/AST, based on the parsers,
- helper scripts for factbase manipulation, and
- ontologies for the related entities.
For further details, visit GitHub.