>>291
CLANGの動的解析のASANは、メモリ保護機能を使っていると思ったけど。
だから、使える環境に制限があるのですよ。

CLANGの静的解析機能も強力なのですよ。未初期化変数などはもちろんのこと
メモリリーク（mallocしたけど、それを開放するパスがない）や
戻り値が不定になるパスも検出できるし。