JSAI

MaRDI QIDQ42235swMATHFDO

Official website https://arxiv.org/abs/1403.3996

Source code repository https://github.com/nystrom/jsai

Cited in

(15)

• Constraint programming for dynamic symbolic execution of JavaScript
• Completeness of string analysis for dynamic languages
• WALA
• JavaScript
• Node.js
• PyYAML
• PHP
• Rhino
• Phantm
• SymJS
• GATEKEEPER
• PyCG
• Relational string abstract domains
• Completeness of abstract domains for string analysis of JavaScript programs
• Abstract domains for type juggling

This page was built for software: JSAI