Static Analysis

s of Invited Talks Static Analysis of x86 Executables Using Abstract Interpretation