ControlFlag

github.com
japan.zdnet.com
Intelが社内で使っていたという自動コードデバッグツールがオープンソースとして公開された。
似たような製品としてはCoverityがあるが、こちらでは機械学習で学習したデータをもとに検出するという。
さっそくGitHubにあるドキュメントを見てみたが、動作環境としてはLinuxがMacOSだという。
うーん、MacOSではあまりこういったビルドはしたことないから、まずは環境を準備するところから始めないと。