facebook / infer
A static analyzer for Java, C, C++, and Objective-C
☆15,054Updated this week
Alternatives and similar repositories for infer:
Users that are interested in infer are comparing it to the libraries listed below
- FlatBuffers: Memory Efficient Serialization Library☆23,652Updated this week
- Zstandard - Fast real-time compression algorithm☆24,140Updated this week
- A fast build system that encourages the creation of small, reusable modules over a variety of platforms and languages.☆8,557Updated last year
- Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, …☆19,580Updated this week
- a fast, scalable, multi-language and extensible build system☆23,546Updated this week
- Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, a…☆9,973Updated 10 months ago
- A fast compressor/decompressor☆6,238Updated 5 months ago
- AddressSanitizer, ThreadSanitizer, MemorySanitizer☆11,679Updated last week
- Cap'n Proto serialization/RPC system - core tools and C++ library☆11,868Updated this week
- Run compilers interactively from your web browser and interact with the assembly☆16,848Updated this week
- LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.☆36,953Updated 2 weeks ago
- Record and Replay Framework☆9,278Updated this week
- OSS-Fuzz - continuous fuzzing for open source software.☆10,750Updated this week
- Tink is a multi-language, cross-platform, open source library that provides cryptographic APIs that are secure, easy to use correctly, an…☆13,518Updated 9 months ago
- Bloaty: a size profiler for binaries☆4,856Updated 3 months ago
- 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,224Updated 3 months ago
- The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)☆42,273Updated this week
- Emscripten: An LLVM-to-WebAssembly Compiler☆26,044Updated this week
- A cross-platform, linkable library implementation of Git that you can use in your application.☆9,779Updated this week
- Protocol Buffers - Google's data interchange format☆66,328Updated this week
- ☆9,700Updated last month
- A modern, portable, easy to use crypto library.☆12,439Updated 2 weeks ago
- SQL powered operating system instrumentation, monitoring, and analytics.☆22,147Updated 2 weeks ago
- A portable foreign-function interface library.☆3,264Updated last month
- A library that provides an embeddable, persistent key-value store for fast storage.☆28,975Updated this week
- a small build system with a focus on speed☆11,466Updated this week
- TLS/SSL and crypto library☆26,366Updated this week
- mimalloc is a compact general purpose allocator with excellent performance.☆10,817Updated this week
- A tool for generating cross-language type declarations and interface bindings.☆2,882Updated 4 years ago
- An interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.☆37,571Updated this week