摘要： 老板让我写生成trace的gcc plugin，在github上找了一份代码参考https://github.com/GaloisInc/ivory-rtverification/tree/master/gcc-plugin/src之前用LLVM PASS做这件事，但因为LLVM是IR级别插桩，丢失... 阅读全文