Reference abstract domains and applications to string analysis

DOI10.3233/FI-2018-1650MaRDI QIDQ4637861zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Roberto Amadini, Graeme Gange, Francois Gauthier, Alexander I. Jordan, Peter Schachte, Harald Søndergaard, Peter J. Stuckey, Chenyi Zhang

Publication date 3 May 2018

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2018-1650

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Formal languages and automata (68Q45)

Recommendations

• String abstract domains and their combination
• String analysis as an abstract interpretation
• Relational string abstract domains
• Twinning automata and regular expressions for string static analysis
• Reduced product combination of abstract domains for shapes

Cited in

(7)

• Abstract domains for type juggling
• Dashed strings for string constraint solving
• Completeness of string analysis for dynamic languages
• Relational string abstract domains
• String analysis as an abstract interpretation
• String abstract domains and their combination
• Improving dynamic code analysis by code abstraction

Describes a project that uses

Uses Software

• JavaScript
• PHP

This page was built for publication: Reference abstract domains and applications to string analysis

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