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
End of conversation
New conversation -
-
-
Yup, I tried it this morning. "noderef" is similarly supported and ALSO blows up in percpu. It looks like there need to be some type-mangling macros built to handle the transitions between address spaces, etc. *adds to the TODO list*
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
FWIW we added __seg_fs and __seg_gs for GCC compat. Not sure that’s useful to you.
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.