A Parallel Abstract Interpreter for JavaScript

Supplementary material for the paper "A Parallel Abstract Interpreter for JavaScript" (CGO'15)
Validated by the CGO Artifact Evaluation Committee.

Language Fuzzing Using Constraint Logic Programming

Supplementary material for the paper "Language Fuzzing Using Constraint Logic Programming" (ASE'14)

JSAI: A Static Analysis Platform for JavaScript

Source code for the paper "JSAI: A Static Analysis Platform for JavaScript" (FSE'14)
Validated by the FSE Artifact Evaluation Committee.

Sapper: A Language for HW-Level Security Policy Enforcement

Source code for the paper "Sapper: A Language for Hardware-Level Security Policy Enforcement" (ASPLOS'14)

MuscalietJS: An Extensible, Portable JavaScript Engine

MCJS is an open-source JavaScript engine implemented on top of .NET/Mono. This project is collaboration between the UCSB PL Lab and Qualcomm Research.

Security Signature Inference for JavaScript-based Browser Addons

Supplementary material for the paper "Security Signature Inference for JavaScript-based Browser Addons" (CGO'14)

Widening for Control-Flow

Supplementary material for the paper "Widening for Control-Flow" (VMCAI'14)

Type Refinement for Static Analysis of JavaScript

Supplementary material for the paper "Type Refinement for Static Analysis of JavaScript" (DLS'13)

Caisson HDL

The Caisson language implementation (see the paper: "Caisson: A Hardware Description Language for Secure Information Flow").

Pointer Analysis for C-Style Languages

Inclusion-Based Pointer Analysis

Flow-Sensitive Pointer Analysis