725 search results - page 36 / 145 » Escape Analysis for Java |
118
click to vote
IWPC
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
119
click to vote
FASE
2010
Springer
15 years 11 months ago
2010
Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
119
click to vote
WER
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents J-RAn (Java Requirement Analyzer), a tool that implements a novel Content Analysis technique to support the verification of consistency and completeness of a So...
173
click to vote
RTCSA
2003
IEEE
15 years 9 months ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
131
click to vote
FIDJI
2004
Springer
15 years 8 months ago
2004
Springer
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...