JHU-PL-Lab/ddpa JHU-PL-Lab/ddpa

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Scheme
  • Created over 4 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JHU-PL-Lab/ddpa
github

JHU-PL-Lab

Reviews

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

Repository Details

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

More Repositories

1

jaylang

An implementation of DDSE: a demand-driven symbolic evaluator.
OCaml
10
star
2

odefa-proof-of-concept

Proof of concept of DDPA, a form of program analysis
OCaml
7
star
3

big-bang

Big Bang source repository
OCaml
6
star
4

whayrf

Proof-of-concept implementation of function patterns
OCaml
5
star
5

dde

Pure Demand Operational Semantics
OCaml
5
star
6

sato

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

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.
Scheme
4
star
8

pdr-programming

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

layout-types

Layout Type Theory
OCaml
3
star
10

toy-language-dr

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

CoPylot

Experimental repository for the application of DDPA-like analysis to a subset of Python.
OCaml
3
star
12

pds-reachability

A library for performing efficient reachability queries on abstractly specified push-down systems.
OCaml
3
star
13

jhupllib

An OCaml library of common tools and utilities.
OCaml
3
star
14

toy-language

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