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,559Updated last year
• bazelbuild / bazel
  a fast, scalable, multi-language and extensible build system
  ☆24,237Updated this week
• google / flatbuffers
  FlatBuffers: Memory Efficient Serialization Library
  ☆24,376Updated this week
• facebookarchive / augmented-traffic-control
  Augmented Traffic Control: A tool to simulate network conditions
  ☆4,330Updated 7 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,542Updated last year
• oclint / oclint
  A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C
  ☆3,826Updated 7 months ago
• snare / voltron
  A hacky debugger UI for hackers
  ☆6,271Updated 5 months ago
• simdjson / simdjson
  Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, …
  ☆20,757Updated this week
• google / error-prone
  Catch common Java mistakes as compile-time errors
  ☆6,997Updated this week
• facebook / watchman
  Watches files and records, or triggers actions, when they change.
  ☆13,110Updated this week
• grpc / grpc
  C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
  ☆43,216Updated this week
• 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,106Updated last year
• osquery / osquery
  SQL powered operating system instrumentation, monitoring, and analytics.
  ☆22,559Updated this week
• emscripten-core / emscripten
  Emscripten: An LLVM-to-WebAssembly Compiler
  ☆26,631Updated 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…
  ☆13,886Updated last month
• compiler-explorer / compiler-explorer
  Run compilers interactively from your web browser and interact with the assembly
  ☆17,683Updated this week
• google / sanitizers
  AddressSanitizer, ThreadSanitizer, MemorySanitizer
  ☆11,981Updated this week
• rr-debugger / rr
  Record and Replay Framework
  ☆9,908Updated this week
• mitmproxy / mitmproxy
  An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.
  ☆39,648Updated last week
• google / bloaty
  Bloaty: a size profiler for binaries
  ☆5,089Updated 2 months ago
• microsoft / mimalloc
  mimalloc is a compact general purpose allocator with excellent performance.
  ☆11,629Updated this week
• facebook / redex
  A bytecode optimizer for Android apps
  ☆6,166Updated this week
• github / semantic
  Parsing, analyzing, and comparing source code across many languages
  ☆9,040Updated 2 months ago
• Ericsson / codechecker
  CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
  ☆2,405Updated last week
• facebook / yoga
  Yoga is an embeddable layout engine targeting web standards.
  ☆17,845Updated last week
• ninja-build / ninja
  a small build system with a focus on speed
  ☆12,047Updated this week
• xi-editor / xi-editor
  A modern editor with a backend written in Rust.
  ☆19,828Updated last year
• koalaman / shellcheck
  ShellCheck, a static analysis tool for shell scripts
  ☆37,594Updated last month
• facebook / zstd
  Zstandard - Fast real-time compression algorithm
  ☆25,169Updated this week
• cyrus-and / gdb-dashboard
  Modular visual interface for GDB in Python
  ☆11,769Updated 4 months ago