173 search results - page 6 / 35 » Interprocedural analysis of asynchronous programs |
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
Null dereference is a commonly occurring defect in Java programs, and many static-analysis tools identify such defects. However, most of the existing tools perform a limited inter...
CC
2006
Springer
15 years 1 months ago
2006
Springer
This paper presents a new worklist algorithm that significantly speeds up a large class of flow-sensitive data-flow analyses, including typestate error checking and pointer analysi...
ECOOP
2005
Springer
15 years 3 months ago
2005
Springer
In Java 2 and Microsoft .NET Common Language Runtime (CLR), trusted code has often been programmed to perform accessrestricted operations not explicitly requested by its untrusted ...
101
click to vote
CC
1994
Springer
15 years 1 months ago
1994
Springer
This paper concerns the solution of demand versions of interprocedural analysis problems. In a demand version of a program-analysis problem, some piece of summary information (e.g...
104
Voted
CC
2012
Springer
13 years 5 months ago
2012
Springer
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...