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 |
|
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
|
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
|
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
|
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 |
|
root
|
d8db5cb906
|
fix conflict
|
2018-12-05 19:09:17 +00:00 |
|
Peter Goodman
|
fa2cc6ab38
|
Update DeepState.h
|
2018-12-05 13:58:03 -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 |
|
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 |
|
Peter Goodman
|
fd0acedf8b
|
Minor fix for OneOf on std::vector.
|
2018-09-28 11:12:06 -07:00 |
|
Peter Goodman
|
400d826b0a
|
Make sure DeepState_Setup is not inlined for default-provided main functions.
|
2018-09-27 17:14:19 -07:00 |
|
Peter Goodman
|
b3f20d9746
|
Minor tweak
|
2018-09-27 16:47:22 -07:00 |
|
Peter Goodman
|
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.
|
2018-09-27 16:45:08 -07:00 |
|
Peter Goodman
|
9a8e5cca23
|
Disable static builds on macOS
|
2018-09-26 11:44:04 -07:00 |
|
Alex Groce
|
d33caaf419
|
fix spacing
|
2018-09-01 17:23:50 -07:00 |
|
Alex Groce
|
69a84c7b68
|
fix C code according to pgoodman comments, annotate multi-byte reads
|
2018-09-01 17:22:40 -07: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
|
0fbd80a0b1
|
less confusing output for assumes
|
2018-08-27 09:02:50 -07:00 |
|
Peter Goodman
|
6459bd93d0
|
Fixes Issue #96 to always log failures.
|
2018-08-08 12:42:48 -04: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 |
|
Alex Groce
|
656ffa1b6d
|
new way to specify which test
|
2018-07-30 22:05:56 -07:00 |
|
Alex Groce
|
eea3248bfc
|
update readme, fix first/last test, change clang
|
2018-07-30 21:43:55 -07:00 |
|
Alex Groce
|
9d8889e3f2
|
change name to external, let python konw about new level
|
2018-07-28 18:06:07 -07:00 |
|
Alex Groce
|
3fe716fbf0
|
fix extra brace
|
2018-07-28 12:41:14 -07:00 |
|
Alex Groce
|
8fe58fe48e
|
log as external
|
2018-07-28 12:40:25 -07:00 |
|
Alex Groce
|
d4e2225727
|
correct check for INFO to just look for INFO:
|
2018-07-28 12:36:54 -07:00 |
|
Alex Groce
|
1343cecfc2
|
correct check for INFO
|
2018-07-28 12:35:19 -07:00 |
|