日存档: 2019 年 11 月 12 日

SAT、SMT、CFI

今天上午程序分析课讲了SAT、SMT及其求解器求解算法, 十分有趣。 下午漏洞课 …

继续阅读 »