JHU-PL-Lab/CoPylot JHU-PL-Lab/CoPylot

  • This repository has been archived on 18/Jul/2020
  • Stars
    star
    3
  • Rank 3,967,023 (Top 79 %)
  • Language
    OCaml
  • License
    GNU General Publi...
  • Created over 7 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
JHU-PL-Lab/CoPylot
github

JHU-PL-Lab

Reviews

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

Repository Details

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

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

pds-reachability

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

ddpa

An implementation of DDPA, a higher-order demand-driven program analysis.
Scheme
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