An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries

In  Proceedings of the Tenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009)

Publisher  Springer

Details

TypeInproceedings
Volume5403
SeriesLecture Notes in Computer Science
AddressSavannah, GA, USA
> Publications > An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries