GitHub repository: season-lab/memsight
Primary language: Python
Created: 2017-09-07T09:00:40Z
Description: MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)