ISSTA/ECOOP 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
Thu 19 Sep 2024 15:45 - 16:00 at EI 2 Pichelmayer - MPLR "Analysis" Session Chair(s): M. Anton Ertl

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 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 16:50
MPLR "Analysis" SessionMPLR at EI 2 Pichelmayer
Chair(s): M. Anton Ertl TU Wien
15:30
15m
Short-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
15m
Short-paper
Toward Declarative Auditing of Java Software for Graceful Exception Handling
MPLR
A: Leo St. Amour Virginia Tech, A: Eli Tilevich Virginia Tech
DOI
16:00
25m
Paper
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
25m
Paper
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
5m
Day closing
Closing Session
MPLR
Stefan Marr University of Kent

Information for Participants
Thu 19 Sep 2024 15:30 - 16:50 at EI 2 Pichelmayer - MPLR "Analysis" Session Chair(s): M. Anton Ertl
Info for room EI 2 Pichelmayer:

Map: https://tuw-maps.tuwien.ac.at/?q=CF0235

Room tech: https://raumkatalog.tiss.tuwien.ac.at/room/15717