|
58
|
Automatically Proving the Correctness of Compiler Optimizations
– Sorin Lerner, Todd Millstein, Craig Chambers
- 2003
|
|
1016
|
Proof-Carrying Code
– George C. Necula
- 1997
|
|
34
|
Dataflow pointcut in aspect-oriented programming
– Hidehiko Masuhara, Kazunori Kawauchi
- 2003
|
|
50
|
M.S.: Finding security errors in Java programs with static analysis
– B Livshits, Lam
- 2005
|
|
179
|
Finding bugs is easy
– David Hovemeyer, William Pugh
- 2004
|
|
16
|
Parameterized Pattern Matching by Boyer-Moore-type Algorithms
– Brenda S. Baker
- 1995
|
|
81
|
ASTLOG: A Language for Examining Abstract Syntax Trees
– Roger F. Crew
- 1997
|
|
18
|
Divide and conquer - HTTP response splitting, web cache poisoning attacks, and related topics,” 2004, http://packetstormsecurity. org/papers/general/whitepaper httpresponse.pdf
– A Klein
|
|
111
|
Navigating and querying code without getting lost
– D Janzen, K De Volder
- 2003
|
|
44
|
Relational queries over program traces
– S Goldsmith, R O’Callahan, A Aiken
- 2005
|
|
19
|
Parametric regular path queries
– Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu
- 2004
|
|
181
|
A System and Language for Building System-Specific, Static Analyses
– Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson Engler
- 2002
|
|
45
|
Query-based debugging of object-oriented programs
– R Lencevicius, U Hölzle, A K Singh
- 1997
|
|
136
|
Securing web application code by static analysis and runtime protection
– Yao-wen Huang, Fang Yu, Christian Hang, Chung-hung Tsai, D. T. Lee, Sy-yen Kuo
- 2004
|
|
122
|
Automatically hardening web applications using precise tainting
– Anh Nguyen-tuong, Salvatore Guarnieri, Doug Greene, David Evans
- 2005
|
|
47
|
S.K.: SLIC: A specification language for interface checking (of C
– T Ball, Rajamani
- 2002
|
|
42
|
Credible compilation with pointers
– Martin C. Rinard, Darko Marinov
- 1999
|
|
36
|
Extracting a Data Flow Analyser in Constructive Logic
– David Cachera, Thomas Jensen, David Pichardie, Vlad Rusu
- 2004
|
|
557
|
From System F to Typed Assembly Language
– Greg Morrisett, David Walker, Karl Crary, Neal Glew
- 1998
|
