Commit Graph

  • d21ed4d9a4 ci: gate every PR with the rules equivalence-proof harness main Mohammed Abuhassan 2026-06-06 13:32:47 +03:00
  • d46656d8f1 docs(rules): rewrite schema reference to match the loader grammar Mohammed Abuhassan 2026-06-06 13:32:31 +03:00
  • f061a7d846 rules(x64): add targeted byte packs (Sliver, Havoc, Meterpreter, UPX) Mohammed Abuhassan 2026-06-06 13:32:13 +03:00
  • e4c8fee9d8 rules(x64): add INC/DEC, TEST/OR, SHL/ADD equivalence packs Mohammed Abuhassan 2026-06-06 13:31:52 +03:00
  • 56bc3e82c1 test(rules): add Unicorn equivalence proof and YAML schema round-trip Mohammed Abuhassan 2026-06-06 13:31:33 +03:00
  • 83f5638107 refactor(verify): extract emulate_block into a reusable public API Mohammed Abuhassan 2026-06-06 13:31:11 +03:00
  • 12eda12154 chore: anchor VS build-dir ignores so rule packs ship with the repo Mohammed Abuhassan 2026-06-06 13:30:45 +03:00
  • df91c558f3 Update link to Beatrice.py repository Mo.TX 2026-05-09 10:58:53 +03:00
  • 2e0bcc8950 MorphKatz v1.0 - polymorphic PE rewriter for Windows x64 Mohammed Abuhassan 2026-05-05 00:34:38 +02:00