Browsing Stony Brook Theses & Dissertations [SBU] by Subject "Abstract Interpretation, Static Binary Analysis, Type Inference"
Now showing items 1-1 of 1
-
Using Type Inference and Abstract Interpretation for Static Binary Analysis
(The Graduate School, Stony Brook University: Stony Brook, NY., 1-Dec-12)In recent years, many research efforts have been dedicated to detect vulnerabilities in software. Most of these techniques are based on source code analysis. However, source code-based analysis methods are ineffective when ...