An analysis of the dynamic behavior of JavaScript programs

G Richards, S Lebresne, B Burg, J Vitek - Proceedings of the 31st ACM …, 2010‏ - dl.acm.org
The JavaScript programming language is widely used for web programming and,
increasingly, for general purpose computing. As such, improving the correctness, security …

The eval that men do: A large-scale study of the use of eval in JavaScript applications

G Richards, C Hammer, B Burg, J Vitek - European Conference on Object …, 2011‏ - Springer
Transforming text into executable code with a function such as JavaScript's eval endows
programmers with the ability to extend applications, at any time, and in almost any way they …

[PDF][PDF] GATEKEEPER: Mostly Static Enforcement of Security and Reliability Policies for JavaScript Code.

S Guarnieri, VB Livshits - USENIX Security Symposium, 2009‏ - usenix.org
The advent of Web 2.0 has lead to the proliferation of client-side code that is typically written
in JavaScript. This code is often combined—or mashed-up—with other code and content …

Towards type inference for JavaScript

C Anderson, P Giannini, S Drossopoulou - … Glasgow, UK, July 25-29, 2005 …, 2005‏ - Springer
Object-oriented scripting languages like Javascript and Python are popular partly because
of their dynamic features. These include the runtime modification of objects and classes …

Practical static analysis of JavaScript applications in the presence of frameworks and libraries

M Madsen, B Livshits, M Fanning - Proceedings of the 2013 9th Joint …, 2013‏ - dl.acm.org
JavaScript is a language that is widely-used for both web-based and standalone
applications such as those in the upcoming Windows 8 operating system. Analysis of …

A tested semantics for getters, setters, and eval in JavaScript

JG Politz, MJ Carroll, BS Lerner, J Pombrio… - Proceedings of the 8th …, 2012‏ - dl.acm.org
We present S5, a semantics for the strict mode of the ECMAScript 5.1 (JavaScript)
programming language. S5 shrinks the large source language into a manageable core …

Eval begone! semi-automated removal of eval from JavaScript programs

F Meawad, G Richards, F Morandat… - Proceedings of the ACM …, 2012‏ - dl.acm.org
Eval endows JavaScript developers with great power. It allows developers and end-users,
by turning text into executable code, to seamlessly extend and customize the behavior of …

[PDF][PDF] {GULFSTREAM}: Staged Static Analysis for Streaming {JavaScript} Applications

S Guarnieri - USENIX Conference on Web Application Development …, 2010‏ - usenix.org
The advent of Web 2.0 has led to the proliferation of client-side code that is typically written
in JavaScript. Recently, there has been an upsurge of interest in static analysis of client-side …

Incremental type migration using type algebra

HK Wright - 2020 IEEE International Conference on Software …, 2020‏ - ieeexplore.ieee.org
When a new set of types is introduced into a large software system, the task of retrofitting that
system to take advantage of those types is generally cost-prohibitive. Existing automated …

Analysis and optimization of engines for dynamically typed languages

G Dot, A Martínez, A González - 2015 27th International …, 2015‏ - ieeexplore.ieee.org
Dynamically typed programming languages have become very popular in the recent years.
These languages ease the task of the programmer but introduce significant overheads since …