Lightweight Symbolic Execution Engine
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
arch
capstone @ 3808eec
dynamorio @ 0d0cc5d
inc
openreil @ 2e499c4
solver
src
test
z3 @ cee7dd3
.gitmodules
CMakeLists.txt
LICENSE
README.md

README.md

symx

Lightweight Symbolic Execution Engine

compile

Z3

cd z3
python scripts/mk_make.py
cd build
make
sudo make install

Capstone Engine

cd capstone
./make.sh
sudo make install

symx

cd bin
cmake ..
make

#todo

  1. ELF loader (For now, need to hardcode symx.cpp and arch/arm.cpp)