学习LLVM

作者: twd2 日期: 2018 年 12 月 10 日 被围观 178 次 发表评论 (0) 查看评论

今天开始看《编译原理专题训练》第三次实验, 要用LLVM和z3来检测缓冲区溢出的情况。因此开始学习LLVM和z3的C++接口的用法。LLVM真好用。

晚上学习了垃圾回收算法。

新鲜,

发表评论

注意 - 你可以用以下 HTML tags and attributes:
<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>

:wink: :twisted: :roll: :oops: :mrgreen: :lol: :idea: :evil: :cry: :arrow: :?: :-| :-x :-o :-P :-D :-? :) :( :!: 8-O 8)

本文链接：https://twd2.me/archives/11311QrCode