find_null_exn probes past the iobuf when a terminator is missing
Valutazione
- Difficoltà
- 2/5
- Tempo stimato
- 1-3 ore
- Idoneità per principianti
- 45/100
Direzione di ricerca
Inizia da Protocol.Shared.find_null_exn e confronta la gestione dei limiti con quella di Iobuf.Peek.index. Verifica la regressione inline menzionata nell’issue, includendo buffer vuoti e buffer privi di terminatore. Il lavoro è completato quando le C strings malformate raggiungono il fallimento esplicito per terminatore mancante, invece di causare accidentalmente un’eccezione di limiti.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Protocol.Shared.find_null_exn checks Iobuf.Peek.char iobuf ~pos before checking whether pos is still inside the buffer. For an empty iobuf it peeks out of bounds immediately. For a non-empty iobuf without a null byte, it advances to pos = length and then peeks out of bounds before reaching its intended failwith branch.
This is reachable while parsing malformed backend messages containing C strings. The parser does reject the frame, but through an accidental bounds exception rather than the explicit missing-terminator error.
Iobuf.Peek.index already provides the bounded search needed here. I have a small patch ready that uses it and adds an inline regression for a missing terminator.
- Lingua principale
- OCaml
- Stelle
- 28
- Fork
- 7
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Preparare l'ambiente
- Nessun Dockerfile né file Docker Compose
- Nessun modello di pull request
- Leggi la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Issue simili
-
enhancement Improvement
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
zowe/zowe-client-java-sdk#647 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
OpenPrinting/cups#1772 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 85/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
voidzero-dev/void#478 ·
I maintainer di solito rispondono entro 1 giorno