Lightweight Symbolic Execution Engine
cd z3
python scripts/mk_make.py
cd build
make
sudo make install
cd capstone
./make.sh
sudo make install
cd bin
cmake ..
make
#todo
- ELF loader (For now, need to hardcode symx.cpp and arch/arm.cpp)
forked from pzread/symx
-
Notifications
You must be signed in to change notification settings - Fork 0
Lightweight Symbolic Execution Engine
License
AmesianX/symx
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Lightweight Symbolic Execution Engine
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- C++ 88.7%
- C 6.6%
- Makefile 3.8%
- CMake 0.9%