
git-secrets
Impedisce il commit di segreti e credenziali nei repository git

Impedisce il commit di segreti e credenziali nei repository git

Framework agente per la sintesi di query CodeQL

Security scanner for AI agents, MCP servers and agent skills.

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


Interfaccia utente human-in-the-loop che converte descrizioni di protocolli in linguaggio naturale o C/C++ in un Protocol IR revisionabile, quindi…

Pacchetto di regole di analisi statica per rilevare vulnerabilità di sicurezza, pattern di codice pericolosi e problemi di configurazione in molti…

Developer-focused knowledge base of application security vulnerabilities with insecure vs secure code examples, prevention guidance, and OWASP/CWE…

Strumento di analisi statica e dinamica basato su regole che identifica le capacità nei file PE, ELF, .NET e shellcode, mappandole alle tecniche…

Controllo di sicurezza per Go

Framework di deoffuscamento del codice per semplificare le espressioni Mixed Boolean-Arithmetic (MBA)

Il primo hazard checker al mondo per NVIDIA Blackwell (sm_120), con un assembler e uno scheduler confrontati byte per byte con il loro stesso…

Raccolta di regole Semgrep per l'analisi statica del codice, il rilevamento delle vulnerabilità di sicurezza e l'applicazione di pratiche di codifica…

Ancora un altro offuscatore basato su llvm e su goron.

Strumento di analisi statica che rileva dipendenze dannose nelle pipeline CI/CD utilizzando il pattern matching e l'analisi AST, con un sistema di…

Una competenza di agente di codifica per audit di sicurezza multi-fase con risultati verificati in modo indipendente e leggibili da macchina.

Piattaforma bancaria volutamente vulnerabile per esercitarsi nel testing di sicurezza di applicazioni web, API e AI/LLM, nella revisione sicura del…

Deobfuscator per output di javascript-obfuscator 5.x (string arrays, control-flow flattening, self-defending, RC4/base64)