JSAI
From MaRDI portal
Software:42235
No author found.
Source code repository: https://github.com/nystrom/jsai
Related Items (5)
Relational string abstract domains ⋮ Abstract domains for type juggling ⋮ Completeness of abstract domains for string analysis of JavaScript programs ⋮ Completeness of string analysis for dynamic languages ⋮ Constraint programming for dynamic symbolic execution of JavaScript
This page was built for software: JSAI
