Static Analysis of x86 Executables
This dissertation is concerned with static analysis of binary executables in a theoretically well-founded, sound, yet practical way. The major challenge is the reconstruction of a correct control flow graph in presence of indirect jumps, pointer arithmetic, and untyped variables. While static progra...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English en |
| Published: |
2010
|
| Online Access: | https://tuprints.ulb.tu-darmstadt.de/2338/1/Kinder_-_Static_Analysis_of_x86_Executables.pdf Kinder, Johannes <http://tuprints.ulb.tu-darmstadt.de/view/person/Kinder=3AJohannes=3A=3A.html> (2010): Static Analysis of x86 Executables.Darmstadt, Technische Universität, [Ph.D. Thesis] |