bivex/ASGARD-5877

Virtualization-based code protector and V-ISA synthesizer in OCaml: lifts x86-64/ARM64/RISC-V into a hardened C++20 VM runtime with CFF, MBA and metamorphic handlers, plus a differential-fuzzing test bed.

语言：OCaml · GitHub 星标：1 · Fork：0

话题：anti-analysis · arm64 · code-protection · devirtualization · dune · emulator · formal-verification · fstar

在 GitHub 上查看原仓库