FindUs: Static Detection of Use-After-Scope Violations for Multi-threaded Programs
- 7 October 2026
- book chapter
- Published by Springer Nature
- p. 220-254
Abstract
No abstract availableKeywords
This publication has 44 references indexed in Scilit:
- A survey on graph-based methods for Software Vulnerability Detection2024
- An Efficient Metric-Based Approach for Static Use-After-Free Detection2022
- Data Races and Static Analysis for Interrupt-Driven Kernels2019
- A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniquesSoftware Quality Journal, 2017
- 10 Years of research on debugging concurrent and multicore software: a systematic mapping studySoftware Quality Journal, 2016
- Region-Based May-Happen-in-Parallel Analysis for C Programs2015
- Towards Classification of Concurrency Bugs Based on Observable Properties2015
- IMSuite: A benchmark suite for simulating distributed algorithmsJournal of Parallel and Distributed Computing, 2015
- Barcelona OpenMP Tasks Suite: A Set of Benchmarks Targeting the Exploitation of Task Parallelism in OpenMP2009
- LLVM: A compilation framework for lifelong program analysis & transformation2004