Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 8 Aug 2019 17:14:09 +0200
From:      Michael Tuexen <tuexen@freebsd.org>
To:        "slavash@freebsd.org" <slavash@FreeBSD.org>
Cc:        Alan Somers <asomers@freebsd.org>, current <current@freebsd.org>
Subject:   Re: kernel module code coverage
Message-ID:  <24BDECBA-3E34-4FD9-AE82-DCDFFAEE7A81@freebsd.org>
In-Reply-To: <bb5fa55b-7402-1f12-1c4b-2fdda962216f@FreeBSD.org>
References:  <b233b3e5-e2ac-8dce-5552-43bac9f8a5cc@FreeBSD.org> <C839BCA7-1FA9-4E0F-B03F-59B8E5FA6FFF@freebsd.org> <CAOtMX2iv%2B_Q6kbOqUmcjpafoym0Yx9OU9p3LKt_mpYf7eEzrNw@mail.gmail.com> <bb5fa55b-7402-1f12-1c4b-2fdda962216f@FreeBSD.org>

next in thread | previous in thread | raw e-mail | index | archive | help
> On 8. Aug 2019, at 16:16, Slava Shwartsman <slavash@FreeBSD.org> =
wrote:
>=20
>=20
>=20
> On 08-Aug-19 16:52, Alan Somers wrote:
>> On Thu, Aug 8, 2019 at 7:42 AM Michael Tuexen <tuexen@freebsd.org> =
wrote:
>>>=20
>>>=20
>>>=20
>>>> On 8. Aug 2019, at 14:24, Slava Shwartsman <slavash@FreeBSD.org> =
wrote:
>>>>=20
>>>> Apparently, Bullseye are dropping support for FreeBSD.
>>>>=20
>>>> We are looking for an alternative for kernel module run time =
analysis.
>>>> Mostly interested in code coverage (for now).
>>>>=20
>>>> Any suggestions that work for you?
>>> Have you looked into /dev/kcov. This is used by SYZKALLER for =
getting
>>> coverage information from the kernel.
>>>=20
>=20
> Thanks.
> Is there a man page for /dev/kcov?
I don't think so. There was no man page in the commit which introduced =
the feature:
https://svnweb.freebsd.org/base?view=3Drevision&revision=3D342962

You might want to look at:
=
https://github.com/google/syzkaller/blob/master/tools/kcovtrace/kcovtrace.=
c
how to use it.

Best regards
Michael
>=20
>>> Best regards
>>> Michael
>>>>=20
>>>>=20
>>>> Slava
>> That's part of Matt Macy's gcov project, right?.  However, while it
>> works for the kernel itself, it doesn't work for modules.
>=20
> In worst case, I can build my module into the kernel, right?
>=20
>> https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=3D239194
>> -Alan
>=20
>=20
> Slava




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?24BDECBA-3E34-4FD9-AE82-DCDFFAEE7A81>