
checkov
Static analysis tool for infrastructure as code that detects cloud misconfigurations, vulnerabilities, and secrets across Terraform, Kubernetes,…

Static analysis tool for infrastructure as code that detects cloud misconfigurations, vulnerabilities, and secrets across Terraform, Kubernetes,…

PHP Static Analysis Tool - discover bugs in your code without running it!

CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

An extensible multilanguage static code analyzer.

Find vulnerabilities, misconfigurations, secrets, SBOM in containers, Kubernetes, code repositories, clouds and more

KubeLinter is a static analysis tool that checks Kubernetes YAML files and Helm charts to ensure the applications represented in them adhere to best…

OpenAI's Codex Security CLI and TypeScript SDK for finding, validating, and fixing security vulnerabilities. npm:…

Autonomous security research framework integrating static analysis, binary analysis, fuzzing, LLM-powered vulnerability validation, exploit…

Code-quality and static-analysis platform with quality gates, multi-language scanning, and security-focused rules to detect vulnerabilities and…

Static analysis scanner for infrastructure-as-code that detects security vulnerabilities, compliance violations, and misconfigurations across…

Vulnerability research assistant that extracts pseudocode from the IDA Hex-Rays decompiler.

Security scanner for AI/ML model files. Detects malicious code, backdoors, and vulnerabilities before deployment

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

AST-free heuristic knowledge graph engine for deep repository intelligence and zero-trust security scanning. Integrates as a GitLab CI/CD component,…

Vulnerability Assessment Scanner with Report Generation

Multi-agent static application-security review harness for AI coding agents: maps codebases, hunts vulnerability classes, chains and verifies…

Framework-aware static code analysis tool for automated source code review with platform-specific rules, taint analysis, effort estimation, and…