4722 search results - page 411 / 945 » Representation-independent program analysis |
183
click to vote
TPDS
1998
15 years 6 months ago
1998
We present a set of advanced program parallelization techniques that are able to signi cantly improve the performance of application programs. We present evidence for this improve...
202
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...
149
click to vote
FOSSACS
2007
Springer
16 years 27 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 ...
184
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...
144
click to vote
CCS
2005
ACM
16 years 8 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...