4716 search results - page 105 / 944 » Iterative-free program analysis |
107
click to vote
JSS
2006
14 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
14 years 12 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
15 years 4 months ago
2009
Springer
CAV
2012
Springer
13 years 10 days ago
2012
Springer
Abstract. We develop compositional analysis algorithms for detecting nontermination in multithreaded programs. Our analysis explores fair and ultimatelyperiodic executions—i.e., ...
KBSE
2009
IEEE
15 years 4 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...