Commit Graph
707 Commits
Author SHA1 Message Date
Aaron Suarez e520f80499 Add travis changes 2019-05-30 12:59:46 -05:00
Aaron Suarez 7a786f3a72 Add docker build file 2019-05-30 12:59:46 -05:00
Aaron Suarez 890e8b2136 Dockerize the repository 2019-05-30 12:59:46 -05:00
Alex Groce e75ef2e713 Merge pull request #199 from trailofbits/build_AFL
Allow building an AFL version of the library and examples
2019-05-30 09:16:46 -07:00
agroce ef3c2ed8d5 enable making of AFL-ized versions of stuff 2019-05-30 09:08:51 -07:00
agroce 37d28b5c29 add the example from the Eclipser paper 2019-05-30 08:06:10 -07:00
agroce cd116c0ad2 no pad option 2019-05-21 10:36:56 -07:00
agroce 831b9918f8 let user turn off use of DeepState structure 2019-05-21 08:56:09 -07:00
Alex Groce 158e73f147 Merge pull request #191 from trailofbits/nested_fixpoints
Reducer is now more informative and faster, uses nested fixpoint passes
2019-05-20 11:57:00 -07:00
agroce f916a93405 almost new reducer, with nested fixpoint passes 2019-05-20 11:51:54 -07:00
Alex Groce d39000393d Merge pull request #190 from trailofbits/reducer_position_memory
Keep track of where range removal and byte reduction got to, add del4/del8 after reduce
2019-05-19 17:56:42 -07:00
agroce 9914222076 fix loop 2019-05-19 17:50:30 -07:00
agroce 3b1e4f8fe4 restart them 2019-05-19 15:19:27 -07:00
Alex Groce ab9b3fb843 Fix where pos is reset 2019-05-19 11:41:35 -07:00
Alex Groce 6607ceb85e Now recalls pos, does 4/8 removes 2019-05-19 11:31:31 -07:00
Alex Groce 7cd1eda6ba Start on tracking pos 2019-05-19 10:13:50 -07:00
agroce bf3395f297 allow multiple reducer runs in a directory, using PID in filenames 2019-05-18 19:20:38 -07:00
agroce c1a8f7d091 swap not slow 2019-05-18 17:47:35 -07:00
root 80421927a3 quick fix to avoid infinite loop 2019-05-17 21:21:00 +00:00
Alex Groce fe83ce5262 Merge pull request #186 from trailofbits/fixup_ranges_in_reducer
Speed up reducer by figuring out converted bytes for ranges without trying byte reduces
2019-05-17 12:02:13 -07:00
agroce dd98f14ccb automatic range adjustments when reducing 2019-05-17 11:55:32 -07:00
agroce f93c42ba13 fix longstanding bug where passing tests are always saved in nofork fuzzing 2019-05-17 11:52:23 -07:00
agroce 72688701b8 verbose reads now tells about conversions 2019-05-17 09:47:48 -07:00
Alex Groce e187b1db5e Merge pull request #184 from trailofbits/reducer_swapping
Add a new mode letting the reducer swap OneOfs to improve shortlex ordering
2019-05-17 09:32:41 -07:00
agroce 3e756c2778 Improved reducer output, new OneOf swapping mode 2019-05-17 09:23:07 -07:00
Alex Groce 65f2d06413 Try older manticore until we handle the API change 2019-05-15 09:37:20 -07:00
Alex Groce ae168a1398 Note about using older Manticore version 2019-05-14 13:53:33 -07:00
agroce 2227511f8b slightly more useful info on fuzzers 2019-04-27 21:22:45 -07:00
Alex Groce 127b54a171 Merge pull request #180 from trailofbits/incremental_reduce
reducer should save the file at each reduction, so interrupting doesn't lose everything
2019-04-26 23:12:21 -07:00
agroce 594f980872 write after each change 2019-04-26 22:10:34 -07:00
Alex Groce 54bc7d19e2 Merge pull request #179 from trailofbits/verbose_reduce
Easier to see what's going on in big reductions
2019-04-26 21:50:13 -07:00
agroce ed35e6e225 verbose option 2019-04-26 21:31:04 -07:00
Alex Groce 9099dfa2d1 Merge pull request #178 from trailofbits/improve_reducer
Speed up the reducer
2019-04-26 20:44:22 -07:00
agroce 1001d37c9b fast mode 2019-04-26 19:59:16 -07:00
agroce 9c8a0106b3 Fix seeds usage 2019-04-25 11:41:47 -07:00
Alex Groce 9d2d5d7e8b Mention we can use eclipser 2019-04-25 11:00:56 -07:00
Alex Groce a0b2640297 Merge pull request #177 from trailofbits/tidy_eclipser
Improve eclipser interface, and fix how DeepState intentionally crashes
2019-04-25 10:53:39 -07:00
agroce 4ef19da2dd nicer way to crash 2019-04-25 09:41:29 -07:00
agroce 671457cb11 fix abandons looking like crashes in no-fork mode 2019-04-25 09:23:39 -07:00
agroce daa082a9fb fix args 2019-04-25 08:59:24 -07:00
agroce b369913249 name change for args 2019-04-25 08:57:56 -07:00
agroce 596199aa8b fix arg passing, removal of decoded dir 2019-04-25 08:56:57 -07:00
agroce d58c74c946 clean up the interface code 2019-04-25 08:32:27 -07:00
Alex Groce 052042ac0b Merge pull request #175 from trailofbits/fix_eclipser
Fix Eclipser interface
2019-04-24 13:32:15 -07:00
agroce 81777f1e2d hard crash 2019-04-24 13:09:11 -07:00
agroce 68419e12e9 fix abort on fail for asserts in DeepState harness 2019-04-24 12:35:42 -07:00
agroce b1496d7ec6 first make Eclipser run no_fork 2019-04-24 11:50:08 -07:00
Alex Groce 18bfcd48d7 Merge pull request #172 from trailofbits/actual_eclipser
Support Eclipser fuzzer
2019-04-22 11:11:45 -07:00
agroce 3409283fa1 proper file placement 2019-04-22 10:46:32 -07:00
agroce 6923e2c38a allow control of all interesting Eclipser settings 2019-04-22 10:04:27 -07:00