Automatic Detection of Uninitialized Variables
No abstract available.
DOI 10.1007/3-540-36579-6_16
Related papers
- MemorySanitizer: fast detector of uninitialized memory use in C++ CGO 2015
- Precise Interprocedural Dataflow Analysis via Graph Reachability POPL 1995
- Efficient and provable local capability revocation using uninitialized capabilities POPL 2021
- A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model OOPSLA 2022
- QSOLE: Automatic QBF Equivalence Checking TACAS 2026
- Scan detection and parallelization in "inherently sequential" nested loop programs CGO 2012
- Detecting Equalities of Variables: Combining Efficiency with Precision SAS 1999
- Interprocedural Analysis for Privileged Code Placement and Tainted Variable Detection ECOOP 2005