
brakeman
Uno scanner di vulnerabilità di sicurezza tramite analisi statica per applicazioni Ruby on Rails

Uno scanner di vulnerabilità di sicurezza tramite analisi statica per applicazioni Ruby on Rails

Motore formale di analisi della contaminazione inter-procedurale per la sicurezza delle applicazioni. Tiene traccia dei dati non affidabili…

Nuget scanner

Analisi statica della sicurezza per pacchetti npm. Rileva codice offuscato, pattern dannosi e vulnerabilità note prima dell'installazione.

Cerca attraverso i repository git stringhe ad alta entropia e segreti, scavando a fondo nella cronologia dei commit.

Scanner di vulnerabilità basato su agenti per codebase su larga scala. Utilizza LLM per individuare problemi di sicurezza difficili da rilevare…

Framework Python per costruire flussi di lavoro LLM come macchine a stati con verifica formale tramite dimostrazione di teoremi Z3, model checking…

Assistente di reverse engineering basato su IA che collega IDA Pro con modelli linguistici tramite MCP.

Analizzatore di codice ABAP

Un doggo che aiuta a cercare problemi di sicurezza nei tuoi repository.

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

Sviluppatore di software sicuro certificato OWASP

Strumento di analisi statica del codice per app Android basato su OWASP MASVS, che rileva vulnerabilità di sicurezza nei file APK con bassi tassi di…

Un plugin per Binary Ninja che utilizza il backward slicing delle variabili come driver per l'analisi statica del taint.

Free security-baseline rule for Claude Code, Codex, and Cursor: treats MCP tool descriptions as untrusted input (OWASP MCP Top 10 MCP03,…

Fai i primi passi in CodeQL per Python scrivendo una query per trovare CVE-2024-32022

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

Toolchain Go orientata alla sicurezza, focalizzata su capacità di fuzzing all'avanguardia.