1 DomainFact
ZEROFact:0点
其他Fact可以基于这个接口定义。例如框架已提供的UnusedVariableNode、TaintNode、NpeTaintNode、TaintAnalysisNode
也可以理解成ifds图中的小圆圈。
2 SummaryFact
VulnerabilityLocation:记录问题信息
SummaryEdgeFact:记录边信息
CrossUnitCallFact:跨Unit调用时的调用信息
TraceGraphFact: 调用链信息
TraceGraph:处理完的调用链?
3 SummaryStorage
存储SummaryFact信息,不同的Unit之间可以共享信息。
4 AnalysisDependentEvent
NewSummaryFact
可以报告记录检测出的问题,以及其他的SummaryFact信息。
EdgeForOtherRunnerQuery
跨unit调用时会产生这个事件。
5 FlowFunctionsSpace
定义了domainFact的传播处理函数。
obtainPossibleStartFacts
初始化fact。设置开始分析时的domainFact。一个示例数据:
initFacts: [[ZERO fact], [This is test fact]]
obtainSequentFlowFunction
normal边处理函数。可以获取当前处理指令、下一条指令以及domainFact信息。一个示例数据:
current : %4 = %1 + %2
next : %6 = this.genName(%4, %0)
domainFact : [ZERO fact]
obtainCallToStartFlowFunction
call边处理函数。可以获取调用点、被调用函数以及domainFact信息。一个示例数据:
callStatement: %6 = this.genName(%4, %0)
callee: (id:72)org.example.C#genName(int, java.lang.String)
domainFact: [ZERO fact]
obtainCallToReturnFlowFunction
call-to-return边处理函数。可以获取调用点和返回点,以及domainFact信息。一个示例数据:
callStatement: %6 = this.genName(%4, %0)
returnSite: return %6
domainFact: [ZERO fact]
obtainExitToReturnSiteFlowFunction
return边处理函数。可以获取调用点、返回点、退出点以及domainFact信息。一个示例数据:
callStatement: %6 = this.genName(%4, %0)
returnSite: return %6
exitStatement: return %1
domainFact: [ZERO fact]
6 handleNewEdge
发现新的edge就会调用这个函数处理。
产生AnalysisDependentEvent,即NewSummaryFact和EdgeForOtherRunnerQuery事件。
7 handleNewCrossUnitCall
跨unit调用时,调用该函数处理
产生AnalysisDependentEvent,即NewSummaryFact和EdgeForOtherRunnerQuery事件。
8 handleIfdsResult
unit内fact传播结束后调用该函数处理。
一般使用analysis模块提供的默认处理方式。如果有像未使用变量之类的需要超图上的所有指令遍历完之后,再确定问题的。可以在这一步进行处理。
ifdsResult用以下三种方式组织edge和fact信息:
1 pathEdges:每发现一条新的edge,都会保存记录。statement相同,fact不同的语句记录成不同的edge。
2 resultFacts: 可以查询到每条指令都有哪些fact传播到了该条指令处。
3 pathEdgesPreds:每条边的前置边,某条边可能会有n(n>=1)条前置边。
9 问题信息记录
检测问题在报告上展示,需要记录如下相关信息:
在handleNewEdge中生成NewSummaryFact事件,事件报告的是VulnerabilityLocation信息。
在handleNewEdge中记录发现问题的ifdsVertex信息。
在handleIfdsResult中生成TraceGraphFact信息,并生成NewSummaryFact事件。
10 关系图
运行时调用关系,大概如下图: