标签存档: CFI

为Clang CFI实现RISC-V上的跳转表

经我研究, 之前提到的RISC-V Linux的Clang CFI无效的问题, …

继续阅读 »

休闲

今日休闲, 以及继续研究为什么我给RISC-V的Linux开的Clang CFI …

继续阅读 »

检查内核

之前提到我需要为内核开启Clang CFI, 并且, 之前的测试结果表明开启了C …

继续阅读 »

SAT、SMT、CFI

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

继续阅读 »