This project is in an early prototyping state. I currently don't want to keep it secret but I also don't want to draw attention to it just yet. I hope you will handle this the same way for now.
PVS-Studio - static analyzer for C, C++, C#, and Java code.