Infer Alternatives

Similar projects and alternatives to infer

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

Suggest an alternative to infer

Reviews and mentions

Posts with mentions or reviews of infer. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-10-04.
  • GitHub - facebook/infer: A static analyzer for Java, C, C++, and Objective-C
    reddit.com/r/coding | 2021-10-23
    reddit.com/r/java | 2021-10-23
  • Facebook Is Down
    news.ycombinator.com | 2021-10-04
  • Static code analysis for vulnerabilities
    Which kind of vulnerabilities ? There's frama-C (free and open source) and Astree (commercial) used in the aerospace industry (https://frama-c.com/, https://www.absint.com/astree/index.htm), FB is also developing an open source static analyzer (https://fbinfer.com/).
  • 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/

Stats

Basic infer repo stats
9
12,672
9.8
3 days ago

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

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
Find remote jobs at our new job board 99remotejobs.com. There are 37 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.