An extremely fast Python linter and code formatter, written in Rust.
-
Updated
Jun 6, 2024 - Rust
An extremely fast Python linter and code formatter, written in Rust.
Code security scanning tool (SAST) to discover, filter and prioritize security and privacy risks.
Code analyzer for C# and VB.NET projects
PHP Static Analysis Tool - discover bugs in your code without running it!
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
static analysis of C/C++ code
CLI tool and library for generating a Software Bill of Materials from container images and filesystems
Converts JavaScript to TypeScript and TypeScript to better TypeScript. 🧫
☕ SonarSource Static Analyzer for Java Code Quality and Security
Defund the Police. With repository stars⭐ and forks🍴
Interface with the rustc compiler for the purpose of program verification
Prevent cloud misconfigurations and find vulnerabilities during build-time in infrastructure as code, container images and open source packages with Checkov by Bridgecrew.
Static code analysis for Kotlin
Personal blog, about my open source activies.
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
A Pointer Analysis Framework for Rust
Datadog Static Analyzer
A new version of Soot with a completely overhauled architecture
FirmwareDroid is an analysis framework for Android firmware.
⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more. With repository stars⭐ and forks🍴
Add a description, image, and links to the static-analysis topic page so that developers can more easily learn about it.
To associate your repository with the static-analysis topic, visit your repo's landing page and select "manage topics."