DeforaNetworks/manticore
3
0
Fork 0
Code Releases Activity

fix for #608 using a local definition (#644)

Browse Source
This commit is contained in:
ggrieco-tob 2017-12-15 18:57:02 -03:00 committed by Mark Mossberg
parent 670076c855
commit 833ef4af2f
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
manticore/platforms/decree.py
View File

@ -20,6 +20,9 @@ logger = logging.getLogger(__name__)
class RestartSyscall(Exception):
pass
class Deadlock(Exception):
pass
class SymbolicSyscallArgument(ConcretizeRegister):
def __init__(self, cpu, number, message='Concretizing syscall argument', policy='SAMPLED'):
reg_name = ['EBX', 'ECX', 'EDX', 'ESI', 'EDI', 'EBP' ][number]