An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
Johannes Kinder, Florian Zuleger, and Helmut Veith
January 2009
In Proceedings of the Tenth International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2009)
Publisher Springer
Details
| Type | Inproceedings |
| Volume | 5403 |
| Series | Lecture Notes in Computer Science |
| Address | Savannah, GA, USA |
Related Labs
Share
