4716 search results - page 391 / 944 » Iterative-free program analysis |
204
click to vote
TACAS
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. The pairwise reachability problem for a multi-threaded program asks, given control locations in two threads, whether they can be simultaneously reached in an execution of...
203
click to vote
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
Software attacks often subvert the intended data-flow in a vulnerable program. For example, attackers exploit buffer overflows and format string vulnerabilities to write data to u...
150
click to vote
FOSSACS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
187
click to vote
APLAS
2006
ACM
16 years 22 days ago
2006
ACM
String expression analysis conservatively approximates the possible string values generated by a program. We consider the validation of a context-free grammar obtained by the analy...
146
click to vote
CCS
2005
ACM
16 years 9 days ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...