most citedJSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript

3 citations · 3 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2014★ 3 cited

JSAI: Designing a Sound, Configurable, and Efficient Static Analyzer for JavaScript

Vineeth Kashyap, Kyle Dewey, Ethan A. Kuefner +5

We describe JSAI, an abstract interpreter for JavaScript. JSAI uses novel abstract domains to compute a reduced product of type inference, pointer analysis, string analysis, intege…