Public Repository

Last pushed: 2 years ago
Short Description
EISSEC is a symbolic execution system for extracting semantic model from compiler code generators.
Full Description

EISSEC (Extracting Instruction Semantics via Symbolic Execution of Code Generators) is a symbolic execution system developed in Secure Systems Lab of Stony Brook University. EISSEC enables extraction of semantic models from code generators of compilers via symbolic execution.

The repository includes a setup and all required packages to try EISSEC out-of-box and extract semantic models for x86 from GCC's x86 code generator.

Docker Pull Command