Commit Graph

216 Commits

Author SHA1 Message Date
Alex Groce af4a0a2007 Add a loud mode for debugging libFuzzer on mac OS 2019-01-06 14:56:20 -07:00
Alex Groce 2fbfa652b4 minor fixes to output improvements, correct README 2019-01-03 19:22:14 -07:00
Alex Groce d29654832e Merge pull request #156 from trailofbits/add_deepstate_string
stab at string generator
2019-01-03 17:25:04 -07:00
Alex Groce 405a1948d7 Merge pull request #157 from trailofbits/more_readable_output
Change symex and fuzzing outputs to default to something readable and friendly
2019-01-03 17:24:47 -07:00
Alex Groce fadd43ce71 test replay is quiet but reports numbers 2019-01-03 15:48:11 -07:00
Alex Groce d2b632ef25 default replay of multiple tests to a quiet mode 2019-01-03 15:28:26 -07:00
Alex Groce 91b8b5b8d1 Fix the mac OS abort problem with libFuzzer 2019-01-03 15:02:59 -07:00
Alex Groce ca400bc2a0 fix so count of failed tests is correct 2019-01-03 14:52:46 -07:00
Alex Groce 80e285a3bc Change fuzzing status to timestamped speed and failure count 2019-01-03 14:29:55 -07:00
Alex Groce 68307c1111 Much nicer fuzzer output with status updates 2019-01-03 13:23:30 -07:00
Alex Groce 3133540027 fix various messages in DeepState to be more helpful and consistent 2019-01-03 12:56:35 -07:00
Alex Groce 2b6e57b1e1 change FATAL to CRITICAL to match Python 2019-01-03 12:11:30 -07:00
Alex Groce 652d6355b2 More silent: nothing about test failures 2019-01-03 11:59:55 -07:00
Alex Groce 1247ac64a2 fix random range issue 2019-01-03 00:30:28 -07:00
Alex Groce 8a5d681c16 temp fix 2019-01-02 20:50:53 -07:00
Alex Groce fec2849bfb Fix logging level in logrun, demote assumption checks 2019-01-02 20:16:09 -07:00
Alex Groce caa3d33429 change log level when fuzzing if not specified 2019-01-02 16:31:45 -07:00
Alex Groce 51d8518c51 log level should default 0, but be raised for fuzzing unless specified 2019-01-02 14:59:49 -07:00
Alex Groce db8559fe7b fuzzing now defaults to log level INFO, and demotes some messages 2019-01-02 14:19:38 -07:00
Alex Groce 240eb9f813 improve comments 2019-01-02 13:53:15 -07:00
Alex Groce 6cbb4f479a note it's STRLEN not length including null, expand Runlen size 2019-01-01 22:43:57 -07:00
Alex Groce cc2925ffd2 fix off by one in call to symbolize, and avoid nulls 2019-01-01 18:59:25 -07:00
Alex Groce 7431a9bd1b fix OBOB, increase length since this may be what slowed manticore down 2019-01-01 01:20:09 -07:00
Alex Groce 1fb617fe61 increase Pump len 2018-12-31 18:09:36 -07:00
Alex Groce 2421a17f5e add missing const qualifiers 2018-12-31 13:49:53 -07:00
Alex Groce efb3c07314 new interface 2018-12-31 13:06:01 -07:00
Alex Groce abba98ad2a no need for allowed length 2018-12-31 08:12:03 -07:00
Alex Groce 58a1d5120d new string functions 2018-12-31 08:02:09 -07:00
Alex Groce dee5dd549c C++ functions that also vary string length, using Pump 2018-12-30 21:04:15 -07:00
Alex Groce 8a7b1c4faa stab at string generator 2018-12-30 12:26:43 -07:00
Alex Groce ead8c5cb96 warn people using srand 2018-12-28 19:25:47 -07:00
Alex Groce 6f1f648cd2 we can take over rand now 2018-12-27 17:13:53 -07:00
Alex Groce 2a618d0d1a Merge pull request #148 from trailofbits/trace_logging
Trace logging
2018-12-23 14:00:24 -07:00
Alex Groce 0cb39f540c let people know the seed they used in fuzzing 2018-12-22 21:02:40 -07:00
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