GitHub 저장소 · 작성자 AHMADALIPARR

rea-unary: x86 동작에서 VHDL과 형식 검증까지

REA의 아이디어를 바이너리 너머로 확장하는 실험: x86에서 동작을 복원한 다음 이를 VHDL로 표현하고 형식적으로 검증한다. 업스트림 프로젝트에서 파생되었으며 그에 따라 라이선스된다.

AHMADALIPARR@AHMADALIPARR

AHMADALIPARR/rea-unary

번역 완료

이 사례에 대하여

등재 이유: 모의 바이너리에 관한 연구 실험. 업스트림에 크레딧 표기.

설정

설치 방법은 원본 출처를 확인하세요.

원문 / 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.

rea-unary: x86 동작에서 VHDL과 형식 검증까지

이 사례에 대하여

설정

비슷한 프로젝트

Fedora 기반 Linux에서의 REA: 설정 노트와 주의사항

REA 워크플로에서 토큰 낭비 줄이기

REA (Reverse Engineer Anything)