A Practical String Analyzer by the Widening Approach

DOI10.1007/11924661_23MaRDI QIDQ5385606zbMATH OpenOpenAlexFDO

Authors Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh

Publication date 6 May 2008

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11924661_23

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2090837
• Twinning automata and regular expressions for string static analysis
• String analysis as an abstract interpretation
• Relational string abstract domains
• String abstract domains and their combination

Cited in

(9)

• Twinning automata and regular expressions for string static analysis
• Automata-based symbolic string analysis for vulnerability detection
• Widening and narrowing operators for abstract interpretation
• Inferring grammatical summaries of string values
• String analysis as an abstract interpretation
• scientific article; zbMATH DE number 2090837 (Why is no real title available?)
• String abstract domains and their combination
• Improving dynamic code analysis by code abstraction
• Abstract subtyping for asynchronous multiparty sessions

This page was built for publication: A Practical String Analyzer by the Widening Approach

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