399 Open source projects that are alternatives of or similar to Check

Manage localization with static analysis. 🔍

A Psalm plugin for Laravel

Program for determining types of files for Windows, Linux and MacOS.

A Java 8+ Jar & Android APK Reverse Engineering Suite (Decompiler, Editor, Debugger & More)

Analyses and reports testability issues of a php codebase

✊ Detect non-inclusive language in your source code.

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

Awesome Java Security Resources 🕶☕🔐

C code refactoring browser

an advanced semantic indexer for Ruby

Moved to Polymer/tools monorepo

Toolkit for enriching and speeding up static malware analysis

Strict coding standard for Kotlin and a custom set of rules for detecting code smells, code style issues and bugs

Static code analysis for CFML (a linter)

LibScout: Third-party library detector for Java/Android apps

The leading static analyzer for Perl. Configurable, extensible, powerful.

Code metrics for Java code by means of static analysis

Static Analyzer for LLVM bitcode based on Abstract Interpretation

A plug-in for Google's Protocol Buffers (protobufs) compiler to lint .proto files for style violations.

Automated code reviews via mutation testing - semantic code coverage.

Find similar functions and classes in your JavaScript/TypeScript code

Manage translation and localization with static analysis, for Ruby i18n

Python script to detect vulnerabilities inside PHP source code using static analysis, based on regex

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

A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

This repo aims at providing practical examples on how to use r2frida

Checks syntax of reStructuredText and code blocks nested within it

Custom Python linting through AST expressions

PHPStan rules for detecting usage of deprecated classes, methods, properties, constants and traits.

Bolt is a language with in-built data-race freedom!

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.

Prevent cloud misconfigurations during build-time for Terraform, Cloudformation, Kubernetes, Serverless framework and other infrastructure-as-code-languages with Checkov by Bridgecrew.

Scanning APK file for URIs, endpoints & secrets.

Swiss-army knife for D source code

Parser for Angular projects.

Code Climate CLI

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

Policeman's Forbidden API Checker

Gradle plugin for PIT Mutation Testing

SBT Plugin for OWASP DependencyCheck. Monitor your dependencies and report if there are any publicly known vulnerabilities (e.g. CVEs). 🌈

Soot - A Java optimization framework

The CodeQL extractor and libraries for Go.

GCC plugin that embeds CPython inside the compiler

Analyzer: checks whether HTTP response body is closed and a re-use of TCP connection is not blocked.

Semgrep rules registry

Intellisense for PHP

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

[DEPRECATED] Security Scanner for Ethereum Smart Contracts

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

Security scanner for your Terraform code

Converts JavaScript to TypeScript and TypeScript to better TypeScript.

Datalog compiler in Rust as a procedural macro

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

SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.

A static analyzer for Java, C, C++, and Objective-C

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

Static Application Security Testing (SAST) engine focused on covering the OWASP Top 10, to make source code analysis to find vulnerabilities right in the source code, focused on a agile and easy to implement software inside your DevOps pipeline. Support the following technologies: Java (Maven and Android), Kotlin (Android), Swift (iOS), .NET Full Framework, C#, and Javascript (Node.js).

A reviewed list of useful PHP static analysis tools

CLI tool and library for generating a Software Bill of Materials from container images and filesystems

Java Code Static Metrics (Cohesion, Coupling, etc.)