Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis
No abstract available.
Related papers
- Canary: practical static detection of inter-thread value-flow bugs PLDI 2021
- Carapace: Static-Dynamic Information Flow Control in Rust OOPSLA 2025
- Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation ESOP 2024
- Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability OOPSLA 2024
- Practical memory leak detection using guarded value-flow analysis PLDI 2007
- Efficient Abstract Interpretation via Selective Widening OOPSLA 2025
- Precise Analysis of String Expressions SAS 2003
- Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis OOPSLA 2026