Commit Graph
729 Commits
Author SHA1 Message Date
Alex Groce efc0c081ae Merge pull request #201 from trailofbits/more_reducer_abilities
Address a few small reducer issues, make it more versatile
2019-05-31 10:05:15 -07:00
agroce 7a6f0759ec Reducer now handles regexps, arbitrary commands 2019-05-31 10:03:45 -07:00
Alex Groce 19ac5f3376 Merge pull request #200 from trailofbits/fix-docker-cmake
Fix Cmake-related Docker issues
2019-05-31 09:44:36 -07:00
Gustavo Grieco 4f9f3a3a02 Update Dockerfile 2019-05-31 13:15:46 -03:00
Alex Groce e1d48858a3 mkdir -p, clear cmake for libfuzzer build 2019-05-31 08:21:52 -07:00
Alex Groce 92849d048c Ok, can finish in time after crash, just not arithmetic 2019-05-30 15:19:01 -07:00
Alex Groce 78a8cb5fac Disable push/image publish for now 2019-05-30 14:55:39 -07:00
Alex Groce 043bf16ddb Disable the essentially flaky arithmetic test
It frequently times out on Travis, and doesn't really add a lot to our testing
2019-05-30 14:35:31 -07:00
Alex Groce d525674d8a Merge pull request #193 from aaron-suarez/dockerize-this
Dockerize the repository
2019-05-30 12:16:09 -07:00
agroce 32531c0749 README change 2019-05-30 12:15:30 -07:00
agroce e389aa316c actually fix the Dockerfile to blow away the cmake cache 2019-05-30 11:58:16 -07:00
agroce d63db6bc4a fix dockerfile and readme 2019-05-30 11:57:07 -07:00
agroce ef5efe5d58 Merge branch 'dockerize-this' of https://github.com/aaron-suarez/deepstate into dockerize-this 2019-05-30 11:00:17 -07:00
Aaron Suarez 183b4b7ee3 Put docker related files in docker/ directory 2019-05-30 12:59:46 -05:00
agroce 38bed63864 Dockerfile now builds DeepState with libFuzzer and AFL support 2019-05-30 12:59:46 -05:00
Aaron Suarez e40088a7ea Add support for Eclipser 2019-05-30 12:59:46 -05:00
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
Aaron Suarez 15d93d6ab7 Put docker related files in docker/ directory 2019-05-30 12:20:35 -05:00
agroce ccc75d49b0 Dockerfile now builds DeepState with libFuzzer and AFL support 2019-05-30 09:20:09 -07: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
Aaron Suarez d3fa5911f1 Add support for Eclipser 2019-05-27 21:47:07 -05:00
Aaron Suarez 9b28c98dca Add travis changes 2019-05-26 18:58:27 -05:00
Aaron Suarez 729409328a Add docker build file 2019-05-26 00:49:34 -05:00
Aaron Suarez e3fdc25ce5 Dockerize the repository 2019-05-26 00:12:02 -05: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