facebook / inferLinks
A static analyzer for Java, C, C++, and Objective-C
☆15,494Updated 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,555Updated 2 years ago
- FlatBuffers: Memory Efficient Serialization Library☆25,420Updated last month
- Watches files and records, or triggers actions, when they change.☆13,468Updated this week
- AddressSanitizer, ThreadSanitizer, MemorySanitizer☆12,277Updated last month
- a fast, scalable, multi-language and extensible build system☆25,017Updated this week
- A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C☆3,868Updated last year
- C++ based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)☆44,248Updated this week
- Yoga is an embeddable layout engine targeting web standards.☆18,648Updated 2 months ago
- Fast, indexed regexp search over large file trees☆3,920Updated 7 months ago
- Tink is a multi-language, cross-platform, open source library that provides cryptographic APIs that are secure, easy to use correctly, an…☆13,562Updated last year
- Brotli compression format☆14,542Updated last month
- SQL powered operating system instrumentation, monitoring, and analytics.☆23,038Updated last week
- A Java to iOS Objective-C translation tool and runtime.☆6,032Updated this week
- An open IDE for web and native mobile development, built on top of Atom☆7,745Updated 7 years ago
- PathPicker accepts a wide range of input -- output from git commands, grep results, searches -- pretty much anything. After parsing the i…☆5,223Updated last year
- An open-source C++ library developed and used at Facebook.☆30,235Updated this week
- A library that provides an embeddable, persistent key-value store for fast storage.☆31,442Updated this week
- ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The foc…☆14,326Updated last week
- H2O - the optimized HTTP/1, HTTP/2, HTTP/3 server☆11,379Updated last week
- Legacy mirror of Darwin Kernel. Replaced by https://github.com/apple-oss-distributions/xnu☆11,221Updated 3 years ago
- Lightning fast code searching made easy☆5,806Updated last month
- Bloaty: a size profiler for binaries☆5,338Updated last week
- A book-in-progress about the Linux kernel and its insides.☆32,112Updated last week
- Cross-platform asynchronous I/O☆26,472Updated last week
- Parsing gigabytes of JSON per second : used by Facebook/Meta Velox, the Node.js runtime, ClickHouse, WatermelonDB, Apache Doris, Milvus, …☆23,144Updated this week
- High performance server-side application framework☆9,086Updated this week
- SQLCipher is a standalone fork of SQLite that adds 256 bit AES encryption of database files and other security features.☆6,983Updated this week
- Stack trace visualizer☆19,163Updated last year
- Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.☆2,084Updated last week
- A cross-platform, linkable library implementation of Git that you can use in your application.☆10,301Updated this week