There are no reviews yet. Be the first to send feedback to the community and the maintainers!
jaylang
An implementation of DDSE: a demand-driven symbolic evaluator.odefa-proof-of-concept
Proof of concept of DDPA, a form of program analysisbig-bang
Big Bang source repositorywhayrf
Proof-of-concept implementation of function patternssato
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 Theorytoy-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.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 ANFpds-reachability
A library for performing efficient reachability queries on abstractly specified push-down systems.Love Open Source and this site? Check out how you can help us