some errors while fuzzing about nautilus HOT 5 CLOSED

https://github.com/nautilus-fuzz/nautilus/blob/master/grammartec/src/tree.rs#L349 <- this looks pretty worrying to me. It seems there is something missing in the regex implementation.

the fu**y bits part just means that bit 4299 in the bitmap was nondeterministic. If you fuzz complex targets that is to be expected. Could be caused by all kinds of things: random GC stuff, different keys for keyed hash functions in hashmaps leading to different collision patterns etc.

from nautilus.

I think the quickfix would be to not use the regex stuff in you grammar for now. I will look into this

from nautilus.

should be fixed by 50a806b. If you can confirm this, please close this issue.

from nautilus.

Here's the grammar I use
#ctx.rule(NONTERM: string, RHS: string|bytes) adds a rule NONTERM->RHS. We can use {NONTERM} in the RHS to request a recursion..
ctx.rule("START","{IAC}")
ctx.rule("IAC", u"{CMD}{BLA}{LETTER}{STRING}{IAC}")
ctx.rule("IAC", u"")
ctx.rule("CMD", "\xff")
ctx.rule("CMD", "{BLA}")
ctx.rule("BLA", "\xff")
ctx.rule("BLA", "\xfe")
ctx.rule("BLA", "\xfd")
ctx.rule("BLA", "\xfc")
ctx.rule("BLA", "\xfb")
ctx.rule("BLA", "\xfa")
ctx.rule("BLA", "\xf9")
ctx.rule("BLA", "\xf8")
ctx.rule("BLA", "\xf7")
ctx.rule("BLA", "\xf6")
ctx.rule("BLA", "\xf5")
ctx.rule("BLA", "\xf4")
ctx.rule("BLA", "\xf3")
ctx.rule("BLA", "\xf2")
ctx.rule("BLA", "\xf1")
ctx.rule("BLA", "\xf0")
ctx.rule("BLA", "\xff\xfa\x18\x00{STRING}")
#ctx.regex("LETTER", "[\x00-\x41]")
ctx.regex("LETTER", "[\x00-\x36]\x00*")
#ctx.rule("STRING", "")
ctx.regex("STRING", "[\x00-\x7f]\x00")
#ctx.regex("STRING", "[\x10-\x7f]+\x00*")

from nautilus.

looks fixed with that last commit.

from nautilus.