qq_38667212的博客

主要思想是将源代码的控制和数据流语义转换为了合约图(contract graph)，图中的节点表示关键变量和函数调用，用有向边表示它们之间顺序执行的关系，为了凸显图中的关键节点，还设计了节点消除的阶段来规范化合约图。然后，提出了一种全新的时态消息传播网络(temporal message propagation network)来从归一化的图中提取图特征，并将图特征与设计好的专家模式相结合，产生最终的检测系统。