第一部分,归纳.推演的艺术 纯闲聊性质. 第二部分,依赖关系 从类型上分为 控制流依赖关系, 即控制变量值变化的if,while等控制语句 数据流依赖关系, 即变量值的变化 从方向上看,则分为 反向依赖.哪些语句会影响这一句的执行.比如,if里的语句就必须先满足if的条件,这是逆向依赖性. 正向依赖.这一句会影响到后面哪些语句的执行. 从状态就分为 静态,静态代码分析的结果 动态,动态日志加原静态依赖关系 不得不说依赖关系这部分确实没什么可说的 第三部分 逆向推导理论 嗯,真的只是理论 镇宅法宝