Dear all,


Dan Carpenter has accepted our invitation for the workshop to present the
static analysis tool smatch that he develops and continuously applies to
the kernel sources.

Introduction to Smatch (60 minutes)

This talk will give an overview of Smatch. How it compares to and
complements other static analysis tools. How to use Smatch. A brief
introduction to how Smatch works. Future work and ideas.


I am looking forward to learning more about his work.

Some more references:
- https://repo.or.cz/w/smatch.git
- https://lwn.net/Articles/691882/
- https://lwn.net/Articles/752408/
- https://blogs.oracle.com/linux/writing-the-ultimate-locking-check
- https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/log/?qt=author&q=Dan+Carpenter

Use the chance to set up smatch, run it and ask the developer of this tool
some intriguing questions.

Best regards,

Lukas