Completeness of abstract domains for string analysis of JavaScript programs

DOI10.1007/978-3-030-32505-3_15OpenAlexW2981410985MaRDI QIDQ2279128

Martina Olliaro, Agostino Cortesi, Vincenzo Arceri, Isabella Mastroeni

Publication date: 12 December 2019

Full work available at URL: http://hdl.handle.net/10278/3721097

zbMATH Keywords

string analysisabstract interpretation completenessstring abstract domains

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (2)

Twinning automata and regular expressions for string static analysis ⋮ Completeness of string analysis for dynamic languages

Uses Software

• JavaScript
• Norn
• JSAI
• Phantm

This page was built for publication: Completeness of abstract domains for string analysis of JavaScript programs