GitXplorerGitXplorer
f

infer

public
15055 stars
2028 forks
428 issues

Commits

List of commits on branch main.
Unverified
4db8bc0080401dd2920ac20b2a2f190d1ed8c5cc

[dbwriter] split implementation into module

nngorogiannis committed 21 hours ago
Unverified
6d866dd188f5fae35e338422dd3d8e4616e056e7

[annot] Log reason of no summary

hhajduakos committed a day ago
Unverified
bbade7f86278351c5bdb908ac6bc74b2c2aaa0ab

[annot] Add test for breaking cycles in call graph

hhajduakos committed 2 days ago
Unverified
ca4f3ffc56762009789ff754b068b3f082cbd46e

[multicore][summary] do not cache incomplete summaries

nngorogiannis committed 3 days ago
Unverified
370f5fc73b0f4bc6a60536908ff6aeb8928a831a

[maven] disable JAVA_HOME during capture

nngorogiannis committed 4 days ago
Unverified
ef7d4b33b7233bb2798aec1a84747a971c518007

[tenv] refactor global functions

nngorogiannis committed 4 days ago

README

The README file for this repository.

logo

Infer build website

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.