文件名称：macke-opt-llvm:通过MACKE中的LLVM操作
文件大小：44KB
文件格式：ZIP
更新时间：2024-05-31 10:08:07
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