
ConcoLLMic
Motore di esecuzione concolica basato su agenti LLM che strumenta il codice sorgente, riassume i vincoli di percorso in linguaggio naturale e genera…

Motore di esecuzione concolica basato su agenti LLM che strumenta il codice sorgente, riassume i vincoli di percorso in linguaggio naturale e genera…

Una versione vulnerabile di Rails che segue la OWASP Top 10

Solleva i loop binari x86-64 in vincoli SMT in forma chiusa tramite analisi a intervalli strided, consentendo l'esecuzione simbolica O(1) e il…

Collezione di frammenti Solidity e script Foundry per audit di sicurezza degli smart contract

Linter basato su regole per i file di configurazione del client OpenSSH che rileva host duplicati, file di identità mancanti, algoritmi deboli,…

Safety verifica le dipendenze Python per vulnerabilità di sicurezza note e suggerisce le opportune correzioni per le vulnerabilità rilevate.

🐍 🔍 GuardDog è uno strumento CLI per identificare pacchetti PyPI e npm malevoli

Libreria di sicurezza per PHP 8.4+ (mirror)

Xyntia, il deoffuscatore black-box

Rimedio automatico delle vulnerabilità di sicurezza per il tuo codice.

Una libreria leggera di strumentazione dinamica

Motore di runtime con reverse engineering per Roblox/Luau con hooking della VM, rimappatura degli opcode, escalation delle capacità e ambiente script…

🧬 Estrai e analizza le informazioni sui contributori dai repository git

Rilevamento in tempo reale delle minacce alla catena di fornitura npm/PyPI. Analisi comportamentale della catena, scansione AST, feed IOC e motore di…

Una libreria per creare, leggere e modificare file PE e moduli .NET.

Variante sintetica dell'overflow del buffer di stack CWE-120 di CVE-2020-8597 (pppd EAP) come target di analisi statica CodeQL

Framework di stima delle risorse basato su Qiskit per circuiti quantistici di inversione modulare e addizione di punti affini efficienti in termini…

Framework agente per la sintesi di query CodeQL