Loading...
Date
2007
Abstract
We 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.
Supervisor
Description
peer-reviewed
Publisher
Association for Computing Machinery
Citation
SAVCBS 2007;
Files
Loading...
2007_Janota.pdf
Adobe PDF, 206.13 KB
Keywords
Funding code
Funding Information
Science Foundation Ireland (SFI)
Sustainable Development Goals
External Link
Type
Meetings and Proceedings
Rights
https://creativecommons.org/licenses/by-nc-sa/1.0/