sws-lab / digit2025-infer Public

forked from facebook/infer

A static analyzer for Java, C, C++, and Objective-C

fbinfer.com/

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 15,024 Commits
.devcontainer		.devcontainer
.github/workflows		.github/workflows
dependencies		dependencies
docker		docker
examples		examples
facebook-clang-plugins		facebook-clang-plugins
infer		infer
m4		m4
node_modules		node_modules
opam		opam
scripts		scripts
sledge		sledge
website		website
.buckconfig		.buckconfig
.clang-format		.clang-format
.dockerignore		.dockerignore
.gitattributes		.gitattributes
.gitignore		.gitignore
.inferconfig		.inferconfig
.ocamlformat		.ocamlformat
CODE_OF_CONDUCT.md		CODE_OF_CONDUCT.md
CONTRIBUTING.md		CONTRIBUTING.md
Changelog.md		Changelog.md
FILES.md		FILES.md
INSTALL.md		INSTALL.md
ISSUE_TEMPLATE.md		ISSUE_TEMPLATE.md
LICENSE		LICENSE
Makefile		Makefile
Makefile.autoconf.in		Makefile.autoconf.in
Makefile.config		Makefile.config
PULL_REQUEST_TEMPLATE.md		PULL_REQUEST_TEMPLATE.md
README.md		README.md
autogen.sh		autogen.sh
build-infer.sh		build-infer.sh
configure.ac		configure.ac
install-sh		install-sh
yarn.lock		yarn.lock