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