A static analyzer for Java, C, C++, and Objective-C
15,671
Stars
2,097
Forks
583
Watchers
MIT
License
Infer is a static analysis tool for Java, C++, Objective-C, and C. Infer is written in OCaml.
Read our Getting Started page for details on how to install packaged versions of Infer. To build Infer from source, see INSTALL.md.
See CONTRIBUTING.md.
Infer is MIT-licensed.
Note: Enabling Java support may require you to download and install components licensed under the GPL.
This is a binary release of Infer for Linux and MacOS. To use it follow these instructions. Checkers
Pulse:
New over-approximate join operation (heaps, stacks, attributes, formulas) for combined ov...
This is a binary release of Infer for Linux and MacOS. To use it follow these instructions. Changes A lot has happened in the years since 1.1.0 so these are just the highlights. Full Changelog: v1.1.0...
This is a new release of Infer, with a binary tarball for Linux. On MacOS, using Homebrew is recommended. Please follow these instructions. Frontends
New JSON input format for SIL. This new format wa...
This is a binary release of Infer for Linux and MacOS. To use it follow these instructions. The Linux binary is built for Ubuntu 18 and may require adjustments to run on other configurations. The Mac...
This is a binary release of Infer for Linux and MacOS. To use it follow these instructions. Highlights:
There’s a new --inefficient-keyset-iterator checker for finding inefficient uses of Java's ke...
strix
usestrix
Open-source AI penetration testing tool to find and fix your app’s vulnerabilities.
awesome-cursorrules
PatrickJS
📄 Configuration files that enhance Cursor AI editor experience with custom rules and behaviors
awesome-shell
alebcay
A curated list of awesome command-line frameworks, toolkits, guides and gizmos. Inspired by awesome-php.
linux-command
jaywcjlove
Linux命令大全搜索工具，内容包含Linux命令手册、详解、学习、搜集。https://git.io/linux
SingleFile
gildas-lormeau
Web Extension for saving a faithful copy of a complete web page in a single HTML file
SwiftLint
realm
A tool to enforce Swift style and conventions.