• ConstraintFactory : SailfishFunctionChecker
• CSOutSummarySet : SailfishSummary
• DT : SailfishFunctionChecker
• ErSrcSummarySet : SailfishSummary
• F : SailfishFunctionChecker
• HeadDeps : MultiVulnerability
• LLVMValue : SEGOperandNode
• NodeExprMap : SymbolicExprGraphSolver
• NodeSymbolNameMap : SymbolicExprGraphSolver
• ParamSummarySet : SailfishSummary
• Parent : SailfishFunctionChecker
• RetValSummaryMap : SailfishSummary
• SailfishSummaryMapper : SailfishSummary
• SEG : SailfishFunctionChecker
• SEGMap : SEGMapBase
• Smry : SailfishFunctionChecker
• Sources : SailfishFunctionChecker
• SrcWpSummarySet : SailfishSummary
• StateBuilder : SailfishFunctionChecker
• TailDeps : MultiVulnerability
• TimeChecker : SailfishFunctionChecker
• TSV : SailfishFunctionChecker
• Vulns : MultiVulnerability