Anton Lindqvist (@mptre) 's Twitter Profile
Anton Lindqvist

@mptre

KTH alumni. OpenBSD developer.

ID: 5497632

calendar_today25-04-2007 13:40:15

21 Tweet

700 Followers

42 Following

Bryan Steele 🦋 (@canadianbryan) 's Twitter Profile Photo

Anton Lindqvist (anton@) "Add kcov(4), a kernel code coverage tracing driver. It's used in conjunction with the #syzkaller kernel fuzzer. So far, 8 distinct panics have been found and fixed. This effort will continue." #OpenBSD marc.info/?l=openbsd-cvs…

Anton Lindqvist (@mptre) 's Twitter Profile Photo

Slides for my "Fuzzing the OpenBSD Kernel" presentation held at the Stockholm BSD meetup this evening: mptre.github.io/talks/obsd-fuz…

Bryan Steele 🦋 (@canadianbryan) 's Twitter Profile Photo

Anton Lindqvist (anton@) "Add kubsan(4), a undefined behavior sanitizer for the kernel. It's capable of detecting undefined behavior at runtime and all findings are printed to the system console, including the offending line in the source code." #OpenBSD marc.info/?l=openbsd-cvs…

Bryan Steele 🦋 (@canadianbryan) 's Twitter Profile Photo

Support for remote coverage had been added to #OpenBSD's kcov(4) kernel code coverage tracing driver. Full commit: marc.info/?l=openbsd-cvs… #syzkaller #fuzzing HT Anton Lindqvist ☺️

OpenBSD src Changes (@openbsd_src) 's Twitter Profile Photo

anton@ modified sys/dev/kcov.c: Collect coverage from interrupts. Currently limited to remote sections which allows coverage of timeouts executed from softclock to be collected. During boot, a dedicated coverage buffer per CPU is allocated which is used to collect coverage in...

OpenBSD src Changes (@openbsd_src) 's Twitter Profile Photo

anton@ changed s*: Add uhidpp(4), a driver for Logitech HID++ devices. Currently limited to exposing battery sensors for HID++ 2.0 devices. Most of the code is derived from the hid-logitech-hidpp Linux driver. Thanks to Ville Valkonen <weezeldinga at gmail dot com> for testing...

OpenBSD src Changes (@openbsd_src) 's Twitter Profile Photo

anton@ changed sys: Add ucc(4), a driver for USB HID Consumer Control keyboards. Such keyboard is a pseudo device which is used to expose audio and application launch keys. My prime motivation is to get the volume mute, increment and decrement keys to just work on my keyboard...

Anton Lindqvist (@mptre) 's Twitter Profile Photo

New quite packed release of knfmt. Most notably, it can interoperate with clang-format. Only a subset of its style options are currently supported. github.com/mptre/knfmt/re…