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,556Updated last year
• google / flatbuffers
  FlatBuffers: Memory Efficient Serialization Library
  ☆24,625Updated last week
• google / sanitizers
  AddressSanitizer, ThreadSanitizer, MemorySanitizer
  ☆12,045Updated last week
• github / semantic
  Parsing, analyzing, and comparing source code across many languages
  ☆9,055Updated 4 months ago
• oclint / oclint
  A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C
  ☆3,838Updated 8 months ago
• facebookarchive / augmented-traffic-control
  Augmented Traffic Control: A tool to simulate network conditions
  ☆4,334Updated 7 years ago
• google / error-prone
  Catch common Java mistakes as compile-time errors
  ☆7,023Updated this week
• facebook / watchman
  Watches files and records, or triggers actions, when they change.
  ☆13,244Updated this week
• bazelbuild / bazel
  a fast, scalable, multi-language and extensible build system
  ☆24,448Updated this week
• llvm-mirror / llvm
  Project moved to: https://github.com/llvm/llvm-project
  ☆4,611Updated 4 years ago
• protocolbuffers / protobuf
  Protocol Buffers - Google's data interchange format
  ☆68,825Updated last week
• grpc / grpc
  C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
  ☆43,524Updated this week
• AlDanial / cloc
  cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.
  ☆21,536Updated 3 weeks ago
• simdjson / simdjson
  Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, …
  ☆21,091Updated this week
• compiler-explorer / compiler-explorer
  Run compilers interactively from your web browser and interact with the assembly
  ☆17,923Updated this week
• facebookarchive / nuclide
  An open IDE for web and native mobile development, built on top of Atom
  ☆7,754Updated 6 years ago
• Ericsson / codechecker
  CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
  ☆2,442Updated last week
• facebook / zstd
  Zstandard - Fast real-time compression algorithm
  ☆25,508Updated 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,156Updated last month
• 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,243Updated 10 months ago
• libffi / libffi
  A portable foreign-function interface library.
  ☆3,444Updated this week
• google / bloaty
  Bloaty: a size profiler for binaries
  ☆5,154Updated 4 months ago
• apple / darwin-xnu
  Legacy mirror of Darwin Kernel. Replaced by https://github.com/apple-oss-distributions/xnu
  ☆11,153Updated 2 years ago
• danmar / cppcheck
  static analysis of C/C++ code
  ☆6,289Updated this week
• cocos2d / cocos2d-x
  Cocos2d-x is a suite of open-source, cross-platform, game-development tools utilized by millions of developers across the globe. Its core…
  ☆18,679Updated 3 months ago
• llvm-mirror / clang
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆3,047Updated 5 years ago
• h2o / h2o
  H2O - the optimized HTTP/1, HTTP/2, HTTP/3 server
  ☆11,177Updated last week
• abseil / abseil-cpp
  Abseil Common Libraries (C++)
  ☆16,228Updated this week
• dropbox / djinni
  A tool for generating cross-language type declarations and interface bindings.
  ☆2,886Updated 5 years ago
• facebook / proxygen
  A collection of C++ HTTP libraries including an easy to use HTTP server.
  ☆8,274Updated this week