static-code-analysis

aquasecurity/trivy

Trova vulnerabilità, configurazioni errate, segreti, SBOM in contenitori, Kubernetes, repository di codice, cloud e altro

facebook/infer

Un analizzatore statico per Java, C, C++ e Objective-C

semgrep/semgrep

Analisi statica leggera per molti linguaggi. Trova varianti di bug con pattern che assomigliano a codice sorgente.

github/codeql

CodeQL: le librerie e le query che alimentano i ricercatori di sicurezza in tutto il mondo, oltre alla scansione del codice in GitHub Advanced…

phpstan/phpstan

PHP Static Analysis Tool - scopri bug nel tuo codice senza eseguirlo!

sonarsource/sonarqube

Piattaforma di qualità del codice e analisi statica con quality gate, scansione multi-linguaggio e regole incentrate sulla sicurezza per rilevare…

bridgecrewio/checkov

Strumento di analisi statica per infrastruttura come codice che rileva configurazioni errate del cloud, vulnerabilità e segreti attraverso Terraform,…

openai/codex-security

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

pycqa/bandit

Bandit è uno strumento progettato per trovare problemi di sicurezza comuni nel codice Python.

securego/gosec

Controllo di sicurezza per Go

pmd/pmd

Un analizzatore statico di codice multilingua estensibile.

zrax/pycdc

Disassemblatore e decompilatore di bytecode Python in C++

lirantal/awesome-nodejs-security

Elenco curato di strumenti di sicurezza Node.js, analizzatori statici, scanner di vulnerabilità e risorse educative che coprono OWASP Top 10,…

awarexone/agentic-bug-hunter

AI-powered bug bounty hunting toolkit that works with or without subscription.

microsoft/applicationinspector

Un analizzatore di codice sorgente progettato per evidenziare caratteristiche di interesse e altre proprietà per rispondere rapidamente alla domanda…

gadievron/raptor

Framework autonomo di ricerca sulla sicurezza che integra analisi statica, analisi binaria, fuzzing, validazione delle vulnerabilità basata su LLM,…

stackrox/kube-linter

KubeLinter è uno strumento di analisi statica che controlla i file YAML di Kubernetes e i chart Helm per garantire che le applicazioni rappresentate…