Alternatives and similar repositories for infer

Users that are interested in infer are comparing it to the libraries listed below

• facebook / buck
  A fast build system that encourages the creation of small, reusable modules over a variety of platforms and languages.
  ☆8,557Updated last year
• google / flatbuffers
  FlatBuffers: Memory Efficient Serialization Library
  ☆24,807Updated last week
• facebookarchive / augmented-traffic-control
  Augmented Traffic Control: A tool to simulate network conditions
  ☆4,326Updated 7 years ago
• bazelbuild / bazel
  a fast, scalable, multi-language and extensible build system
  ☆24,610Updated this week
• google / j2objc
  A Java to iOS Objective-C translation tool and runtime.
  ☆6,031Updated this week
• Z3Prover / z3
  The Z3 Theorem Prover
  ☆11,406Updated this week
• google / error-prone
  Catch common Java mistakes as compile-time errors
  ☆7,054Updated this week
• google / sanitizers
  AddressSanitizer, ThreadSanitizer, MemorySanitizer
  ☆12,126Updated 2 weeks ago
• grpc / grpc
  C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
  ☆43,714Updated last week
• checkedc / checkedc
  Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let peopl…
  ☆3,248Updated 11 months ago
• google / oss-fuzz
  OSS-Fuzz - continuous fuzzing for open source software.
  ☆11,358Updated this week
• pmd / pmd
  An extensible multilanguage static code analyzer.
  ☆5,217Updated last week
• protocolbuffers / protobuf
  Protocol Buffers - Google's data interchange format
  ☆69,223Updated this week
• llvm-mirror / llvm
  Project moved to: https://github.com/llvm/llvm-project
  ☆4,604Updated 5 years ago
• tink-crypto / tink
  Tink is a multi-language, cross-platform, open source library that provides cryptographic APIs that are secure, easy to use correctly, an…
  ☆13,551Updated last year
• facebook / watchman
  Watches files and records, or triggers actions, when they change.
  ☆13,284Updated last week
• terryyin / lizard
  A simple code complexity analyser without caring about the C/C++ header files or Java imports, supports most of the popular languages.
  ☆2,044Updated last month
• microsoft / mimalloc
  mimalloc is a compact general purpose allocator with excellent performance.
  ☆12,002Updated this week
• oclint / oclint
  A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C
  ☆3,843Updated 10 months ago
• dropbox / djinni
  A tool for generating cross-language type declarations and interface bindings.
  ☆2,887Updated 5 years ago
• google / brotli
  Brotli compression format
  ☆14,324Updated this week
• google / bloaty
  Bloaty: a size profiler for binaries
  ☆5,198Updated 5 months ago
• facebook / zstd
  Zstandard - Fast real-time compression algorithm
  ☆25,716Updated this week
• libuv / libuv
  Cross-platform asynchronous I/O
  ☆25,863Updated last week
• osquery / osquery
  SQL powered operating system instrumentation, monitoring, and analytics.
  ☆22,761Updated this week
• facebook / hhvm
  A virtual machine for executing programs written in Hack.
  ☆18,503Updated last week
• danmar / cppcheck
  static analysis of C/C++ code
  ☆6,338Updated last week
• uber / piranha
  A tool for refactoring code related to feature flag APIs
  ☆2,380Updated last month
• facebook / yoga
  Yoga is an embeddable layout engine targeting web standards.
  ☆18,248Updated last week
• google / clusterfuzz
  Scalable fuzzing infrastructure.
  ☆5,478Updated this week