I would like to contribute to smatch

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