facebook logo


A static analyzer for Java, C, C++, and Objective-C (by facebook)


Basic infer repo stats
5 days ago

facebook/infer is an open source project licensed under MIT License which is an OSI approved license.

Infer Alternatives

Similar projects and alternatives to infer
  • GitHub repo PMD

    An extensible multilanguage static code analyzer.

  • GitHub repo nvm

    Node Version Manager - POSIX-compliant bash script to manage multiple active node.js versions

  • GitHub repo ESLint

    Find and fix problems in your JavaScript code.

  • GitHub repo Gradle

    Adaptable, fast automation for all

  • GitHub repo JSHint

    JSHint is a tool that helps to detect errors and potential problems in your JavaScript code

  • GitHub repo Checkstyle

    Checkstyle is a development tool to help programmers write Java code that adheres to a coding standard. By default it supports the Google Java Style Guide and Sun Code Conventions, but is highly configurable. It can be invoked with an ANT task and a command line program.

  • GitHub repo berry

    📦🐈 Active development trunk for Yarn ⚒

  • GitHub repo warehouse

    The Python Package Index

  • GitHub repo find-sec-bugs

    The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)

NOTE: The number of mentions on this list indicates mentions on common posts. Hence, a higher number means a better infer alternative or higher similarity.


Posts where infer has been mentioned. We have used some of these posts to build our list of alternatives and similar projects - the last one was on 2021-04-08.
  • Design an Effective Build Stage for Continuous Integration
    dev.to | 2021-04-08
    checkout cache restore mvn clean curl -sSL "https://github.com/facebook/infer/releases/download/v1.0.0/infer-linux64-v1.0.0.tar.xz" | tar -xJ ./infer-linux64-v1.0.0/bin/infer run -- mvn package artifact push job --expire-in 1w infer-out ./infer-linux64-v1.0.0/bin/infer analyze --fail-on-issue
    dev.to | 2021-04-08
    Infer was created by Facebook to find code that can lead to runtime errors, things such as race conditions and resource leaks. Infer works with Java and Android. Facebook has open-sourced this tool and uses it to fix their mobile client and the main Facebook app.
  • Infer: A static analyzer for Java, C, C++, and Objective-C
    news.ycombinator.com | 2021-03-13
  • Proofs Should Repair Themselves
    news.ycombinator.com | 2021-02-25
    There are few tools that are both geared to mainstream programming languages and reasonable to work with. But probably the best place to start is Infer [1]. It's marketed as a static analyzer, in other words a way to prove some properties, but the separation logic at its heart is a powerful and general program proof technique.

    In time, I hope and expect that the RustBelt project[2] will become a practical tool to prove Rust programs correct. It's already found some bugs in the standard library, and the main focus is currently to firm up the semantics of the language.

    [1]: https://fbinfer.com/