infer_clone

History

Jules Villard 94e7a7b141 [siof] one access per sink, better report deduplication Summary: The previous domain for SIOF was duplicating some work with the generic Trace domain, and basically was a bit confused and confusing. A sink was a set of global accesses, and a state contains a set of sinks. Then the checker has to needlessly jump through hoops to normalize this set of sets of accesses into a set of accesses. The new domain has one sink = one access, as suggested by sblackshear. This simplifies a few things, and makes the dedup logic much easier: just grab the first report of the list of reports for a function. We only report on the fake procedures generated to initialise a global, and the filtering means that we keep only one report per global. Reviewed By: sblackshear Differential Revision: D5932138 fbshipit-source-id: acb7285		7 years ago
..
IR	[siof] one access per sink, better report deduplication	7 years ago
absint	[ai] No need to create a domain for a bottom_lifted type	7 years ago
atd	[build] switch to 4.05.0+flambda by default	7 years ago
backend	[sql] disable compaction while merge results	7 years ago
base	[sql] do not generate the source file for attribute store if they are no-op	7 years ago
bufferoverrun	[inferbo] No bottom bound	7 years ago
checkers	[siof] one access per sink, better report deduplication	7 years ago
clang	[objc] Translate ObjCAvailabilityExpr	7 years ago
clang_stubs	Replace existing calls to `exit` with InferExit exceptions to better control flow of executions	8 years ago
eradicate	[cleanup] remove Idenv from checkers callbacks	7 years ago
harness	[clang] distinguish genuine internal failures from unimplemented features	7 years ago
integration	[sql] add proc attributes DB	7 years ago
istd	[term] do not apply terminal colour codes if the output is not a tty	7 years ago
java	[stats] Emit the stats only in developer mode	7 years ago
java_stubs	Convert Reason to OCaml, and auto-format OCaml	8 years ago
labs	[log] die more appropriately	8 years ago
opensource	[graphql] kill unused files	8 years ago
python_stubs	[infer] python integration: parser, cfg support	8 years ago
quandary	[quandary] deserialization as sink	7 years ago
scripts	Replace existing calls to `exit` with InferExit exceptions to better control flow of executions	8 years ago
unit	[sql] add proc attributes DB	7 years ago
.merlin	[sql] let sqlite handle the attributes update logic	7 years ago
Makefile	[make] do not accidentally build the -O3 infer when running `make test_build`	7 years ago
README.md	[merlin] use `S **` instead of listing each directory	8 years ago
infertop.ml	[make] s/ocamlbuild/jbuilder/g	8 years ago
jbuild-workspace.in	[build] switch to 4.05.0+flambda by default	7 years ago
jbuild.common.in	[sql] let sqlite handle the attributes update logic	7 years ago
jbuild.in	[build] switch to 4.05.0+flambda by default	7 years ago

README.md

The OCaml source files for infer live here. The Makefile is responsible for building them, together with jbuild.in.