Abstract | ||
---|---|---|
Verification of microkernels, device drivers, and crypto routines requires analyses at the binary level. In order to automate these analyses, in the last years several binary analysis platforms have been introduced. These platforms share a common design: the adoption of hardware-independent intermediate representations, a mechanism to translate architecture dependent code to this representation, and a set of architecture independent analyses that process the intermediate representation. |
Year | DOI | Venue |
---|---|---|
2019 | 10.1016/j.scico.2019.01.001 | Science of Computer Programming |
Keywords | DocType | Volume |
Binary analysis,Formal verification,Proof producing analysis,Theorem proving | Journal | 174 |
ISSN | Citations | PageRank |
0167-6423 | 0 | 0.34 |
References | Authors | |
24 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Andreas Lindner | 1 | 3 | 2.11 |
Roberto Guanciale | 2 | 54 | 5.05 |
Roberto Metere | 3 | 12 | 1.86 |