本文主要是对TxSpector源码的分析，paper链接如下：
流程框架分析
Trace Extract && Execution Flow Graph Generator
Logic Relation Builder
Attack Detector
攻击介绍