REA MCP
☰
全部案例社群提交提示詞工具免費工具學習指南贊助資訊流剩餘 3 個名額應用功能重現3修補與修復0檔案格式與協定3資安與惡意程式分析（防禦）1遺失原始碼還原4遊戲模組與互通1CTF 與學習10工具與整合22
ZH-TW
● — 人在線上 · 瀏覽 — 次
贊助提交案例
GitHub 儲存庫 · 發布者 AHMADALIPARR

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

把 REA 的概念延伸到二進位之外的實驗：從 x86 還原行為、改寫成 VHDL 並做形式驗證；衍生自上游專案並沿用其授權。

已翻譯

關於這個案例

把 REA 的概念延伸到二進位之外的實驗：從 x86 還原行為、改寫成 VHDL 並做形式驗證；衍生自上游專案並沿用其授權。

安裝設定

安裝方式請查看原始來源。

原文 / 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.

更多類似作品