文件名称：symcc:SymCC
文件大小：133KB
文件格式：ZIP
更新时间：2024-04-08 11:13:24
C++
SymCC：基于编译器的高效符号执行 SymCC是一个编译器包装程序，它在编译期间将符号执行嵌入到程序中，以及一个关联的运行时支持库。从本质上讲，编译器插入的代码将为程序中的每个值计算符号表达式。实际的计算是在运行时通过调用支持库进行的。 要构建通行证和支持库，请确保已安装LLVM 8、9、10或11和Z3 4.5或更高版本，以及支持C ++ 17的C ++编译器。 （或者，有关使用提供的Dockerfile的信息，请参见下文。）确保提取QSYM代码： $ git submodule init $ git submodule update 请注意，没有必要或不建议构建QSYM子模块-我们的构建系统将自动提取正确的源文件并将其包含在构建中。 在某个地方创建一个构建目录，并在其中执行以下命令： $ cmake -G Ninja -DQSYM_BACKEND=ON /path/to/comp
【文件预览】：
symcc-master
----.gitmodules(128B)
----docs()
--------C++.txt(4KB)
--------Concreteness.txt(3KB)
--------Experiments.txt(4KB)
--------Backends.txt(2KB)
--------Configuration.txt(4KB)
--------Libc.txt(2KB)
--------Fuzzing.txt(5KB)
--------Optimization.txt(1KB)
--------32-bit.txt(3KB)
--------Ideas.txt(3KB)
--------Testing.txt(3KB)
----test()
--------file_input.c(4KB)
--------large_alloc.test32(119B)
--------memcpy.c(3KB)
--------arrays.c(2KB)
--------if.c(2KB)
--------globals.test32(115B)
--------memcpy.test32(145B)
--------integers.test32(133B)
--------strings.c(2KB)
--------structs.test32(115B)
--------loop.c(1KB)
--------large_alloc.c(2KB)
--------file_input.test32(219B)
--------loop.test32(109B)
--------read.test32(88B)
--------pointers.c(2KB)
--------pointers.test32(133B)
--------arrays.test32(117B)
--------bswap.c(2KB)
--------bswap.test32(200B)
--------switch.test32(113B)
--------lit.cfg(883B)
--------CMakeLists.txt(1KB)
--------globals.c(3KB)
--------regression()
--------read.c(1KB)
--------lit.site.cfg.in(1KB)
--------structs.c(2KB)
--------floats.c(1KB)
--------floats.test32(113B)
--------if.test32(105B)
--------integers.c(1KB)
--------switch.c(2KB)
--------strings.test32(100B)
----Dockerfile(3KB)
----LICENSE(34KB)
----sample.cpp(301B)
----.gitignore(353B)
----CMakeLists.txt(4KB)
----compiler()
--------sym++.in(3KB)
--------Runtime.h(2KB)
--------Runtime.cpp(7KB)
--------Pass.h(1KB)
--------symcc.in(2KB)
--------Symbolizer.h(13KB)
--------Pass.cpp(3KB)
--------Main.cpp(1KB)
--------Symbolizer.cpp(34KB)
----.dockerignore(398B)
----README.md(7KB)
----util()
--------symcc_fuzzing_helper()
--------pure_concolic_execution.sh(4KB)
----runtime()
--------Config.h(2KB)
--------GarbageCollection.h(1KB)
--------RuntimeCommon.h(7KB)
--------qsym_backend()
--------Config.cpp(3KB)
--------Shadow.cpp(724B)
--------simple_backend()
--------LibcWrappers.h(876B)
--------CMakeLists.txt(2KB)
--------LibcWrappers.cpp(15KB)
--------Shadow.h(7KB)
--------GarbageCollection.cpp(2KB)
--------RuntimeCommon.cpp(5KB)