Abstract Interpretation
=======================

General Frameworks
--------------------

TAJS (SAS 2009)
^^^^^^^^^^^^^^^^

*Paper title:* `Type Analysis for JavaScript <https://cs.au.dk/~amoeller/papers/tajs/paper.pdf>`__

*Tool:* `TAJS <https://github.com/cs-au-dk/tajs>`__

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

JSAI (ESEC/FSE 2014)
^^^^^^^^^^^^^^^^^^^^^^^^

*Paper title:* JSAI: `A Static Analysis Platform for JavaScript <https://dl.acm.org/doi/pdf/10.1145/2635868.2635904>`__

*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 <https://dl.acm.org/doi/pdf/10.1145/2499370.2462168>`__

*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 <https://dl.acm.org/doi/pdf/10.1145/2989225.2989228>`__


*Authors:* Changhee Park, Hyeonseung Im, Sukyoung Ryu


String Domains Dynamic Field Access (CC 2014)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

*Paper title:* `String Analysis for Dynamic Field Access <https://cs.au.dk/~magnusm/papers/cc14/paper.pdf>`__

*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 <https://www.dpss.inesc-id.pt/~mferreira/assets/pdf/graphjs_pldi24.pdf>`__

*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 <https://dl.acm.org/doi/pdf/10.1145/2858965.2814272>`__

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