JHU-PL-Lab/odefa-proof-of-concept

This repository has been archived on 18/Jul/2020
Stars
7
Rank 2,296,320 (Top 46 %)
Language
OCaml
License
Other
Created over 9 years ago
Updated over 8 years ago

JHU-PL-Lab/odefa-proof-of-concept

JHU-PL-Lab

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Proof of concept of DDPA, a form of program analysis

jaylang

An implementation of DDSE: a demand-driven symbolic evaluator.

big-bang

Big Bang source repository

whayrf

Proof-of-concept implementation of function patterns

dde

Pure Demand Operational Semantics

sato

Sato, the Symbolic Analysis Typechecker for Odefa, dynamically locates type errors using demand-driven symbolic execution.

odefa

An ARCHIVED implementation of DDPA and related program analyses. This repository was split into separate projects when it became apparent that the related analyses would not be merged back into the DDPA branch. See the "ddpa", "ddse", and "sato" repositories in this organization.

pdr-programming

A metaprogramming library which generates regular PDS descriptions based upon user-written straight-line code.

layout-types

Layout Type Theory

toy-language-dr

A derivative of the toy-language repository which has "proper" deep records rather than shallow records.

CoPylot

Experimental repository for the application of DDPA-like analysis to a subset of Python.

pds-reachability

A library for performing efficient reachability queries on abstractly specified push-down systems.

ddpa

An implementation of DDPA, a higher-order demand-driven program analysis.

jhupllib

An OCaml library of common tools and utilities.

toy-language

A common basis for toy language development using a simple, shallow ANF