Home

Welcome to the kmsan wiki!

For build instructions refer to README.md

See also the trophies page.

Old bug writeups moved here:

1. First KMSAN bug
2. Bug in radix_tree_insert()
3. Bug in packet_bind_spkt()
4. Bug in epoll_ctl()
5. False positive in cfq_init_cfqq()