mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-12-02 01:37:19 +03:00
add a few jump target formats
This commit is contained in:
parent
0565805c4f
commit
588e92cc01
@ -376,6 +376,9 @@ getJumpTarget v =
|
||||
case v of
|
||||
F.JumpOffset _ joff -> do
|
||||
(.+) <$> get rip <*> resolveJumpOffset joff
|
||||
F.QWordReg r -> get (reg64Loc r)
|
||||
F.Mem64 ar -> get =<< getBV64Addr ar
|
||||
F.QWordImm w -> return (ValueExpr (BVValue knownNat (toInteger w)))
|
||||
_ -> fail "Unexpected argument"
|
||||
|
||||
------------------------------------------------------------------------
|
||||
|
Loading…
Reference in New Issue
Block a user