Static Analysis
Showing 36 of 865 projects
An ESLint plugin providing linting rules for Scoped CSS in Vue.js single-file components.
Statically analyzes Go HTTP services to generate interactive API documentation and OpenAPI specs without annotations.
A codemod that automatically converts implicit optional type hints in Python code to be PEP 484 compliant.
A sophisticated static dataflow analysis framework for the R programming language, enabling code linting, program slicing, and dependency analysis.
A Python-based linter that checks CMake files for coding style issues and enforces consistent formatting.
A CLI tool that automatically adds type annotations to Python code using static analysis and heuristics.
Vim plugin for executing Python's MyPy static type checker directly within the editor.
A GitHub Action for running PHPStan static analysis in CI/CD workflows.
A Coq plugin that extracts dependency graphs between Coq objects and provides tools for visualization and analysis.
A full-featured language server and tooling suite for WebAssembly Text Format development with deep static analysis and editor integration.
Additional ESLint rules for ESLint directive comments like eslint-disable-line and eslint-enable.
An opinionated Python typing package providing precise type hints, single-method protocols, exact types, and typed operators.
ESLint plugin providing rules for optimizing usage of JavaScript Array functions and methods.
An ESLint plugin that validates JSON, YAML, TOML, JavaScript, and Vue files against JSON Schema.
Provides reliable static type annotations for the entire SciPy library, enabling better IDE support and early error detection.
An IRB extension that provides type-based autocompletion for Ruby using static analysis.
Backbone-specific linting rules for ESLint to enforce best practices and prevent common errors.
ESLint plugin that enforces TypeScript/JavaScript path aliases from tsconfig/jsconfig instead of relative imports.
A Common Lisp linter focused on catching real mistakes and widely accepted style problems without subjective preferences.
A research project investigating how packers affect the accuracy of static machine-learning malware classifiers.
A Go library for safe numeric type conversion that prevents integer overflow and wraparound errors.
Converts Go AST to JSON and back, enabling cross-language analysis and transformation of Go code.
An advanced linter for Yocto/OpenEmbedded bitbake recipes that enforces style guidelines and detects common pitfalls.
A Go static analysis tool that aggressively finds unused arguments in function declarations to encourage cleaner code.
A luac-based static analyzer that detects undeclared global variable usage in Lua code to catch typing errors.
A Vim plugin that integrates Eastwood, a Clojure linter, using a REPL connection for faster linting without shelling out to Leiningen.
An SDK for building custom F# code analyzers that provide real-time diagnostics and fixes in editors.
A Python typehint explainer that parses and explains complex type annotations in human-readable language.
ESLint plugin that provides rules to detect and warn about deprecated functions, imports, and member expressions.
A Flake8 plugin that provides specialized linting for Python type hinting stub files (.pyi).
A Go linter that detects nested contexts in loops or function literals to prevent performance issues.
A CLI tool that integrates mypy with existing Python projects by reporting only new type violations and ignoring existing ones.
A Gulp plugin wrapper for HTMLHint to validate HTML files in build pipelines.
A Go static analysis tool that uses AST and Rego policies for customizable code inspection.
An ESLint plugin that automatically optimizes regular expression literals for better performance.
A GitHub Action that runs tfsec with reviewdog on pull requests to enforce Terraform security best practices.
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.