日存档: 2018 年 12 月 10 日

学习LLVM

今天开始看《编译原理专题训练》第三次实验, 要用LLVM和z3来检测缓冲区溢出的 …

继续阅读 »