String abstract domains and their combination

DOI10.1007/978-3-030-98869-2_1MaRDI QIDQ6102247zbMATH OpenOpenAlexFDO

Authors Harald Søndergaard

Publication date 8 May 2023

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-98869-2_1

Mathematics Subject Classification ID

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

Recommendations

• Reference abstract domains and applications to string analysis
• Relational string abstract domains
• Twinning automata and regular expressions for string static analysis
• String analysis as an abstract interpretation
• A Practical String Analyzer by the Widening Approach

Cites work

• A Practical String Analyzer by the Widening Approach
• A scalable segmented decision tree abstract domain
• Affine relationships among variables of a program
• Automating abstract interpretation
• Computer Aided Verification
• Dashed strings for string constraint solving
• scientific article; zbMATH DE number 5595151 (Why is no real title available?)
• Mumford–Shah Loss Functional for Image Segmentation With Deep Learning
• Principles of abstract interpretation
• Reference abstract domains and applications to string analysis
• String abstraction for model checking of C programs

Cited in

(5)

• Relational string abstract domains
• Twinning automata and regular expressions for string static analysis
• String analysis as an abstract interpretation
• Reference abstract domains and applications to string analysis
• A Practical String Analyzer by the Widening Approach

This page was built for publication: String abstract domains and their combination

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6102247)