774 Commits

Author SHA1 Message Date
Alex Groce bb1ca0f8c0 move start time 2018-09-05 18:51:51 -07:00
Alex Groce 03c47607cf timeout instead of control over which to run 2018-09-05 18:49:38 -07:00
Alex Groce edbc055b4b nicer output 2018-09-05 14:09:16 -07:00
Alex Groce 44074cfd49 try byte reductions 2018-09-05 14:08:35 -07:00
Alex Groce fc57ba1628 change output 2018-09-05 13:59:16 -07:00
Alex Groce 3e521bcb48 verbose 2018-09-05 13:49:14 -07:00
Alex Groce 83cdc2f070 less verbose 2018-09-05 13:39:23 -07:00
Alex Groce 47f29219dd verbose 2018-09-05 13:33:58 -07:00
Alex Groce 6c613126c1 fix convert to bytearray 2018-09-05 13:27:01 -07:00
Alex Groce 845f237d37 try actual reduction 2018-09-05 13:23:10 -07:00
Alex Groce 3d560daaf4 try actual reduction 2018-09-05 13:22:56 -07:00
Alex Groce a2926c0aea ignore double zeros 2018-09-05 12:55:04 -07:00
Alex Groce 3978ea0fe9 print actual values 2018-09-05 12:41:59 -07:00
Alex Groce c00c11f5f2 fix for loop 2018-09-05 12:34:54 -07:00
Alex Groce d412dff965 just see if bytes match 2018-09-05 12:27:15 -07:00
Alex Groce 86a157c392 Change wording 2018-09-03 20:17:16 -07:00
Alex Groce 304f334a63 note replay and minimization in features 2018-09-03 20:09:25 -07:00
Peter Goodman 4fa87331c6 Merge pull request #111 from trailofbits/verbose_input_reading
Allow verbose output of structure of test and provide a simple test reducer
2018-09-03 19:43:35 -04:00
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