Commit Graph

  • 8205c0d074 missing semicolon Alex Groce 2018-12-04 19:51:34 -07:00
  • e92f39fb5c control log level Alex Groce 2018-12-04 19:43:46 -07:00
  • eb0d4a4569 Merge pull request #127 from trailofbits/ranges_for_fuzzing Peter Goodman 2018-12-04 17:29:49 -05:00
  • 8b912a8ce1 allow abort in libfuzzer Alex Groce 2018-12-02 20:34:19 -07:00
  • 87dd39d93c fix formatting Alex Groce 2018-12-01 12:47:43 -07:00
  • 9bd1e6b7f0 fixup Alex Groce 2018-11-30 12:52:02 -07:00
  • b61bfd162a fix various issues Alex Groce 2018-11-30 12:43:30 -07:00
  • 72d3b5bcf9 tell when computing a range Alex Groce 2018-11-30 12:29:55 -07:00
  • 5dff6925f5 more verbose assumption failures Alex Groce 2018-11-30 12:24:27 -07:00
  • a0bfead4cf verbose Alex Groce 2018-11-30 12:17:18 -07:00
  • 5c723e0f62 fix wrong name for HAS_FLAG Alex Groce 2018-11-29 13:31:46 -07:00
  • a3ad1135e7 also use mod if replaying Alex Groce 2018-11-29 13:25:21 -07:00
  • 8051817526 simple fix for libFuzzer ranges Alex Groce 2018-11-20 12:16:55 -07:00
  • 4257a68f16 Fix link to tutorial to point to official ToB github, not Peter's site Alex Groce 2018-11-20 11:46:52 -07:00
  • 22578565f1 Add a link to the slides for now (placeholder until ToB official link) Alex Groce 2018-11-11 15:23:22 -07:00
  • ab3f5f38cd Merge pull request #124 from trailofbits/fix-angr-deps Alex Groce 2018-11-07 11:53:35 -07:00
  • b47520a450 Update .travis.yml ggrieco-tob 2018-11-07 14:56:25 -03:00
  • 10047d784d Update .travis.yml ggrieco-tob 2018-11-07 14:52:03 -03:00
  • 1830044096 Updated to angr 7.8.9.26 ggrieco-tob 2018-11-07 14:45:14 -03:00
  • b8e1ca9a02 Disabled manticore in .travis.yml ggrieco-tob 2018-11-07 14:17:05 -03:00
  • 5b6f6c4dd2 Update .travis.yml ggrieco-tob 2018-11-07 14:06:25 -03:00
  • 530c704dbb Update .travis.yml ggrieco-tob 2018-11-07 13:57:06 -03:00
  • f1c8e3142b Update .travis.yml ggrieco-tob 2018-11-07 13:45:05 -03:00
  • 0d94c21e08 Update .travis.yml ggrieco-tob 2018-11-07 12:53:49 -03:00
  • 579de65fad Update .travis.yml ggrieco-tob 2018-11-07 12:21:56 -03:00
  • 028356e1fd Update .travis.yml ggrieco-tob 2018-11-07 11:42:59 -03:00
  • 9f08d74551 Upgraded to xenial ggrieco-tob 2018-11-07 11:39:56 -03:00
  • 685645d5b4 Update .travis.yml ggrieco-tob 2018-11-07 11:36:42 -03:00
  • a2443242e9 Update .travis.yml ggrieco-tob 2018-11-07 11:32:35 -03:00
  • 511575fe79 pip2 -> pip ggrieco-tob 2018-11-07 11:27:12 -03:00
  • cd308c1132 Forced angr version ggrieco-tob 2018-11-07 11:21:20 -03:00
  • 5cdc1f62ce Update .travis.yml ggrieco-tob 2018-11-07 11:14:42 -03:00
  • 09a38461e4 Change SECDEV to past tense... Alex Groce 2018-11-06 01:04:49 -07:00
  • 13e0b536c6 Downgrade pycparser to 2.18 ggrieco-tob 2018-09-29 15:32:43 -04:00
  • 7617021494 Update .travis.yml ggrieco-tob 2018-09-29 15:20:56 -04:00
  • 3f69f87385 Workaround to avoid incompatible python packages ggrieco-tob 2018-09-29 15:13:05 -04:00
  • 61bc977f35 removed $ from EVN ggrieco-tob 2018-09-29 14:20:06 -04:00
  • fd0acedf8b Minor fix for OneOf on std::vector. Peter Goodman 2018-09-28 11:12:06 -07:00
  • 400d826b0a Make sure DeepState_Setup is not inlined for default-provided main functions. Peter Goodman 2018-09-27 17:14:19 -07:00
  • b3f20d9746 Minor tweak Peter Goodman 2018-09-27 16:47:22 -07:00
  • b1da5d6d48 Improved the CMakeLists.txt just slightly. Provided a default, weak-attributed main function into libdeepstate so that tests don't need to define them. The weak attribute means that any main function defined by libfuzzer will be a strong symbol and take over, so there won't be a conflict. Adjusted examples accordingly to omit now redundant conditionally-compiled main functions, as that leaked out too many underlying details. Peter Goodman 2018-09-27 16:45:08 -07:00
  • 42b7068e2b Merge pull request #117 from trailofbits/disable_static_on_macos Peter Goodman 2018-09-27 15:12:48 -07:00
  • 9a8e5cca23 Disable static builds on macOS Peter Goodman 2018-09-26 11:44:04 -07:00
  • 0c43b4004d Merge pull request #116 from trailofbits/fix-crash-clang-6.0 Alex Groce 2018-09-24 10:13:02 -07:00
  • a8b914b35f Reliable SIGSEGV in clang 6.0 ggrieco-tob 2018-09-24 13:54:33 -03:00
  • 4c7673560e Fix typo Alex Groce 2018-09-17 13:27:56 -07:00
  • 293ac413be Point to testfs example in README Alex Groce 2018-09-08 09:56:39 -07:00
  • 6d2a06d9a0 fix parenthesis issue Alex Groce 2018-09-06 11:12:15 -07:00
  • 819e89df5f more consistent aggressive byte reduction Alex Groce 2018-09-06 11:11:15 -07:00
  • 62943eb961 Merge pull request #114 from trailofbits/multibyte_reduction Alex Groce 2018-09-05 19:10:26 -07:00
  • bb1ca0f8c0 move start time Alex Groce 2018-09-05 18:51:51 -07:00
  • 03c47607cf timeout instead of control over which to run Alex Groce 2018-09-05 18:49:38 -07:00
  • edbc055b4b nicer output Alex Groce 2018-09-05 14:09:16 -07:00
  • 44074cfd49 try byte reductions Alex Groce 2018-09-05 14:08:35 -07:00
  • fc57ba1628 change output Alex Groce 2018-09-05 13:59:16 -07:00
  • 3e521bcb48 verbose Alex Groce 2018-09-05 13:49:14 -07:00
  • 83cdc2f070 less verbose Alex Groce 2018-09-05 13:39:23 -07:00
  • 47f29219dd verbose Alex Groce 2018-09-05 13:33:58 -07:00
  • 6c613126c1 fix convert to bytearray Alex Groce 2018-09-05 13:27:01 -07:00
  • 845f237d37 try actual reduction Alex Groce 2018-09-05 13:23:10 -07:00
  • 3d560daaf4 try actual reduction Alex Groce 2018-09-05 13:22:56 -07:00
  • a2926c0aea ignore double zeros Alex Groce 2018-09-05 12:55:04 -07:00
  • 3978ea0fe9 print actual values Alex Groce 2018-09-05 12:41:59 -07:00
  • c00c11f5f2 fix for loop Alex Groce 2018-09-05 12:34:54 -07:00
  • d412dff965 just see if bytes match Alex Groce 2018-09-05 12:27:15 -07:00
  • 86a157c392 Change wording Alex Groce 2018-09-03 20:17:16 -07:00
  • 304f334a63 note replay and minimization in features Alex Groce 2018-09-03 20:09:25 -07:00
  • 4fa87331c6 Merge pull request #111 from trailofbits/verbose_input_reading Peter Goodman 2018-09-03 19:43:35 -04:00
  • 913a2c2d12 match output Alex Groce 2018-09-03 13:42:18 -07:00
  • 4c16c7d61f allow searching for a satisfying test Alex Groce 2018-09-03 13:29:42 -07:00
  • cd34e03d5b add break Alex Groce 2018-09-03 13:20:09 -07:00
  • 5961ce366c fix bug introduced in refactor Alex Groce 2018-09-03 13:17:40 -07:00
  • 6f3a4a9bdd handle shrinking correctly Alex Groce 2018-09-03 13:09:06 -07:00
  • b047dee43d Merge branch 'verbose_input_reading' of https://github.com/trailofbits/deepstate into verbose_input_reading Alex Groce 2018-09-03 13:05:37 -07:00
  • 5a7e6ad76b get ready for python 3, refactor code to be easier to follow/change Alex Groce 2018-09-03 13:05:20 -07:00
  • cc8acc2b92 fix output Alex Groce 2018-09-03 10:59:16 -07:00
  • 494a5eaaf4 fix indent to two Alex Groce 2018-09-02 20:17:13 -07:00
  • 3625454fbb range, not value Alex Groce 2018-09-02 13:16:30 -07:00
  • ba25358ebf handle zero bytes in reduce-delete Alex Groce 2018-09-02 13:07:23 -07:00
  • b0ca3ee60e fix typo in type name Alex Groce 2018-09-02 13:05:44 -07:00
  • e08c7c8479 reduce + del operation Alex Groce 2018-09-02 13:03:44 -07:00
  • faa241b160 remove sys import Alex Groce 2018-09-01 21:58:04 -07:00
  • 473ad72d07 fix help Alex Groce 2018-09-01 21:11:06 -07:00
  • ab03350142 get rid of my help Alex Groce 2018-09-01 21:09:23 -07:00
  • f6cceffa33 fix argument name Alex Groce 2018-09-01 21:04:24 -07:00
  • 2764bcfe3a Edit readme to match new options to reducer Alex Groce 2018-09-01 21:02:33 -07:00
  • 21c23d1152 silence pyflakes until we use the parser Alex Groce 2018-09-01 17:26:14 -07:00
  • d33caaf419 fix spacing Alex Groce 2018-09-01 17:23:50 -07:00
  • 69a84c7b68 fix C code according to pgoodman comments, annotate multi-byte reads Alex Groce 2018-09-01 17:22:40 -07:00
  • 97618c2a24 start addressing peter's comments Alex Groce 2018-09-01 15:53:21 -07:00
  • 90a94ef2fb start with new pass on reduction Alex Groce 2018-09-01 14:31:58 -07:00
  • b2e1d86cf7 allow byte range removal too Alex Groce 2018-09-01 14:27:39 -07:00
  • 2fdd239827 make pyflakes happy by removing spurious imports Alex Groce 2018-09-01 14:19:29 -07:00
  • 54d2c8180a update README, nicer output from reducer Alex Groce 2018-09-01 14:04:31 -07:00
  • 9923c591c1 add entry point for reducer root 2018-09-01 20:48:09 +00:00
  • 4a003b944c signal OneOfs also Alex Groce 2018-09-01 11:36:09 -07:00
  • 91376842ba provide a mode where bytes read are made explicit Alex Groce 2018-09-01 11:27:22 -07:00
  • 9448ace532 Merge pull request #105 from trailofbits/fix-manticore-travis Alex Groce 2018-08-28 21:08:34 -07:00
  • e7a7b7d68f Update .travis.yml ggrieco-tob 2018-08-28 19:54:34 -03:00
  • 5a2c6460f8 Update .travis.yml ggrieco-tob 2018-08-28 18:16:52 -03:00