Static program analysis (or static analysis) is the analysis of computer programs performed without executing them, in contrast with dynamic program analysis, which is performed on programs during their execution.
An extremely fast Python linter and code formatter, written in Rust.
A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
A Python tool to visualize + enforce dependencies, using modular architecture 🌎 Open source 🐍 Installable via pip 🔧 Able to be adopted incrementally - ⚡ Implemented with no runtime impact ♾️ Interoperable with your existing systems 🦀 Written in rust
IAM Policy Autopilot is an open source static code analysis tool that helps you quickly create baseline AWS IAM policies that you can refine as your application evolves. This tool is available as a command-line utility and MCP server for use within AI coding assistants for quickly building IAM policies.
Performant static analyzer for PHP, which is extremely easy to use. It helps you catch common mistakes in your PHP code.
FastLint checks all you files in any programming language, making vibe coding safer and faster
The code quality toolkit for the agentic AI era. Find dead code, clones, and scaffolding across 15 languages. MCP server + CLI.
FlowLog is an actively developed Datalog-to-Timely compiler that turns Souffle-compatible programs into standalone Differential Dataflow executables.
Multi-language static analysis with cross-file taint tracking. Scan your repo, triage findings in your browser, commit triage state with your code. No cloud, no account.
⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more. With repository stars⭐ and forks🍴
This software engineer profile builder turns your code into a detailed list of skills for an online directory of software developers.
Tool to report source code metrics
🛡️ irulescan - security analyzer for iRules
Fast, offline CLI for deep reasoning of codebase via static analysis & vector search.
🚀 Lightning-fast AI code analyzer built in Rust. Detect issues, measure complexity, and improve code quality in seconds. Built to function in your favorite IDE.
Language server and static typechecker for Macaulay2