What does the signal and max signal mean?

99 views
Skip to first unread message

Joey Jiao

unread,
Jun 16, 2022, 7:33:57 AM6/16/22
to syzkaller
Hi,
I'm a little bit confusion about the signal 30975/46126. What does it really stands for?
If cover 15642 doesn't increase but signal keeps change, does it mean it's likely will find new cover?


2022/06/16 19:31:48 VMs 8, executed 1799481, cover 15642, signal 30975/46126, crashes 1, repro 0

THX
Joey

Dmitry Vyukov

unread,
Jun 17, 2022, 6:09:41 AM6/17/22
to Joey Jiao, syzkaller
"cover" is basic-block coverage, it directly maps to the number of
compiler-emitted coverage callbacks.
"signal" is currently coverage control-flow-graph edges (parts of
adjacent basic blocks).
"max signal" is signal that also includes a flaky signal (e.g. mutex
lock slow path coverage that was observed on some input, but not
reproduced reliably).

Dmitry Vyukov

unread,
Jun 17, 2022, 6:11:08 AM6/17/22
to Joey Jiao, syzkaller
On Fri, 17 Jun 2022 at 12:09, Dmitry Vyukov <dvy...@google.com> wrote:
>
> On Thu, 16 Jun 2022 at 13:34, Joey Jiao <joey....@gmail.com> wrote:
> >
> > Hi,
> > I'm a little bit confusion about the signal 30975/46126. What does it really stands for?
> > If cover 15642 doesn't increase but signal keeps change, does it mean it's likely will find new cover?

If signal (not max signal) grow, then it means we found new coverage.
The corpus size should also grow in this case.
Reply all
Reply to author
Forward
0 new messages