Module default 

Structs

PathAnalyzer

PathAnalyzer is responsible only for extracting path-sensitive CFG paths. Downstream analyses can reuse these paths without depending on alias logic.