Alternatives and similar repositories for infer

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

• google / sanitizers
  AddressSanitizer, ThreadSanitizer, MemorySanitizer
  ☆11,959Updated 2 months ago
• 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
• 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,536Updated last year
• bazelbuild / bazel
  a fast, scalable, multi-language and extensible build system
  ☆24,153Updated this week
• gperftools / gperftools
  Main gperftools repository
  ☆8,700Updated 3 months ago
• brendangregg / FlameGraph
  Stack trace visualizer
  ☆18,272Updated 7 months ago
• google / bloaty
  Bloaty: a size profiler for binaries
  ☆5,061Updated 2 months ago
• pmd / pmd
  An extensible multilanguage static code analyzer.
  ☆5,096Updated this week
• google / error-prone
  Catch common Java mistakes as compile-time errors
  ☆6,990Updated this week
• google / oss-fuzz
  OSS-Fuzz - continuous fuzzing for open source software.
  ☆11,074Updated this week
• google / flatbuffers
  FlatBuffers: Memory Efficient Serialization Library
  ☆24,295Updated 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, …
  ☆20,599Updated this week
• oclint / oclint
  A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C
  ☆3,824Updated 6 months ago
• google / snappy
  A fast compressor/decompressor
  ☆6,355Updated 2 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,843Updated 3 weeks ago
• osquery / osquery
  SQL powered operating system instrumentation, monitoring, and analytics.
  ☆22,500Updated 2 weeks ago
• danmar / cppcheck
  static analysis of C/C++ code
  ☆6,183Updated this week
• rr-debugger / rr
  Record and Replay Framework
  ☆9,870Updated 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,710Updated 4 months ago
• ninja-build / ninja
  a small build system with a focus on speed
  ☆11,975Updated 3 weeks ago
• protocolbuffers / protobuf
  Protocol Buffers - Google's data interchange format
  ☆67,704Updated this week
• abseil / abseil-cpp
  Abseil Common Libraries (C++)
  ☆15,962Updated this week
• facebook / zstd
  Zstandard - Fast real-time compression algorithm
  ☆25,042Updated this week
• grpc / grpc
  C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
  ☆43,103Updated this week
• radareorg / radare2
  UNIX-like reverse engineering framework and command-line toolset
  ☆21,766Updated this week
• facebook / watchman
  Watches files and records, or triggers actions, when they change.
  ☆13,090Updated this week
• facebook / folly
  An open-source C++ library developed and used at Facebook.
  ☆29,433Updated this week
• emscripten-core / emscripten
  Emscripten: An LLVM-to-WebAssembly Compiler
  ☆26,536Updated this week
• google / sandboxed-api
  Generate sandboxes for C/C++ libraries automatically
  ☆1,692Updated this week
• facebookarchive / augmented-traffic-control
  Augmented Traffic Control: A tool to simulate network conditions
  ☆4,327Updated 7 years ago