mate_query.cpg.query.control_flow module

mate_query.cpg.query.control_flow.cfg_path_to_instructions(cpg: CPG, session: Session, cfg_path: Path) → Iterable[Instruction]

Lower an Instruction-level CFG path in the CPG to VA blocks.

Parameters

• cpg (CPG) –

• session (Session) –

• cfg_path (Path) –

Return type

Iterable[Instruction]

mate_query.cpg.query.control_flow.cfg_path_to_waypoints(cpg: CPG, session: Session, cfg_path: Path) → Iterable[Waypoint]

Parameters

• cpg (CPG) –

• session (Session) –

• cfg_path (Path) –

Return type

Iterable[Waypoint]

mate_query.cpg.query.control_flow.trace_edges(cpg: CPG, session: Session, path: Path) → Iterable[Edge]

Parameters

• cpg (CPG) –

• session (Session) –

• path (Path) –

Return type

Iterable[Edge]

mate_query.cpg.query.control_flow.trace_nodes(cpg: CPG, session: Session, cfg_path: Path) → Iterable[Node]

Parameters

• cpg (CPG) –

• session (Session) –

• cfg_path (Path) –

Return type

Iterable[Node]