archive/zip — validation proof
Go’s own archive/zip test suite, converted to C# by go2cs, built against the converted standard
library, run under the Go-semantics test host, and compared verdict for verdict against a clean
go test -json baseline of the same sources. This page is generated by the converter from that
comparison — it is the evidence behind the archive/zip row in
Validated Test Packages.
Validated 2026-08-09 · converter 7c7bc7d69
98 matched · 0 disclosed — Go 1.23.1, windows/amd64, converted package
src/core/archive/zip.
Verdicts
| Test | go test |
go2cs |
|---|---|---|
TestBaseOffsetPlusOverflow |
pass | pass |
TestCVE202127919 |
pass | pass |
TestCVE202133196 |
pass | pass |
TestCVE202139293 |
pass | pass |
TestCVE202141772 |
pass | pass |
TestCompressedDirectory |
pass | pass |
TestDisableInsecurePathCheck |
pass | pass |
TestFS |
pass | pass |
TestFS/testdata/subdir.zip |
pass | pass |
TestFS/testdata/unix.zip |
pass | pass |
TestFSModTime |
pass | pass |
TestFSWalk |
pass | pass |
TestFSWalk/testdata/dupdir.zip |
pass | pass |
TestFSWalk/testdata/subdir.zip |
pass | pass |
TestFSWalk/testdata/unix.zip |
pass | pass |
TestFileHeaderRoundTrip |
pass | pass |
TestFileHeaderRoundTrip64 |
pass | pass |
TestFileHeaderRoundTripModified |
pass | pass |
TestFileHeaderRoundTripWithoutModified |
pass | pass |
TestHeaderIgnoredSize |
pass | pass |
TestHeaderInvalidTagAndSize |
pass | pass |
TestHeaderTooLongErr |
pass | pass |
TestHeaderTooShort |
pass | pass |
TestInsecurePaths |
pass | pass |
TestInvalidFiles |
pass | pass |
TestIssue10956 |
pass | pass |
TestIssue10957 |
pass | pass |
TestIssue11146 |
pass | pass |
TestIssue12449 |
pass | pass |
TestIssue54801 |
pass | pass |
TestIssue54801/README/ |
pass | pass |
TestIssue54801/filename/ |
pass | pass |
TestIssue61875 |
pass | pass |
TestIssue8186 |
pass | pass |
TestModTime |
pass | pass |
TestOpenReaderInsecurePath |
pass | pass |
TestOver65kFiles |
pass | pass |
TestRLEBuffer |
pass | pass |
TestReader |
pass | pass |
TestReader/Bad-CRC32-in-data-descriptor |
pass | pass |
TestReader/big.zip |
pass | pass |
TestReader/comment-truncated.zip |
pass | pass |
TestReader/crc32-not-streamed.zip |
pass | pass |
TestReader/crc32-not-streamed.zip#01 |
pass | pass |
TestReader/dd.zip |
pass | pass |
TestReader/dupdir.zip |
pass | pass |
TestReader/go-no-datadesc-sig.zip.base64 |
pass | pass |
TestReader/go-with-datadesc-sig.zip |
pass | pass |
TestReader/r.zip |
pass | pass |
TestReader/readme.notzip |
pass | pass |
TestReader/readme.zip |
pass | pass |
TestReader/symlink.zip |
pass | pass |
TestReader/test-badbase.zip |
pass | pass |
TestReader/test-baddirsz.zip |
pass | pass |
TestReader/test-prefix.zip |
pass | pass |
TestReader/test-trailing-junk.zip |
pass | pass |
TestReader/test.zip |
pass | pass |
TestReader/time-22738.zip |
pass | pass |
TestReader/time-7zip.zip |
pass | pass |
TestReader/time-go.zip |
pass | pass |
TestReader/time-infozip.zip |
pass | pass |
TestReader/time-osx.zip |
pass | pass |
TestReader/time-win7.zip |
pass | pass |
TestReader/time-winrar.zip |
pass | pass |
TestReader/time-winzip.zip |
pass | pass |
TestReader/unix.zip |
pass | pass |
TestReader/utf8-7zip.zip |
pass | pass |
TestReader/utf8-infozip.zip |
pass | pass |
TestReader/utf8-osx.zip |
pass | pass |
TestReader/utf8-winrar.zip |
pass | pass |
TestReader/utf8-winzip.zip |
pass | pass |
TestReader/winxp.zip |
pass | pass |
TestReader/zip64-2.zip |
pass | pass |
TestReader/zip64.zip |
pass | pass |
TestSuffixSaver |
pass | pass |
TestUnderSize |
pass | pass |
TestUnderSize/README |
pass | pass |
TestWriter |
pass | pass |
TestWriterAddFS |
pass | pass |
TestWriterComment |
pass | pass |
TestWriterCopy |
pass | pass |
TestWriterCreateRaw |
pass | pass |
TestWriterDir |
pass | pass |
TestWriterDirAttributes |
pass | pass |
TestWriterFlush |
pass | pass |
TestWriterOffset |
pass | pass |
TestWriterTime |
pass | pass |
TestWriterUTF8 |
pass | pass |
TestZeroLengthHeader |
pass | pass |
TestZip64DirectoryOffset |
pass | pass |
TestZip64DirectoryOffset/uint32max-1_Zip64 |
pass | pass |
TestZip64DirectoryOffset/uint32max-2_NoZip64 |
pass | pass |
TestZip64LargeDirectory |
pass | pass |
TestZip64LargeDirectory/uint32max-1_NoZip64 |
pass | pass |
TestZip64LargeDirectory/uint32max_HasZip64 |
pass | pass |
TestZip64ManyRecords |
pass | pass |
TestZip64ManyRecords/uint16max-1_NoZip64 |
pass | pass |
TestZip64ManyRecords/uint16max_Zip64 |
pass | pass |
Excluded declarations
Declarations filtered from both sides of the comparison, and therefore not claimed above:
Benchmark, Fuzz and Example declarations the converted host does not execute, plus any
test requiring a capability the managed runtime does not provide — a testing member the host
has not implemented, or a platform behavior it provably cannot reproduce. Each is named with
the capability it needs.
- BenchmarkCompressedZipGarbage (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkZip64Test (benchmark): benchmark execution is deferred to Phase 4D
- BenchmarkZip64TestSizes (benchmark): benchmark execution is deferred to Phase 4D
- ExampleReader (example): example execution is deferred to Phase 4D
- ExampleWriter (example): example execution is deferred to Phase 4D
- ExampleWriter_RegisterCompressor (example): example execution is deferred to Phase 4D
- FuzzReader (fuzz): fuzz execution is deferred to Phase 4D
- TestZip64 (test): requires unsupported testing capabilities: TB.Errorf, TB.Fatal
- TestZip64EdgeCase (test): requires unsupported testing capabilities: TB.Errorf, TB.Fatal