Relational string abstract domains
From MaRDI portal
Publication:2152641
DOI10.1007/978-3-030-94583-1_2zbMath1498.68070OpenAlexW4205181847MaRDI QIDQ2152641
Martina Olliaro, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi
Publication date: 8 July 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-94583-1_2
Uses Software
Cites Work
- Unnamed Item
- The octagon abstract domain
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
- Class invariants as abstract interpretation of trace semantics
- Dashed strings for string constraint solving
- Completeness of string analysis for dynamic languages
- A relational shape abstract domain
- Twinning automata and regular expressions for string static analysis
- Automata-based symbolic string analysis for vulnerability detection
- An Abstract Domain of Uninterpreted Functions
- Chain-Free String Constraints
- Abstract interpretation and application to logic programs
- Reference Abstract Domains and Applications to String Analysis
- Systematic design of program transformation frameworks by abstract interpretation
- Compiler Design
- String abstraction for model checking of C programs
This page was built for publication: Relational string abstract domains