405 Commits

Author SHA1 Message Date
Alex Groce
913a2c2d12 match output 2018-09-03 13:42:18 -07:00
Alex Groce
4c16c7d61f allow searching for a satisfying test 2018-09-03 13:29:42 -07:00
Alex Groce
cd34e03d5b add break 2018-09-03 13:20:09 -07:00
Alex Groce
5961ce366c fix bug introduced in refactor 2018-09-03 13:17:40 -07:00
Alex Groce
6f3a4a9bdd handle shrinking correctly 2018-09-03 13:09:06 -07:00
Alex Groce
b047dee43d Merge branch 'verbose_input_reading' of https://github.com/trailofbits/deepstate into verbose_input_reading 2018-09-03 13:05:37 -07:00
Alex Groce
5a7e6ad76b get ready for python 3, refactor code to be easier to follow/change 2018-09-03 13:05:20 -07:00
Alex Groce
cc8acc2b92 fix output 2018-09-03 10:59:16 -07:00
Alex Groce
494a5eaaf4 fix indent to two 2018-09-02 20:17:13 -07:00
Alex Groce
3625454fbb range, not value 2018-09-02 13:16:30 -07:00
Alex Groce
ba25358ebf handle zero bytes in reduce-delete 2018-09-02 13:07:23 -07:00
Alex Groce
b0ca3ee60e fix typo in type name 2018-09-02 13:05:44 -07:00
Alex Groce
e08c7c8479 reduce + del operation 2018-09-02 13:03:44 -07:00
Alex Groce
faa241b160 remove sys import 2018-09-01 21:58:04 -07:00
Alex Groce
473ad72d07 fix help 2018-09-01 21:11:06 -07:00
Alex Groce
ab03350142 get rid of my help 2018-09-01 21:09:23 -07:00
Alex Groce
f6cceffa33 fix argument name 2018-09-01 21:04:24 -07:00
Alex Groce
2764bcfe3a Edit readme to match new options to reducer 2018-09-01 21:02:33 -07:00
Alex Groce
21c23d1152 silence pyflakes until we use the parser 2018-09-01 17:26:14 -07:00
Alex Groce
d33caaf419 fix spacing 2018-09-01 17:23:50 -07:00
Alex Groce
69a84c7b68 fix C code according to pgoodman comments, annotate multi-byte reads 2018-09-01 17:22:40 -07:00
Alex Groce
97618c2a24 start addressing peter's comments 2018-09-01 15:53:21 -07:00
Alex Groce
90a94ef2fb start with new pass on reduction 2018-09-01 14:31:58 -07:00
Alex Groce
b2e1d86cf7 allow byte range removal too 2018-09-01 14:27:39 -07:00
Alex Groce
2fdd239827 make pyflakes happy by removing spurious imports 2018-09-01 14:19:29 -07:00
Alex Groce
54d2c8180a update README, nicer output from reducer 2018-09-01 14:04:31 -07:00
root
9923c591c1 add entry point for reducer 2018-09-01 20:48:09 +00:00
Alex Groce
4a003b944c signal OneOfs also 2018-09-01 11:36:09 -07:00
Alex Groce
91376842ba provide a mode where bytes read are made explicit 2018-09-01 11:27:22 -07:00
Alex Groce
9448ace532
Merge pull request #105 from trailofbits/fix-manticore-travis
Fix installation of Manticore in Travis
2018-08-28 21:08:34 -07:00
ggrieco-tob
e7a7b7d68f
Update .travis.yml 2018-08-28 19:54:34 -03:00
ggrieco-tob
5a2c6460f8
Update .travis.yml 2018-08-28 18:16:52 -03:00
ggrieco-tob
ef30504908
Fix manticore version 2018-08-28 18:16:30 -03:00
ggrieco-tob
316a8c59ce
Update .travis.yml 2018-08-28 17:05:17 -03:00
ggrieco-tob
38b438d55e
Update .travis.yml 2018-08-28 16:16:58 -03:00
ggrieco-tob
cb55fa66ec
Fix manticore 2018-08-28 15:53:50 -03:00
Alex Groce
0fbd80a0b1 less confusing output for assumes 2018-08-27 09:02:50 -07:00
Alex Groce
9747c8596a instructions on replaying tests 2018-08-09 13:42:51 -07:00
Alex Groce
98015bd727
Merge pull request #100 from trailofbits/add_undefined_san
compile libfuzzer with UBSAN also
2018-08-08 12:38:48 -07:00
Alex Groce
fa3820af15 compile libfuzzer with UBSAN also 2018-08-08 12:27:28 -07:00
Peter Goodman
7798b2f6ec
Merge pull request #99 from trailofbits/issue_96_always_log_failures
Fixes Issue #96 to always log failures.
2018-08-08 13:52:36 -04:00
Peter Goodman
6459bd93d0 Fixes Issue #96 to always log failures. 2018-08-08 12:42:48 -04:00
Alex Groce
462fcfb274 remove test for replay 2018-08-04 13:01:16 -07:00
Alex Groce
4a8f7a3ccc Add simple test for replay to crash test 2018-08-04 12:54:45 -07:00
Alex Groce
7d56172428
Merge pull request #89 from trailofbits/support_libfuzzer
Support libFuzzer
2018-08-03 12:17:03 -07:00
Alex Groce
01ae709466 fix command line args for libfuzzer 2018-08-03 11:40:36 -07:00
Alex Groce
1e35f318c6 clarify libfuzzer 2018-08-03 10:30:00 -07:00
Alex Groce
0939f94526 fix README on review 2018-08-03 10:20:40 -07:00
Alex Groce
ffdd449f07 make changes requested, fix cut/paste error, etc. 2018-08-03 09:56:38 -07:00
Alex Groce
12ff87a15b Merge branch 'master' into support_libfuzzer 2018-08-02 14:25:57 -07:00