Marco Elver
377d77fa57
dashboard/config: Update KCSAN config to be more conservative
2019-11-11 16:23:03 +01:00
Andrey Konovalov
76630fc947
executor, pkg/host, dashboard/config: rename usb-fuzzer to usb raw-gadget
...
The interface is being upstreamed and the name has changed.
2019-11-04 15:43:43 +01:00
Dmitry Vyukov
841212d4cc
sys/linux: extend CAN descriptions
2019-11-02 21:31:45 +01:00
Dmitry Vyukov
b602d64b59
dashboard/config: disable /dev/{mem,kmem,ioport} in syzbot bits
...
If syzkaller gets to /dev/{mem,kmem,ioport}, it will destroy the machine.
It managed to do so with some mount's, chdir's and bogus file names.
These are not needed for fuzzing, so completely disabling them is
the simplest and the most reliable option.
2019-10-23 15:57:13 +02:00
Andrey Konovalov
a970258ea5
dashboard/config: better extract usb configs
...
When generating a USB config, disable USB symbols that are disabled in the
base config, as they might have been enabled when some of the dependecies
got enabled.
2019-10-23 10:13:19 +02:00
Dmitry Vyukov
ef4a2149fe
dashboard/config: update linux/kasan config
...
- update to latest linux-next
- disable /dev/{mem,kmem,ioport}
- enable lockdown (but it's not actually turned on)
- enable /dev/device_notify
- enable exfat
- enable virtio_fs
- enable few other things that look reachable in VMs
Fixes #1436
2019-10-15 13:50:06 +02:00
Andrey Konovalov
05ad729222
dashboard/config: update USB config
2019-10-14 14:14:06 +02:00
Andrey Konovalov
b7a87a83f8
dashboard, sys/linux: update USB configs
2019-10-01 14:00:17 +02:00
Marco Elver
c68252d224
dashboard/config: Add KCSAN config generator and config
2019-09-23 18:02:39 +02:00
Siddharth Muralee
1037b42440
dashboard/config: Add netbsd kernel configs
2019-09-18 15:00:55 +02:00
Andrey Konovalov
669cade06a
dashboard/config: add debian stretch options
...
See #760 for details.
2019-09-17 14:42:25 +02:00
Andrey Konovalov
d994512dff
sys/linux, dashboard: update USB config
2019-09-04 13:09:49 +02:00
Andrey Konovalov
6c19c36919
dashboard/config: improve config generation scripts
...
1. Use MAKE_ARGS var to pass arguments to make.
2. Pass -m to merge_config.sh to avoid calling make without CC.
3. Make util_add_syzbot_extra_bits() operate on .config.
2019-09-04 13:09:49 +02:00
Anton Lindqvist
c6f01e54b0
dashboard/config: enable VFSLCKDEBUG on OpenBSD
...
In order to assert that vnodes are locked when needed.
2019-08-06 16:35:28 +02:00
Andrey Konovalov
3faab80738
dashboard, sys/linux: extract more HID USB configs ( #1310 )
...
Some USB drivers don't depend on core USB symbols, but rather depend on a
generic symbol for some input subsystem (e.g. HID). Account for that when
extracting USB configs.
2019-08-02 18:26:44 +02:00
Dmitry Vyukov
8821159f77
dashboard/config: update upstream-kasan.config
...
Update config to 5.3.0-rc1.
Enable some new networking configs which should be able to reach.
Enable CONFIG_USB_DUMMY_HCD for /dev/usbmon testing.
2019-07-25 15:11:30 +02:00
Andrey Konovalov
e2b11c0ada
dashboard: fix usb config extraction script
...
Fix extracting more configs that are actually enabled.
Regenerate upsteam-usb.config and sys/linux/init_vusb_ids.go.
2019-07-16 15:02:36 +02:00
Dmitry Vyukov
f62e1e85cf
dashboard/config: update linux configs
...
Update configs to the current linux-next (16c474c9ba39ede5fd1cd835ac52b3760d7820b7).
Enable CONFIG_GVE=y, we may be able to reach it on GCE.
2019-07-05 11:51:08 +02:00
Andrey Konovalov
c87d57e3e0
dashboard: update USB configs to the latest usb-linus
...
Also clean up config generation scripts a bit.
2019-05-29 15:56:43 +02:00
Dmitry Vyukov
cddddce85a
dashboard/config: update kmemleak config
...
Update to latest linux.
Enable configs enabled in the kasan config.
2019-05-20 19:40:20 +02:00
Dmitry Vyukov
40046286a4
dashboard/config: disable CONFIG_RETPOLINE
...
It slows down execution without any benefit for testing.
Who needs security anyways?
2019-05-17 13:21:31 +02:00
Dmitry Vyukov
c4a2377034
dashboard/config: disable binder debug
...
Binder is too noisy with debug output.
Still noisy, but this at least removes part of constant output.
2019-05-16 18:56:49 +02:00
Alexander Potapenko
f59a9cb554
Rebuild upstream-kmsan.config
...
Turns out I was using a stale KASAN config which didn't include TOMOYO
bits.
2019-05-16 11:10:34 +02:00
Alexander Potapenko
27b25dbc1d
util.sh: factor out util_add_extra_syzbot_configs
2019-05-15 16:23:44 +02:00
Alexander Potapenko
692754f1a7
Enable USB fuzzing in KMSAN configs.
...
This moves the USB-related parts of generate-config-usb.sh to util.sh
and reuses them in generate-config-kmsan-from-kasan.sh.
It also updates upstream-kmsan.config
2019-05-15 16:23:44 +02:00
Dmitry Vyukov
3345130d0f
dashboard/config: fix up TOMOYO configs
...
See https://groups.google.com/d/msg/syzkaller/mODXmnauUZM/nIuyd2M0AAAJ for context.
2019-05-15 11:57:17 +02:00
Andrey Konovalov
99688eaaba
dashboard: remove COMPILE_TEST from USB config
...
It forces DEBUG_INFO to be disabled.
2019-05-14 14:36:57 +02:00
Andrey Konovalov
7c305b440c
dashboard: add scripts for generating USB kernel configs
...
This is done via a custom Kconfiglib based script, that allows to merge
in all USB configs from a provided one into the current. The script finds
and enabled all USB configs and their dependencies.
2019-05-13 17:10:34 +02:00
Dmitry Vyukov
aa8482aa8a
dashboard/config: enable CONFIG_SECURITY_TOMOYO_INSECURE_BUILTIN_SETTING
...
This allows to enable and test TOMOYO without an external policy (which we don't have).
2019-05-13 09:31:11 +02:00
Anton Lindqvist
1ab4c99920
dashboard/config: enable SPLASSERT_WATCH on OpenBSD
...
Makes interrupt priority level assertions fatal.
2019-05-08 19:51:17 +02:00
Dmitry Vyukov
3e1f67583e
dashboard/config: update upstream KASAN config
...
Update config to latest linux-next kernel.
2019-05-07 18:01:24 +02:00
Andrey Konovalov
2e55509e43
config: enable CONFIG_PRINTK_CALLER for usb
2019-04-22 12:20:42 +03:00
Greg Steuck
505ab413c7
Revert "dashboard/config: enable POOL_DEBUG on OpenBSD ( #1113 )"
...
This reverts commit 2fbd3aa9043e84cdce8328e5084a1fecc6ec5be3.
2019-04-14 10:44:34 +02:00
Dmitry Vyukov
13030ef80c
dashboard/config: update usb config
2019-04-11 16:29:46 +02:00
Andrey Konovalov
65b612b7c3
dashboard: disable CONFIG_DEBUG_WX in USB config
...
Otherwise we get "Found insecure W+X mapping" due to rodata=n in cmdline.
2019-04-09 19:15:49 +02:00
Andrey Konovalov
4e3011def6
dashboard: add USB cmdline and config
2019-04-09 18:37:45 +02:00
Anton Lindqvist
2fbd3aa904
dashboard/config: enable POOL_DEBUG on OpenBSD ( #1113 )
...
POOL_DEBUG is disabled during release, but we want it unconditionally
enabled.
2019-04-05 16:44:34 -07:00
Dmitry Vyukov
13026d10f0
dashboard/config: add freebsd service script
2019-03-18 12:41:16 +01:00
Greg Steuck
16559f86f5
ci-openbsd-multicore: enable PF ( #1033 )
...
* pkg/build/openbsd: copy overlay files from userspaceDir into image
Fixes #1030
2019-03-05 09:08:17 -08:00
Anton Lindqvist
d75f7686f1
dashboard/config: enable WITNESS_LOCKTRACE on OpenBSD ( #987 )
...
This option will print all lock acquisition paths once a lock violation
is identified by witness[1].
[1] https://marc.info/?l=openbsd-cvs&m=154955230813384&w=2
2019-02-09 07:27:06 -08:00
Dmitry Vyukov
ffec3d1894
dashboard/config: add lsm= cmdline arg for stacked modules
...
It won't take effect right now as security= has precedence over lsm=.
But it won't harm too and later we will only need to remove security=.
Also it will work with this custom patch for syzbot:
https://groups.google.com/d/msg/syzkaller/BSgVCTSShRQ/E6lFuiDpFwAJ
Update #973
2019-02-01 19:43:52 +01:00
Dmitry Vyukov
aa53be276d
dashboard/config: prepare for stacked security modules
...
In linux-next security modules can be stacked.
TOMOYO is compatible with other modules and SAFESETID
module is added. But this is not yet in mainline.
Enable TOMOYO and SAFESETID.
There is no way to enable stacked modules in linux-next
while preserving the current behavior in mainline.
Once these changes reach mainline, we will need to replace
security cmdline arguments with lsm as follows:
lsm=yama,safesetid,integrity,selinux,tomoyo
lsm=yama,safesetid,integrity,smack,tomoyo
lsm=yama,safesetid,integrity,tomoyo,apparmor
2019-02-01 11:00:59 +01:00
Anton Lindqvist
ce1ccf9723
dashboard/config: enable witness on OpenBSD
...
Lets give this another try now that larger kernels can boot.
2019-01-24 07:38:43 +01:00
Dmitry Vyukov
7da2392541
pkg/report: support CONFIG_PRINTK_CALLER
...
CONFIG_PRINTK_CALLER has reached linux-next:
https://groups.google.com/d/msg/syzkaller/xEDUgkgFvL8/d5bBS3BJBwAJ
Enable CONFIG_PRINTK_CALLER and support parsing of its output format.
This gives us several advantages:
- output from different contexts don't intermix
- intermixed output doesn't cause corrupted reports
- we can keep larger prefix since we know it comes from the same task
Credit for the kernel part goes to Tetsuo Handa.
Also Sergey Senozhatsky and Petr Mladek for reviews of the kernel part.
Fixes #596
Fixes #600
2019-01-03 19:23:07 +01:00
Anton Lindqvist
752613e615
dashboard/config: enable LOCKF_DIAGNOSTIC on OpenBSD
2019-01-03 09:29:12 +01:00
Eric Biggers
f0491811f9
dashboard/config: enable more linux crypto configs
2019-01-02 11:24:46 +01:00
Dmitry Vyukov
6b761be059
dashboard/config: enable more linux net configs
...
Enable some BT/RXRPC/MAC80211/ISDN configs.
2018-12-29 19:22:34 +01:00
Dmitry Vyukov
c87e9eb9bd
dashboard/config: enable HSR and NUMA_EMU
2018-12-26 18:24:53 +01:00
Dmitry Vyukov
309bb18442
dashboard/config: moar networking configs
...
Add more x25 drivers, wlan, slip, caif and other stuff that I don't understand,
but syzkaller can potentially reach.
2018-12-24 18:56:06 +01:00
Dmitry Vyukov
dd61e58d94
sys/linux: extend AX25/ROSE/NETROM descriptions
2018-12-24 18:56:06 +01:00