87 Commits

Author SHA1 Message Date
agroce
ef3c2ed8d5 enable making of AFL-ized versions of stuff 2019-05-30 09:08:51 -07:00
agroce
37d28b5c29 add the example from the Eclipser paper 2019-05-30 08:06:10 -07:00
Alex Groce
878528e672 add boring unit test 2019-01-04 12:49:43 -07:00
Alex Groce
0c8185567d comment clarifying example 2019-01-04 12:35:06 -07:00
Alex Groce
276ce6cb3f clean up formatting 2019-01-04 12:00:57 -07:00
Alex Groce
59a3b51f9f Tidy up the example 2019-01-04 11:44:33 -07:00
Alex Groce
87fcbf3481 back to 6 2019-01-02 01:09:13 -07:00
Alex Groce
d40c48efa5
Shrink size 2019-01-02 00:27:52 -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
483e827c64 up to 6 since only angr 2019-01-01 21:31:47 -07:00
Alex Groce
a6db7fb097 drop manticore for runlen, longer limit 2019-01-01 19:52:48 -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
31460e7f0d
Don't Pump through sizes, since the functions allow null terminators anyway 2019-01-01 16:58:31 -07:00
Alex Groce
9ef6c5ea32 different printout 2019-01-01 14:38:48 -07:00
Alex Groce
303159467e no alphabet at all 2019-01-01 13:58:59 -07:00
Alex Groce
71fbb7ac7d 3 char alphabet 2019-01-01 13:03:01 -07:00
Alex Groce
c67b0329b6 numeric alphabet 2019-01-01 12:54:59 -07:00
Alex Groce
46f0eeb4b4 hex alphabet 2019-01-01 12:36:31 -07:00
Alex Groce
bfa85a09c3 bigger alphabet 2019-01-01 12:04:06 -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
00b77202e3 fix comment on bug 2018-12-31 23:13:58 -07:00
Alex Groce
da18a1ae0b more comments 2018-12-31 22:59:41 -07:00
Alex Groce
d410c0df5f back to 2 for manticore 2018-12-31 20:00:54 -07:00
Alex Groce
c3136f77fd
Back to length 3 2018-12-31 19:10:09 -07:00
Alex Groce
4d56839871
Shrink for manticore 2018-12-31 19:07:45 -07:00
Alex Groce
9c224b4f7b lower length 2018-12-31 17:21:19 -07:00
Alex Groce
14863f0744
Smaller size for manticore 2018-12-31 16:40:28 -07:00
Alex Groce
244c3ac3a8 Change size, output 2018-12-31 15:52:55 -07:00
Alex Groce
122f5a7b57 smaller limit, concretize 2018-12-31 15:43:18 -07:00
Alex Groce
a0ec145b6b shrink max string size 2018-12-31 15:25:43 -07:00
Alex Groce
ec31d0b799 change the code and input range 2018-12-31 15:11:10 -07:00
Alex Groce
cd7f6daaf9 change runlen example bug and test 2018-12-31 14:39:10 -07:00
Alex Groce
eb1133825a Add run length example 2018-12-31 14:18:01 -07:00
Alex Groce
943627819d Fix for new C interface to string generation 2018-12-31 13:19:57 -07:00
Alex Groce
7756c80d63 try changing test output to TRACE 2018-12-22 13:44:43 -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
ggrieco-tob
a8b914b35f
Reliable SIGSEGV in clang 6.0
This will also fix #95
2018-09-24 13:54:33 -03:00
Alex Groce
fa3820af15 compile libfuzzer with UBSAN also 2018-08-08 12:27:28 -07:00
Alex Groce
656ffa1b6d new way to specify which test 2018-07-30 22:05:56 -07:00
Alex Groce
dfe450dcf1 proper delimiter 2018-07-30 21:59:18 -07:00
Alex Groce
b25efe48a6 compile the right file 2018-07-30 21:57:10 -07:00
Alex Groce
805e5026ea fix cmakelists 2018-07-30 21:55:15 -07:00
Alex Groce
763d106a7a fix cmakelists 2018-07-30 21:54:27 -07:00
Alex Groce
7b403bbc8f fix cmakelists 2018-07-30 21:53:53 -07:00
Alex Groce
717221836f fix missing _Addition 2018-07-30 21:52:38 -07:00
Alex Groce
711cd7ed3d add other overflow test 2018-07-30 21:50:56 -07:00
Alex Groce
c23e4e20b5 Libfuzzerize all examples 2018-07-30 21:31:41 -07:00
Alex Groce
3006e19817 proper link 2018-07-30 21:24:39 -07:00
Alex Groce
2ceaa1173d fix OneOF target name 2018-07-30 21:22:29 -07:00