Explore projects

Editor and Solver of Cause-Effect-Graphs

Extracting CFGs from Java programs using analysis of bytecode.

Extracting CFGs from C/C++ programs using analysis of llvm-ir.

RTL query engine (as a part of HADES)