Commit Graph

13 Commits

Author SHA1 Message Date
Peter Goodman b1da5d6d48 Improved the CMakeLists.txt just slightly. Provided a default, weak-attributed main function into libdeepstate so that tests don't need to define them. The weak attribute means that any main function defined by libfuzzer will be a strong symbol and take over, so there won't be a conflict. Adjusted examples accordingly to omit now redundant conditionally-compiled main functions, as that leaked out too many underlying details. 2018-09-27 16:45:08 -07:00
Alex Groce 1aef3fd325 examples with libfuzzer 2018-07-30 21:21:33 -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 bdf9f97913 Fixed OneOf example. 2017-12-12 22:22:31 -05:00
alex 97162bdf13 missing comment 2017-12-12 12:26:02 -08:00
alex acd4e025b6 Merge branch 'master' of https://github.com/trailofbits/deepstate 2017-12-12 12:24:44 -08:00
alex 5b35c46fba small edits 2017-12-12 12:24:09 -08: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
alex c65b0c7ba4 better version 2017-12-12 00:20:13 -08:00
alex 70090bd712 Version that works, test depth 2017-12-11 23:17:18 -08:00
Peter Goodman 669f6cf3f9 Made the OneOf example work. 2017-12-11 19:40:39 -05:00
alex 76ff9ec5b3 capture fixed 2017-12-11 14:56:48 -08:00
alex 26657954c7 OneOf example (failing) 2017-12-11 14:30:37 -08:00