Skip to content

Commit

Permalink
Added semantics for the following instructions:
Browse files Browse the repository at this point in the history 
* Immediate and register variants of LDR, LDRB, LDRH, LDRSB, LDRSH, LDRSW, STR, STRB, STRH
* Literal variants of LDR and LDRSW

The signatures of readMemory() and writeMemory() in SymEvalSemantics::StateARM64 and SymEvalSemantics::MemoryStateARM64 are modified to be able to pass in the read and write sizes.
  • Loading branch information
@ssunny7
ssunny7 committed Sep 9, 2016
1 parent d087ef0 commit 3ac05a7
Show file tree
Hide file tree
Showing 4 changed files with 1,202 additions and 12 deletions.

0 comments on commit 3ac05a7

Please sign in to comment.