576 Open source projects that are alternatives of or similar to Infer

An HTML generator for Valgrind's Memcheck tool

Lint all your JavaScript, CSS, HTML, Markdown and Dockerfiles with a single command

nakedret is a Go static analysis tool to find naked returns in functions greater than a specified function length.

Manage translation and localization with static analysis, for Ruby i18n

A linter to prevent exception handling antipatterns in Python (limited only for those who like dinosaurs).

Golang security checker

Analyzes Elm projects, to help find mistakes before your users find them.

Droidefense: Advance Android Malware Analysis Framework

Vulnerability Patterns Detector for C# and VB.NET

Performant type-checking for python.

Next-gen phpDoc parser with support for intersection types and generics

Continuous Inspection

scalastyle

Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.

Static code analyzer for TypeScript

☕️ SonarSource Static Analyzer for Java Code Quality and Security

SonarQube Java Properties Analyzer

⚗️ Adds code analysis to Laravel improving developer productivity and code quality.

Policeman's Forbidden API Checker

A linter, formatter for finding and removing unused import statements.

unimport is a Go static analysis tool to find unnecessary import aliases.

Static code analysis for Kotlin

cfmt is a tool to wrap Go comments over a certain length to a new line.

Docker image that provides static analysis tools for PHP

The official GitHub mirror of https://gitlab.com/pycqa/flake8

NsDepCop is a static code analysis tool that helps to enforce namespace dependency rules in C# projects. No more unplanned or unnoticed dependencies in your system.

C code refactoring browser

Generate readme file from Go doc. Now available with Github actions!

Type Analyzer for JavaScript

A curated list of mathematics documents ,Concepts, Study Materials , Algorithms and Codes available across the internet for machine learning and deep learning

Haxe Checkstyle

IDAPython plugin for finding function strings recursively

PHPMD is a spin-off project of PHP Depend and aims to be a PHP equivalent of the well known Java tool PMD. PHPMD can be seen as an user friendly frontend application for the raw metrics stream measured by PHP Depend.

A tool for refactoring code related to feature flag APIs

🔍 Offline Analyzer for extracting features, artifacts and IoCs from Windows, Linux, Android, iPhone, Blackberry, macOS binaries, emails and more

R package for analyzing other R packages via graph representations of their dependencies

The strictest and most opinionated python linter ever!

Validate and visualize dependencies. Your rules. JavaScript, TypeScript, CoffeeScript. ES6, CommonJS, AMD.

Code Climate Engineering Data Platform

GopherCI was a project to help you maintain high-quality Go projects, by checking each GitHub Pull Request, for backward incompatible changes, and a suite of other third party static analysis tools.

TypeScript Compiler API wrapper for static analysis and programmatic code changes.

Analyses and reports testability issues of a php codebase

PowerShell module gathering PowerShell code quality and maintainability metrics

Fully open-source SAST scanner supporting a range of languages and frameworks. Integrates with major CI pipelines and IDE such as Azure DevOps, Google CloudBuild, VS Code and Visual Studio. No server required!

Converts JavaScript to TypeScript and TypeScript to better TypeScript.

A static-code-analysis tool for performing security-focused code reviews. It enables an auditor to swiftly map the attack-surface of a large application, with an emphasis on identifying development anti-patterns and footguns.

Moved to Polymer/tools monorepo

F# analyzer that provides embedded SQL syntax analysis, type-checking for parameters and result sets and nullable column detection when writing queries using Npgsql.FSharp.

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code

An Android base app with loads of cool libraries/configuration NOT MAINTAINED

Binary Analysis Platform

CoRnucopia of ABstractions: a library for building abstract interpretation-based analyses

nodejsscan is a static security code scanner for Node.js applications.

A libre cross-platform disassembler.

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

A static code analysis for WordPress (and PHP)

Toolkit for enriching and speeding up static malware analysis

Awesome Golang Security resources 🕶🔐

Telling tales on you for leaking secrets!

💩State-of-the-art shitcode principles your project should follow to call it a proper shitcode