1403 search results - page 40 / 281 » Quantitative Interprocedural Analysis |
108
click to vote
ICPP
2006
IEEE
15 years 5 months ago
2006
IEEE
Message passing via MPI is widely used in singleprogram, multiple-data (SPMD) parallel programs. Existing data-flow frameworks do not model the semantics of message-passing SPMD ...
177
click to vote
POPL
2009
ACM
15 years 11 months ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...
108
click to vote
PEPM
2010
ACM
15 years 7 months ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...
125
click to vote
VEE
2005
ACM
15 years 4 months ago
2005
ACM
In object-oriented programming languages, an object is said to escape the method or thread in which it was created if it can also be accessed by other methods or threads. Knowing ...
ARTS
1999
Springer
15 years 3 months ago
1999
Springer
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...