774 Commits

Author SHA1 Message Date
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
agroce
218ac0eb54 add setup 2019-04-21 13:54:12 -07:00
agroce
e65ec12d65 add eclipser 2019-04-21 13:53:07 -07:00
Peter Goodman
30211fba72
Merge pull request #97 from trailofbits/dev-python3.6
Experimental python3.6 version
2019-03-28 17:15:14 -04:00
agroce
4dfd951882 allow building without static for compilers/sanitizers where that is not a good idea 2019-03-02 09:27:22 -07:00
agroce
6e5fe453fe entry point for fuzzbuzz.io 2019-03-01 13:09:27 -07:00
agroce
032ae5ba4e truncate too-long tests with warning, rather than abort (better for fuzzers, nicer for replay) 2019-02-19 18:17:45 +00:00
agroce
80576159a9 file too large now won't make AFL think it saw a crash 2019-02-13 22:45:40 +00:00
agroce
ef9eae0668 fix mac OS stuff to point to a newer clang 2019-02-11 13:31:35 -07:00
Alex David Groce
4a6d170650 Fix input_which_test comparison 2019-02-11 12:37:51 -07:00
Gustavo Grieco
151354cb90
Update .travis.yml 2019-01-24 14:17:50 -03:00
Gustavo Grieco
19df0d94d1
Update .travis.yml 2019-01-24 14:09:35 -03:00
ggrieco-tob
488279f4f1 Merge remote-tracking branch 'origin/master' into dev-python3.6 2019-01-24 12:40:26 -03:00
Alex Groce
c3a187aa0f
Typo, info on defaults 2019-01-24 06:02:26 -07:00
Alex Groce
c6fe91f9af mention blog posts 2019-01-23 14:04:08 -07:00
Alex Groce
debe187777 mention property-based testing 2019-01-18 11:35:30 -07:00
Alex Groce
105248ca94
Note need to make install 2019-01-13 15:39:33 -07:00
Alex Groce
216e225fcb reducer now work fine under Python 3 2019-01-13 13:43:48 -07:00
Alex Groce
16fcad4db1 change afl instructions slightly 2019-01-10 14:07:02 -07:00
Alex Groce
b24e346d6c fix typo 2019-01-10 14:02:37 -07:00
Alex Groce
e6281104a2 mention leveldb example 2019-01-10 14:01:34 -07:00
Alex Groce
7faf6a2e6b some readme cleanup, removing duplicate section 2019-01-10 14:00:33 -07:00
Alex Groce
6faf3dab38 tell which test failed when doing a replay 2019-01-09 14:28:51 -07:00
Alex Groce
84f317da06 exit on fail now supported 2019-01-09 12:44:52 -07:00
ggrieco-tob
eeca3ab6ef Merge branch 'dev-python3.6' of ssh://github.com/trailofbits/deepstate into dev-python3.6 2019-01-07 12:41:37 -03:00
ggrieco-tob
3abda23601 fixed TerminateState identification issue 2019-01-07 12:40:40 -03:00
ggrieco-tob
3ce73c78f4
Update main_manticore.py 2019-01-07 12:24:09 -03:00
ggrieco-tob
011639cea4
Update .travis.yml 2019-01-07 11:21:32 -03:00
ggrieco-tob
b676147c7a
Update .travis.yml 2019-01-07 11:16:29 -03:00