* CONFIG_GCC_PLUGIN_SANCOV
@ 2016-06-17 10:23 Andreas Ziegler
2016-06-17 11:08 ` CONFIG_GCC_PLUGIN_SANCOV Andreas Ziegler
0 siblings, 1 reply; 2+ messages in thread
From: Andreas Ziegler @ 2016-06-17 10:23 UTC (permalink / raw)
To: Emese Revfy; +Cc: Kees Cook, Michal Marek, linux-kbuild
Hi Emese,
your patch "Add sancov plugin" (commit 543c37cb1650 in kbuild/for-next) adds the
GCC_PLUGIN_SANCOV configuration option to arch/Kconfig, but does only declare it
as 'bool', without a description string.
This way, it is currently not possible to select the sancov plugin from
menuconfig, as it does not show up under 'General Setup' -> 'GCC plugins' (the
cyclomatic complexity one is there, however).
Is this intended?
Best regards,
Andreas
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: CONFIG_GCC_PLUGIN_SANCOV
2016-06-17 10:23 CONFIG_GCC_PLUGIN_SANCOV Andreas Ziegler
@ 2016-06-17 11:08 ` Andreas Ziegler
0 siblings, 0 replies; 2+ messages in thread
From: Andreas Ziegler @ 2016-06-17 11:08 UTC (permalink / raw)
To: Emese Revfy; +Cc: Kees Cook, Michal Marek, linux-kbuild
Hi again,
after reading a bit more, it totally makes sense, the plugin obviously needs the
implementation of __sanitizer_cov_trace_pc() coming from CONFIG_KCOV which
selects GCC_PLUGIN_SANCOV in your patch … sorry for the confusion.
Best regards,
Andreas
> On 17 Jun 2016, at 12:23, Andreas Ziegler <andreas.ziegler@fau.de> wrote:
>
> Hi Emese,
>
> your patch "Add sancov plugin" (commit 543c37cb1650 in kbuild/for-next) adds the
> GCC_PLUGIN_SANCOV configuration option to arch/Kconfig, but does only declare it
> as 'bool', without a description string.
>
> This way, it is currently not possible to select the sancov plugin from
> menuconfig, as it does not show up under 'General Setup' -> 'GCC plugins' (the
> cyclomatic complexity one is there, however).
>
> Is this intended?
>
> Best regards,
>
> Andreas
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2016-06-17 11:08 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2016-06-17 10:23 CONFIG_GCC_PLUGIN_SANCOV Andreas Ziegler
2016-06-17 11:08 ` CONFIG_GCC_PLUGIN_SANCOV Andreas Ziegler
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox