aboutsummaryrefslogtreecommitdiffstats
path: root/capstone/suite/synctools/insn_check.py
diff options
context:
space:
mode:
authorAngelos Mouzakitis <a.mouzakitis@virtualopensystems.com>2023-10-10 14:33:42 +0000
committerAngelos Mouzakitis <a.mouzakitis@virtualopensystems.com>2023-10-10 14:33:42 +0000
commitaf1a266670d040d2f4083ff309d732d648afba2a (patch)
tree2fc46203448ddcc6f81546d379abfaeb323575e9 /capstone/suite/synctools/insn_check.py
parente02cda008591317b1625707ff8e115a4841aa889 (diff)
Add submodule dependency filesHEADmaster
Change-Id: Iaf8d18082d3991dec7c0ebbea540f092188eb4ec
Diffstat (limited to 'capstone/suite/synctools/insn_check.py')
-rwxr-xr-xcapstone/suite/synctools/insn_check.py25
1 files changed, 25 insertions, 0 deletions
diff --git a/capstone/suite/synctools/insn_check.py b/capstone/suite/synctools/insn_check.py
new file mode 100755
index 000000000..6fe5e57b5
--- /dev/null
+++ b/capstone/suite/synctools/insn_check.py
@@ -0,0 +1,25 @@
+#!/usr/bin/python
+# check MappingInsn.inc to find potential incorrect mapping - for Capstone disassembler.
+# by Nguyen Anh Quynh, 2019
+
+import sys
+
+if len(sys.argv) == 1:
+ print("Syntax: %s <MappingInsn.inc>" %sys.argv[0])
+ sys.exit(1)
+
+# ARM_CMPri, ARM_INS_CMN,
+f = open(sys.argv[1])
+lines = f.readlines()
+f.close()
+
+for line in lines:
+ if '_INS_' in line:
+ tmp = line.strip().split(',')
+ if len(tmp) == 3 and tmp[2] == '':
+ id_private = tmp[0].strip()
+ id_public = tmp[1].strip()
+ pos = id_public.find('_INS_')
+ mnem = id_public[pos + len('_INS_'):]
+ if not mnem in id_private:
+ print("%s -> %s" %(id_private, id_public))