【文件属性】:
文件名称:macke-opt-llvm:通过MACKE中的LLVM操作
文件大小:44KB
文件格式:ZIP
更新时间:2021-05-11 16:21:27
C++
通过MACKE进行LLVM操作的通行证
如何建立专案?
make
如果您想运行一些测试
make test
用法示例
运行make (当然)
opt -load lib/libMackeOpt.so -listallfuncs examples/divisible.bc -disable-output
opt -load bin/libMackeOpt.so -changeentrypoint bin/greetings.bc -nef french -o bin/mod.bc
opt -load bin/libMackeOpt.so -encapsulatesymbolic bin/not42.bc -encapsulatedfunction not42 -o bin/not42-klee.bc
klee bin/not42-klee.bc
开发者提示
请在提交前运行make fo