# HG changeset patch
# User reimar
# Date 1253806629 0
# Node ID ee0eaff74dd387b81c15d8a95d37959178e0a23d
# Parent  d2e3bc991df4dc800bb04c9ce69b9466a17621ed
Fix possible buffer over-read in vorbis_comment, fix it double to be sure.
First, make s signed, so that comparisons against end - p will not be made as
unsigned, making the check incorrectly pass if p is beyond end.
Also ensure that p will never be > end, so the code is correct also if
buf is not padded.

diff -r d2e3bc991df4 -r ee0eaff74dd3 oggparsevorbis.c
--- a/oggparsevorbis.c	Wed Sep 23 18:22:00 2009 +0000
+++ b/oggparsevorbis.c	Thu Sep 24 15:37:09 2009 +0000
@@ -50,27 +50,28 @@
 {
     const uint8_t *p = buf;
     const uint8_t *end = buf + size;
-    unsigned s, n, j;
+    unsigned n, j;
+    int s;
 
     if (size < 8) /* must have vendor_length and user_comment_list_length */
         return -1;
 
     s = bytestream_get_le32(&p);
 
-    if (end - p < s)
+    if (end - p - 4 < s || s < 0)
         return -1;
 
     p += s;
 
     n = bytestream_get_le32(&p);
 
-    while (p < end && n > 0) {
+    while (end - p >= 4 && n > 0) {
         const char *t, *v;
         int tl, vl;
 
         s = bytestream_get_le32(&p);
 
-        if (end - p < s)
+        if (end - p < s || s < 0)
             break;
 
         t = p;