Here is a list of all documented files with brief descriptions:
[detail level 1234]
▼ include | |
▼ Checker | |
▼ PSA | |
Vulnerability.h | |
▼ Sailfish | |
BotUpParallelPass.h | |
SailfishChecker.h | |
SailfishCSOutSummaryBuilder.h | |
SailfishErSrcSummaryBuilder.h | |
SailfishFunctionChecker.h | |
SailfishParamSummaryBuilder.h | |
SailfishRetValSummaryBuilder.h | |
SailfishSrcWpSummaryBuilder.h | |
SailfishStateBuilder.h | |
SummaryMapper.h | |
▼ IR | |
▼ SEG | |
CBAccessPath.h | |
OCValueFlowBuilder.h | |
SEGArgumentNode.h | |
SEGBinaryWithIntConstNode.h | |
SEGCallSite.h | |
SEGCallSiteArgumentSummaryNode.h | |
SEGCallSiteOutputNode.h | |
SEGCallSitePseudoInputNode.h | |
SEGCallSiteReturnSummaryNode.h | |
SEGCastNode.h | |
SEGLoadMemNode.h | |
SEGMapBase.h | |
SEGPhiNode.h | |
SEGRegionNode.h | |
SEGReturnNode.h | |
SEGReturnSite.h | |
SEGSimpleOpcodeNode.h | |
SEGSimpleOperandNode.h | |
SEGSimpleSite.h | |
SEGStoreMemNode.h | |
SEGTrace.h | |
SEGUndefNode.h | |
SEGValue.h | |
SymbolicExprGraph.h | |
SymbolicExprGraphBuilder.h | |
SymbolicExprGraphModel.h | |
SymbolicExprGraphSolver.h | |
▼ tools | |
▼ cb-extract | |
cb-extract.h | |
▼ cb-split | |
cb-split.h | |