Recovering High-Level Conditions from Binary Programs.

Adel Djoudi, Sbastien Bardin, ric Goubault

Browse the full FM paper archive.