symexec

Basic x86 Symbolic Execution for educational purposes

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

Provide feedback