/memsight

MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)

Primary LanguagePythonBSD 2-Clause "Simplified" LicenseBSD-2-Clause

No issues in this repository yet.