crossain

摘要： 1数据流分析基础 1.1停机问题 抽象方法 针对基础篇中的停机问题，我们可以试用抽象方法去尝试解决问题。邪恶程序存在的关键在于程序中有if存在 。因此可以采取以下方式。 1.1.1忽略掉所有程序的if条件部分 ~~~c void Evil(){ if(!Halt(Evil))return; else 阅读全文