今天开始看《编译原理专题训练》第三次实验, 要用LLVM和z3来检测缓冲区溢出的情况。因此开始学习LLVM和z3的C++接口的用法。LLVM真好用。
晚上学习了垃圾回收算法。
今天开始看《编译原理专题训练》第三次实验, 要用LLVM和z3来检测缓冲区溢出的情况。因此开始学习LLVM和z3的C++接口的用法。LLVM真好用。
晚上学习了垃圾回收算法。
本文链接:https://twd2.me/archives/11311
距MICRO 2024反驳还有51天5时13分3秒
(即4425183秒)
距MICRO 2024通知还有85天5时13分3秒
(即7362783秒)
发表评论