Solvers for type recovery and decompilation of binaries
Reconstructing the meaning of a program from its binary is known as reverse engineering. Since reverse engineering is ultimately a search for meaning, there is growing interest in inferring a type (a meaning) for the elements of a binary in a consistent way. Currently there is no consensus on how be...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Kent
2017
|
| Subjects: | |
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.713045 |