lkml.org 
[lkml]   [2019]   [Dec]   [16]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH] kconfig: Add kernel config option for fuzz testing.
On Tue, Dec 17, 2019 at 12:35:00AM +0900, Tetsuo Handa wrote:
> On 2019/12/16 20:46, Greg Kroah-Hartman wrote:
> > Why isn't it the job of the fuzzers to keep a blacklist of things they
> > should not do without expecting the system to crash? Why is it up to
> > the kernel to do that work for them?
>
> Details will be explained by Dmitry Vyukov.

Details should have been in the commit message :(

> In short, fuzzer wants cooperation with the kernel.

To a point, that's fine. Making odd changes that are not
self-documenting or understandable even in the commit that is trying to
tadd them, is not ok at all.

> >> @@ -633,6 +633,9 @@ static void k_spec(struct vc_data *vc, unsigned char value, char up_flag)
> >> kbd->kbdmode == VC_OFF) &&
> >> value != KVAL(K_SAK))
> >> return; /* SAK is allowed even in raw mode */
> >> + /* Repeating SysRq-t forever causes RCU stalls. */
> >> + if (IS_ENABLED(CONFIG_KERNEL_BUILT_FOR_FUZZ_TESTING))
> >> + return;
> >
> > That does not make sense. What does this comment mean?
>
> https://syzkaller.appspot.com/text?tag=CrashLog&x=12eb1e67600000 (already gone)
> reported that a USB fuzz test is triggering SysRq-t until RCU stall happens. We don't
> need to disable whole module only for avoiding RCU stall due to crazy SysRq-t requests.
>
> [ 563.439044][ C1] ksoftirqd/1 R running task 28264 16 2 0x80004008
> [ 563.447037][ C1] Call Trace:
> [ 563.450321][ C1] sched_show_task.cold+0x2e0/0x359
> [ 563.455502][ C1] show_state_filter+0x164/0x209
> [ 563.460421][ C1] ? fn_caps_on+0x90/0x90
> [ 563.464730][ C1] k_spec+0xdc/0x120
> [ 563.468605][ C1] kbd_event+0x927/0x3790
> [ 563.472914][ C1] ? k_pad+0x720/0x720
> [ 563.476964][ C1] ? mark_held_locks+0xe0/0xe0
> [ 563.481791][ C1] ? sysrq_filter+0xdf/0xeb0
> [ 563.486359][ C1] ? k_pad+0x720/0x720
> [ 563.490419][ C1] input_to_handler+0x3b6/0x4c0
> [ 563.495247][ C1] input_pass_values.part.0+0x2e3/0x720
> [ 563.500770][ C1] input_repeat_key+0x1ee/0x2c0
> [ 563.505622][ C1] ? input_dev_suspend+0x80/0x80
> [ 563.510535][ C1] ? rcu_read_lock_bh_held+0xb0/0xb0
> [ 563.515805][ C1] call_timer_fn+0x179/0x650
> [ 563.520385][ C1] ? input_dev_suspend+0x80/0x80
> [ 563.525389][ C1] ? msleep_interruptible+0x130/0x130
> [ 563.531528][ C1] ? rcu_read_lock_sched_held+0x9c/0xd0
> [ 563.537058][ C1] ? rcu_read_lock_bh_held+0xb0/0xb0
> [ 563.542334][ C1] ? _raw_spin_unlock_irq+0x24/0x30
> [ 563.547519][ C1] ? input_dev_suspend+0x80/0x80
> [ 563.552443][ C1] run_timer_softirq+0x5e3/0x1490
> [ 563.557454][ C1] ? add_timer+0x7a0/0x7a0
> [ 563.561853][ C1] ? rcu_read_lock_sched_held+0x9c/0xd0
> [ 563.567377][ C1] ? rcu_read_lock_bh_held+0xb0/0xb0
> [ 563.572644][ C1] __do_softirq+0x221/0x912
> [ 563.577147][ C1] ? takeover_tasklets+0x720/0x720
> [ 563.582246][ C1] run_ksoftirqd+0x1f/0x40
> [ 563.586638][ C1] smpboot_thread_fn+0x3e8/0x850
> [ 563.591640][ C1] ? smpboot_unregister_percpu_thread+0x190/0x190
> [ 563.598031][ C1] ? __kthread_parkme+0x10a/0x1c0
> [ 563.603031][ C1] ? smpboot_unregister_percpu_thread+0x190/0x190
> [ 563.609440][ C1] kthread+0x318/0x420
> [ 563.613746][ C1] ? kthread_create_on_node+0xf0/0xf0
> [ 563.619092][ C1] ret_from_fork+0x24/0x30

Don't do sysrq-t then :)

And as I said above, make these totally and completly obvious what you
are doing. At worst, this should have been a patch series that gives
this type of information in each and every place it is added, so at
least it is documented somewhere. At best, it needs to be in the code
itself to make it obvious what you are doing and why it needs to stay
there for all eternity.

