Per-dereference verification of temporal heap safety via adaptive context-sensitive analysis
From MaRDI portal
Publication:6536280
DOI10.1007/978-3-030-32304-2_4zbMATH Open1539.68077MaRDI QIDQ6536280
Shiping Chen, Changwei Zou, Jingling Xue, Hua Yan, Yulei Sui, Yueqian Zhang
Publication date: 19 April 2024
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
- Unnamed Item
- Unnamed Item
- Abstractions from proofs
- Scalable Shape Analysis for Systems Code
- Software model checking
- Semi-sparse flow-sensitive pointer analysis
- Compositional shape analysis by means of bi-abduction
- Points-to analysis with efficient strong updates
- Pick your contexts well
- Learning minimal abstractions
- Tools and Algorithms for the Construction and Analysis of Systems
This page was built for publication: Per-dereference verification of temporal heap safety via adaptive context-sensitive analysis
