Phantm

MaRDI QIDQ42897swMATHFDO

Official website https://lara.epfl.ch/w/phantm

Source code repository https://github.com/colder/phantm

Cited in

(5)

• Completeness of string analysis for dynamic languages
• PHP
• JSAI
• Completeness of abstract domains for string analysis of JavaScript programs
• Abstract domains for type juggling

This page was built for software: Phantm