A static code analysis tool for the Elixir language with a focus on code consistency and teaching.
- elixir
- code-analysis
- static-analysis
- linter
47,133 repositories indexed
25–40 of 40 · Most stars
A static code analysis tool for the Elixir language with a focus on code consistency and teaching.
🚀Optimizer for mobile applications
Find dead Python code
Pretty good call graphs for dynamic languages
A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead
SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
A static source code analysis tool to improve quality and reduce defects for C, C++ and Objective-C
Detect copy-pasted and structurally similar code
Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.
A Ruby code quality reporter
Roslynator is a set of code analysis tools for C#, powered by Roslyn.
Complex code hides connections, workflows, and business risks.Unvibe complex code. Trace business workflows.
Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.
TranslatedA code audit platform built as a secondary development of artex | Adds local decompilation of Java dependency libraries | Multi-account management
Know the risk of merging a pull request, and where it lives. Free, open-source CLI and GitHub Action: after your AI review, farol shows the riskiest files, what they reach, diff coverage and contract breaks. TypeScript/React, Go, Python.
Security linter for AI-generated code: catches the exact vulnerabilities Copilot, Cursor and ChatGPT repeatedly produce. SQL injection, hardcoded secrets, JWT bypass, command injection and 15+ more rules. Grade A–F. Zero config. CI/CD ready.