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 2fbd3aa904
.
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
Dmitry Vyukov
b025ab82d2
dashboard/config: enable more net configs
...
Enable some more net configs that we can potentially reach.
Update to latest kernel.
2018-12-24 09:59:56 +01:00
Greg Steuck
a8b6d1af46
pkg/build/openbsd: always make clean to manage config in tree
...
clean build barely takes 3 minutes end-to-end on our CI machine.
Undo debug options which caused prevented kernels from booting on GCE.
2018-12-19 17:15:31 +01:00
Greg Steuck
67c1ac5222
dashboard/config: store kernel configs in tree
...
* sus/openbsd: store kernel configs in tree
They now include https://man.openbsd.org/witness per suggestion from
@mptre
* LOCKF_DIAGNOSTIC while we are at it.
* Moved to a better place.
2018-12-18 10:35:29 +01:00
Dmitry Vyukov
961cbc6f40
dashboard/config: update kernel configs to latest kernel
2018-12-12 13:05:51 +01:00
Dmitry Vyukov
1df0de78f9
dashboard/config: add spec_store_bypass_disable=prctl
...
Opens more interesting kernel surface.
2018-11-17 15:46:36 -08:00
Dmitry Vyukov
58fb30b383
dashboard/config: enable more drm configs
...
There are 2 important virtual drm drivers:
CONFIG_DRM_VKMS
CONFIG_DRM_VGEM
VGEM was already enabled, enable VKMS.
Also enable few other configs that look like
we can potentially reach them.
2018-11-15 14:20:49 -08:00
Dmitry Vyukov
f3c4e61859
sys/linux: add vimc/vivid/vim2m/vicodec/swradio/radio/vbi/cec devices
...
Create planar and non-planar vivid devices.
Create each for each test process.
Add swradio/radio/vbi/cec media devices.
2018-11-10 10:38:39 -08:00