diff --git a/Lib/test/test_zipfile.py b/Lib/test/test_zipfile.py index 6e06ee6a60043919a016e64883f36d4c6ff2d5b6..e557d569a119cecd5996f75cc5e78be7a3520cbb 100644 --- a/Lib/test/test_zipfile.py +++ b/Lib/test/test_zipfile.py @@ -1736,6 +1736,17 @@ def test_empty_file_raises_BadZipFile(self): fp.write("short file") self.assertRaises(zipfile.BadZipFile, zipfile.ZipFile, TESTFN) + def test_negative_central_directory_offset_raises_BadZipFile(self): + # Zip file containing an empty EOCD record + buffer = bytearray(b'PK\x05\x06' + b'\0'*18) + + # Set the size of the central directory bytes to become 1, + # causing the central directory offset to become negative + for dirsize in 1, 2**32-1: + buffer[12:16] = struct.pack('<L', dirsize) + f = io.BytesIO(buffer) + self.assertRaises(zipfile.BadZipFile, zipfile.ZipFile, f) + def test_closed_zip_raises_ValueError(self): """Verify that testzip() doesn't swallow inappropriate exceptions.""" data = io.BytesIO() diff --git a/Lib/zipfile.py b/Lib/zipfile.py index 34d2fa4b8642223a932347403317f652b23df83b..eee1f47ed097a585b8da623b5c0abe2dbbaf3ec9 100644 --- a/Lib/zipfile.py +++ b/Lib/zipfile.py @@ -1349,6 +1349,8 @@ def _RealGetContents(self): print("given, inferred, offset", offset_cd, inferred, concat) # self.start_dir: Position of start of central directory self.start_dir = offset_cd + concat + if self.start_dir < 0: + raise BadZipFile("Bad offset for central directory") fp.seek(self.start_dir, 0) data = fp.read(size_cd) fp = io.BytesIO(data) diff --git a/Misc/NEWS.d/next/Library/2022-04-03-19-40-09.bpo-39064.76PbIz.rst b/Misc/NEWS.d/next/Library/2022-04-03-19-40-09.bpo-39064.76PbIz.rst new file mode 100644 index 0000000000000000000000000000000000000000..34d31527e332dc99d9731cdb2c24f7120dae9fa1 --- /dev/null +++ b/Misc/NEWS.d/next/Library/2022-04-03-19-40-09.bpo-39064.76PbIz.rst @@ -0,0 +1,2 @@ +:class:`zipfile.ZipFile` now raises :exc:`zipfile.BadZipFile` instead of ``ValueError`` when reading a +corrupt zip file in which the central directory offset is negative.