5235 search results - page 432 / 1047 » Analysis of Multithreaded Programs |
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Although in most cases class initialization works as expected, some static fields may be read before being initialized, despite being initialized in their corresponding class init...
157
click to vote
SAS
2010
Springer
15 years 5 months ago
2010
Springer
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
252
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. BAP is a publicly available infrastructure for performing program verification and analysis tasks on binary (i.e., executable) code. In this paper, we describe BAP as we...
144
click to vote
CLUSTER
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Large-scale parallel applications often produce immense quantities of data that need to be analyzed. To avoid performing repeated, costly disk accesses, analysis of larg...
170
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...