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.