Static Analysis
Showing 36 of 865 projects
A lightweight analysis tool for detecting mutability in Java classes through unit tests, runtime checks, and FindBugs integration.
A GitHub Action that runs golangci-lint with reviewdog to automatically lint Go code in pull requests.
A static and symbolic analysis tool for finding memory safety bugs in browser code and other software.
An ESLint plugin for linting JSON, JSONC, and JSON5 files with comprehensive rules and editor integrations.
A command line tool that transforms Lua 5.1 and Roblox Luau code using configurable rules.
A configurable linting tool for analyzing Slim templates, integrating with RuboCop for static analysis.
An ESLint plugin that enforces best practices and consistency when writing ESLint plugins and their tests.
A Python library for creating phantom types that enforce runtime and static type constraints through predicates.
An open-source modeling tool for evaluating the performance of proton-exchange membrane fuel cells (PEMFC) using static and dynamic models.
A PHP CodeSniffer standard that enforces the CakePHP coding style and conventions.
A configurable linting tool that identifies and reports anti-patterns in TSQL scripts.
A Django web application for static security analysis (SAST) and malware detection in Android APKs.
An abstract interpreter for Rust's MIR that performs static analysis to find bugs and verify correctness properties.
A Leiningen plugin for static analysis to find unused code in Clojure applications and libraries.
A configurable source code formatter for the D programming language that enforces consistent style.
A Swift run script that automatically detects missing and unused image assets in iOS Asset Catalogs.
An ESLint plugin that validates and lints JSON files, catching syntax errors and enforcing standards.
A JavaScript transpiler that converts ES6 code to ES5 with minimal runtime dependencies and Closure Compiler compatibility.
A fast, lightweight Dockerfile linter written in Go that detects issues, enforces best practices, and provides quality scores.
Analyze ESLint configurations to list current, available, unused, and deprecated rules.
A SublimeLinter plugin that checks PHP syntax using the built-in php -l command.
A language server for the V programming language providing IDE features like go-to-definition, code completion, and type hints.
Roslyn analyzers for detecting security vulnerabilities in .NET applications during development.
Runtime type checking for JavaScript functions using Hindley Milner type signatures.
A CLI tool to examine Go type structures, interfaces, and their transitive dependencies, and export them as TypeScript declarations.
Converts Checkstyle XML reports into GitHub Pull Request annotations for use in GitHub Actions.
A configurable linter and validator for Gherkin feature files, written in JavaScript.
Static analysis framework for ROS1 applications to detect software problems early in development.
An extensible static analysis platform for Rust that detects memory safety bugs and performs advanced program analysis beyond rustc.
A header file that uses GCC's poison pragma to ban unsafe C/C++ functions from your codebase.
A Java code quality assessment tool that detects design/implementation smells and computes object-oriented metrics.
A Python toolset for malware analysis using function-level fuzzy hashing to catalog and compare malicious binaries.
A CakePHP plugin that enhances IDE compatibility and developer productivity by generating annotations and meta files for code completion.
A Haskell tool for whole-program dead-code analysis using GHC's HIE files to detect unused code across module boundaries.
A tool that parses lint errors and reports them as comments on GitHub pull requests.
An ESLint plugin that provides linting rules for YAML files, including support for Vue SFC custom blocks and ESLint directives.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.