NoVerify
ロシアのVK.com社が開発する静的解析ツール。
https://github.com/VKCOM/noverify