IPvFuture host literals with uppercase `V`, a multi-digit version or `:` are rejected

Aperta Adatta ai principianti
  • Qualcosa non va?
#94 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
2/5
Tempo stimato
1-3 ore
Idoneità per principianti
82/100
Tipo di issue
Bug
Chiarezza
Specificata chiaramente
Stato di attività
Attiva
Stack tecnologico
haskell
Ambito
backend-api-design

Direzione di ricerca

Il parser e il predicato di caratteri si trovano in Network/URI.hs; inizia leggendo la definizione di ipvFuture e il codice circostante del parser URI. Esamina i test esistenti del parser, poi copri la V maiuscola, più cifre della versione e : nell’indirizzo. Il lavoro è completo quando isURI, parseURI e parseURIReference accettano le forme valide segnalate.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

The parser for IPvFuture host literals accepts less than the RFC 3986 §3.2.2 rule

IPvFuture = "v" 1*HEXDIG "." 1*( unreserved / sub-delims / ":" )

>>> isURI "http://[v1.a]/"
True
>>> isURI "http://[v1.a:b]/"
False
>>> isURI "http://[v1F.a]/"
False
>>> isURI "http://[V1.a]/"
False

All four should be True; parseURI and parseURIReference return Nothing for the last three.

The code is in Network/URI.hs:

ipvFuture =
    do  { _ <- char 'v'
        ; h <- hexDigitChar
        ; _ <- char '.'
        ; a <- many1 (satisfy isIpvFutureChar)
        ; return $ 'v':h:'.':a
        }

isIpvFutureChar c = isUnreserved c || isSubDelims c || (c==';')
  • (c==';') is where the grammar has ":". ; is already a sub-delim, so this looks like a typo.
  • The version is a single hexDigitChar, the grammar has 1*HEXDIG.
  • Only lowercase v is accepted. The RFC text says "an IP-literal that starts with "v" (case-insensitive)".

A possible fix:

 ipvFuture =
-    do  { _ <- char 'v'
-        ; h <- hexDigitChar
+    do  { v <- char 'v' <|> char 'V'
+        ; h <- many1 hexDigitChar
         ; _ <- char '.'
         ; a <- many1 (satisfy isIpvFutureChar)
-        ; return $ 'v':h:'.':a
+        ; return $ v:h ++ '.':a
         }
 
 isIpvFutureChar :: Char -> Bool
-isIpvFutureChar c = isUnreserved c || isSubDelims c || (c==';')
+isIpvFutureChar c = isUnreserved c || isSubDelims c || (c==':')

No IPvFuture format is in use as far as I know, so this is low priority.

Tested with network-uri 2.6.4.2 and current master, GHC 9.6.7.

Lingua principale
Haskell
Stelle
28
Fork
34
Nessuna PR unita negli ultimi 30g

Preparare l'ambiente

Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di haskell/network-uri

Tutte le issue di haskell/network-uri

Issue simili

Altre issue su Haskell

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.