ex0dus-0x
|
70e4ce83d0
|
Minor edits based on pyflakes
|
2019-06-10 18:04:00 -04:00 |
|
ex0dus-0x
|
e5f4ec5e15
|
Implement Eclipser fuzzer with front-end API
|
2019-06-10 16:49:13 -04:00 |
|
ex0dus-0x
|
3831b25e63
|
Change indentation to match codebase
|
2019-06-10 16:32:56 -04:00 |
|
ex0dus-0x
|
9a3399073b
|
Improve argument collection with functools
|
2019-06-10 16:25:56 -04:00 |
|
ex0dus-0x
|
21554e5f00
|
Improvements to frontend.py
* Naming convention changes
* Compile-time errors fixes
* Minor API improvements for frontends
|
2019-06-10 15:45:12 -04:00 |
|
ex0dus-0x
|
f0fe7ee7ad
|
add base DeepStateFrontend object
|
2019-06-04 18:33:46 -04: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 |
|