标签存档: SMT

SAT、SMT、CFI

作者: twd2 日期: 2019 年 11 月 12 日 没有评论 | 被围观 60 次

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

继续阅读 »

SMT”究”活动

作者: twd2 日期: 2016 年 04 月 07 日 2 条评论 | 被围观 167 次

前几天, 我收到了探究课老师发来的短信, 通知我们去完成”究&#82 …

继续阅读 »