Struct CfgModule 

pub struct CfgModule { /* private fields */ }

CFG module for control flow analysis.

Examples

use forge_core::Forge;

let cfg = forge.cfg();

// Enumerate paths
let symbol_id = forge_core::types::SymbolId(1);
let paths = cfg.paths(symbol_id).execute().await?;

Implementations

impl CfgModule

pub async fn index(&self) -> Result<()>

Indexes the codebase for CFG analysis.

Extracts CFG from C and Java source files using tree-sitter.

Returns

Ok(()) on success, or an error if indexing fails.

pub async fn extract_function_cfg( &self, file_path: &Path, function_name: &str, ) -> Result<Option<TestCfg>>

Extract CFG for a specific function from source

pub fn paths(&self, _function: SymbolId) -> PathBuilder

Creates a new path enumeration builder.

Arguments

• function - The function symbol ID

pub async fn dominators(&self, _function: SymbolId) -> Result<DominatorTree>

Computes dominators for a function.

Uses iterative dataflow analysis to compute the dominator tree. For C/Java functions, extracts real CFG using tree-sitter.

Arguments

• function - The function symbol ID

pub async fn loops(&self, _function: SymbolId) -> Result<Vec<Loop>>

Detects natural loops in a function.

Uses back-edge detection to find natural loops. For C/Java functions, extracts real CFG using tree-sitter.

Arguments

• function - The function symbol ID

Trait Implementations

impl Clone for CfgModule

fn clone(&self) -> CfgModule

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.