pac4j è ampiamente integrato in Spring Security, Apereo CAS, JEE, Vert.x, Play, Dropwizard e altri.

🔴 Correzione v0.2.0: l'affermazione centrale della v0.1.0 era errata

La v0.1.0 sosteneva che «il database ufficiale delle vulnerabilità elenca solo 1 pacchetto, mentre in realtà ce ne sono 5», e di conseguenza segnalava come vulnerabili pac4j-oidc / javalin-pac4j / lagom-pac4j / ratpack-pac4j. Erano falsi positivi. L'advisory ufficiale elenca correttamente solo pac4j-jwt.

Base della revisione (due prove indipendenti, entrambe riproducibili autonomamente):

1. Lo scope non si propaga — in Maven le dipendenze test / provided non vengono trasmesse a valle, pac4j-jwt non compare nel runtime classpath degli utilizzatori.
2. Verifica materiale dell'artefatto — pac4j-oidc-6.0.0.jar contiene 78 voci, tutte sotto org/pac4j/oidc/, senza alcuna classe pac4j-jwt inclusa tramite shade. Né trasmessa, né incorporata.

Dov'è l'errore: la v0.1.0 analizzava i pom uno per uno, ma guardava solo «chi dichiara la coordinata pac4j-jwt», senza considerare lo scope — scambiando «dichiarato nel pom» per «l'utilizzatore lo riceverà».

Se hai aggiornato pac4j a causa di un report della v0.1.0, quell'aggiornamento non era necessario (l'aggiornamento in sé è innocuo). È necessario intervenire solo quando nella tua applicazione è effettivamente presente una versione vulnerabile di pac4j-jwt.

Perché serve comunque uno strumento dedicato

Per determinare se su una determinata macchina esiste davvero un pac4j-jwt vulnerabile, mvn dependency:tree fallisce in due situazioni — su una macchina di produzione c'è solo un fat-jar già confezionato (senza sorgenti né pom); oppure è stato incluso tramite shade all'interno di un SDK, e non compare affatto nell'albero delle dipendenze. Questo strumento analizza direttamente l'artefatto stesso, senza dipendere dall'ambiente di build.

Utilizzo

Codici di uscita: 0 = nessuna vulnerabilità trovata · 1 = dubbio/impossibile determinare · 2 = vulnerabilità trovata. Utilizzabile direttamente in CI.

Esempio di output

La v0.1.0 qui segnalava anche una riga [CRITICAL] pac4j-oidc — era un falso positivo, rimosso nella v0.2.0, per i motivi spiegati nella correzione all'inizio.

Cosa fa

• Espande ricorsivamente i Spring Boot fat-JAR (in memoria, senza estrarre su disco), risalendo al percorso annidato specifico
• Rileva i casi di shade all'interno di un jar ospite — proprio quelli che mvn dependency:tree non riesce a individuare
• Risale alla catena di introduzione — ti dice quale artefatto ha trascinato dentro pac4j-jwt
• Fornisce un verdetto basato sugli intervalli ufficiali e un obiettivo di aggiornamento concreto

