Alex Groce
|
c23e4e20b5
|
Libfuzzerize all examples
|
2018-07-30 21:31:41 -07:00 |
|
Peter Goodman
|
2eaeb7480c
|
Adding Google Flags-like command-line option parsing, though implemented in C, to the main executable. The code is ported from Granary2.
|
2018-01-07 16:25:31 -05:00 |
|
Peter Goodman
|
e9bd6dc177
|
Fixes one or two subtle issues. But the more interesting fix is that I implemented puts in terms of DeepState_Log. Calls to printf that had no format arguments are transformed by the compiler into calls to puts, but that wasn't being wrapped by DeepState, so it was appearing as though those log messages never actually happened.
|
2017-12-12 14:01:41 -05:00 |
|
Peter Goodman
|
bc208dbd4d
|
Fixes issue where the angr script printed out the wrong symbol bytes.
|
2017-11-01 21:27:08 -04:00 |
|
Peter Goodman
|
4f914e4eee
|
Fixes to stream formatting of doubles, they weren't being streamed before. Implemented the chk versions of printf and such, so that they all route through the logging interface as well. Implemented the concretization APIs.
|
2017-11-01 17:56:54 -04:00 |
|
Peter Goodman
|
d2bc82fc35
|
Renaming from McTest to DeepState.
|
2017-11-01 13:38:32 -04:00 |
|
Peter Goodman
|
a46e06b03b
|
Refactored to split common code between Manticore and Angr out into common.py. Implemented the new deferred streaming stuff, it seems to work semi-well for this simple cases I've tested, but there's still work to do. The latest code has some remaining issues. Printing out the final input bytes in Angr shows the wrong thing, although what gets streamed out is right. This is visible when running mctest-angr examples/ArtihmeticProperties. With Manticore, the big issue is that it doesn't properly pickle smt expressions (or something to this effect), so I'm ending up with multiple definitions of the same stuff and that throws exceptions. This is tricky to deal with because the streaming of output needs to be able to save symbolic data.
|
2017-11-01 02:42:31 -04:00 |
|