Precise Static Analysis of Binaries by Extracting Relational Information


While the reconstruction of the control-flow graph of a binary has received wide attention, the challenge of categorizing code into defect-free and possibly incorrect remains a challenge for current static analyses. We present the intermediate language RREIL and a corresponding analysis framework that is able to infer precise numeric information on… (More)
DOI: 10.1109/WCRE.2011.50

3 Figures and Tables


  • Presentations referencing similar topics