474 search results - page 52 / 95 » Parallel Data Flow Analysis for OpenMP Programs |
126
click to vote
SAS
2009
Springer
16 years 2 months ago
2009
Springer
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...
124
Voted
LOPSTR
2004
Springer
15 years 7 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
135
click to vote
OSDI
2006
ACM
16 years 2 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...
107
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
131
Voted
POPL
2012
ACM
13 years 9 months ago
2012
ACM
JavaScript has become a central technology of the web, but it is also the source of many security problems, including cross-site scripting attacks and malicious advertising code. ...