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,555Updated 2 years ago
• facebookarchive / augmented-traffic-control
  Augmented Traffic Control: A tool to simulate network conditions
  ☆4,326Updated 7 years ago
• google / flatbuffers
  FlatBuffers: Memory Efficient Serialization Library
  ☆24,932Updated this week
• facebook / watchman
  Watches files and records, or triggers actions, when they change.
  ☆13,333Updated this week
• google / error-prone
  Catch common Java mistakes as compile-time errors
  ☆7,079Updated this week
• facebook / yoga
  Yoga is an embeddable layout engine targeting web standards.
  ☆18,367Updated last week
• google / sanitizers
  AddressSanitizer, ThreadSanitizer, MemorySanitizer
  ☆12,174Updated last month
• apple / darwin-xnu
  Legacy mirror of Darwin Kernel. Replaced by https://github.com/apple-oss-distributions/xnu
  ☆11,179Updated 2 years ago
• h2o / h2o
  H2O - the optimized HTTP/1, HTTP/2, HTTP/3 server
  ☆11,225Updated 2 weeks ago
• google / brotli
  Brotli compression format
  ☆14,386Updated this week
• oclint / oclint
  A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C
  ☆3,853Updated 11 months ago
• facebook / zstd
  Zstandard - Fast real-time compression algorithm
  ☆25,921Updated last 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,175Updated 2 weeks ago
• snare / voltron
  A hacky debugger UI for hackers
  ☆6,302Updated 9 months ago
• google / bloaty
  Bloaty: a size profiler for binaries
  ☆5,217Updated this week
• ggreer / the_silver_searcher
  A code-searching tool similar to ack, but faster.
  ☆27,056Updated last year
• rr-debugger / rr
  Record and Replay Framework
  ☆10,199Updated 2 weeks ago
• jedisct1 / libsodium
  A modern, portable, easy to use crypto library.
  ☆13,090Updated 2 weeks ago
• dropbox / djinni
  A tool for generating cross-language type declarations and interface bindings.
  ☆2,891Updated 5 years ago
• bazelbuild / bazel
  a fast, scalable, multi-language and extensible build system
  ☆24,683Updated this 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,250Updated last year
• llvm-mirror / llvm
  Project moved to: https://github.com/llvm/llvm-project
  ☆4,605Updated 5 years ago
• Ericsson / codechecker
  CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
  ☆2,475Updated last week
• facebookarchive / nuclide
  An open IDE for web and native mobile development, built on top of Atom
  ☆7,749Updated 6 years ago
• grpc / grpc
  C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
  ☆43,893Updated this week
• curl / curl
  A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IM…
  ☆39,663Updated last week
• facebook / PathPicker
  PathPicker accepts a wide range of input -- output from git commands, grep results, searches -- pretty much anything. After parsing the i…
  ☆5,202Updated last year
• 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,181Updated 4 months ago
• compiler-explorer / compiler-explorer
  Run compilers interactively from your web browser and interact with the assembly
  ☆18,174Updated this week
• pmd / pmd
  An extensible multilanguage static code analyzer.
  ☆5,230Updated last week