sdasgup3/binary-decompilation#77: wip

kframework · Jul 7, 2018 · 8c5fb51 · 8c5fb51
1 parent 1f18ef5
commit 8c5fb51
Show file tree

Hide file tree

Showing 2 changed files with 382 additions and 8 deletions.
diff --git a/docs/relatedwork/mcsema/reportlist.txt b/docs/relatedwork/mcsema/reportlist.txt
@@ -1,4 +1,3 @@
-AAS
 ADC
 ADD
 ADDPD
@@ -10,7 +9,6 @@ ANDNPD
 ANDNPS
 ANDPD
 ANDPS
-BOUND
 BSF
 BSR
 BSWAP
@@ -81,7 +79,6 @@ CVTTSD2SI
 CVTTSS2SI
 CWD
 CWDE
-DAA
 DEC
 DIV
 DIVPD
@@ -99,7 +96,6 @@ INT
 IRETD
 JB
 JBE
-JCXZ
 JECXZ
 JL
 JLE
@@ -232,8 +228,6 @@ PMULHW
 PMULLW
 PMULUDQ
 POP
-POPA
-POPAD
 POPF
 POPFD
 POPFQ
@@ -277,8 +271,6 @@ PUNPCKLDQ
 PUNPCKLQDQ
 PUNPCKLWD
 PUSH
-PUSHA
-PUSHAD
 PUSHF
 PUSHFD
 PUSHFQ
-Original file line number
+Diff line change
@@ -1,4 +1,3 @@
-    AAS
     ADC
     ADD
     ADDPD
@@ Expand All / @@ -10,7 +9,6 @@ ANDNPD @@
     ANDNPS
     ANDPD
     ANDPS
-    BOUND
     BSF
     BSR
     BSWAP
@@ Expand Down Expand Up / @@ -81,7 +79,6 @@ CVTTSD2SI @@
     CVTTSS2SI
     CWD
     CWDE
-    DAA
     DEC
     DIV
     DIVPD
@@ Expand All / @@ -99,7 +96,6 @@ INT @@
     IRETD
     JB
     JBE
-    JCXZ
     JECXZ
     JL
     JLE
@@ Expand Down Expand Up / @@ -232,8 +228,6 @@ PMULHW @@
     PMULLW
     PMULUDQ
     POP
-    POPA
-    POPAD
     POPF
     POPFD
     POPFQ
@@ Expand Down Expand Up / @@ -277,8 +271,6 @@ PUNPCKLDQ @@
     PUNPCKLQDQ
     PUNPCKLWD
     PUSH
-    PUSHA
-    PUSHAD
     PUSHF
     PUSHFD
     PUSHFQ
@@ Expand Down @@