sciencemanx / symexec Public

Notifications You must be signed in to change notification settings
Fork 3
Star 18

Basic x86 Symbolic Execution for educational purposes

18 stars 3 forks Branches Tags Activity

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
.gitignore		.gitignore
CFG.py		CFG.py
Executor.py		Executor.py
Ops.py		Ops.py
README.md		README.md
SymState.py		SymState.py
main.py		main.py
progA.c		progA.c
progB.c		progB.c
progC.c		progC.c
symexc.h		symexc.h

Repository files navigation

symexec

Basic x86 Symbolic Execution for educational purposes