GSoC 18 - Kernel Undefined Behavior Sanitizer 1st report

[Harry Pantazis <luserx0%gmail.com@localhost>]

Greetings,

The first month of GSoC has been a great experience providing me with great knowledge and loads of fun. Here is a summary of the work produced within this past month:

• Added some ATF tests to check the userland UndefinedBehavior sanitizer,
• Wrote the example kernel module panic_string to familiarize with future needed concepts,
• Bug-checked the kernel with the -fsanitize=undefined flag included in the kernel config file, we got one,
• Added a kernel option and built the kernel against KUBSan with dummy functions.

Here is the link for the related article on the NetBSD Blog: https://blog.netbsd.org/tnf/entry/gsoc_2018_reports_kernel_undefined

Many thanks to Kamil for his ongoing efforts to turn me into a result-producing developer and to Christos for his top-notch advice.

Kind regards,

Harry