topos.functors.probes.cfg.paths¶

CFG path probes.¶

Path-shape statistics over the ControlFlowGraph.

topos.functors.probes.cfg.paths.longest_acyclic_path(cfg)[source]: Length (in edges) of the longest simple (cycle-free) path from entry to exit. Bounded by the block count so we cap the DFS at that depth.