forked from JonathanSalwan/Tigress_protection
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathsample1-virt-bogus-loop-iterations-1.py
166 lines (162 loc) · 7.48 KB
/
sample1-virt-bogus-loop-iterations-1.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
#!/usr/bin/env python2
## -*- coding: utf-8 -*-
import sys
def sx(bits, value):
sign_bit = 1 << (bits - 1)
return (value & (sign_bit - 1)) - (value & sign_bit)
SymVar_0 = int(sys.argv[1])
ref_264 = SymVar_0
ref_279 = ref_264 # MOV operation
ref_338018 = ref_279 # MOV operation
ref_382462 = ref_338018 # MOV operation
ref_382470 = ((ref_382462 << (0x39 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_382477 = ref_382470 # MOV operation
ref_560259 = ref_279 # MOV operation
ref_604658 = ref_560259 # MOV operation
ref_604666 = (ref_604658 >> (0x7 & 0x3F)) # SHR operation
ref_604673 = ref_604666 # MOV operation
ref_626882 = ref_604673 # MOV operation
ref_626894 = ref_382477 # MOV operation
ref_626896 = (ref_626894 | ref_626882) # OR operation
ref_649100 = ref_626896 # MOV operation
ref_1004728 = ref_649100 # MOV operation
ref_1049167 = ref_1004728 # MOV operation
ref_1049169 = ((ref_1049167 + 0x2D4AF89B) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_1071378 = ref_1049169 # MOV operation
ref_1071380 = (ref_1071378 & 0x1D5ABF66) # AND operation
ref_1249167 = ref_279 # MOV operation
ref_1293611 = ref_1249167 # MOV operation
ref_1293619 = ((ref_1293611 << (0x35 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_1293626 = ref_1293619 # MOV operation
ref_1471408 = ref_279 # MOV operation
ref_1515807 = ref_1471408 # MOV operation
ref_1515815 = (ref_1515807 >> (0xB & 0x3F)) # SHR operation
ref_1515822 = ref_1515815 # MOV operation
ref_1538031 = ref_1515822 # MOV operation
ref_1538043 = ref_1293626 # MOV operation
ref_1538045 = (ref_1538043 | ref_1538031) # OR operation
ref_1560259 = ref_1538045 # MOV operation
ref_1560271 = ref_1071380 # MOV operation
ref_1560273 = ((ref_1560259 - ref_1560271) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_1560281 = ref_1560273 # MOV operation
ref_1582480 = ref_1560281 # MOV operation
ref_1938086 = ref_279 # MOV operation
ref_1960275 = ref_1938086 # MOV operation
ref_1960289 = ((ref_1960275 - 0xE8D4346) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_1960297 = ref_1960289 # MOV operation
ref_1982496 = ref_1960297 # MOV operation
ref_2338124 = ref_649100 # MOV operation
ref_2360313 = ref_2338124 # MOV operation
ref_2360327 = ((0x20453EE3 + ref_2360313) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_2538115 = ref_279 # MOV operation
ref_2560304 = ref_2538115 # MOV operation
ref_2560316 = ref_2360327 # MOV operation
ref_2560318 = ((ref_2560304 - ref_2560316) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_2560326 = ref_2560318 # MOV operation
ref_2582525 = ref_2560326 # MOV operation
ref_3160292 = ref_649100 # MOV operation
ref_3404753 = ref_1982496 # MOV operation
ref_3426942 = ref_3404753 # MOV operation
ref_3426954 = ref_3160292 # MOV operation
ref_3426956 = (ref_3426954 | ref_3426942) # OR operation
ref_3471398 = ref_3426956 # MOV operation
ref_3471404 = (0x3F & ref_3471398) # AND operation
ref_3515873 = ref_3471404 # MOV operation
ref_3515881 = ((ref_3515873 << (0x4 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_3515888 = ref_3515881 # MOV operation
ref_3715902 = ref_649100 # MOV operation
ref_3738091 = ref_3715902 # MOV operation
ref_3738103 = ref_3515888 # MOV operation
ref_3738105 = (ref_3738103 | ref_3738091) # OR operation
ref_3760309 = ref_3738105 # MOV operation
ref_4160376 = ref_1582480 # MOV operation
ref_4382608 = ref_3760309 # MOV operation
ref_4427007 = ref_4382608 # MOV operation
ref_4427015 = (ref_4427007 >> (0x1 & 0x3F)) # SHR operation
ref_4427022 = ref_4427015 # MOV operation
ref_4471459 = ref_4427022 # MOV operation
ref_4471465 = (0xF & ref_4471459) # AND operation
ref_4493679 = ref_4471465 # MOV operation
ref_4493693 = (0x1 | ref_4493679) # OR operation
ref_4538157 = ref_4493693 # MOV operation
ref_4538159 = ((0x40 - ref_4538157) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_4538167 = ref_4538159 # MOV operation
ref_4560393 = ref_4160376 # MOV operation
ref_4560397 = ref_4538167 # MOV operation
ref_4560399 = (ref_4560397 & 0xFFFFFFFF) # MOV operation
ref_4560401 = ((ref_4560393 << ((ref_4560399 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_4560408 = ref_4560401 # MOV operation
ref_4738212 = ref_1582480 # MOV operation
ref_4960444 = ref_3760309 # MOV operation
ref_5004843 = ref_4960444 # MOV operation
ref_5004851 = (ref_5004843 >> (0x1 & 0x3F)) # SHR operation
ref_5004858 = ref_5004851 # MOV operation
ref_5049295 = ref_5004858 # MOV operation
ref_5049301 = (0xF & ref_5049295) # AND operation
ref_5071515 = ref_5049301 # MOV operation
ref_5071529 = (0x1 | ref_5071515) # OR operation
ref_5093715 = ref_4738212 # MOV operation
ref_5093719 = ref_5071529 # MOV operation
ref_5093721 = (ref_5093719 & 0xFFFFFFFF) # MOV operation
ref_5093723 = (ref_5093715 >> ((ref_5093721 & 0xFF) & 0x3F)) # SHR operation
ref_5093730 = ref_5093723 # MOV operation
ref_5115939 = ref_5093730 # MOV operation
ref_5115951 = ref_4560408 # MOV operation
ref_5115953 = (ref_5115951 | ref_5115939) # OR operation
ref_5138157 = ref_5115953 # MOV operation
ref_5471547 = ref_2582525 # MOV operation
ref_5716008 = ref_5138157 # MOV operation
ref_5738197 = ref_5716008 # MOV operation
ref_5738209 = ref_5471547 # MOV operation
ref_5738211 = ((ref_5738197 - ref_5738209) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_5738219 = ref_5738211 # MOV operation
ref_5760418 = ref_5738219 # MOV operation
ref_6404708 = ref_3760309 # MOV operation
ref_6604730 = ref_1582480 # MOV operation
ref_6649147 = ref_6604730 # MOV operation
ref_6649153 = (0xF & ref_6649147) # AND operation
ref_6671367 = ref_6649153 # MOV operation
ref_6671381 = (0x1 | ref_6671367) # OR operation
ref_6715845 = ref_6671381 # MOV operation
ref_6715847 = ((0x40 - ref_6715845) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_6715855 = ref_6715847 # MOV operation
ref_6738081 = ref_6404708 # MOV operation
ref_6738085 = ref_6715855 # MOV operation
ref_6738087 = (ref_6738085 & 0xFFFFFFFF) # MOV operation
ref_6738089 = ((ref_6738081 << ((ref_6738087 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_6738096 = ref_6738089 # MOV operation
ref_6915900 = ref_3760309 # MOV operation
ref_7115922 = ref_1582480 # MOV operation
ref_7160339 = ref_7115922 # MOV operation
ref_7160345 = (0xF & ref_7160339) # AND operation
ref_7182559 = ref_7160345 # MOV operation
ref_7182573 = (0x1 | ref_7182559) # OR operation
ref_7204759 = ref_6915900 # MOV operation
ref_7204763 = ref_7182573 # MOV operation
ref_7204765 = (ref_7204763 & 0xFFFFFFFF) # MOV operation
ref_7204767 = (ref_7204759 >> ((ref_7204765 & 0xFF) & 0x3F)) # SHR operation
ref_7204774 = ref_7204767 # MOV operation
ref_7226983 = ref_7204774 # MOV operation
ref_7226995 = ref_6738096 # MOV operation
ref_7226997 = (ref_7226995 | ref_7226983) # OR operation
ref_7427044 = ref_2582525 # MOV operation
ref_7604828 = ref_5760418 # MOV operation
ref_7627017 = ref_7604828 # MOV operation
ref_7627029 = ref_7427044 # MOV operation
ref_7627031 = (ref_7627029 | ref_7627017) # OR operation
ref_7671455 = ref_7627031 # MOV operation
ref_7671463 = (ref_7671455 >> (0x1 & 0x3F)) # SHR operation
ref_7671470 = ref_7671463 # MOV operation
ref_7715907 = ref_7671470 # MOV operation
ref_7715913 = (0x7 & ref_7715907) # AND operation
ref_7738127 = ref_7715913 # MOV operation
ref_7738141 = (0x1 | ref_7738127) # OR operation
ref_7760372 = ref_7226997 # MOV operation
ref_7760376 = ref_7738141 # MOV operation
ref_7760378 = (ref_7760376 & 0xFFFFFFFF) # MOV operation
ref_7760380 = ((ref_7760372 << ((ref_7760378 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_7760387 = ref_7760380 # MOV operation
ref_7782586 = ref_7760387 # MOV operation
ref_7826978 = ref_7782586 # MOV operation
ref_7826980 = ref_7826978 # MOV operation
print ref_7826980 & 0xffffffffffffffff