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 4.2.13 + AHUNTSIC [CC License]

info visites 3987386