-
ef30504908
Fix manticore version
ggrieco-tob
2018-08-28 18:16:30 -03:00
-
316a8c59ce
Update .travis.yml
ggrieco-tob
2018-08-28 17:05:17 -03:00
-
38b438d55e
Update .travis.yml
ggrieco-tob
2018-08-28 16:16:58 -03:00
-
cb55fa66ec
Fix manticore
ggrieco-tob
2018-08-28 15:53:50 -03:00
-
-
0fbd80a0b1
less confusing output for assumes
Alex Groce
2018-08-27 09:02:50 -07:00
-
9747c8596a
instructions on replaying tests
Alex Groce
2018-08-09 13:42:51 -07:00
-
98015bd727
Merge pull request #100 from trailofbits/add_undefined_san
Alex Groce
2018-08-08 12:38:48 -07:00
-
-
fa3820af15
compile libfuzzer with UBSAN also
Alex Groce
2018-08-08 12:27:28 -07:00
-
-
7798b2f6ec
Merge pull request #99 from trailofbits/issue_96_always_log_failures
Peter Goodman
2018-08-08 13:52:36 -04:00
-
-
6459bd93d0
Fixes Issue #96 to always log failures.
Peter Goodman
2018-08-08 12:42:48 -04:00
-
-
b473726781
proof-of-concept of the experimental python3.6 version (manticore only)
ggrieco-tob
2018-08-08 09:01:02 -03:00
-
-
462fcfb274
remove test for replay
Alex Groce
2018-08-04 13:01:16 -07:00
-
4a8f7a3ccc
Add simple test for replay to crash test
Alex Groce
2018-08-04 12:54:45 -07:00
-
7d56172428
Merge pull request #89 from trailofbits/support_libfuzzer
Alex Groce
2018-08-03 12:17:03 -07:00
-
-
01ae709466
fix command line args for libfuzzer
Alex Groce
2018-08-03 11:40:36 -07:00
-
1e35f318c6
clarify libfuzzer
Alex Groce
2018-08-03 10:30:00 -07:00
-
0939f94526
fix README on review
Alex Groce
2018-08-03 10:20:40 -07:00
-
ffdd449f07
make changes requested, fix cut/paste error, etc.
Alex Groce
2018-08-03 09:56:38 -07:00
-
12ff87a15b
Merge branch 'master' into support_libfuzzer
Alex Groce
2018-08-02 14:25:57 -07:00
-
-
-
-
2e4b58ff50
Merge pull request #93 from trailofbits/fix_manticore_return
Alex Groce
2018-08-02 14:14:24 -07:00
-
-
cb5d16aa86
remove lists test on manticore, due to speed issues
Alex Groce
2018-08-02 13:59:34 -07:00
-
3ccf682db2
try claripy first
Alex Groce
2018-08-02 13:30:28 -07:00
-
fe6d642b9a
try forcing old angr
Alex Groce
2018-08-02 13:22:48 -07:00
-
125528343a
can't install angr either
Alex Groce
2018-08-02 13:06:18 -07:00
-
4ec0182682
must sudo to install angr
Alex Groce
2018-08-02 13:02:05 -07:00
-
dbe2c4a519
try installing last angr
Alex Groce
2018-08-02 12:57:55 -07:00
-
cdc2d3995b
fixes don't work, build is inside angr
Alex Groce
2018-08-02 12:55:02 -07:00
-
c254cbefdc
add yes to uninstall
Alex Groce
2018-08-02 12:50:17 -07:00
-
9ba8c36fcb
fix via z3
Alex Groce
2018-08-02 12:42:43 -07:00
-
3ab1b34131
try uninstall and reinstall claripy
Alex Groce
2018-08-02 12:31:22 -07:00
-
187e3ae1b0
try the previous claripy
Alex Groce
2018-08-02 12:23:29 -07:00
-
9c32c64055
fix manticore build?
Alex Groce
2018-08-02 12:11:36 -07:00
-
c607630572
on program exit, call pass test
Alex Groce
2018-08-01 23:00:16 -07:00
-
556ba2c026
report
Alex Groce
2018-08-01 22:20:21 -07:00
-
c65901a418
don't abandon
Alex Groce
2018-08-01 13:40:58 -07:00
-
-
9d5bba2d82
for now, ignore this test on manticore
Alex Groce
2018-08-01 12:34:45 -07:00
-
0cd1011ba2
add memory note, mention libFuzzer early
Alex Groce
2018-07-31 10:27:51 -07:00
-
42c983d5cc
add dot
Alex Groce
2018-07-30 22:33:48 -07:00
-
99dc4270c3
more info on using libfuzzer
Alex Groce
2018-07-30 22:33:06 -07:00
-
f88ee36aea
how to set the test
Alex Groce
2018-07-30 22:11:41 -07:00
-
6a9dadcf7a
fix read of null
Alex Groce
2018-07-30 22:09:39 -07:00
-
0943f812a0
fix env read
Alex Groce
2018-07-30 22:07:59 -07:00
-
656ffa1b6d
new way to specify which test
Alex Groce
2018-07-30 22:05:56 -07:00
-
121a748f7e
add mention of test control
Alex Groce
2018-07-30 21:59:29 -07:00
-
dfe450dcf1
proper delimiter
Alex Groce
2018-07-30 21:59:18 -07:00
-
b25efe48a6
compile the right file
Alex Groce
2018-07-30 21:57:10 -07:00
-
805e5026ea
fix cmakelists
Alex Groce
2018-07-30 21:55:15 -07:00
-
763d106a7a
fix cmakelists
Alex Groce
2018-07-30 21:54:27 -07:00
-
7b403bbc8f
fix cmakelists
Alex Groce
2018-07-30 21:53:53 -07:00
-
717221836f
fix missing _Addition
Alex Groce
2018-07-30 21:52:38 -07:00
-
711cd7ed3d
add other overflow test
Alex Groce
2018-07-30 21:50:56 -07:00
-
eea3248bfc
update readme, fix first/last test, change clang
Alex Groce
2018-07-30 21:43:55 -07:00
-
c23e4e20b5
Libfuzzerize all examples
Alex Groce
2018-07-30 21:31:41 -07:00
-
3006e19817
proper link
Alex Groce
2018-07-30 21:24:39 -07:00
-
2ceaa1173d
fix OneOF target name
Alex Groce
2018-07-30 21:22:29 -07:00
-
1aef3fd325
examples with libfuzzer
Alex Groce
2018-07-30 21:21:33 -07:00
-
d1a4417dab
Add LibFuzzer to makefile
Alex Groce
2018-07-30 19:30:10 -07:00
-
9d8889e3f2
change name to external, let python konw about new level
Alex Groce
2018-07-28 18:06:07 -07:00
-
0428686581
let python know about new logging level
Alex Groce
2018-07-28 18:04:19 -07:00
-
3fe716fbf0
fix extra brace
Alex Groce
2018-07-28 12:41:14 -07:00
-
8fe58fe48e
log as external
Alex Groce
2018-07-28 12:40:25 -07:00
-
d4e2225727
correct check for INFO to just look for INFO:
Alex Groce
2018-07-28 12:36:54 -07:00
-
1343cecfc2
correct check for INFO
Alex Groce
2018-07-28 12:35:19 -07:00
-
6418a5cd16
strnstr not available
Alex Groce
2018-07-28 12:29:38 -07:00
-
5e9c208c3b
better logging
Alex Groce
2018-07-28 12:27:07 -07:00
-
78a99537c0
Also log fatals
Alex Groce
2018-07-28 09:22:30 -07:00
-
3a77882835
log only fuzzer info
Alex Groce
2018-07-28 09:20:15 -07:00
-
e4db876959
try logging as fuzzer
Alex Groce
2018-07-28 09:18:14 -07:00
-
e263f46696
fix logging level name
Alex Groce
2018-07-28 09:14:38 -07:00
-
af6c5d8eac
different approach
Alex Groce
2018-07-28 09:11:34 -07:00
-
fcf53b25a5
try to silence logging
Alex Groce
2018-07-28 08:58:45 -07:00
-
a55402fe8b
fix output problem
Alex Groce
2018-07-28 04:48:09 -07:00
-
dbc2adc360
try printf instead
Alex Groce
2018-07-28 04:45:29 -07:00
-
5529d560f3
fix stream
Alex Groce
2018-07-28 04:41:59 -07:00
-
7b2fec9b37
don't crash on failure/crash
Alex Groce
2018-07-28 00:32:43 -07:00
-
c4f533d003
abort on failure or crash
Alex Groce
2018-07-27 22:52:36 -07:00
-
21a2153eb3
just skip warning for now, silence later
Alex Groce
2018-07-27 22:24:55 -07:00
-
9fa8c4bcf7
silence deepstate output, print libFuzzer output without warning
Alex Groce
2018-07-27 22:13:21 -07:00
-
d95dcf65e3
change way memory is allocated
Alex Groce
2018-07-27 21:27:28 -07:00
-
519b61a7a9
Proper print format
Alex Groce
2018-07-27 21:14:54 -07:00
-
95cdb135fc
proper return value for LLVM run
Alex Groce
2018-07-27 21:11:11 -07:00
-
fe3a417637
special version for libFuzzer that doesn't fork
Alex Groce
2018-07-27 21:10:02 -07:00
-
4066104189
debugging
Alex Groce
2018-07-27 17:36:57 -07:00
-
89ceafcea6
initialize options
Alex Groce
2018-07-27 17:10:43 -07:00
-
8c02b19371
move to .c
Alex Groce
2018-07-27 16:58:58 -07:00
-
4ab8a6c712
go back to extern
Alex Groce
2018-07-27 16:54:48 -07:00
-
68f413b7af
fixing link
Alex Groce
2018-07-27 16:51:54 -07:00
-
e18a26896a
just read the data and run, abort if too large
Alex Groce
2018-07-27 16:46:18 -07:00
-
5731fbc4e1
fix
Alex Groce
2018-07-27 16:17:31 -07:00
-
37188de25b
entry point
Alex Groce
2018-07-27 16:11:21 -07:00
-
-
ecce64e2de
explain how to use deferred instrumentation
Alex Groce
2018-07-27 15:10:21 -07:00
-
39a03e19d7
Merge pull request #87 from trailofbits/fix_llvm_compile
Alex Groce
2018-07-27 12:37:48 -07:00
-
-
439c6a3c13
add --no-export-dynamic so clang static compile works, also add link for 32 bit
Alex Groce
2018-07-27 12:06:22 -07:00
-
-
5c9d843740
Add to summary that we now support file-based fuzzing
Alex Groce
2018-07-26 15:30:22 -07:00
-
7f80d83ba4
Update README.md
Alex Groce
2018-07-26 14:29:09 -07:00
-
d3b209a89d
Merge pull request #86 from trailofbits/add_input_test_file_option
Alex Groce
2018-07-26 14:27:05 -07:00
-
-
905f45f546
include info on fuzzing in readme
Alex Groce
2018-07-26 14:25:03 -07:00
-
d1cda2fec2
fix off-by-one in range in OneOf
Alex Groce
2018-07-26 14:00:20 -07:00
-
45abf8ea24
don't crash on abandons
Alex Groce
2018-07-26 11:29:02 -07:00
-
090f1f60af
Add abort option for fuzzing, way to run a set of generated tests
Alex Groce
2018-07-26 11:24:46 -07:00