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,556Updated last year
• google / flatbuffers
  FlatBuffers: Memory Efficient Serialization Library
  ☆24,743Updated this week
• facebookarchive / augmented-traffic-control
  Augmented Traffic Control: A tool to simulate network conditions
  ☆4,333Updated 7 years ago
• pmd / pmd
  An extensible multilanguage static code analyzer.
  ☆5,207Updated this week
• google / sanitizers
  AddressSanitizer, ThreadSanitizer, MemorySanitizer
  ☆12,089Updated 2 weeks 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,555Updated last year
• google / error-prone
  Catch common Java mistakes as compile-time errors
  ☆7,037Updated this week
• facebook / watchman
  Watches files and records, or triggers actions, when they change.
  ☆13,255Updated this week
• oclint / oclint
  A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C
  ☆3,840Updated 9 months ago
• facebook / proxygen
  A collection of C++ HTTP libraries including an easy to use HTTP server.
  ☆8,279Updated last week
• radareorg / radare2
  UNIX-like reverse engineering framework and command-line toolset
  ☆22,218Updated this week
• osquery / osquery
  SQL powered operating system instrumentation, monitoring, and analytics.
  ☆22,721Updated this week
• google / oss-fuzz
  OSS-Fuzz - continuous fuzzing for open source software.
  ☆11,313Updated this week
• h2o / h2o
  H2O - the optimized HTTP/1, HTTP/2, HTTP/3 server
  ☆11,195Updated last week
• dropbox / djinni
  A tool for generating cross-language type declarations and interface bindings.
  ☆2,885Updated 5 years ago
• google / brotli
  Brotli compression format
  ☆14,290Updated this week
• llvm-mirror / llvm
  Project moved to: https://github.com/llvm/llvm-project
  ☆4,606Updated 5 years ago
• 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,246Updated 11 months ago
• facebook / zstd
  Zstandard - Fast real-time compression algorithm
  ☆25,603Updated this week
• aws / s2n-tls
  An implementation of the TLS/SSL protocols
  ☆4,624Updated this week
• sqlcipher / sqlcipher
  SQLCipher is a standalone fork of SQLite that adds 256 bit AES encryption of database files and other security features.
  ☆6,806Updated last month
• grpc / grpc
  C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
  ☆43,610Updated this week
• facebook / yoga
  Yoga is an embeddable layout engine targeting web standards.
  ☆18,086Updated 3 weeks ago
• oracle / opengrok
  OpenGrok is a fast and usable source code search and cross reference engine, written in Java
  ☆4,631Updated this week
• google / codesearch
  Fast, indexed regexp search over large file trees
  ☆3,859Updated 3 months ago
• facebookarchive / nuclide
  An open IDE for web and native mobile development, built on top of Atom
  ☆7,754Updated 6 years ago
• google / j2objc
  A Java to iOS Objective-C translation tool and runtime.
  ☆6,028Updated last week
• git-up / GitUp
  The Git interface you've been missing all your life has finally arrived.
  ☆11,780Updated 3 months ago
• hound-search / hound
  Lightning fast code searching made easy
  ☆5,774Updated last year
• facebookarchive / pfff
  Tools for code analysis, visualizations, or style-preserving source transformation.
  ☆2,442Updated 6 years ago