Skip to content
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
    Updated