M
model-based
Projects with this topic
-
Control Flow Graph Query Engine. Algorithms and data structures (API) for queries manipulating CFG (such as building CFG during compilation, CFG traversal, node/edge metadata manipulation).
Updated -
Extracting CFGs from Java programs using analysis of bytecode.
Updated -
Extracting CFGs from C/C++ programs using analysis of llvm-ir.
UpdatedUpdated