128 search results - page 3 / 26 » Fast Interprocedural Class Analysis |
SOSP
2003
ACM
14 years 2 months ago
2003
ACM
This paper describes RacerX, a static tool that uses flowsensitive, interprocedural analysis to detect both race conditions and deadlocks. It is explicitly designed to find erro...
CDC
2008
IEEE
14 years 13 days ago
2008
IEEE
— One of the important and efficient tools in system analysis is the analysis of responses to harmonic excitations. For linear systems the information on such responses is conta...
VEE
2005
ACM
13 years 11 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 ...
FASE
2005
Springer
13 years 11 months ago
2005
Springer
This tool paper describes a modular program slicer for Java built using the Indus program analysis framework along with it’s Eclipse-based user interface called Kaveri. Indus pro...
SP
2006
IEEE
13 years 12 months ago
2006
IEEE
The number and the importance of Web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...