REA MCP
☰
All casesCommunity submissionsPromptsToolsFree toolsGuidesSponsors3 feed slots leftApp feature recreation3Patches & fixes0File formats & protocols3Security & malware analysis (defensive)1Lost source recovery3Game mods & interoperability1CTF & learning10Tools & integrations22
EN
● — online · Views — times
SponsorsSubmit a case
GitHub repositories · by AHMADALIPARR

rea-unary: from x86 behaviour to VHDL and formal verification

An experiment that extends REA's idea past the binary: recover behaviour from x86, then express it as VHDL and verify it formally; derived from the upstream project and licensed accordingly.

Translated

About this case

An experiment that extends REA's idea past the binary: recover behaviour from x86, then express it as VHDL and verify it formally; derived from the upstream project and licensed accordingly.

Why it is listed: Research experiment on mock binaries; credits upstream.

Setup

See the original source for installation instructions.

Original text / README

An experiment that extends REA's idea past the binary: recover behaviour from x86, then express it as VHDL and verify it formally; derived from the upstream project and licensed accordingly.

Why it is listed: Research experiment on mock binaries; credits upstream.

Similar projects