文件名称：SymCC：基于编译器的高效符号执行-C/C++开发
文件大小：135KB
文件格式：ZIP
更新时间：2024-06-15 19:25:31
C/C++ Compilers
SymCC是一个编译器包装程序，它在编译期间将符号执行嵌入到程序中，以及一个关联的运行时支持库。 SymCC：基于编译器的高效符号执行SymCC是一个编译器包装程序，可在编译期间将符号执行嵌入程序中，并具有相关的运行时支持库。 从本质上讲，编译器插入的代码将为程序中的每个值计算符号表达式。 实际计算是在运行时通过对支持库的调用进行的。 要构建通行证和支持库，请确保LLVM 8、9或10以及Z3 4.5或更高版本，以及C ++ com
【文件预览】：
symcc-master
----compiler()
--------Runtime.cpp(7KB)
--------Pass.cpp(3KB)
--------Main.cpp(1KB)
--------Pass.h(1KB)
--------symcc.in(2KB)
--------Symbolizer.cpp(34KB)
--------Symbolizer.h(13KB)
--------sym++.in(3KB)
--------Runtime.h(2KB)
----.gitignore(353B)
----Dockerfile(4KB)
----.dockerignore(398B)
----Vagrantfile(174B)
----LICENSE(34KB)
----runtime()
--------RuntimeCommon.cpp(5KB)
--------Config.h(2KB)
--------Shadow.cpp(724B)
--------LibcWrappers.h(876B)
--------Shadow.h(7KB)
--------GarbageCollection.cpp(2KB)
--------LibcWrappers.cpp(15KB)
--------simple_backend()
--------GarbageCollection.h(1KB)
--------RuntimeCommon.h(7KB)
--------qsym_backend()
--------Config.cpp(3KB)
--------CMakeLists.txt(2KB)
----.gitmodules(128B)
----util()
--------pure_concolic_execution.sh(4KB)
--------symcc_fuzzing_helper()
--------quicktest.sh(2KB)
----README.md(8KB)
----sample.cpp(301B)
----docs()
--------Ideas.txt(3KB)
--------Backends.txt(2KB)
--------Testing.txt(3KB)
--------Experiments.txt(4KB)
--------Configuration.txt(4KB)
--------32-bit.txt(3KB)
--------Optimization.txt(1KB)
--------C++.txt(4KB)
--------Fuzzing.txt(5KB)
--------Libc.txt(2KB)
--------Concreteness.txt(3KB)
----test()
--------lit.cfg(883B)
--------file_input.c(4KB)
--------regression()
--------floats.c(1KB)
--------loop.test32(109B)
--------structs.c(2KB)
--------if.c(2KB)
--------read.c(1KB)
--------arrays.test32(117B)
--------file_input.test32(219B)
--------globals.c(3KB)
--------loop.c(1KB)
--------structs.test32(115B)
--------floats.test32(113B)
--------bswap.c(2KB)
--------pointers.test32(133B)
--------memcpy.c(3KB)
--------lit.site.cfg.in(1KB)
--------large_alloc.test32(119B)
--------memcpy.test32(145B)
--------strings.test32(100B)
--------if.test32(105B)
--------integers.c(1KB)
--------strings.c(2KB)
--------bswap.test32(200B)
--------switch.test32(113B)
--------large_alloc.c(2KB)
--------switch.c(2KB)
--------read.test32(88B)
--------integers.test32(133B)
--------pointers.c(2KB)
--------CMakeLists.txt(1KB)
--------arrays.c(2KB)
--------globals.test32(115B)
----CMakeLists.txt(4KB)