Alex Groce
e263f46696
fix logging level name
2018-07-28 09:14:38 -07:00
Alex Groce
af6c5d8eac
different approach
2018-07-28 09:11:34 -07:00
Alex Groce
fcf53b25a5
try to silence logging
2018-07-28 08:58:45 -07:00
Alex Groce
a55402fe8b
fix output problem
2018-07-28 04:48:09 -07:00
Alex Groce
dbc2adc360
try printf instead
2018-07-28 04:45:29 -07:00
Alex Groce
5529d560f3
fix stream
2018-07-28 04:41:59 -07:00
Alex Groce
7b2fec9b37
don't crash on failure/crash
2018-07-28 00:32:43 -07:00
Alex Groce
c4f533d003
abort on failure or crash
2018-07-27 22:52:36 -07:00
Alex Groce
21a2153eb3
just skip warning for now, silence later
2018-07-27 22:24:55 -07:00
Alex Groce
9fa8c4bcf7
silence deepstate output, print libFuzzer output without warning
2018-07-27 22:13:21 -07:00
Alex Groce
d95dcf65e3
change way memory is allocated
2018-07-27 21:27:28 -07:00
Alex Groce
519b61a7a9
Proper print format
2018-07-27 21:14:54 -07:00
Alex Groce
95cdb135fc
proper return value for LLVM run
2018-07-27 21:11:11 -07:00
Alex Groce
fe3a417637
special version for libFuzzer that doesn't fork
2018-07-27 21:10:02 -07:00
Alex Groce
4066104189
debugging
2018-07-27 17:36:57 -07:00
Alex Groce
89ceafcea6
initialize options
2018-07-27 17:10:43 -07:00
Alex Groce
8c02b19371
move to .c
2018-07-27 16:58:58 -07:00
Alex Groce
4ab8a6c712
go back to extern
2018-07-27 16:54:48 -07:00
Alex Groce
68f413b7af
fixing link
2018-07-27 16:51:54 -07:00
Alex Groce
e18a26896a
just read the data and run, abort if too large
2018-07-27 16:46:18 -07:00
Alex Groce
5731fbc4e1
fix
2018-07-27 16:17:31 -07:00
Alex Groce
37188de25b
entry point
2018-07-27 16:11:21 -07:00
Alex Groce
d1cda2fec2
fix off-by-one in range in OneOf
2018-07-26 14:00:20 -07:00
Alex Groce
45abf8ea24
don't crash on abandons
2018-07-26 11:29:02 -07:00
Alex Groce
090f1f60af
Add abort option for fuzzing, way to run a set of generated tests
2018-07-26 11:24:46 -07:00
Alex Groce
dd27ac8b95
hope fixes help order, and lets you know when test is default
2018-07-25 15:52:08 -07:00
Alex Groce
4b639f4e61
let user know if they try to run a nonexistent test
2018-07-25 15:35:38 -07:00
Alex Groce
0a9ee0bbc6
initial stab at the option
2018-07-25 15:29:27 -07:00
Alex Groce
7d12b11706
function to call when running a single test
2018-07-25 14:56:52 -07:00
Alex Groce
b8fa722b56
Merge branch 'master' into add_input_test_file_option
2018-07-25 14:17:22 -07:00
Alex Groce
9874efb53f
working on option to run a single saved test
2018-07-25 13:16:21 -07:00
Peter Goodman
a2ec146657
Adds support for --help.
2018-07-25 15:34:07 -04:00
Alex Groce
a9fef3157f
add options for replay of single file
2018-07-25 12:33:53 -07:00
Peter Goodman
5c97e7aa14
Change how pointers are streamed.
2018-07-23 11:56:23 -04:00
Peter Goodman
c9e413cafa
Minor tweak to symbolically-sized containers.
2018-07-18 09:35:02 -04:00
Peter Goodman
15ee6c849c
Refactor tests, and pump symbolic container sizes
2018-07-18 09:26:44 -04:00
Alex Groce
70dd92cb27
Fix message on abandon
2018-06-25 17:32:38 -07:00
Alex Groce
2aa6e9f1d5
Fix fatal in .h file also
2018-06-25 17:29:58 -07:00
Alex Groce
f821097775
Log Error on abandon
2018-06-25 17:26:02 -07:00
Alex Groce
16e9255396
abandon, rather than fatal, on failed assumption, for fuzzing
2018-06-23 15:00:52 -07:00
7ce41d6bc7
Check malloc() for errors
2018-02-26 22:05:24 +01:00
Joe Ranweiler
2cb1bf002d
Add impl for klee_choose()
2018-02-25 10:27:48 -08:00
Joe Ranweiler
dc9c353244
Comment out unsupported klee_is_symbolic
...
This takes a memory address as an argument, not a possibly-symbolic
value (which we do support). We probably need to extend the DeepState
API to support this robustly.
2018-02-25 10:27:48 -08:00
Joe Ranweiler
2ff08e5d70
Add impls for KLEE symbolic int functions
2018-02-25 10:27:47 -08:00
Joe Ranweiler
63f22739f9
Impl supported klee_get_val functions
...
We will extend the DeepState API to support the others.
2018-02-25 10:27:47 -08:00
Joe Ranweiler
a1aaeee8c8
Use short-lived preprocessor def
2018-02-25 10:27:47 -08:00
Joe Ranweiler
16ce8d6e00
Add decl, impl for klee_abort()
2018-02-25 10:27:47 -08:00
Joe Ranweiler
27b2a490ee
Comment out unsupported KLEE functions
...
We don't declare the functions to ensure compilation fails fast, not
linking. We keep the commented prototype for the sake of documentation,
instead of just deleting it. We may also eventually be able to impl the
functions if we extend the DeepState API.
2018-02-25 10:27:47 -08:00
Joe Ranweiler
994d29b2d3
Add no-op impls for KLEE-internal debugging functions
2018-02-25 10:27:47 -08:00
Joe Ranweiler
e33b910182
Add no-op impls for KLEE engine commands
...
These functions do not have a DeepState equivalent, nor do they impact
the semantics of the symbolic program to be executed.
2018-02-25 10:27:47 -08:00
