Repository navigation
Expand file tree
/
Copy path0f380e.py
More file actions
124 lines (102 loc) · 3.76 KB
/
Copy path0f380e.py
File metadata and controls
124 lines (102 loc) · 3.76 KB
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
#!/usr/bin/python
# -*- coding: utf-8 -*-
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program. If not, see <http://www.gnu.org/licenses/>
#
# @author : beaengine@gmail.com
from headers.BeaEnginePython import *
from nose.tools import *
class TestSuite:
"""
Packed Bit Test
"""
def test(self):
# VEX.128.66.0F38.W0 0E /r
# VTESTPS xmm1, xmm2/m128
myVEX = VEX()
myVEX.L = 0
myVEX.pp = 0b1
myVEX.mmmm = 0b10
myVEX.vvvv = 0b1111
myVEX.R = 1
myVEX.B = 1
Buffer = bytes.fromhex('c4{:02x}{:02x}0ec0'.format(myVEX.byte1(), myVEX.byte2()))
myDisasm = Disasm(Buffer)
myDisasm.read()
assert_equal(myDisasm.infos.Instruction.Mnemonic, b'vtestps')
assert_equal(myDisasm.repr(), 'vtestps xmm0, xmm0')
# VEX.128.66.0F38.W0 0E /r
# VTESTPS xmm1, xmm2/m128
myVEX = VEX()
myVEX.L = 0
myVEX.pp = 0b1
myVEX.mmmm = 0b10
myVEX.vvvv = 0b1111
myVEX.R = 1
myVEX.B = 1
Buffer = bytes.fromhex('c4{:02x}{:02x}0e27'.format(myVEX.byte1(), myVEX.byte2()))
myDisasm = Disasm(Buffer)
myDisasm.read()
assert_equal(myDisasm.infos.Instruction.Mnemonic, b'vtestps')
assert_equal(myDisasm.repr(), 'vtestps xmm4, xmmword ptr [rdi]')
# VEX.256.66.0F38.W0 0E /r
# VTESTPS ymm1, ymm2/m256
myVEX.reset()
myVEX.L = 1
myVEX.pp = 0b1
myVEX.mmmm = 0b10
myVEX.vvvv = 0b1111
myVEX.R = 1
myVEX.B = 1
Buffer = bytes.fromhex('c4{:02x}{:02x}0ec0'.format(myVEX.byte1(), myVEX.byte2()))
myDisasm = Disasm(Buffer)
myDisasm.read()
assert_equal(myDisasm.infos.Instruction.Mnemonic, b'vtestps')
assert_equal(myDisasm.repr(), 'vtestps ymm0, ymm0')
# VEX.256.66.0F38.W0 0E /r
# VTESTPS ymm1, ymm2/m256
myVEX.reset()
myVEX.L = 1
myVEX.pp = 0b1
myVEX.mmmm = 0b10
myVEX.vvvv = 0b1111
myVEX.R = 1
myVEX.B = 1
Buffer = bytes.fromhex('c4{:02x}{:02x}0e8200000000'.format(myVEX.byte1(), myVEX.byte2()))
myDisasm = Disasm(Buffer)
myDisasm.read()
assert_equal(myDisasm.infos.Instruction.Mnemonic, b'vtestps')
assert_equal(myDisasm.repr(), 'vtestps ymm0, ymmword ptr [rdx+00000000h]')
# if VEX.W = 1 #UD
myVEX.reset()
myVEX.W = 1
myVEX.L = 1
myVEX.pp = 0b1
myVEX.mmmm = 0b10
myVEX.vvvv = 0b1111
Buffer = bytes.fromhex('c4{:02x}{:02x}0e11'.format(myVEX.byte1(), myVEX.byte2()))
myDisasm = Disasm(Buffer)
myDisasm.read()
assert_equal(myDisasm.infos.Instruction.Mnemonic, b'vtestps')
assert_equal(myDisasm.infos.Reserved_.ERROR_OPCODE, UD_)
# if VEX.vvvv != 0b1111 #UD
myVEX.reset()
myVEX.L = 1
myVEX.pp = 0b1
myVEX.mmmm = 0b10
myVEX.vvvv = 0
Buffer = bytes.fromhex('c4{:02x}{:02x}0e0e'.format(myVEX.byte1(), myVEX.byte2()))
myDisasm = Disasm(Buffer)
myDisasm.read()
assert_equal(myDisasm.infos.Instruction.Mnemonic, b'vtestps')
assert_equal(myDisasm.infos.Reserved_.ERROR_OPCODE, UD_)