Demanded Abstract Interpretation

Incremental and demand-driven abstract interpretation framework in OCaml

DAI requires:

OCaml version 4.09.0+
OPAM version 2.0.7+
Dune version 2.5.1+
System packages: libgmp-dev libmpfr-dev (for APRON numerical domains)
Adapton version 0.1-dev (pinned as a local OPAM package via make install, per its README)

Build with make build and run synthetic-edit experiments (as in PLDI paper) with ./run_d1a_experiment

Name		Name	Last commit message	Last commit date
Latest commit History 393 Commits
WALA-callgraph @ 5c1d47a		WALA-callgraph @ 5c1d47a
data		data
experiment_inputs		experiment_inputs
scripts		scripts
src		src
test_cases		test_cases
.gitignore		.gitignore
.gitmodules		.gitmodules
Dockerfile		Dockerfile
Makefile		Makefile
README.md		README.md
README.txt		README.txt
callgraphSize		callgraphSize
dai.opam		dai.opam
diffCounts		diffCounts
dune-project		dune-project
generate_table.py		generate_table.py
linesOfSourceCode		linesOfSourceCode
print_as_csv_row		print_as_csv_row
run_callstring_configs		run_callstring_configs
run_configs		run_configs
run_diagnostic		run_diagnostic
run_experiments		run_experiments
run_null_configs		run_null_configs
run_synthetic		run_synthetic
run_synthetic_parallel		run_synthetic_parallel

cuplv/dai