infer

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

by facebook

c code-quality cpp java objective-c static-analysis static-code-analysis

Star on GitHub ForkWebsite

OCaml

15.7k stars 2.1k forks 228 contributorsActive · 1h agoSince 2015 v1.3.0MIT

Meet the team

See all 228 on GitHub →

jvillard2.5k contributions

jberdine1.7k contributions

dulmarod1.5k contributions

skcho1.1k contributions

ngorogiannis952 contributions

sblackshear914 contributions

davidpichardie913 contributions

jeremydubreil669 contributions

Languages

View on GitHub →

OCaml69.6%

Java6.1%

C++6%

LLVM4.2%

Objective-C2.9%

Makefile2.6%

Other8.6%

Commit activity

Last 12 weeks · 350 commits

Full graph →

Community health

6 of 6 standards met

Community profile →

✓README✓License✓Contributing✓Code of Conduct✓Issue Template✓PR Template

Recent fixes

View closed PRs →

Big Modification need.MergedPR

Hello dear, If you agree Can I do some changes inside that code.

BugFixProgramming · 1h ago

Release infer-annotations 0.17.2MergedPR

The artifact is released on sonatype: https://oss.sonatype.org/service/local/repositories/releases/content/com/facebook/infer/annotation/infer-annotation/0.17.2/infer-annotation-0.17.2.jar and soon should be propagated to Maven Central (usually, within 2hrs).

artempyanykh · 1h ago

Release infer-annotation 0.18.0MergedPR

Due to: 1. Additional dependency on kotlin-annotations, 2. @nullsafe annotation being annotated as @TypeQualifierDefault and @UnderMigration(status = STRICT) [which can have breaking effect on Kotlin code], let's bump the minor version of the artifact.

artempyanykh · 1h ago

Structured data for AI agents

Repository: facebook/infer. Description: A static analyzer for Java, C, C++, and Objective-C Stars: 15660, Forks: 2096. Primary language: OCaml. Languages: OCaml (69.6%), Java (6.1%), C++ (6%), LLVM (4.2%), Objective-C (2.9%). License: MIT. Homepage: http://fbinfer.com/ Topics: c, code-quality, cpp, java, objective-c, static-analysis, static-code-analysis. Latest release: v1.3.0 (1mo ago). Open PRs: 3, open issues: 414. Last activity: 1h ago. Community health: 87%. Top contributors: jvillard, jberdine, dulmarod, skcho, ngorogiannis, sblackshear, davidpichardie, jeremydubreil, ezgicicek, mbouaziz and others.