facebook / infer
A static analyzer for Java, C, C++, and Objective-C
☆15,206Updated this week
Alternatives and similar repositories for infer
Users that are interested in infer are comparing it to the libraries listed below
Sorting:
- A fast build system that encourages the creation of small, reusable modules over a variety of platforms and languages.☆8,562Updated last year
- FlatBuffers: Memory Efficient Serialization Library☆24,197Updated last month
- AddressSanitizer, ThreadSanitizer, MemorySanitizer☆11,931Updated last month
- a fast, scalable, multi-language and extensible build system☆24,063Updated this week
- A fast JSON parser/generator for C++ with both SAX/DOM style API☆14,681Updated 3 months ago
- Main gperftools repository☆8,684Updated 2 months ago
- Augmented Traffic Control: A tool to simulate network conditions☆4,325Updated 7 years ago
- C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)☆43,006Updated this week
- Protocol Buffers - Google's data interchange format☆67,540Updated this week
- An open-source C++ library developed and used at Facebook.☆29,371Updated this week
- A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C☆3,824Updated 5 months ago
- Abseil Common Libraries (C++)☆15,867Updated this week
- Stack trace visualizer☆18,193Updated 6 months ago
- Cap'n Proto serialization/RPC system - core tools and C++ library☆12,161Updated this week
- LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.☆37,611Updated 3 months ago
- Watches files and records, or triggers actions, when they change.☆13,061Updated this week
- A portable foreign-function interface library.☆3,363Updated 2 weeks ago
- ZeroMQ core engine in C++, implements ZMTP/3.1☆10,199Updated 4 months ago
- a small build system with a focus on speed☆11,907Updated this week
- static analysis of C/C++ code☆6,152Updated 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,541Updated last year
- Cross-platform asynchronous I/O☆25,254Updated this week
- Apache Thrift☆10,681Updated this week
- A collection of C++ HTTP libraries including an easy to use HTTP server.☆8,234Updated 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…☆10,068Updated last year
- ChakraCore is an open source Javascript engine with a C API.☆9,177Updated 2 months ago
- http request/response parser for c☆6,394Updated 2 years 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,235Updated 7 months ago
- A tool for generating cross-language type declarations and interface bindings.☆2,887Updated 5 years ago
- A library that provides an embeddable, persistent key-value store for fast storage.☆29,679Updated this week