27 Commits

Author SHA1 Message Date
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