infer
Code analyzer
An OCaml-based static analysis tool for detecting errors and improving code quality in various programming languages.
A static analyzer for Java, C, C++, and Objective-C
15k stars
602 watching
2k forks
Language: OCaml
last commit: 3 months ago
Linked from 7 awesome lists
ccode-qualitycppjavaobjective-cstatic-analysisstatic-code-analysis
fffaraz/awesome-cpp
vsouza/awesome-ios
akullpp/awesome-java
jobbole/awesome-cpp-cn
vaib25vicky/awesome-mobile-security
ocaml-community/awesome-ocaml
vihar/awesome-oss-saasRelated projects:
| Repository | Description | Stars |
|---|---|---|
 microsoft/infersharp | A tool that analyzes C# code for potential issues such as null pointer dereferences and resource leaks to help detect security vulnerabilities. | 737 |
 invoke-ir/powerforensics | A C#-based framework for analyzing and investigating hard drive forensic data | 1,389 |
 infers/infers | A type-level logic programming language embedded in F# that generates values from their types using a Prolog-style resolution algorithm. | 31 |
 sciencemanx/ctf_import | Enables cross-platform invocation of functions from stripped binaries. | 110 |
 inria/spoon | A metaprogramming library to analyze and transform Java source code at compile-time. | 1,765 |
 prestancedesign/inertia-clojure | An Inertia.js adapter for Clojure to build single-page apps without an API | 97 |
 christophejunke/cl-infinidash | A Lisp API to an Amazon Web Services reactive cryptography service | 0 |
 gaul/modernizer-maven-plugin | Detects uses of legacy Java APIs in source code to recommend modern alternatives. | 379 |
 sonarsource/sonar-java | Analyzes Java code quality and security issues to help developers write cleaner code | 1,144 |
 uniba-dsg/bpmnspector | Tools for static analysis of BPMN 2.0 process models to ensure compliance with standards | 12 |
| invoke-ir/forensicposters | A tool for creating and analyzing digital poster forensics data | 437 |
 inhere/php-console | A comprehensive PHP library for building CLI applications with customizable options, command-line interfaces, and interactive user experiences. | 346 |
 janwielemaker/inotify | Provides a SWI-Prolog interface to the Linux inotify API for file system event notifications | 1 |
 outflanknl/invoke-adlabdeployer | Automates deployment of Windows and Active Directory test lab networks. | 480 |
 insidersec/insider | A tool that analyzes source code to identify security vulnerabilities and provides reporting on compliance with the OWASP Top 10 | 519 |