GitHub repository: JHU-PL-Lab/odefa
Primary language: OCaml
Created: 2015-08-25T17:14:11Z
Description: Implementation of DDPA and related program analyses.