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,558Updated 2 years ago
• bazelbuild / bazel
  a fast, scalable, multi-language and extensible build system
  ☆24,802Updated this week
• facebookarchive / augmented-traffic-control
  Augmented Traffic Control: A tool to simulate network conditions
  ☆4,325Updated 7 years ago
• google / sanitizers
  AddressSanitizer, ThreadSanitizer, MemorySanitizer
  ☆12,212Updated last month
• google / error-prone
  Catch common Java mistakes as compile-time errors
  ☆7,085Updated this week
• grpc / grpc
  C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
  ☆43,986Updated this week
• facebook / watchman
  Watches files and records, or triggers actions, when they change.
  ☆13,369Updated this week
• google / flatbuffers
  FlatBuffers: Memory Efficient Serialization Library
  ☆25,050Updated last week
• kythe / kythe
  Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.
  ☆2,064Updated last week
• apple / darwin-xnu
  Legacy mirror of Darwin Kernel. Replaced by https://github.com/apple-oss-distributions/xnu
  ☆11,187Updated 2 years ago
• osquery / osquery
  SQL powered operating system instrumentation, monitoring, and analytics.
  ☆22,895Updated 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.
  ☆38,376Updated 9 months ago
• rr-debugger / rr
  Record and Replay Framework
  ☆10,242Updated last week
• google / j2objc
  A Java to iOS Objective-C translation tool and runtime.
  ☆6,029Updated last 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,213Updated 4 months ago
• protocolbuffers / protobuf
  Protocol Buffers - Google's data interchange format
  ☆69,642Updated last week
• oclint / oclint
  A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C
  ☆3,856Updated 11 months 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,561Updated last year
• facebook / redex
  A bytecode optimizer for Android apps
  ☆6,224Updated this week
• draios / sysdig
  Linux system exploration and troubleshooting tool with first class support for containers
  ☆8,134Updated last week
• google / clusterfuzz
  Scalable fuzzing infrastructure.
  ☆5,490Updated this week
• phacility / phabricator
  Effective June 1, 2021: Phabricator is no longer actively maintained.
  ☆12,328Updated last year
• capnproto / capnproto
  Cap'n Proto serialization/RPC system - core tools and C++ library
  ☆12,663Updated this week
• brendangregg / FlameGraph
  Stack trace visualizer
  ☆18,961Updated last year
• facebookarchive / nuclide
  An open IDE for web and native mobile development, built on top of Atom
  ☆7,748Updated 6 years ago
• llvm-mirror / llvm
  Project moved to: https://github.com/llvm/llvm-project
  ☆4,605Updated 5 years ago
• sourcegraph / sourcegraph-public-snapshot
  Code AI platform with Code Search & Cody
  ☆10,221Updated last year
• facebook / proxygen
  A collection of C++ HTTP libraries including an easy to use HTTP server.
  ☆8,290Updated this week
• facebook / rocksdb
  A library that provides an embeddable, persistent key-value store for fast storage.
  ☆31,035Updated this week
• ninja-build / ninja
  a small build system with a focus on speed
  ☆12,471Updated this week