
pmd
An extensible multilanguage static code analyzer.

An extensible multilanguage static code analyzer.

Curated Semgrep rule repository for GitLab SAST, providing static analysis patterns to detect security vulnerabilities across multiple programming…

A static analyzer for Java, C, C++, and Objective-C

AST-based Static Code Analyzer with Agentic LLM-Powered Relationship Mapping to discover Python RCE paths and deep deserialization chains on AI, LLM,…

Dependency-free static analyzer for zk circuit soundness bugs in o1js/Mina zkApps and Noir circuits


A source code analyzer built for surfacing features of interest and other characteristics to answer the question 'What's in the code?' quickly using…

Next-generation SQL static analyzer written in Rust. 282+ rules. Zero false positives. Security, performance, reliability, cost, compliance, quality.…

Detect compliance and security violations across Infrastructure as Code to mitigate risk before provisioning cloud native infrastructure.

Vulnerability Patterns Detector for C# and VB.NET