Relational string abstract domains

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

zbMATH Keywords

static analysisabstract interpretationstring analysisrelational abstract domains

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• PPL
• JSAI

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