DeforaNetworks/manticore
3
0
Fork 0
Code Releases Activity

Concretize stdout in state summary (#478)

Browse Source
This commit is contained in:
Yan 2017-09-01 16:31:50 -04:00 committed by GitHub
parent 0cd2560138
commit 9b8ef3cd76
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
manticore/core/workspace.py
View File

@ -538,12 +538,11 @@ class ManticoreOutput(object):
with self._named_stream('stdin') as _in:
with self._named_stream('net') as _net:
for name, fd, data in state.platform.syscall_trace:
s = ''.join(str(c) for c in data)
if name in ('_transmit', '_write'):
if fd == 1:
_out.write(s)
solve_to_fd(data, _out)
elif fd == 2:
_err.write(s)
solve_to_fd(data, _err)
if name in ('_recv'):
solve_to_fd(data, _net)
if name in ('_receive', '_read') and fd == 0: