[absint] move the framework bits/utilities of Infer.AI to a separate directory from the clients (checkers ~= transfer functions + domains)

Reviewed By: jvillard Differential Revision: D5264488 fbshipit-source-id: 454d03f
8 years ago · 4f54fabf4f
parent 63fcddb4a7
commit 4f54fabf4f
28 changed files with 5 additions and 8 deletions
--- a/infer/src/Makefile
+++ b/infer/src/Makefile
@ -138,7 +138,7 @@ EXTRA_DEPS = opensource
 endif

 DEPENDENCIES = \
-  IR backend base checkers eradicate harness integration labs quandary bufferoverrun \
+  absint backend base bufferoverrun checkers eradicate harness integration IR labs quandary \
  $(EXTRA_DEPS)

 # ocamlbuild command with options common to all build targets
--- a/infer/src/checkers/AbstractDomain.ml
+++ b/infer/src/checkers/AbstractDomain.ml
--- a/infer/src/checkers/AbstractDomain.mli
+++ b/infer/src/checkers/AbstractDomain.mli
--- a/infer/src/checkers/AbstractInterpreter.ml
+++ b/infer/src/checkers/AbstractInterpreter.ml
--- a/infer/src/checkers/AbstractInterpreter.mli
+++ b/infer/src/checkers/AbstractInterpreter.mli
--- a/infer/src/checkers/checkers.ml
+++ b/infer/src/checkers/checkers.ml
--- a/infer/src/checkers/checkers.mli
+++ b/infer/src/checkers/checkers.mli
--- a/infer/src/checkers/FormalMap.ml
+++ b/infer/src/checkers/FormalMap.ml
--- a/infer/src/checkers/FormalMap.mli
+++ b/infer/src/checkers/FormalMap.mli
--- a/infer/src/checkers/LowerHil.ml
+++ b/infer/src/checkers/LowerHil.ml
--- a/infer/src/checkers/LowerHil.mli
+++ b/infer/src/checkers/LowerHil.mli
--- a/infer/src/checkers/NodePrinter.ml
+++ b/infer/src/checkers/NodePrinter.ml
--- a/infer/src/checkers/NodePrinter.mli
+++ b/infer/src/checkers/NodePrinter.mli
--- a/infer/src/checkers/patternMatch.ml
+++ b/infer/src/checkers/patternMatch.ml
--- a/infer/src/checkers/patternMatch.mli
+++ b/infer/src/checkers/patternMatch.mli
--- a/infer/src/checkers/procCfg.ml
+++ b/infer/src/checkers/procCfg.ml
--- a/infer/src/checkers/procCfg.mli
+++ b/infer/src/checkers/procCfg.mli
--- a/infer/src/checkers/procData.ml
+++ b/infer/src/checkers/procData.ml
--- a/infer/src/checkers/procData.mli
+++ b/infer/src/checkers/procData.mli
--- a/infer/src/absint/README.md
+++ b/infer/src/absint/README.md
@ -0,0 +1,3 @@
+# AbsInt
+
+Code + utilties for the Infer.AI abstract interpretation framework.
--- a/infer/src/checkers/scheduler.ml
+++ b/infer/src/checkers/scheduler.ml
--- a/infer/src/checkers/summary.ml
+++ b/infer/src/checkers/summary.ml
--- a/infer/src/checkers/summary.mli
+++ b/infer/src/checkers/summary.mli
--- a/infer/src/checkers/transferFunctions.ml
+++ b/infer/src/checkers/transferFunctions.ml
--- a/infer/src/checkers/transferFunctions.mli
+++ b/infer/src/checkers/transferFunctions.mli
--- a/infer/src/checkers/var.ml
+++ b/infer/src/checkers/var.ml
--- a/infer/src/checkers/var.mli
+++ b/infer/src/checkers/var.mli
--- a/infer/src/checkers/README.md
+++ b/infer/src/checkers/README.md
@ -1,9 +1,3 @@
 # Checkers

-Checkers is an infrastructure to facitilate writing lightweight checks starting from the Intermediate Representation [IR](../IR/README.md) of a project.
-
-Module [Checkers](checkers.mli) contains a number of sample checkers.
-
-Individual checkers can be activated using module [RegisterCheckers](registercheckers.ml).
-
-
+Transfer functions, abstract domains, and checker configuration.