brainstate

discover · compare · collections · requirements · contribute · feed · watching · stats · help with your tokens

meta/infer

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

OCaml★ 15.7kMITGitHub ↗

History and source changes · Reports and owner responses · Compare

Similar

  1. checkstyle/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.

    Java★ 9.6kLGPL-2.1GitHub ↗

    Why this match

    topics code-quality, java, static-analysis; language differs: OCaml → Java; license differs: MIT → LGPL-2.1

  2. CoatiSoftware/Sourcetrail

    Sourcetrail - free and open-source interactive source explorer

    C++★ 16.5kGPL-3.0archivedGitHub ↗

    Why this match

    topics c, cpp, java; language differs: OCaml → C++; license differs: MIT → GPL-3.0

  3. google/error-prone

    Catch common Java mistakes as compile-time errors

    Java★ 7.3kApache-2.0GitHub ↗

    Why this match

    topics java, static-analysis; language differs: OCaml → Java; license differs: MIT → Apache-2.0

  4. semgrep/semgrep

    Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

    C★ 17.4kLGPL-2.1GitHub ↗

    Why this match

    topics c, java, static-analysis; language differs: OCaml → C; license differs: MIT → LGPL-2.1

  5. SonarSource/sonarqube

    Continuous Inspection

    Java★ 11.1kLGPL-3.0GitHub ↗

    Why this match

    topics code-quality, static-analysis; language differs: OCaml → Java; license differs: MIT → LGPL-3.0

  6. cppcheck-opensource/cppcheck

    static analysis of C/C++ code

    C++★ 6.8kGPL-3.0GitHub ↗

    Why this match

    topics c, cpp, static-analysis; language differs: OCaml → C++; license differs: MIT → GPL-3.0

  7. analysis-tools-dev/static-analysis

    ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

    Rust★ 14.9kMITGitHub ↗

    Why this match

    topics code-quality, static-analysis, static-code-analysis; language differs: OCaml → Rust

  8. xiaolincoder/CS-Base

    图解计算机网络、操作系统、计算机组成、数据库，共 1000 张图 + 50 万字，破除晦涩难懂的计算机基础知识，让天下没有难懂的八股文！🚀 在线阅读：https://xiaolincoding.com

    ★ 18.6kGitHub ↗

    Why this match

    topics c, cpp, java