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 |
|
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 |
|