4719 search results - page 175 / 944 » Newtonian program analysis |
160
click to vote
CCS
2011
ACM
14 years 4 months ago
2011
ACM
Malware continues to remain one of the most important security problems on the Internet today. Whenever an anti-malware solution becomes popular, malware authors typically react p...
161
click to vote
CGO
2010
IEEE
15 years 11 months ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...
143
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
The number and the importance of web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...
134
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
Abstract Decision procedures underlie many program analysis problems. Traditional program analysis algorithms attempt to prove some property about a single, statically-defined prog...
231
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
We present an interprocedural and compositional algorithm for finding pairs of compatible allocation sites, which have the property that no object allocated at one site is live at...