Skip to content

Commit

Permalink
Fix DECREE Magic Pages (#1413)
Browse files Browse the repository at this point in the history
Travis is almost done and the relevant parts have passed
  • Loading branch information
ehennenfent authored Apr 24, 2019
1 parent aadd7a0 commit 22cdf85
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion manticore/platforms/decree.py
Original file line number Diff line number Diff line change
Expand Up @@ -339,7 +339,9 @@ def BAD_ADDR(x):
logger.info("Setting initial cpu state")
# set initial CPU state
cpu.write_register('EAX', 0x0)
cpu.write_register('ECX', 0x0)
cpu.write_register('ECX', cpu.memory.mmap(CGC_PAGESTART(0x4347c000),
CGC_PAGEALIGN(4096 + CGC_PAGEOFFSET(0x4347c000)),
'rwx'))
cpu.write_register('EDX', 0x0)
cpu.write_register('EBX', 0x0)
cpu.write_register('ESP', stack)
Expand Down

0 comments on commit 22cdf85

Please sign in to comment.