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

Notifications

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

About

Basic x86 Symbolic Execution for educational purposes

symbolic-execution x86

Report repository

Releases

No releases published

Packages

No packages published

Languages