Repository navigation

symexec

Public

About

Basic x86 Symbolic Execution for educational purposes

symbolic-execution x86

18 stars

2 watching

Report repository

Name		Name	Last commit message	Last commit date
.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

18 stars

2 watching

Report repository

Releases

Packages

Contributors

Languages