BINSEC: Binary Code Analysis with Low-Level Regions.

Adel Djoudi, Sbastien Bardin

Browse the full TACAS paper archive.