Abstract Interpretation

General Frameworks

TAJS (SAS 2009)

Paper title: Type Analysis for JavaScript

Tool: TAJS

Authors: Simon Holm Jensen, Anders Møller, Peter Thiemann

JSAI (ESEC/FSE 2014)

Paper title: JSAI: A Static Analysis Platform for JavaScript

Authors: Vineeth Kashyap, Kevin Gibbons, Kyle Dewey, John Sarracino, Ethan A. Kuefner, Ben Wiedermann, John Wagner, Ben Hardekopf

Determinacy Analysis (PLDI 2013)

Paper title: Dynamic Determinacy Analysis

Authors: Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip

String Domain

Regular Expression Domain (DLS 2016)

Paper title: Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain

Authors: Changhee Park, Hyeonseung Im, Sukyoung Ryu

String Domains Dynamic Field Access (CC 2014)

Paper title: String Analysis for Dynamic Field Access

Authors: Magnus Madsen, Esben Andreasen

Other

Graph.js: Multiversion Dependence Graph (PLDI 2024)

Paper title: Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs

Authors: Mafalda Ferreira, Miguel Monteiro, Tiago Brito, Miguel E. Coimbra, Nuno Santos, Limin Jia, José Fragoso Santos.

Event-based Analysis (OOPSLA 2015)

Paper title: Static Analysis of Event-Driven Node.js JavaScript Applications

Authors: Magnus Madsen, Frank Tip, Ondřej Lhotak