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

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

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

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

OpenAnt from Knostic is the leading open source LLM-based vulnerability discovery product, helping defenders proactively find verified security flaws…

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

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

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

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

A collection of my Semgrep rules to facilitate vulnerability research.

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

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…

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

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

An extensible multilanguage static code analyzer.

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

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

Curated directory of static analysis (SAST) tools and linters for programming languages, configs, build tools, and CI, focused on improving code…