Skip to content

/ infer

forked from facebook/infer

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

fbinfer.com/
View license
0 stars 1.5k forks
Star
Watch
master
6 branches 21 tags
Go to file
Code

Clone with HTTPS

Use Git or checkout with SVN using the web URL.

This branch is 5087 commits behind facebook:master.
Pull request Compare

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.travis
 
 
dependencies
 
 
docker
 
 
examples
 
 
facebook-clang-plugins @ 63db8d4
 
 
infer
 
 
m4
 
 
scripts
 
 
.buckconfig
 
 
.clang-format
 
 
.gitignore
 
 
.gitmodules
 
 
.inferconfig
 
 
.ocamlformat
 
 
.travis.yml
 
 
CONTRIBUTING.md
 
 
CONTRIBUTORS
 
 
DEFS
 
 
FILES.md
 
 
INSTALL.md
 
 
LICENSE
 
 
Makefile
 
 
Makefile.autoconf.in
 
 
Makefile.config
 
 
PATENTS
 
 
README.md
 
 
autogen.sh
 
 
build-infer.sh
 
 
configure.ac
 
 
dotbuckversion
 
 
install-sh
 
 
opam
 
 
opam.lock
 
 

README.md

Infer Build Status

Infer is a static analysis tool for Java, Objective-C and C, 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 BSD-licensed. We also provide an additional patent grant.

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

About

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

fbinfer.com/

Resources

Readme

License

View license

Releases

21 tags

Packages

No packages published

Languages

You can’t perform that action at this time.