Maxim Menshikov
Static analysis researcher and software engineer
Verification Example Framework
The growing list of examples for C/C++/RuC analysis & verification. To be open sourced.