JSAI

swMATH30521MaRDI QIDQ42235FDOQ42235

Author name not available (Why is that?)

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

Cited In (5)

• Constraint programming for dynamic symbolic execution of JavaScript
• Completeness of string analysis for dynamic languages
• 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