Good afternoon, I am interested in contributing to smatch, especially with regards to spectre v1 vulnerability detection in the Linux kernel. I looked through the repository and found a small amount of information on the project and current development efforts, but most of it was with regards to sparse. Anyway, how can I get started? Do you have any recommendations with regards to relevant resources? Best, Joel Savitz
