Jalangi: A selective record-replay and dynamic analysis framework for JavaScript

K Sen, S Kalasapur, T Brutch, S Gibbs - … of the 2013 9th Joint Meeting on …, 2013 - dl.acm.org
JavaScript is widely used for writing client-side web applications and is getting increasingly
popular for writing mobile applications. However, unlike C, C++, and Java, there are not that …

Analysis of JavaScript programs: Challenges and research trends

K Sun, S Ryu - ACM Computing Surveys (CSUR), 2017 - dl.acm.org
JavaScript has been a de facto standard language for client-side web programs, and now it
is expanding its territory to general purpose programs. In this article, we classify the client …

JSAI: A static analysis platform for JavaScript

V Kashyap, K Dewey, EA Kuefner, J Wagner… - Proceedings of the …, 2014 - dl.acm.org
JavaScript is used everywhere from the browser to the server, including desktops and
mobile devices. However, the current state of the art in JavaScript static analysis lags far …

Determinacy in static analysis for jQuery

E Andreasen, A Møller - Proceedings of the 2014 ACM International …, 2014 - dl.acm.org
Static analysis for JavaScript can potentially help programmers find errors early during
development. Although much progress has been made on analysis techniques, a major …

Modeling the HTML DOM and browser API in static analysis of JavaScript web applications

SH Jensen, M Madsen, A Møller - … of the 19th ACM SIGSOFT symposium …, 2011 - dl.acm.org
Developers of JavaScript web applications have little tool support for catching errors early in
development. In comparison, an abundance of tools exist for statically typed languages …

Correlation tracking for points-to analysis of JavaScript

M Sridharan, J Dolby, S Chandra, M Schäfer… - ECOOP 2012–Object …, 2012 - Springer
JavaScript poses significant challenges for points-to analysis, particularly due to its flexible
object model in which object properties can be created and deleted at run-time and …

Static type analysis by abstract interpretation of python programs

R Monat, A Ouadjaout, A Miné - 34th European Conference on …, 2020 - drops.dagstuhl.de
Python is an increasingly popular dynamic programming language, particularly used in the
scientific community and well-known for its powerful and permissive high-level syntax. Our …

{JAW}: Studying client-side {CSRF} with hybrid property graphs and declarative traversals

S Khodayari, G Pellegrino - 30th USENIX Security Symposium (USENIX …, 2021 - usenix.org
Client-side CSRF is a new type of CSRF vulnerability where the adversary can trick the
client-side JavaScript program to send a forged HTTP request to a vulnerable target site by …

Remedying the eval that men do

SH Jensen, PA Jonsson, A Møller - Proceedings of the 2012 …, 2012 - dl.acm.org
A range of static analysis tools and techniques have been developed in recent years with
the aim of hel** JavaScript web application programmers produce code that is more …

Race detection for web applications

B Petrov, M Vechev, M Sridharan, J Dolby - ACM SIGPLAN Notices, 2012 - dl.acm.org
Modern web pages are becoming increasingly full-featured, and this additional functionality
often requires greater use of asynchrony. Unfortunately, this asynchrony can trigger …