I wrote a post: "Case study: Searching for a vulnerability pattern in the Linux kernel".
It's a funny story about #syzkaller, @Semmle @LGTM, Coccinelle and a "public 0day".https://a13xp0p0v.github.io/2019/08/10/cfu.html …
But clang doesn't seem to have a way to write something like "__attribute__((address_space(0))) typeof(blah)" where "blah" has a type with a different explicit address space (it errors out because of the conflicting address spaces), and some stuff like that.
-
-
so things like percpu_from_op() are messy to fix up
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Exactly. :( FWIW, here's what I used for testing builds: https://git.kernel.org/pub/scm/linux/kernel/git/kees/linux.git/log/?h=clang/address_space …
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.