SymCC：基于编译器的高效符号执行-C/C++开发
需积分: 50 31 浏览量
2021-05-27
01:38:51
上传
评论
收藏 135KB ZIP 举报
symcc-master.zip （88个子文件） 
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 Runtime.cpp 17KB Runtime.h 769B
CMakeLists.txt 1KB GarbageCollection.h 1KB RuntimeCommon.h 7KB qsym_backend Runtime.cpp 13KB pin.H 1KB qsym Runtime.h 776B CMakeLists.txt 4KB Config.cpp 3KB CMakeLists.txt 2KB .gitmodules 128B util pure_concolic_execution.sh 4KB symcc_fuzzing_helper .gitignore 130B src main.rs 12KB symcc.rs 19KB Cargo.lock 20KB Cargo.toml 923B 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 cxa_vector.ll 31KB 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资源评论
