vamp-forticheck

Scanner CVE per dispositivi edge multi-vendor — VampSecure Labs

Panoramica

vamp-forticheck è uno scanner di sicurezza asincrono e non distruttivo che rileva vulnerabilità CVE su sette dei principali vendor di sicurezza di rete. Esegue un'analisi strutturata in tre fasi:

1. Rilevamento passivo — identifica impronte digitali di vendor e versioni firmware da header di risposta HTTP, banner e artefatti delle pagine di login, senza attivare l'autenticazione.
2. Probe CVE semi-attive — richieste HTTP mirate che confermano condizioni di vulnerabilità specifiche, inclusa la divulgazione della versione, il path traversal e indicatori di RCE pre-autenticazione.
3. Analisi secondaria dell'esposizione — verifica la presenza di interfacce amministrative, API di gestione ed endpoint di esposizione di credenziali esposti sullo stesso host.

La copertura include 16 CVE su 7 vendor: FortiOS/FortiGate, Palo Alto PAN-OS, Cisco ASA, Cisco IOS-XE, Check Point Gateway, Juniper Junos e F5 BIG-IP.

Caratteristiche

• Scansione completamente asincrona tramite asyncio + aiohttp con concorrenza configurabile
• Database CVE su sette vendor, incluse vulnerabilità critiche attivamente sfruttate
• Applicazione dello scope tramite file allowlist — previene sonde fuori scope non intenzionali
• Punteggio di rischio: CVSS × confidence_factor (1.0 per risultati confermati, 0.55 per solo corrispondenza di versione)
• Input di target in batch da file o tramite argomenti diretti da riga di comando
• Report HTML autonomo per consegna al cliente o archiviazione
• Report HTML + PDF di livello client tramite il modulo condiviso vampsec_report

Requisiti

Python 3.11+
aiohttp >= 3.9.0
rich >= 13.7.0

Installare le dipendenze:

pip install -r requirements.txt

Installazione

git clone https://github.com/belky-me/vamp-forticheck.git
cd vamp-forticheck
pip install -r requirements.txt

Utilizzo

python vamp_forticheck.py [OPTIONS]

Selezione target:
  -t, --target HOST [HOST ...]   Uno o più target (IP, hostname o HOST:PORT)
  -i, --input FILE               File con un target per riga

Scope:
  -s, --scope FILE               File allowlist (blocchi CIDR, wildcard o host esatti)

Prestazioni:
  -c, --concurrency N            Numero massimo di connessioni concorrenti (default: 10)
      --timeout N                Timeout per richiesta in secondi (default: 10)

Output:
  -o, --output FILE              Scrivi tutti i risultati in un file JSON
      --html FILE                Genera un report HTML autonomo
  -v, --verbose                  Mostra tracce dettagliate delle probe e risposte HTTP

Esempi

Scansione di un singolo dispositivo edge e scrittura di un report JSON:

python vamp_forticheck.py -t 203.0.113.1 -o results.json

Scansione di un elenco di target all'interno di uno scope definito, con output HTML e logging verbose:

python vamp_forticheck.py -i targets.txt -s scope.txt --html report.html -v

Scansione di più host con concorrenza aumentata:

python vamp_forticheck.py -t 10.0.0.1 10.0.0.2 10.0.0.254 -c 20 -o findings.json

Scansione di un'interfaccia di gestione su una porta non standard:

python vamp_forticheck.py -t firewall.corp.example:8443 --html firewall_report.html

Formati di output

Codici di uscita

Livelli di rischio

Punteggio = CVSS_base × confidence_factor. La confidenza è 1.0 quando una probe conferma la condizione di vulnerabilità, e 0.55 quando il risultato si basa sulla sola divulgazione della versione.

Parte del Toolkit VampSecure Labs

vamp-forticheck fa parte del VampSecure Labs Security Research Toolkit — una raccolta di strumenti di valutazione della sicurezza self-hosted di livello professionale.

© VampSecure Studios — Divisione di Ricerca sulla Sicurezza di VampSecure Labs
Solo per valutazioni di sicurezza autorizzate. L'uso non autorizzato è vietato.