infer
by facebook
A static analyzer for Java, C, C++, and Objective-C
AI summary
Code analyzer
An OCaml-based static analysis tool for detecting errors and improving code quality in various programming languages.
- stars
- 15K
- forks
- 2K
- watching
- 602
- awesome lists
- 7
Similar projects
Found by comparing what the projects do, not just their names.
Code analyzer
A tool that analyzes C# code for potential issues such as null pointer dereferences and resource leaks to help detect security vulnerabilities.
Forensic analyzer
A C#-based framework for analyzing and investigating hard drive forensic data
Type solver
A type-level logic programming language embedded in F# that generates values from their types using a Prolog-style resolution algorithm.
Binary function invoker
Enables cross-platform invocation of functions from stripped binaries.
inria/spoon1.8K
Java compiler library
A metaprogramming library to analyze and transform Java source code at compile-time.
SPA framework
An Inertia.js adapter for Clojure to build single-page apps without an API
Cryptography API
A Lisp API to an Amazon Web Services reactive cryptography service
API Detector
Detects uses of legacy Java APIs in source code to recommend modern alternatives.
Code analyzer
Analyzes Java code quality and security issues to help developers write cleaner code
Process model analyzer
Tools for static analysis of BPMN 2.0 process models to ensure compliance with standards
Poster forensic analyzer
A tool for creating and analyzing digital poster forensics data
CLI app framework
A comprehensive PHP library for building CLI applications with customizable options, command-line interfaces, and interactive user experiences.
Inotify API interface
Provides a SWI-Prolog interface to the Linux inotify API for file system event notifications
Test lab deployer
Automates deployment of Windows and Active Directory test lab networks.
Security analyzer
A tool that analyzes source code to identify security vulnerabilities and provides reporting on compliance with the OWASP Top 10
Featured in 7 awesome lists
Each link jumps to the spot where the list mentions infer.
