Alex Groce
|
7efe5f84ad
|
Add macro for TRACE logging
|
2018-12-22 13:52:18 -07:00 |
|
Alex Groce
|
7756c80d63
|
try changing test output to TRACE
|
2018-12-22 13:44:43 -07:00 |
|
Alex Groce
|
1227092089
|
Merge pull request #142 from trailofbits/implicit_no_fork
Changed --no_fork to --fork as it implies the existence of --no_fork
|
2018-12-15 14:14:45 -07:00 |
|
Peter Goodman
|
10a664c984
|
Changed --no_fork to --fork as it implies the existence of --no_fork
|
2018-12-15 16:10:30 -05:00 |
|
Alex Groce
|
efa655cbaa
|
Merge pull request #141 from trailofbits/no_fork_mode
Simple no fork mode for replay and fuzzing
|
2018-12-15 14:02:45 -07:00 |
|
Alex Groce
|
6e0c09f835
|
Note fork issues in README
|
2018-12-15 13:46:53 -07:00 |
|
Alex Groce
|
950da4a789
|
fix various issues
|
2018-12-15 13:40:17 -07:00 |
|
Alex Groce
|
b89d7d7073
|
add a simple no fork mode for replay and fuzzing
|
2018-12-15 13:28:15 -07:00 |
|
Alex Groce
|
939d8998d9
|
Merge branch 'master' of https://github.com/trailofbits/deepstate
|
2018-12-11 12:15:49 -07:00 |
|
Alex Groce
|
18e8761576
|
Remove dependency on angr/manticore on macOS
|
2018-12-11 12:15:08 -07:00 |
|
Alex Groce
|
5bbba1d3e4
|
Remind to use BUILD_LIBFUZZER
|
2018-12-09 21:05:08 -07:00 |
|
Alex Groce
|
66ef2abc1b
|
Fix so libFuzzer works on macOS
|
2018-12-09 20:59:43 -07:00 |
|
Alex Groce
|
19b606be8e
|
Fix ranges (C modulo can be negative)
|
2018-12-09 11:34:47 -07:00 |
|
Alex Groce
|
375659421d
|
Simple brute-force fuzzer (#134)
|
2018-12-08 19:41:10 -03:00 |
|
Alex Groce
|
c9a4d676e3
|
Fix typo
|
2018-12-08 00:48:14 -07:00 |
|
Alex Groce
|
f2ba6462ce
|
Merge pull request #133 from trailofbits/even_distribution_ranges
Changes to ranges with equal distribution, for better fuzzing -- esp. OneOf
|
2018-12-06 18:31:57 -07:00 |
|
Alex Groce
|
2f6dd8e047
|
use all 1s just in case other-endian
|
2018-12-06 17:20:52 -07:00 |
|
Alex Groce
|
c2745be882
|
move setting UsingSymExec to right place
|
2018-12-06 17:16:38 -07:00 |
|
Alex Groce
|
062e62106c
|
Try writing symexec in do_run_test
|
2018-12-06 15:13:52 -07:00 |
|
Alex Groce
|
5cc17b00ed
|
fix if
|
2018-12-06 05:15:42 -07:00 |
|
Alex Groce
|
e7cb3ce8cd
|
try immediate return for manticore
|
2018-12-06 05:09:23 -07:00 |
|
Alex Groce
|
478e5fd9b4
|
fix bad indentation
|
2018-12-05 21:00:53 -07:00 |
|
Alex Groce
|
a608857d52
|
x can't be const now
|
2018-12-05 20:57:10 -07:00 |
|
Alex Groce
|
c04168437b
|
go back to simple fix, but wrap when out of bounds and not symbolic
|
2018-12-05 20:54:11 -07:00 |
|
Alex Groce
|
827e4cbe82
|
switch to wrapping ranges
|
2018-12-05 17:31:45 -07:00 |
|
Alex Groce
|
0f773895d1
|
Merge pull request #130 from trailofbits/log_level_control
Allow log level control
|
2018-12-05 13:25:38 -07:00 |
|
root
|
d8db5cb906
|
fix conflict
|
2018-12-05 19:09:17 +00:00 |
|
Alex Groce
|
6e16e16eb0
|
Merge pull request #132 from trailofbits/inrange
Saturating version of InRange, new variable UsingSymExec
|
2018-12-05 12:01:54 -07:00 |
|
Peter Goodman
|
fa2cc6ab38
|
Update DeepState.h
|
2018-12-05 13:58:03 -05:00 |
|
Peter Goodman
|
48092c7b4b
|
Update main_manticore.py
|
2018-12-05 13:57:07 -05:00 |
|
Peter Goodman
|
5288d5da3d
|
Saturating version of InRange, new variable UsingSymExec
|
2018-12-05 13:55:57 -05:00 |
|
Alex Groce
|
c56651c5c0
|
fix to ranges
|
2018-12-05 11:28:35 -07:00 |
|
Alex Groce
|
8205c0d074
|
missing semicolon
|
2018-12-04 19:51:34 -07:00 |
|
Alex Groce
|
e92f39fb5c
|
control log level
|
2018-12-04 19:43:46 -07:00 |
|
Peter Goodman
|
eb0d4a4569
|
Merge pull request #127 from trailofbits/ranges_for_fuzzing
simple fix for libFuzzer ranges
|
2018-12-04 17:29:49 -05:00 |
|
Alex Groce
|
8b912a8ce1
|
allow abort in libfuzzer
|
2018-12-02 20:34:19 -07:00 |
|
Alex Groce
|
87dd39d93c
|
fix formatting
|
2018-12-01 12:47:43 -07:00 |
|
Alex Groce
|
9bd1e6b7f0
|
fixup
|
2018-11-30 12:52:02 -07:00 |
|
Alex Groce
|
b61bfd162a
|
fix various issues
|
2018-11-30 12:43:30 -07:00 |
|
Alex Groce
|
72d3b5bcf9
|
tell when computing a range
|
2018-11-30 12:29:55 -07:00 |
|
Alex Groce
|
5dff6925f5
|
more verbose assumption failures
|
2018-11-30 12:24:27 -07:00 |
|
Alex Groce
|
a0bfead4cf
|
verbose
|
2018-11-30 12:17:18 -07:00 |
|
Alex Groce
|
5c723e0f62
|
fix wrong name for HAS_FLAG
|
2018-11-29 13:31:46 -07:00 |
|
Alex Groce
|
a3ad1135e7
|
also use mod if replaying
|
2018-11-29 13:25:21 -07:00 |
|
Alex Groce
|
8051817526
|
simple fix for libFuzzer ranges
|
2018-11-20 12:16:55 -07:00 |
|
Alex Groce
|
4257a68f16
|
Fix link to tutorial to point to official ToB github, not Peter's site
|
2018-11-20 11:46:52 -07:00 |
|
Alex Groce
|
22578565f1
|
Add a link to the slides for now (placeholder until ToB official link)
|
2018-11-11 15:23:22 -07:00 |
|
Alex Groce
|
ab3f5f38cd
|
Merge pull request #124 from trailofbits/fix-angr-deps
Fixed angr installation and upgrade to xenial in travis
|
2018-11-07 11:53:35 -07:00 |
|
ggrieco-tob
|
b47520a450
|
Update .travis.yml
|
2018-11-07 14:56:25 -03:00 |
|
ggrieco-tob
|
10047d784d
|
Update .travis.yml
|
2018-11-07 14:52:03 -03:00 |
|