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

DEPRECATED -- DevSkim plugin for Sublime Text 3.

Generic implementation of different CFA families based on monadic decomposition

Converts JavaScript to TypeScript and TypeScript to better TypeScript.

A tool to verify that your files are in harmony with your .editorconfig

KubeLinter is a static analysis tool that checks Kubernetes YAML files and Helm charts to ensure the applications represented in them adhere to best practices.

SonarQube plugin for Kotlin

Android malware detection using static and dynamic analysis

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.

Linting tool for CloudFormation templates

Moved to Polymer/tools monorepo

Go fearless SQL. Sqlvet performs static analysis on raw SQL queries in your Go code base.

Very WIP static analysis for Lua

sonar-swift.SonarQube iOS Plugin, Support Objective-C And Swift, Support Infer (SonarQube iOS 代码扫描插件，支持 Objective-C 和 Swift ，支持 Infer 结果导入 ) base on https://github.com/Idean/sonar-swift

Binee: binary emulation environment

🦙 Mega-Linter analyzes 48 languages, 22 formats, 19 tooling formats, excessive copy-pastes, spelling mistakes and security issues in your repository sources with a GitHub Action, other CI tools or locally.

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

An ethereum evm bytecode disassembler and static/dynamic analysis tool

Project Guidelines for the Android Buffer App

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

Define and run pattern-based custom linting rules.

Additional ESLint's rules for Node.js

A Python Bytecode Disassembler helping reverse engineers in dissecting Python binaries by disassembling and analyzing the compiled python byte-code(.pyc) files across all python versions (including Python 3.10.*)

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

Static program analysis for TIP

A regex based source code scanner.

📗 How to write cross-platform Node.js code

🌿 NodeJS PHP Parser - extract AST or tokens (PHP5 and PHP7)

A static analysis security vulnerability scanner for Ruby on Rails applications

Static call graph generator. The official Python 3 version. Development repo.

A static code analysis for WordPress (and PHP)

PHP_Depend is an adaptation of the established Java development tool JDepend. This tool shows you the quality of your design in terms of extensibility, reusability and maintainability.

A 6502-oriented low-level programming language supporting advanced static analysis

Telling tales on you for leaking secrets!

Towards Measuring Supply Chain Attacks on Package Managers for Interpreted Languages

Making CoreOS' Clair easily work in CI/CD pipelines

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

High-level library for executable binary file analysis

Automatically generates pipelines for your project.

Easy setup of static analysis tools for Android and Java projects.

Performing security tests inside your CI

The most strict (yet practical) ESLint config. 34 plugins. 1047 rules.

A template for modern C++ projects using CMake, Clang-Format, CI, unit testing and more, with support for downstream inclusion.

Actionable code coverage.

Docker image for Alpine Linux with latest ShellCheck, a static analysis tool for shell scripts.

Argus static analysis framework

The Hy Transformer

A static code analysis tool for the Elixir language with a focus on code consistency and teaching.

Android Mobile Device Hardening

Jackhammer - One Security vulnerability assessment/management tool to solve all the security team problems.

Checks syntax of reStructuredText and code blocks nested within it

A source code analyzer built for surfacing features of interest and other characteristics to answer the question 'What's in the code?' quickly using static analysis with a json based rules engine. Ideal for scanning components before use or detecting feature level changes.

Kubernetes object analysis with recommendations for improved reliability and security

Refactor Python using AI. ⭐ this repo and Sourcery Starbot will send you a PR

Parser for Angular projects.

Automated code reviews via mutation testing - semantic code coverage.

Command line tool to validate configuration files

Run a security scan on your terraform with the very nice https://github.com/liamg/tfsec

Staticcheck - The advanced Go linter

Your performance & security consultant, an artisan command away.

Find and fix problems in your JavaScript code.