Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Tanzeem Haque
gdsl-toolkit
Commits
df6b9143
Commit
df6b9143
authored
Sep 25, 2012
by
Julian Kranz
Browse files
X86 RREIL Translator
- Added semantics for: LEA
parent
a0e34608
Changes
1
Hide whitespace changes
Inline
Side-by-side
specifications/x86/x86-rreil-translator.ml
View file @
df6b9143
...
...
@@ -11,6 +11,10 @@ val runtime-opnd-sz = do
return
32
end
val
address
-
size
=
do
return
32
end
val
runtime
-
stack
-
address
-
size
=
do
return
32
end
...
...
@@ -446,6 +450,23 @@ val sem-jmp x = do
ifgoto
on3
sz
target
end
val
sem
-
lea
x
=
do
opnd
-
sz
<-
guess
-
sizeof1
x
.
opnd1
;
dst
<-
write
opnd
-
sz
x
.
opnd1
;
src
<-
case
x
.
opnd2
of
MEM
m
:
return
m
end
;
addr
-
sz
<-
return
src
.
psz
;
address
<-
conv
-
with
Signed
src
.
psz
src
.
opnd
;
temp
<-
mktemp
;
movzx
opnd
-
sz
temp
addr
-
sz
address
;
commit
opnd
-
sz
dst
(
var
temp
)
end
val
sem
-
mov
x
=
do
sz
<-
guess
-
sizeof
x
.
opnd1
x
.
opnd2
;
a
<-
write
sz
x
.
opnd1
;
...
...
@@ -1078,7 +1099,7 @@ val semantics insn =
|
LDDQU
x
:
sem
-
undef
-
arity2
x
|
LDMXCSR
x
:
sem
-
undef
-
arity1
x
|
LDS
x
:
sem
-
undef
-
arity2
x
|
LEA
x
:
sem
-
undef
-
arity2
x
|
LEA
x
:
sem
-
lea
x
|
LEAVE
:
sem
-
undef
-
arity0
|
LES
x
:
sem
-
undef
-
arity2
x
|
LFENCE
:
sem
-
undef
-
arity0
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment