Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries

Johannes Kinder, Florian Zuleger, and Helmut Veith

Details

Publication typeInproceedings
Published inProceedings of the Tenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009)
Volume5403
SeriesLecture Notes in Computer Science
AddressSavannah, GA, USA
PublisherSpringer
> Publications > An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries