Most SPEC amd64 binaries passing verification

zyedidia · Jun 17, 2024 · 7ce8b92 · 7ce8b92
1 parent 2836fb4
commit 7ce8b92
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/lfi-verify/amd64/insn.h b/lfi-verify/amd64/insn.h
@@ -263,6 +263,7 @@ static bool mnemonic_valid(ZydisMnemonic mnemonic) {
     case ZYDIS_MNEMONIC_SQRTPD:
     case ZYDIS_MNEMONIC_SQRTSS:
     case ZYDIS_MNEMONIC_UNPCKLPS:
+    case ZYDIS_MNEMONIC_PCMPEQW:
         return true;
     }
     return false;

diff --git a/lfi-verify/amd64/verify.c b/lfi-verify/amd64/verify.c
@@ -314,6 +314,7 @@ static bool spmod_sequence(Context* ctx) {
     case ZYDIS_MNEMONIC_SUB:
     case ZYDIS_MNEMONIC_MOV:
     case ZYDIS_MNEMONIC_AND:
+    case ZYDIS_MNEMONIC_LEA:
         break;
     default:
         return false;
@@ -325,9 +326,6 @@ static bool spmod_sequence(Context* ctx) {
         return false;
     if (!ctxnext(ctx))
         return false;
-    if (ctx->instr.mnemonic == ZYDIS_MNEMONIC_NOP)
-        if (!ctxnext(ctx))
-            goto fail;
 
     if (ctx->instr.mnemonic != ZYDIS_MNEMONIC_OR)
         goto fail;