REIL

Title Speakers Conference Tags
Automating the identification of data structures inside binaries Edgar Barbosa SysCan-2012 - Singapore Code Analysis REIL Z3 N-Gram