 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 |
|
 Gustavo Grieco
|
d3704725b2
|
Update README.md
|
2019-04-22 13:24:03 -03:00 |
|
|
agroce
|
669bccf55f
|
fix whichTest, add input length control
|
2019-04-21 23:39:26 -07:00 |
|
|
agroce
|
d6e55def48
|
use env better, new dirs
|
2019-04-21 20:44:49 -07:00 |
|
|
Gustavo Grieco
|
9d64719e84
|
Fix Python3 support (#170)
* Update main_manticore.py
* Fix python3 in CMake [skip ci]
* Update StreamingAndFormatting.cpp
* [skip ci]
* Update .travis.yaml [skip ci]
* Temporarily disable OneOf test using manticore (it is broken)
* Update README [skip ci]
|
2019-04-21 22:06:24 -03:00 |
|
|
agroce
|
5ea4a239a5
|
fixes
|
2019-04-21 14:40:01 -07:00 |
|