lloda pushed a commit to branch main
in repository guile.
commit 862bda3d69a5094deedb1f052b9f713a137e6bc5
Author: Rob Browning <[email protected]>
AuthorDate: Wed Sep 10 14:50:47 2025 -0500
byte64->bytevector bytevector->base64: check digits string length
* module/srfi/srfi-207/upstream/bytestrings-impl.scm
(byte64->bytevector, bytevector->base64): Verify digits string is length
two.
---
module/srfi/srfi-207/upstream/bytestrings-impl.scm | 2 ++
1 file changed, 2 insertions(+)
diff --git a/module/srfi/srfi-207/upstream/bytestrings-impl.scm
b/module/srfi/srfi-207/upstream/bytestrings-impl.scm
index e5a8e443c..cba9bc96d 100644
--- a/module/srfi/srfi-207/upstream/bytestrings-impl.scm
+++ b/module/srfi/srfi-207/upstream/bytestrings-impl.scm
@@ -84,6 +84,7 @@
((bvec digits)
(assume (bytevector? bvec))
(assume (string? digits))
+ (assume (= 2 (string-length digits)))
(utf8->string (base64-encode-bytevector bvec digits)))))
(define base64->bytevector
@@ -92,6 +93,7 @@
((base64-string digits)
(assume (string? base64-string))
(assume (string? digits))
+ (assume (= 2 (string-length digits)))
(decode-base64-string base64-string digits))))
(define bytestring->list