src

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

Name		Name	Last commit message	Last commit date
parent directory ..
IR		IR
absint		absint
atd		atd
backend		backend
base		base
bufferoverrun		bufferoverrun
checkers		checkers
clang		clang
concurrency		concurrency
cost		cost
deadcode		deadcode
erlang		erlang
inferppx-tests		inferppx-tests
inferppx		inferppx
integration		integration
istd		istd
java		java
labs		labs
llvm		llvm
opensource		opensource
pulse		pulse
python		python
rust		rust
scripts		scripts
semdiff		semdiff
sledge		sledge
textual		textual
topl		topl
treesitter		treesitter
unit		unit
.ocamlformat		.ocamlformat
.ocamlformat-ignore		.ocamlformat-ignore
Makefile		Makefile
README.md		README.md
dune.common.in		dune.common.in
dune.in		dune.in
infer.ml		infer.ml
infer.mli		infer.mli
infertop.ml		infertop.ml
infertop.mli		infertop.mli
inferunit.ml		inferunit.ml
inferunit.mli		inferunit.mli
linking-flags-llvm-swift.sexp		linking-flags-llvm-swift.sexp
linking-flags-llvm.sexp		linking-flags-llvm.sexp
linking-flags.sexp		linking-flags.sexp

Provide feedback