Systems of Martin Rinard

Prophet, SPR, and Kali

CodePhage

DIODE

DroidSafe

Chisel and Rely

RCV

SIFT

The Flex Program Analysis and Compilation System

The SPAN Pointer Analysis Package

The Jade Programming Language