4722 search results - page 125 / 945 » Representation-independent program analysis |
JSS
2006
13 years 9 months ago
2006
Whether context-sensitive program analysis is more effective than context-insensitive analysis is an ongoing discussion. There is evidence that context-sensitivity matters in comp...
APLAS
2008
ACM
13 years 11 months ago
2008
ACM
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
ER
2009
Springer
14 years 3 months ago
2009
Springer
ISSTA
2012
ACM
11 years 11 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
KBSE
2009
IEEE
14 years 3 months ago
2009
IEEE
Given a program and an attack pattern (specified as a regular expression), we automatically generate string-based vulnerability signatures, i.e., a characterization that includes...