Toward Declarative Auditing of Java Software for Graceful Exception Handling
Despite their language-integrated design, Java exceptions can be difficult to use effectively. Although Java exceptions are syntactically straightforward, negligent practices often result in code logic that is not only inelegant but also unsafe. This paper explores the challenge of auditing Java software to enhance the effectiveness and safety of its exception logic. We revisit common anti-patterns associated with Java exception usage and argue that, for auditing, their detection requires a more nuanced approach than mere identification. Specifically, we investigate whether reporting such anti-patterns can be prioritized for subsequent examination. We prototype our approach as Händel, in which anti-patterns and their priority, or weight, are expressed declaratively using probabilistic logic programming. Evaluation with representative open-source code bases suggests Händel’s promise in detecting, reporting, and ranking the anti-patterns, thus helping streamline Java software auditing to ensure the safety and quality of exception-handling logic.
Thu 19 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:30 - 16:50 | |||
15:30 15mShort-paper | Towards Realistic Results for Instrumentation-Based Profilers for JIT-Compiled Systems MPLR A: Humphrey Burchell University of Kent, A: Octave Larose University of Kent, A: Stefan Marr University of Kent DOI Pre-print | ||
15:45 15mShort-paper | Toward Declarative Auditing of Java Software for Graceful Exception Handling MPLR DOI | ||
16:00 25mPaper | Dynamic Possible Source Count Analysis for Data Leakage Prevention MPLR A: Eri Ogawa University of Tokyo; IBM Research, A: Tetsuro Yamazaki University of Tokyo, A: Ryota Shioya University of Tokyo DOI | ||
16:25 25mPaper | The Cost of Profiling in the HotSpot Virtual Machine MPLR A: Rene Mueller Huawei Zurich Research Center, A: Maria Carpen-Amarie Huawei Zurich Research Center, A: Matvii Aslandukov Kharkiv National University of Radio Electronics, A: Konstantinos Tovletoglou Independent Researcher DOI | ||
16:50 5mDay closing | Closing Session MPLR Stefan Marr University of Kent |