> >> diff --git a/fs/ioctl.c b/fs/ioctl.c
> >> index 2f5e4e5b97e1..f879aa94b118 100644
> >> --- a/fs/ioctl.c
> >> +++ b/fs/ioctl.c
> >> @@ -601,6 +601,11 @@ static int ioctl_fsfreeze(struct file *filp)
> >> if (sb->s_op->freeze_fs == NULL && sb->s_op->freeze_super == NULL)
> >> return -EOPNOTSUPP;
> >>
> >> +#ifdef CONFIG_KERNEL_BUILT_FOR_FUZZ_TESTING
> >> + /* Freezing filesystems causes hung tasks. */
> >> + return -EBUSY;
> >> +#endif
> >
> > ick ick ick.
>
> syzbot was failing to blacklist ioctl(FIFREEZE) due to a bug fixed at
> https://lore.kernel.org/linux-fsdevel/03633af8-fab8-a985-c215-f619ea4ded08@I-love.SAKURA.ne.jp/ .
>
> Then, syzbot was not blacklisting ioctl(EXT4_IOC_SHUTDOWN) which was fixed at
> https://github.com/google/syzkaller/commit/61ed43a86a3721708aeeee72b23bfa1eacd921b2 .
>
> These bugs could be fixed (in a whack-a-mole manner) but

No but. Again, you are running a fuzzer as root. You will end up doing
things that are bad. Don't do those things. Don't force the kernel to
keep track of the things you should not do, that's up to you and your
environment, not ours.

Maybe someone writes a fuzzer someday that does not need all of these
things, what then? :)

> >> diff --git a/kernel/printk/printk.c b/kernel/printk/printk.c
> >> index 1ef6f75d92f1..9a2f95a78fef 100644
> >> --- a/kernel/printk/printk.c
> >> +++ b/kernel/printk/printk.c
> >> @@ -1198,6 +1198,14 @@ MODULE_PARM_DESC(ignore_loglevel,
> >>
> >> static bool suppress_message_printing(int level)
> >> {
> >> +#ifdef CONFIG_KERNEL_BUILT_FOR_FUZZ_TESTING
> >> + /*
> >> + * Changing console_loglevel causes "no output". But ignoring
> >> + * console_loglevel is easier than preventing change of
> >> + * console_loglevel.
> >> + */
> >> + return (level >= CONSOLE_LOGLEVEL_DEFAULT && !ignore_loglevel);
> >> +#endif
> >
> > I don't understand the need for this change at all.
>
> this case was too hard to blacklist, as explained at
> https://lore.kernel.org/lkml/4d1a4b51-999b-63c6-5ce3-a704013cecb6@i-love.sakura.ne.jp/ .
> syz_execute_func() can find deeper bug by executing arbitrary binary code, but
> we cannot blacklist specific syscalls/arguments for syz_execute_func() testcases.
> Unless we guard on the kernel side, we won't be able to re-enable syz_execute_func()
> testcases.

Again, see above for what you shoudl have said.

And this still is really odd.

> >> return (level >= console_loglevel && !ignore_loglevel);
> >> }
> >>
>
> Also, although ability to interpret kernel messages was improved by CONFIG_PRINTK_CALLER
> config option, we still cannot tell whether some string such as "BUG:" "WARNING:" came from
> BUG(), BUG_ON(), WARN(), WARN_ON() etc. Therefore, modules emitting such string causes
> syzbot to report as crash. For example, TOMOYO security module introduced
> CONFIG_SECURITY_TOMOYO_INSECURE_BUILTIN_SETTING in order to allow syzbot to fuzz TOMOYO
> security module, and then extended CONFIG_SECURITY_TOMOYO_INSECURE_BUILTIN_SETTING to
> prevent TOMOYO from emitting "WARNING:" string so that syzbot will not detect it as crash.

Removing WARNING strings is great, and is one thing and that kind of
thing has been merged as fixes for a while. Messing with kernel log
levels is something totally different.

> As a result of these two patches, TOMOYO is now fuzzed by syzbot. But there are
> other modules emitting these strings. We need to somehow make it possible to
> distinguish whether these string came from BUG(), BUG_ON(), WARN(), WARN_ON() etc.
> in a generically applicable way.

Ok, but I don't see how the above log level change does that.

> To summarize, syzbot wants a kernel config option for two purposes:
>
> (1) Allow syzkaller run testcases as far/deep as possible.
>
> (2) Prevent syzkaller from generating false alarms.
>
> This is beyond merely maintaining blacklist on the fuzzer side.
>

As it is, this patch isn't acceptable at all for all of the reasons
above.

thanks,

greg k-h


\
 
 \ /
  Last update: 2019-12-16 17:32    [W:0.094 / U:3.684 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site