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,560Updated 2 years ago
• oclint / oclint
  A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C
  ☆3,867Updated last year
• google / flatbuffers
  FlatBuffers: Memory Efficient Serialization Library
  ☆25,531Updated this week
• google / sanitizers
  AddressSanitizer, ThreadSanitizer, MemorySanitizer
  ☆12,298Updated last month
• bazelbuild / bazel
  a fast, scalable, multi-language and extensible build system
  ☆25,082Updated this week
• google / bloaty
  Bloaty: a size profiler for binaries
  ☆5,355Updated last week
• protocolbuffers / protobuf
  Protocol Buffers - Google's data interchange format
  ☆70,621Updated this week
• grpc / grpc
  C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
  ☆44,312Updated this week
• pmd / pmd
  An extensible multilanguage static code analyzer.
  ☆5,316Updated this week
• google / brotli
  Brotli compression format
  ☆14,562Updated last month
• google / error-prone
  Catch common Java mistakes as compile-time errors
  ☆7,134Updated this week
• capnproto / capnproto
  Cap'n Proto serialization/RPC system - core tools and C++ library
  ☆12,844Updated this week
• 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 foc…
  ☆14,367Updated 2 weeks ago
• facebookarchive / augmented-traffic-control
  Augmented Traffic Control: A tool to simulate network conditions
  ☆4,324Updated 7 years ago
• google / j2objc
  A Java to iOS Objective-C translation tool and runtime.
  ☆6,037Updated this week
• facebook / redex
  A bytecode optimizer for Android apps
  ☆6,268Updated this week
• 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,564Updated last year
• libuv / libuv
  Cross-platform asynchronous I/O
  ☆26,555Updated this week
• google / snappy
  A fast compressor/decompressor
  ☆6,523Updated 2 weeks ago
• cs01 / gdbgui
  Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, a…
  ☆10,306Updated 7 months ago
• facebook / watchman
  Watches files and records, or triggers actions, when they change.
  ☆13,494Updated this week
• google / auto
  A collection of source code generators for Java.
  ☆10,551Updated this week
• 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…
  ☆8,848Updated this week
• ninja-build / ninja
  a small build system with a focus on speed
  ☆12,672Updated 2 weeks ago
• facebook / yoga
  Yoga is an embeddable layout engine targeting web standards.
  ☆18,695Updated last week
• aws / s2n-tls
  An implementation of the TLS/SSL protocols
  ☆4,684Updated this week
• snare / voltron
  A hacky debugger UI for hackers
  ☆6,340Updated last year
• google / benchmark
  A microbenchmark support library
  ☆9,995Updated this week
• ggreer / the_silver_searcher
  A code-searching tool similar to ack, but faster.
  ☆27,241Updated last year
• simdjson / simdjson
  Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, …
  ☆23,204Updated this week