-
b449111ecf
set default log level in symex
Alex Groce
2019-01-02 16:08:48 -07:00
-
8171e3c460
start on symex logging changes
Alex Groce
2019-01-02 15:37:19 -07:00
-
c9f4d1b9b8
change log level when fuzzing if not specified
Alex Groce
2019-01-02 15:23:23 -07:00
-
51d8518c51
log level should default 0, but be raised for fuzzing unless specified
Alex Groce
2019-01-02 14:59:49 -07:00
-
db8559fe7b
fuzzing now defaults to log level INFO, and demotes some messages
Alex Groce
2019-01-02 14:19:38 -07:00
-
-
240eb9f813
improve comments
Alex Groce
2019-01-02 13:53:15 -07:00
-
87fcbf3481
back to 6
Alex Groce
2019-01-02 01:09:13 -07:00
-
d40c48efa5
Shrink size
Alex Groce
2019-01-02 00:27:52 -07:00
-
6cbb4f479a
note it's STRLEN not length including null, expand Runlen size
Alex Groce
2019-01-01 22:43:57 -07:00
-
483e827c64
up to 6 since only angr
Alex Groce
2019-01-01 21:31:47 -07:00
-
a6db7fb097
drop manticore for runlen, longer limit
Alex Groce
2019-01-01 19:52:48 -07:00
-
cc2925ffd2
fix off by one in call to symbolize, and avoid nulls
Alex Groce
2019-01-01 18:59:25 -07:00
-
31460e7f0d
Don't Pump through sizes, since the functions allow null terminators anyway
Alex Groce
2019-01-01 16:58:31 -07:00
-
9ef6c5ea32
different printout
Alex Groce
2019-01-01 14:38:48 -07:00
-
303159467e
no alphabet at all
Alex Groce
2019-01-01 13:58:59 -07:00
-
71fbb7ac7d
3 char alphabet
Alex Groce
2019-01-01 13:03:01 -07:00
-
c67b0329b6
numeric alphabet
Alex Groce
2019-01-01 12:54:59 -07:00
-
46f0eeb4b4
hex alphabet
Alex Groce
2019-01-01 12:36:31 -07:00
-
bfa85a09c3
bigger alphabet
Alex Groce
2019-01-01 12:04:06 -07:00
-
e3bba13fd2
Increase timeout for manticore
Alex Groce
2019-01-01 08:01:32 -07:00
-
7431a9bd1b
fix OBOB, increase length since this may be what slowed manticore down
Alex Groce
2019-01-01 01:20:09 -07:00
-
00b77202e3
fix comment on bug
Alex Groce
2018-12-31 23:13:58 -07:00
-
da18a1ae0b
more comments
Alex Groce
2018-12-31 22:59:41 -07:00
-
d410c0df5f
back to 2 for manticore
Alex Groce
2018-12-31 20:00:54 -07:00
-
c3136f77fd
Back to length 3
Alex Groce
2018-12-31 19:10:09 -07:00
-
ecb0c8e5cc
Increase timeout
Alex Groce
2018-12-31 19:09:36 -07:00
-
4d56839871
Shrink for manticore
Alex Groce
2018-12-31 19:07:45 -07:00
-
1fb617fe61
increase Pump len
Alex Groce
2018-12-31 18:09:36 -07:00
-
9c224b4f7b
lower length
Alex Groce
2018-12-31 17:21:19 -07:00
-
14863f0744
Smaller size for manticore
Alex Groce
2018-12-31 16:40:28 -07:00
-
244c3ac3a8
Change size, output
Alex Groce
2018-12-31 15:52:55 -07:00
-
122f5a7b57
smaller limit, concretize
Alex Groce
2018-12-31 15:43:18 -07:00
-
a0ec145b6b
shrink max string size
Alex Groce
2018-12-31 15:25:43 -07:00
-
ec31d0b799
change the code and input range
Alex Groce
2018-12-31 15:11:10 -07:00
-
cd7f6daaf9
change runlen example bug and test
Alex Groce
2018-12-31 14:39:10 -07:00
-
40eb4b0117
add runlen test
Alex Groce
2018-12-31 14:20:15 -07:00
-
eb1133825a
Add run length example
Alex Groce
2018-12-31 14:18:01 -07:00
-
2421a17f5e
add missing const qualifiers
Alex Groce
2018-12-31 13:49:53 -07:00
-
943627819d
Fix for new C interface to string generation
Alex Groce
2018-12-31 13:19:57 -07:00
-
efb3c07314
new interface
Alex Groce
2018-12-31 13:06:01 -07:00
-
abba98ad2a
no need for allowed length
Alex Groce
2018-12-31 08:12:03 -07:00
-
58a1d5120d
new string functions
Alex Groce
2018-12-31 08:02:09 -07:00
-
dee5dd549c
C++ functions that also vary string length, using Pump
Alex Groce
2018-12-30 21:04:15 -07:00
-
8a7b1c4faa
stab at string generator
Alex Groce
2018-12-30 12:26:43 -07:00
-
-
a0162e8242
Merge pull request #151 from trailofbits/take_over_rand
Peter Goodman
2018-12-29 12:22:26 -05:00
-
-
ead8c5cb96
warn people using srand
Alex Groce
2018-12-28 19:25:47 -07:00
-
6f1f648cd2
we can take over rand now
Alex Groce
2018-12-27 17:13:53 -07:00
-
-
54c42c78c9
fix check in reducer
Alex Groce
2018-12-26 12:02:59 -07:00
-
bb9e02834d
improved python3 support
ggrieco-tob
2018-12-24 11:39:46 -03:00
-
2a618d0d1a
Merge pull request #148 from trailofbits/trace_logging
Alex Groce
2018-12-23 14:00:24 -07:00
-
-
30601a580a
fix streaming and formatting test
Alex Groce
2018-12-23 13:22:48 -07:00
-
c91853828d
restore spacing in manticore to avoid confusion
Alex Groce
2018-12-23 13:13:59 -07:00
-
12c23f78b9
restore old manticore/angr code
Alex Groce
2018-12-23 13:13:08 -07:00
-
fca5c8795b
fix missing comma
Alex Groce
2018-12-23 13:10:03 -07:00
-
37d9d35d5a
aha, used wrong logger
Alex Groce
2018-12-23 13:07:27 -07:00
-
4409762f24
functools annoys pyflakes
Alex Groce
2018-12-23 13:00:25 -07:00
-
6daee3cfa0
try just using the info logger
Alex Groce
2018-12-23 12:53:16 -07:00
-
43ddfa895c
oops, remove log_trace def
Alex Groce
2018-12-23 12:44:20 -07:00
-
ce343948e2
try different python approach
Alex Groce
2018-12-23 12:40:47 -07:00
-
0cb39f540c
let people know the seed they used in fuzzing
Alex Groce
2018-12-22 21:02:40 -07:00
-
276b493681
log in manticore/angr
Alex Groce
2018-12-22 20:49:10 -07:00
-
3590a6025c
add trace to manticore/angr logging
Alex Groce
2018-12-22 20:46:08 -07:00
-
55644b534e
set level
Alex Groce
2018-12-22 19:53:02 -07:00
-
7fb1a04a4a
change name
Alex Groce
2018-12-22 15:22:00 -07:00
-
feec722f83
handled for TRACE
Alex Groce
2018-12-22 14:34:24 -07:00
-
6f168e8e1c
add level name at right place
Alex Groce
2018-12-22 14:16:16 -07:00
-
816ec7a27d
try to add trace level
Alex Groce
2018-12-22 14:12:17 -07:00
-
0f9fe27288
handle new logging in symex
Alex Groce
2018-12-22 14:00:11 -07:00
-
7efe5f84ad
Add macro for TRACE logging
Alex Groce
2018-12-22 13:52:18 -07:00
-
7756c80d63
try changing test output to TRACE
Alex Groce
2018-12-22 13:44:43 -07:00
-
-
1227092089
Merge pull request #142 from trailofbits/implicit_no_fork
Alex Groce
2018-12-15 14:14:45 -07:00
-
-
10a664c984
Changed --no_fork to --fork as it implies the existence of --no_fork
Peter Goodman
2018-12-15 16:10:30 -05:00
-
-
efa655cbaa
Merge pull request #141 from trailofbits/no_fork_mode
Alex Groce
2018-12-15 14:02:45 -07:00
-
-
6e0c09f835
Note fork issues in README
Alex Groce
2018-12-15 13:46:53 -07:00
-
950da4a789
fix various issues
Alex Groce
2018-12-15 13:40:17 -07:00
-
b89d7d7073
add a simple no fork mode for replay and fuzzing
Alex Groce
2018-12-15 13:28:15 -07:00
-
-
939d8998d9
Merge branch 'master' of https://github.com/trailofbits/deepstate
Alex Groce
2018-12-11 12:15:49 -07:00
-
-
18e8761576
Remove dependency on angr/manticore on macOS
Alex Groce
2018-12-11 12:15:08 -07:00
-
5bbba1d3e4
Remind to use BUILD_LIBFUZZER
Alex Groce
2018-12-09 21:05:08 -07:00
-
-
66ef2abc1b
Fix so libFuzzer works on macOS
Alex Groce
2018-12-09 20:59:43 -07:00
-
19b606be8e
Fix ranges (C modulo can be negative)
Alex Groce
2018-12-09 11:34:47 -07:00
-
375659421d
Simple brute-force fuzzer (#134)
Alex Groce
2018-12-08 15:41:10 -07:00
-
c9a4d676e3
Fix typo
Alex Groce
2018-12-08 00:48:14 -07:00
-
f2ba6462ce
Merge pull request #133 from trailofbits/even_distribution_ranges
Alex Groce
2018-12-06 18:31:57 -07:00
-
-
2f6dd8e047
use all 1s just in case other-endian
Alex Groce
2018-12-06 17:20:52 -07:00
-
c2745be882
move setting UsingSymExec to right place
Alex Groce
2018-12-06 17:16:38 -07:00
-
062e62106c
Try writing symexec in do_run_test
Alex Groce
2018-12-06 15:13:52 -07:00
-
5cc17b00ed
fix if
Alex Groce
2018-12-06 05:15:42 -07:00
-
e7cb3ce8cd
try immediate return for manticore
Alex Groce
2018-12-06 05:09:23 -07:00
-
478e5fd9b4
fix bad indentation
Alex Groce
2018-12-05 21:00:53 -07:00
-
a608857d52
x can't be const now
Alex Groce
2018-12-05 20:57:10 -07:00
-
c04168437b
go back to simple fix, but wrap when out of bounds and not symbolic
Alex Groce
2018-12-05 20:54:11 -07:00
-
827e4cbe82
switch to wrapping ranges
Alex Groce
2018-12-05 17:31:45 -07:00
-
-
0f773895d1
Merge pull request #130 from trailofbits/log_level_control
Alex Groce
2018-12-05 13:25:38 -07:00
-
-
d8db5cb906
fix conflict
root
2018-12-05 19:09:17 +00:00
-
-
-
-
6e16e16eb0
Merge pull request #132 from trailofbits/inrange
Alex Groce
2018-12-05 12:01:54 -07:00
-
-
fa2cc6ab38
Update DeepState.h
Peter Goodman
2018-12-05 13:58:03 -05:00
-
48092c7b4b
Update main_manticore.py
Peter Goodman
2018-12-05 13:57:07 -05:00
-
5288d5da3d
Saturating version of InRange, new variable UsingSymExec
Peter Goodman
2018-12-05 13:55:57 -05:00
-
-
c56651c5c0
fix to ranges
Alex Groce
2018-12-05 11:28:35 -07:00