Alternatives and similar repositories for infer:

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

• bazelbuild / bazel
  a fast, scalable, multi-language and extensible build system
  ☆23,806Updated this week
• 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
• google / flatbuffers
  FlatBuffers: Memory Efficient Serialization Library
  ☆23,944Updated last week
• compiler-explorer / compiler-explorer
  Run compilers interactively from your web browser and interact with the assembly
  ☆17,171Updated this week
• facebook / zstd
  Zstandard - Fast real-time compression algorithm
  ☆24,566Updated this week
• ninja-build / ninja
  a small build system with a focus on speed
  ☆11,730Updated last month
• facebook / yoga
  Yoga is an embeddable layout engine targeting web standards.
  ☆17,537Updated this week
• google / sanitizers
  AddressSanitizer, ThreadSanitizer, MemorySanitizer
  ☆11,843Updated this week
• google / bloaty
  Bloaty: a size profiler for binaries
  ☆4,957Updated 5 months ago
• google / oss-fuzz
  OSS-Fuzz - continuous fuzzing for open source software.
  ☆10,904Updated this week
• emscripten-core / emscripten
  Emscripten: An LLVM-to-WebAssembly Compiler
  ☆26,331Updated this week
• facebook / watchman
  Watches files and records, or triggers actions, when they change.
  ☆12,985Updated this week
• github / semantic
  Parsing, analyzing, and comparing source code across many languages
  ☆9,024Updated 8 months ago
• rr-debugger / rr
  Record and Replay Framework
  ☆9,574Updated last week
• capnproto / capnproto
  Cap'n Proto serialization/RPC system - core tools and C++ library
  ☆12,025Updated 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,030Updated last year
• oclint / oclint
  A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C
  ☆3,806Updated 3 months ago
• microsoft / mimalloc
  mimalloc is a compact general purpose allocator with excellent performance.
  ☆11,136Updated this week
• google / leveldb
  LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
  ☆37,297Updated last month
• abseil / abseil-cpp
  Abseil Common Libraries (C++)
  ☆15,623Updated this week
• jemalloc / jemalloc
  ☆9,846Updated 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,229Updated 5 months ago
• ggreer / the_silver_searcher
  A code-searching tool similar to ack, but faster.
  ☆26,414Updated 9 months ago
• grpc / grpc
  The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
  ☆42,705Updated this week
• gperftools / gperftools
  Main gperftools repository
  ☆8,607Updated 2 weeks ago
• xi-editor / xi-editor
  A modern editor with a backend written in Rust.
  ☆19,809Updated last year
• swig / swig
  SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.
  ☆5,928Updated 3 weeks ago
• facebook / proxygen
  A collection of C++ HTTP libraries including an easy to use HTTP server.
  ☆8,195Updated this week
• danmar / cppcheck
  static analysis of C/C++ code
  ☆6,069Updated this week
• toml-lang / toml
  Tom's Obvious, Minimal Language
  ☆19,749Updated last week