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)

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