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,557Updated last year
• google / sanitizers
  AddressSanitizer, ThreadSanitizer, MemorySanitizer
  ☆12,016Updated 3 weeks ago
• facebook / watchman
  Watches files and records, or triggers actions, when they change.
  ☆13,126Updated this week
• google / oss-fuzz
  OSS-Fuzz - continuous fuzzing for open source software.
  ☆11,157Updated this week
• bazelbuild / bazel
  a fast, scalable, multi-language and extensible build system
  ☆24,294Updated this week
• google / flatbuffers
  FlatBuffers: Memory Efficient Serialization Library
  ☆24,443Updated last week
• google / j2objc
  A Java to iOS Objective-C translation tool and runtime.
  ☆6,022Updated last week
• apple / darwin-xnu
  Legacy mirror of Darwin Kernel. Replaced by https://github.com/apple-oss-distributions/xnu
  ☆11,151Updated 2 years ago
• facebookarchive / augmented-traffic-control
  Augmented Traffic Control: A tool to simulate network conditions
  ☆4,332Updated 7 years ago
• facebook / redex
  A bytecode optimizer for Android apps
  ☆6,170Updated this week
• osquery / osquery
  SQL powered operating system instrumentation, monitoring, and analytics.
  ☆22,586Updated this week
• grpc / grpc
  C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
  ☆43,263Updated this week
• facebook / yoga
  Yoga is an embeddable layout engine targeting web standards.
  ☆17,896Updated this week
• google / codesearch
  Fast, indexed regexp search over large file trees
  ☆3,817Updated last month
• capnproto / capnproto
  Cap'n Proto serialization/RPC system - core tools and C++ library
  ☆12,299Updated this week
• oclint / oclint
  A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C
  ☆3,831Updated 7 months ago
• google / error-prone
  Catch common Java mistakes as compile-time errors
  ☆7,004Updated this week
• h2o / h2o
  H2O - the optimized HTTP/1, HTTP/2, HTTP/3 server
  ☆11,147Updated this week
• facebook / zstd
  Zstandard - Fast real-time compression algorithm
  ☆25,245Updated last week
• swiftlang / swift
  The Swift Programming Language
  ☆68,818Updated this week
• google / clusterfuzz
  Scalable fuzzing infrastructure.
  ☆5,418Updated this week
• microsoft / WinObjC
  Objective-C for Windows
  ☆6,251Updated 2 years ago
• github / semantic
  Parsing, analyzing, and comparing source code across many languages
  ☆9,044Updated 3 months ago
• rr-debugger / rr
  Record and Replay Framework
  ☆9,932Updated this week
• phacility / phabricator
  Effective June 1, 2021: Phabricator is no longer actively maintained.
  ☆12,328Updated last year
• facebook / PathPicker
  PathPicker accepts a wide range of input -- output from git commands, grep results, searches -- pretty much anything. After parsing the i…
  ☆5,182Updated 10 months ago
• 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,922Updated 2 months ago
• facebookarchive / nuclide
  An open IDE for web and native mobile development, built on top of Atom
  ☆7,762Updated 6 years ago
• pmd / pmd
  An extensible multilanguage static code analyzer.
  ☆5,148Updated this week
• twitter-archive / diffy
  Find potential bugs in your services with Diffy
  ☆3,830Updated 5 years ago