A Precise and Abstract Memory Model for C Using Symbolic Values
No abstract available.
DOI 10.1007/978-3-319-12736-1_24
Related papers
- Symbolic heap abstraction with demand-driven axiomatization of memory invariants OOPSLA 2010
- Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts OOPSLA 2021
- Sprout: A Verifier for Symbolic Multiparty Protocols CAV 2025
- Analysing memory resource bounds for low-level programs ISMM 2008
- Sound and Precise Symbolic Automata Model for Stateful Software Systems CAV 2026
- Abstraction of memory block manipulations by symbolic loop folding ESOP 2025
- Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification SAS 2019
- Polymorphic predicate abstraction TOPLAS 2005