This branch is 15 commits ahead of, 9340 commits behind facebook/infer:main.

Name	Name	Last commit message	Last commit date
Latest commit Adam Welc Added support for recursive and mult-file function definitions May 16, 2019 b1e60a1 · May 16, 2019 History 5,640 Commits
.travis	.travis	Change license to MIT	May 31, 2018
dependencies	dependencies	[setup] opam 2	Nov 23, 2018
docker	docker	[docker] remove duplicate dependency	Aug 7, 2018
examples	examples	[RFC] Format all java files	Sep 27, 2018
facebook-clang-plugins @ 81d8438	facebook-clang-plugins @ 81d8438	[plugin] fix shasum for some linux distros	Nov 14, 2018
infer	infer	Added support for recursive and mult-file function definitions	May 16, 2019
m4	m4	[setup] opam 2	Nov 23, 2018
scripts	scripts	[setup] opam 2	Nov 23, 2018
sledge	sledge	[sledge] Improve simplification of negated booleans	Oct 31, 2018
.buckconfig	.buckconfig	[infer][genrule] Add example of Buck DEFS macro to generate Infer ana…	Dec 10, 2016
.clang-format	.clang-format	fix sync mishaps	Jun 21, 2016
.gitignore	.gitignore	[setup] opam 2	Nov 23, 2018
.gitmodules	.gitmodules	[infer] Add facebook clang plugins submodule	Aug 18, 2015
.inferconfig	.inferconfig	[java] Add command-line option to specify external Java packages	Mar 2, 2018
.ocamlformat	.ocamlformat	[ocamlformat] upgrade ocamlformat to 0.8	Oct 12, 2018
.ocamlformat.hash	.ocamlformat.hash	[ocamlformat] upgrade ocamlformat to 0.8	Oct 12, 2018
.travis.yml	.travis.yml	[travis] fix osx build	Nov 26, 2018
CODE_OF_CONDUCT.md	CODE_OF_CONDUCT.md	[infer][PR] Update CODE_OF_CONDUCT.md	Aug 2, 2018
CONTRIBUTING.md	CONTRIBUTING.md	[setup] opam 2	Nov 23, 2018
CONTRIBUTORS	CONTRIBUTORS	Inferbo	Jan 31, 2017
DEFS	DEFS	[infer][genrule] add an option to make the genrule integration compat…	May 10, 2018
FILES.md	FILES.md	[trace] infer subcommand for inferTraceBugs	Aug 4, 2017
INSTALL.md	INSTALL.md	[setup] opam 2	Nov 23, 2018
LICENSE	LICENSE	Change license to MIT	May 31, 2018
Makefile	Makefile	[starvation] c++/Obj C deadlocks	Nov 24, 2018
Makefile.autoconf.in	Makefile.autoconf.in	Very early prototype of Go frontend for Infer capable of analyzing a …	Dec 30, 2018
Makefile.config	Makefile.config	[man] check in manual pages	Sep 24, 2018
README.md	README.md	Change license to MIT	May 31, 2018
autogen.sh	autogen.sh	[release] preparing for binary releases	Jun 4, 2018
build-infer.sh	build-infer.sh	Very early prototype of Go frontend for Infer capable of analyzing a …	Dec 30, 2018
configure.ac	configure.ac	Very early prototype of Go frontend for Infer capable of analyzing a …	Dec 30, 2018
dotbuckversion	dotbuckversion	bump .buckversion	Jun 22, 2018
install-sh	install-sh	[utils] Add CTypes binding of fts and implement remove_directory_tree	Nov 20, 2016
opam	opam	[opam] bump opam and javalib versions	Dec 13, 2018
opam.locked	opam.locked	[opam] bump opam and javalib versions	Dec 13, 2018

Repository files navigation

Infer

Infer is a static analysis tool for Java, C++, Objective-C, and C. Infer is written in OCaml.

Installation

Read our Getting Started page for details on how to install packaged versions of Infer. To build Infer from source, see INSTALL.md.

Contributing

See CONTRIBUTING.md.

License

Infer is MIT-licensed.

Note: Enabling Java support may require you to download and install components licensed under the GPL.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Repository files navigation

Infer

Installation

Contributing

License

About

Releases

Packages

Languages

License

awelc/infer

Folders and files

Latest commit

History

Repository files navigation

Infer

Installation

Contributing

License

About

Resources

License

Code of conduct

Stars

Watchers

Forks

Releases

Packages 0

Languages

Packages