SCAM 2025
Sun 7 - Fri 12 September 2025 Auckland, New Zealand
co-located with ICSME 2025
Tue 9 Sep 2025 11:37 - 12:00 at OGGB5 260-051 - Analysis 2 Chair(s): Patrick Lam

LLVM frontends like Clang preserve source-level type information in the intermediate representation (IR) primarily through debug metadata. Although intended for debuggers, this metadata benefits compiler tools like sanitizers, which need type information of stack, heap and global allocations for tasks such as verifying memory safety. We present llvm-dimeta, a library that extracts type information for memory allocations directly from LLVM IR via debug metadata. It handles the necessary IR analysis internally, enabling frontend-independent type queries. As a case study, we integrate llvm-dimeta into a type correctness checker for MPI-parallelized HPC applications. Using llvm-dimeta, the checker achieves 98% accuracy on an MPI correctness benchmark, up from 77% when relying solely on LLVM IR’s more limited type system.

Tue 9 Sep

Displayed time zone: Auckland, Wellington change

10:30 - 12:00
Analysis 2Engineering Track / Research Track at OGGB5 260-051
Chair(s): Patrick Lam University of Waterloo
10:30
22m
Research paper
On the need to perform comprehensive evaluations of automatic program repair benchmarks: Sorald case study
Research Track
Sumudu Liyanage University of Otago, Sherlock A. Licorish University of Otago, Markus Wagner Monash University, Australia, Stephen MacDonell Victoria University of Wellington
Pre-print
10:52
22m
Research paper
Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness
Research Track
Scott Blyth Monash University, Sherlock A. Licorish University of Otago, Christoph Treude Singapore Management University, Markus Wagner Monash University, Australia
Pre-print
11:15
22m
Research paper
FaaSGuard: Secure CI/CD for Serverless Applications – An OpenFaaS Case Study
Engineering Track
Amine Barrak Oakland University, USA, Emna Ksontini University of Michigan, Ridouane Atike , Fehmi Jaafar Université du Québec à Chicoutimi
Pre-print
11:37
22m
Research paper
llvm-dimeta: A library for extracting source-level type information in LLVM IR using debug metadata.
Engineering Track
Alexander Hück Scientific Computing, TU Darmstadt, Sebastian Kreutzer TU Darmstadt, Christian Bischof Scientific Computing, TU Darmstadt