Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story
Abstract elided by the publisher.
Related papers
- Static detection of energy defect patterns in Android applications CC 2016
- Detecting Defects in Object-Oriented Designs: Using Reading Techniques to Increase Software Quality OOPSLA 1999
- Canary: practical static detection of inter-thread value-flow bugs PLDI 2021
- Exploiting Sophisticated Static Analysis for Verilog PLDI 2026
- Lightweight fault detection in parallelized programs CGO 2013
- RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper) ECOOP 2025
- QVM: an efficient runtime for detecting defects in deployed systems OOPSLA 2008
- WARio: efficient code generation for intermittent computing PLDI 2022