lkl / linux

Linux kernel source tree

Home Page:https://lkl.github.io/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

KASAN support?

jmberg opened this issue · comments

I managed to compile with normal -fsanitize=address, but of course that's not very useful since we have our own allocator and thus nothing will really happen. For KASAN, a few things are required, just wondering if you'd looked at that already.

@jmberg no I personally have never tried. @tavip ?

I found somebody worked on supporting KASAN.

https://taesoo.kim/pubs/2019/xu:janus.pdf

@jmberg did you have luck with enabling KASAN?

I also looked at janus source code, but since it only has one commit for lkl, it's hard to know what was changed from the "mainline" LKL.

Nope, sorry, I have long given up on LKL for my purposes.

There was another attempt for KASAN in UML, from somebody at Google (and I was a bit trying to help), but that kind of faded out after we couldn't get modules to work properly (edit: and there were some other issues with vmalloc too, iirc).

@jmberg thanks for the reply. Well, it's a shame. I have skimmed through the git history of Hydra's LKL repository, and can't see any changes in regard of (k)asan support, even though they told in their research paper that they had added/ported it to work with LKL. Maybe I will email the authors.