Regole di verdetto e limiti (leggere prima dell'uso)

Il verdetto si basa sempre sull'advisory ufficiale GHSA-pm7g-w2cf-q238:

Autoverifica: questo strumento esegue il verdetto su tutte le 147 versioni di pac4j-jwt presenti su Maven Central, il numero di corrispondenze è 114, in perfetta corrispondenza con la somma delle versioni dei tre intervalli dell'advisory ufficiale (13+33+68). Questa asserzione è scritta nei test (OfficialRangeCrossCheckTest); se non corrisponde, la build fallisce.

⚠️ Ma bisogna essere chiari su cosa verifica: verifica che l'algoritmo degli intervalli di versione sia corretto, non può verificare «quali artefatti debbano entrare nella tabella dei verdetti» — il falso positivo della v0.1.0 si verificò proprio in quest'ultimo caso, e allora questa autoverifica era verde. L'ambito coperto dalla verifica ≠ l'ambito in cui la conclusione è valida.

Due limiti che vanno dichiarati

1. Copre solo il groupId org.pac4j. Alcune ricerche di terze parti sostengono che gli artefatti vulnerabili siano 19 in totale, per 1.020 versioni, ma non hanno pubblicato l'elenco completo. Questo strumento ricostruisce in modo indipendente la porzione relativa a org.pac4j, senza dichiarare di coprire tutto. Altri groupId (come org.apereo.cas di Apereo CAS) non sono inclusi.

2. pac4j-jwt 6.0.0 ~ 6.0.4 è contrassegnato come «dubbio» e non come «vulnerabile». La fonte ufficiale afferma che la serie 6.x è vulnerabile a partire da 6.0.4.1; mentre ricerche di terze parti sostengono che la vulnerabilità fosse stata introdotta già in 1.9.2 — se fosse vero, anche queste 5 versioni andrebbero considerate. Non abbiamo verificato in modo indipendente le conclusioni di terze parti, quindi le segnaliamo separatamente e consigliamo un aggiornamento prudente, invece di dichiararle direttamente vulnerabili.

Perché tanta prudenza: una regola di verdetto sbagliata non è un «falso positivo», è far compiere all'utente un'azione sbagliata. Meglio contrassegnare come dubbio, piuttosto che fissare come conclusione un ambito non verificato.

Build

Feedback

Se trovi errori di verdetto, mancate rilevazioni o falsi positivi, apri una Issue. Se riesci a fornire coordinate riproducibili dell'artefatto (groupId:artifactId:version), la correzione sarà molto più rapida.

License

Apache License 2.0

pac4j-check (English)

Scanner offline per CVE-2026-29000 (CVSS 10.0) — inclusi i pacchetti che l'advisory ufficiale non elenca.

Singolo jar, ~24KB, zero dipendenze a runtime, Java 8+, completamente offline, non invia nulla da nessuna parte.

La vulnerabilità

JwtAuthenticator in org.pac4j:pac4j-jwt non impone la validazione della firma su alcuni percorsi di elaborazione di JWT cifrati (JWE). Un attaccante in possesso della chiave pubblica RSA del server (che è pubblica per progettazione) può costruire un PlainJWT incapsulato in un JWE con subject e claim di ruolo arbitrari e autenticarsi come qualsiasi utente, inclusi gli amministratori — senza credenziali.

🔴 Correzione v0.2.0: l'affermazione centrale della v0.1.0 era errata

La v0.1.0 sosteneva che l'advisory ufficiale «elenca solo un pacchetto mentre ce ne sono cinque», e segnalava pac4j-oidc / javalin-pac4j / lagom-pac4j / ratpack-pac4j come vulnerabili. Erano falsi positivi. L'advisory che elenca solo pac4j-jwt è corretto.

Due linee di prova indipendenti, entrambe riproducibili:

1. Lo scope non si propaga — Maven non trasmette le dipendenze test / provided ai consumatori a valle, quindi pac4j-jwt non raggiunge mai il loro runtime classpath.
2. Ispezione dell'artefatto — pac4j-oidc-6.0.0.jar ha 78 voci, tutte sotto org/pac4j/oidc/, senza classi pac4j-jwt incluse tramite shade.

Causa principale: la v0.1.0 analizzava effettivamente ogni pom, ma guardava solo chi nomina la coordinata, mai lo scope — scambiando «dichiarato in un pom» per «raggiunge il consumatore».

Se hai aggiornato pac4j a causa di un report della v0.1.0, quell'aggiornamento non era necessario (sebbene innocuo). È necessario intervenire solo quando un pac4j-jwt vulnerabile è effettivamente presente.

Perché uno strumento dedicato

Determinare se un pac4j-jwt vulnerabile è effettivamente presente su una determinata macchina mette in difficoltà mvn dependency:tree in due casi comuni: una macchina di produzione con solo un fat-jar confezionato (senza sorgenti, senza pom), oppure una copia inclusa tramite shade dentro un SDK di terze parti, invisibile all'albero delle dipendenze. Questo strumento ispeziona gli artefatti stessi.

Utilizzo

Codici di uscita: 0 pulito · 1 contestato/indeterminato · 2 vulnerabile.

Cosa fa

• Decomprime ricorsivamente i Spring Boot fat-JAR in memoria (nulla scritto su disco)
• Rileva pac4j-jwt incluso tramite shade in un jar ospite — il caso che mvn dependency:tree non riesce a vedere
• Traccia la catena di introduzione, così sai quale artefatto lo ha trascinato dentro
• Segnala un obiettivo di aggiornamento concreto

Regole e limiti

I verdetti seguono esattamente l'advisory ufficiale GHSA-pm7g-w2cf-q238:

Verifica incrociata: eseguendo le regole su tutte le 147 versioni pubblicate di pac4j-jwt si ottengono 114 vulnerabili — in perfetta corrispondenza con i tre intervalli dell'advisory (13+33+68). Questo è asserito in OfficialRangeCrossCheckTest; una mancata corrispondenza fa fallire la build.

Due limiti, dichiarati chiaramente:

1. È coperto solo il groupId org.pac4j. Ricerche di terze parti riportano 19 pacchetti vulnerabili su 1.020 versioni ma non hanno pubblicato l'elenco completo. Questo strumento ricostruisce in modo indipendente la porzione org.pac4j e non dichiara una copertura completa.
2. pac4j-jwt 6.0.0–6.0.4 sono segnalate come CONTESTATE, non VULNERABILI. L'advisory fa iniziare l'intervallo 6.x da 6.0.4.1; ricerche di terze parti affermano che il difetto fu introdotto già in 1.9.2. Non abbiamo verificato in modo indipendente quest'ultima affermazione, quindi queste versioni sono segnalate per revisione umana con una raccomandazione di aggiornamento prudente, invece di essere dichiarate vulnerabili.

Un verdetto sbagliato non è un "falso positivo" — fa compiere alle persone l'azione sbagliata.

License

Apache License 2.0

Serve un'indagine più approfondita?

Questo strumento risponde alla domanda «sono stato colpito o no». Alle seguenti domande non può rispondere, ma posso occuparmene io:

• La dipendenza è stata sottoposta a shade / relocate, oppure l'artefatto di build non è nemmeno ottenibile
• Bisogna determinare se «questa CVE si attiva effettivamente sulla nostra catena di chiamate», non solo se la versione corrisponde
• Serve una personalizzazione in base al vostro processo di build o al vostro ambiente di rete interno, e l'integrazione nella pipeline esistente
• Avete a che fare con un problema simile di un altro componente, per cui non esiste ancora uno strumento pronto

📮 [email protected] — descrivete la situazione, entro 24 ore vi darò una risposta scritta di una pagina: se è fattibile, dov'è la difficoltà, quanto tempo ci vorrà approssimativamente. Questo passo è gratuito e non richiede alcun impegno da parte vostra.