luajit: file null terminator: raw bits, validate

wader · Jul 25, 2023 · 3af0462 · 3af0462
1 parent d62bb59
commit 3af0462
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 5 deletions.
diff --git a/format/luajit/luajit.go b/format/luajit/luajit.go
@@ -398,10 +398,9 @@ func LuaJITDecode(d *decode.D) any {
 				LuaJITDecodeProto(&di, d)
 			})
 		}
-
 	})
 
-	d.FieldU8("end")
+	d.FieldRawLen("end", 8, d.AssertBitBuf([]byte{0}))
 
 	return nil
 }
diff --git a/format/luajit/testdata/negative.fqtest b/format/luajit/testdata/negative.fqtest
@@ -107,4 +107,4 @@ $ fq dv negative.luac
     |                                               |                |          [3]{}: kgc 0x57-0x57.7 (1)
 0x50|                     00                        |       .        |            type: "child" (0) 0x57-0x57.7 (1)
     |                                               |                |        knum[0:0]: 0x58-NA (0)
-0x50|                        00|                    |        .|      |  end: 0 0x58-0x58.7 (1)
+0x50|                        00|                    |        .|      |  end: raw bits (valid) 0x58-0x58.7 (1)
diff --git a/format/luajit/testdata/simple.fqtest b/format/luajit/testdata/simple.fqtest
@@ -285,4 +285,4 @@ $ fq dv simple.luac
 0x170|                              01 08 66 31 00   |          ..f1. |            [3]: "\x01\bf1" value 0x17a-0x17e.7 (5)
 0x170|                                             01|               .|            [4]: "\x01\a" value 0x17f-0x181.7 (3)
 0x180|07 00                                          |..              |
-0x180|      00|                                      |  .|            |  end: 0 0x182-0x182.7 (1)
+0x180|      00|                                      |  .|            |  end: raw bits (valid) 0x182-0x182.7 (1)
diff --git a/format/luajit/testdata/simple_stripped.fqtest b/format/luajit/testdata/simple_stripped.fqtest
@@ -237,4 +237,4 @@ $ fq dv simple_stripped.luac
 0x130|      02                                       |  .             |                  type: "true" (2) 0x132-0x132.7 (1)
      |                                               |                |                  value: true 0x133-NA (0)
      |                                               |                |        knum[0:0]: 0x133-NA (0)
-0x130|         00|                                   |   .|           |  end: 0 0x133-0x133.7 (1)
+0x130|         00|                                   |   .|           |  end: raw bits (valid) 0x133-0x133.7 (1)