DX-Ball
A classic brick-breaking game released in 1996, known for its sound effects and gameplay.
Timeline (last 90 days)
In a demonstration, REA extracted the exact mathematical formulas used in the classic DOS game DX-Ball from its EXE file and verified their accuracy with 3205 test cases, all of which passed.
The video claims that the NSA's decompiler failed on the task of extracting the DX-Ball formulas.
In the DX-Ball case, the sound panning function analyzed by REA was rewritten in C, and the rewritten version was verified against the original x86 code by passing 3,205 test cases, fully reproducing all 63 compiled bytes.
In the DX-Ball case, the C code reconstructed by the REA agent passed the original 3,205 x86 test cases and fully reproduced the 63 bytes of the compiled function.
In the DX-Ball case, the agent reconstructed 55 functions in C from the original 1996 Windows binary, ran 45,380 differential test cases, and 33 of the functions produced compiled bytes that were byte-for-byte identical to the original binary.
All Facts (5)
The video claims that the NSA's decompiler failed on the task of extracting the DX-Ball formulas.
50%UnverifiedIn the DX-Ball case, the sound panning function analyzed by REA was rewritten in C, and the rewritten version was verified against the original x86 code by passing 3,205 test cases, fully reproducing all 63 compiled bytes.
50%UnverifiedIn the DX-Ball case, the C code reconstructed by the REA agent passed the original 3,205 x86 test cases and fully reproduced the 63 bytes of the compiled function.
50%UnverifiedIn a demonstration, REA extracted the exact mathematical formulas used in the classic DOS game DX-Ball from its EXE file and verified their accuracy with 3205 test cases, all of which passed.
50%UnverifiedIn the DX-Ball case, the agent reconstructed 55 functions in C from the original 1996 Windows binary, ran 45,380 differential test cases, and 33 of the functions produced compiled bytes that were byte-for-byte identical to the original binary.
50%