Static Detection of Vulnerabilities in x86 Code

Tweet

Static Detection of Vulnerabilities in x86 Executables

     M.Cova V.Felmetsger G.Banks G.Vigna
Department of Computer Science University of California
              Santa Barbara, USA
                  23-08-2006

A 10 page document about x86 binary analysis for vulnerability detection.
The authors present a proof of concept program for this scope. The references
at the end of the document are also very interesting.

1 Introduction
2 Related Work
3 Static Analysis of Binaries
3.1 Prerequisites
3.2 Symbolic Execution
    Execution State
    Branches and Loops
    Alias Analysis
4 Vulnerability Analysis
4.1 Taint Analysis
4.2 Optimizations
5 Evaluation
6 Conclusions
7 Acknowledgments
References

Figure 1. Example of a vulnerable program
Figure 2. The architecture of our vulnerability detection tool

Table 1. Test Results
Table 2. Analysis Results