crypto/rc4 — validation proof

Go’s own crypto/rc4 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 crypto/rc4 row in Validated Test Packages.

Validated 2026-09-22 · converter c6fdbe73c

75 matched · 0 disclosed — Go 1.24.13, windows/amd64, converted package src/core/crypto/rc4.

Measured at Release (tiered JIT off), oracle go version go1.24.13 windows/amd64.

Verdicts

Test go test go2cs
TestBlock pass pass
TestGolden pass pass
TestRC4Stream pass pass
TestRC4Stream/Aliasing pass pass
TestRC4Stream/AlterInput pass pass
TestRC4Stream/AlterInput/BuffLength=0 pass pass
TestRC4Stream/AlterInput/BuffLength=1 pass pass
TestRC4Stream/AlterInput/BuffLength=10 pass pass
TestRC4Stream/AlterInput/BuffLength=15 pass pass
TestRC4Stream/AlterInput/BuffLength=16 pass pass
TestRC4Stream/AlterInput/BuffLength=20 pass pass
TestRC4Stream/AlterInput/BuffLength=3 pass pass
TestRC4Stream/AlterInput/BuffLength=32 pass pass
TestRC4Stream/AlterInput/BuffLength=4 pass pass
TestRC4Stream/AlterInput/BuffLength=4096 pass pass
TestRC4Stream/AlterInput/BuffLength=50 pass pass
TestRC4Stream/AlterInput/BuffLength=5000 pass pass
TestRC4Stream/AlterInput/BuffLength=8 pass pass
TestRC4Stream/BufferOverlap pass pass
TestRC4Stream/BufferOverlap/BuffLength=10 pass pass
TestRC4Stream/BufferOverlap/BuffLength=15 pass pass
TestRC4Stream/BufferOverlap/BuffLength=16 pass pass
TestRC4Stream/BufferOverlap/BuffLength=20 pass pass
TestRC4Stream/BufferOverlap/BuffLength=3 pass pass
TestRC4Stream/BufferOverlap/BuffLength=32 pass pass
TestRC4Stream/BufferOverlap/BuffLength=4 pass pass
TestRC4Stream/BufferOverlap/BuffLength=4096 pass pass
TestRC4Stream/BufferOverlap/BuffLength=50 pass pass
TestRC4Stream/BufferOverlap/BuffLength=5000 pass pass
TestRC4Stream/BufferOverlap/BuffLength=8 pass pass
TestRC4Stream/EmptyInput pass pass
TestRC4Stream/KeepState pass pass
TestRC4Stream/OutOfBoundsWrite pass pass
TestRC4Stream/OutOfBoundsWrite/BuffLength=0 pass pass
TestRC4Stream/OutOfBoundsWrite/BuffLength=1 pass pass
TestRC4Stream/OutOfBoundsWrite/BuffLength=10 pass pass
TestRC4Stream/OutOfBoundsWrite/BuffLength=15 pass pass
TestRC4Stream/OutOfBoundsWrite/BuffLength=16 pass pass
TestRC4Stream/OutOfBoundsWrite/BuffLength=20 pass pass
TestRC4Stream/OutOfBoundsWrite/BuffLength=3 pass pass
TestRC4Stream/OutOfBoundsWrite/BuffLength=32 pass pass
TestRC4Stream/OutOfBoundsWrite/BuffLength=4 pass pass
TestRC4Stream/OutOfBoundsWrite/BuffLength=4096 pass pass
TestRC4Stream/OutOfBoundsWrite/BuffLength=50 pass pass
TestRC4Stream/OutOfBoundsWrite/BuffLength=5000 pass pass
TestRC4Stream/OutOfBoundsWrite/BuffLength=8 pass pass
TestRC4Stream/XORSemantics pass pass
TestRC4Stream/XORSemantics/DirectXOR pass pass
TestRC4Stream/XORSemantics/DirectXOR/BuffLength=0 pass pass
TestRC4Stream/XORSemantics/DirectXOR/BuffLength=1 pass pass
TestRC4Stream/XORSemantics/DirectXOR/BuffLength=10 pass pass
TestRC4Stream/XORSemantics/DirectXOR/BuffLength=15 pass pass
TestRC4Stream/XORSemantics/DirectXOR/BuffLength=16 pass pass
TestRC4Stream/XORSemantics/DirectXOR/BuffLength=20 pass pass
TestRC4Stream/XORSemantics/DirectXOR/BuffLength=3 pass pass
TestRC4Stream/XORSemantics/DirectXOR/BuffLength=32 pass pass
TestRC4Stream/XORSemantics/DirectXOR/BuffLength=4 pass pass
TestRC4Stream/XORSemantics/DirectXOR/BuffLength=4096 pass pass
TestRC4Stream/XORSemantics/DirectXOR/BuffLength=50 pass pass
TestRC4Stream/XORSemantics/DirectXOR/BuffLength=5000 pass pass
TestRC4Stream/XORSemantics/DirectXOR/BuffLength=8 pass pass
TestRC4Stream/XORSemantics/Roundtrip pass pass
TestRC4Stream/XORSemantics/Roundtrip/BuffLength=0 pass pass
TestRC4Stream/XORSemantics/Roundtrip/BuffLength=1 pass pass
TestRC4Stream/XORSemantics/Roundtrip/BuffLength=10 pass pass
TestRC4Stream/XORSemantics/Roundtrip/BuffLength=15 pass pass
TestRC4Stream/XORSemantics/Roundtrip/BuffLength=16 pass pass
TestRC4Stream/XORSemantics/Roundtrip/BuffLength=20 pass pass
TestRC4Stream/XORSemantics/Roundtrip/BuffLength=3 pass pass
TestRC4Stream/XORSemantics/Roundtrip/BuffLength=32 pass pass
TestRC4Stream/XORSemantics/Roundtrip/BuffLength=4 pass pass
TestRC4Stream/XORSemantics/Roundtrip/BuffLength=4096 pass pass
TestRC4Stream/XORSemantics/Roundtrip/BuffLength=50 pass pass
TestRC4Stream/XORSemantics/Roundtrip/BuffLength=5000 pass pass
TestRC4Stream/XORSemantics/Roundtrip/BuffLength=8 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.