Giters

nmosier / symex

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

core-dumpsecurity-toolssymbolic-execution

This repository is not active

About

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

core-dumpsecurity-toolssymbolic-execution

Languages

Language:C++ 98.4%Language:CMake 1.0%Language:C 0.6%