Add to ORKGWe devised a reachability analysis that exploits code annotations and implemented it as a component of the extended static checker ESC/Java2. The component reports unchecked code and a class of errors previously undetected. We applied the analysis to existing annotated code and uncovered errors that were unknown to the developers. We present the algorithm performing the analysis and discuss errors that it detects
Abstract. Escape analysis facilitates better optimization of programs in object-oriented programming...
Current JDK Java compiler relies on programmer's declarations (by throws clauses) for checking ...
We propose the feature unreachable to specify branches in the control flow of a program that will ne...
peer-reviewedWe devised a reachability analysis that exploits code annotations and implemented it a...
This paper presents a general approach to annotation inference for a given static program checker. T...
Software development and maintenance are costly endeavors. The cost can be reduced if more software ...
A static program checker that performs modular checking can check one program module for errors with...
In order to customize their behavior at runtime, a wide sort of modern frameworks do use code annota...
Static analysis tools cannot detect violations of application-specific rules. They can be extended w...
Reachability from a program variable v to a program variable w states that from v , it is possible t...
Annotations are a recent feature introduced in languages such as Java, C#, and other languages of th...
Dynamic compilation often comes at the price of reduced code quality, because there is not enough ti...
Replication package including our anonymized dataset and scripts. The paper is under revision on Emp...
The project focuses on developing a static code analyser which processes source code into relational...
Escape analysis is highly beneficial for optimizing object-oriented programming languages such as Ja...
Abstract. Escape analysis facilitates better optimization of programs in object-oriented programming...
Current JDK Java compiler relies on programmer's declarations (by throws clauses) for checking ...
We propose the feature unreachable to specify branches in the control flow of a program that will ne...
peer-reviewedWe devised a reachability analysis that exploits code annotations and implemented it a...
This paper presents a general approach to annotation inference for a given static program checker. T...
Software development and maintenance are costly endeavors. The cost can be reduced if more software ...
A static program checker that performs modular checking can check one program module for errors with...
In order to customize their behavior at runtime, a wide sort of modern frameworks do use code annota...
Static analysis tools cannot detect violations of application-specific rules. They can be extended w...
Reachability from a program variable v to a program variable w states that from v , it is possible t...
Annotations are a recent feature introduced in languages such as Java, C#, and other languages of th...
Dynamic compilation often comes at the price of reduced code quality, because there is not enough ti...
Replication package including our anonymized dataset and scripts. The paper is under revision on Emp...
The project focuses on developing a static code analyser which processes source code into relational...
Escape analysis is highly beneficial for optimizing object-oriented programming languages such as Ja...
Abstract. Escape analysis facilitates better optimization of programs in object-oriented programming...
Current JDK Java compiler relies on programmer's declarations (by throws clauses) for checking ...
We propose the feature unreachable to specify branches in the control flow of a program that will ne...