Verimag

Détails sur le séminaire

salle A. Turing CE4
15 octobre 2015 - 10h00
The Ying and the Yang of Binary Reversing
par Andy King de University of Kent



Abstract: I will explain how the problem of recovering types (the ying) in binary
reversing, has a yang, which is a high-level witness that defines the
types. Quite apart from providing a principled approach to type
recovery, the formulation gives a type-based decompiler for free.




Contact | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 873125