I started working on static analysis tools when other tools failed to help fix bugs in the driver. This event inspired the creation of “Codename Race” tool. It used Roslyn to parse Linux drivers and find race conditions there. The very pre-release version helped fix the issue on time.
The newest project is Equid, a generic-purpose static analyzer. It is fun to develop and, hopefully, it will be useful in real-world scenarios. I build the infrastructure around it, so it is not just one project. It is plenty of them.