文件名称：worklist-clang-apron:抽象解释工作列表算法的实现，结合clang和apron库
文件大小：332KB
文件格式：ZIP
更新时间：2024-07-12 16:52:58
C++
工作清单叮当围裙 抽象解释工作列表算法的实现，结合clang和apron库 编译 安装 clang 和 apron 库。 在“Makefile”中，将变量 LLVM_PATH 和 APRON_PATH 更改为 llvm 和 apron 的安装目录。 然后，运行 ./build.sh。
【文件预览】：
worklist-clang-apron-master
----build.sh(26B)
----loop_example_apron.cpp(6KB)
----example1.cpp(15KB)
----test.c(491B)
----CFG.pdf(18KB)
----run.sh(53B)
----Figures()
--------worklist.png(29KB)
--------loop_example_output.png(10KB)
--------array_test_output.png(24KB)
--------meet_constraint.png(37KB)
--------Assume.png(23KB)
--------runOnBlock.png(43KB)
--------apronAssign.png(24KB)
--------then_else.png(22KB)
--------worklist_impl.png(24KB)
--------loop_example.png(12KB)
--------array_test_cfg.png(38KB)
--------loop_example_cfg.png(24KB)
----README.md(341B)
----worklist.cpp(30KB)
----Makefile(4KB)
----server-example.c(2KB)
----loop_example.c(959B)