Commit Graph

382 Commits

Author SHA1 Message Date
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
Alex Groce 2e4b58ff50 Merge pull request #93 from trailofbits/fix_manticore_return
Fix manticore handler to save passing test when program exits normally
2018-08-02 14:14:24 -07:00
Alex Groce cb5d16aa86 remove lists test on manticore, due to speed issues 2018-08-02 13:59:34 -07:00
Alex Groce 3ccf682db2 try claripy first 2018-08-02 13:30:28 -07:00
Alex Groce fe6d642b9a try forcing old angr 2018-08-02 13:22:48 -07:00
Alex Groce 125528343a can't install angr either 2018-08-02 13:06:18 -07:00
Alex Groce 4ec0182682 must sudo to install angr 2018-08-02 13:02:05 -07:00
Alex Groce dbe2c4a519 try installing last angr 2018-08-02 12:57:55 -07:00
Alex Groce cdc2d3995b fixes don't work, build is inside angr 2018-08-02 12:55:02 -07:00
Alex Groce c254cbefdc add yes to uninstall 2018-08-02 12:50:17 -07:00
Alex Groce 9ba8c36fcb fix via z3 2018-08-02 12:42:43 -07:00
Alex Groce 3ab1b34131 try uninstall and reinstall claripy 2018-08-02 12:31:22 -07:00
Alex Groce 187e3ae1b0 try the previous claripy 2018-08-02 12:23:29 -07:00
Alex Groce 9c32c64055 fix manticore build? 2018-08-02 12:11:36 -07:00
Alex Groce c607630572 on program exit, call pass test 2018-08-01 23:00:16 -07:00
Alex Groce 556ba2c026 report 2018-08-01 22:20:21 -07:00
Alex Groce c65901a418 don't abandon 2018-08-01 13:40:58 -07:00
Alex Groce 9d5bba2d82 for now, ignore this test on manticore 2018-08-01 12:34:45 -07:00
Alex Groce 0cd1011ba2 add memory note, mention libFuzzer early 2018-07-31 10:27:51 -07:00
Alex Groce 42c983d5cc add dot 2018-07-30 22:33:48 -07:00
Alex Groce 99dc4270c3 more info on using libfuzzer 2018-07-30 22:33:06 -07:00
Alex Groce f88ee36aea how to set the test 2018-07-30 22:11:41 -07:00
Alex Groce 6a9dadcf7a fix read of null 2018-07-30 22:09:39 -07:00
Alex Groce 0943f812a0 fix env read 2018-07-30 22:07:59 -07:00