GitHub - nmosier/symex: A symbolic execution engine for x86-32 that allows starting execution from a concrete execution's core dump.

Name		Name	Last commit message	Last commit date
Latest commit History 29 Commits
arch		arch
cores		cores
CMakeLists.txt		CMakeLists.txt
capstone++.h		capstone++.h
symex.cc		symex.cc
util.h		util.h
xmacros.h		xmacros.h

About

A symbolic execution engine for x86-32 that allows starting execution from a concrete execution's core dump.

No releases published