文件名称：symx:轻量级符号执行引擎
文件大小：42KB
文件格式：ZIP
更新时间：2024-06-13 06:50:24
C++
象征 轻量级符号执行引擎 编译 Z3 cd z3 python scripts/mk_make.py cd build make sudo make install 顶石引擎 cd capstone ./make.sh sudo make install 象征 cd bin cmake .. make ＃去做 ELF加载程序（目前，需要对symx.cpp和arch / arm.cpp进行硬编码）
【文件预览】：
symx-master
----.gitmodules(326B)
----inc()
--------expr.h(10KB)
--------state.h(4KB)
--------vm.h(4KB)
--------context.h(756B)
--------utils.h(1KB)
--------draw.h(415B)
--------vmclient.h(0B)
--------backward.h(723B)
----test()
--------dyntrac.c(1KB)
--------libdyntrac.so(6KB)
--------sample.c(685B)
--------z3test.c(2KB)
--------sample3.c(2KB)
--------Makefile(5KB)
--------openreiltest.c(2KB)
----solver()
--------z3.cpp(12KB)
--------z3.h(2KB)
----z3()
----LICENSE(1KB)
----src()
--------backward.cpp(1KB)
--------symx.cpp(640B)
--------utils.cpp(906B)
--------state.cpp(22KB)
--------vmclient.cpp(4KB)
--------main.cpp(631B)
--------draw.cpp(1KB)
--------vm.cpp(7KB)
--------expr.cpp(6KB)
----CMakeLists.txt(1KB)
----arch()
--------arm()
--------openreil()
----openreil()
----README.md(316B)
----dynamorio()
----capstone()