静的フロー解析とは

C++testの静的フロー解析は、複数の関数やファイルにまたがる全てのパス解析し、メモリ破壊などを引き起こすプログラムバグを自動で検出します。

[検出できるエラー]

• メモリリーク / リソースリーク

• 未初期化変数の参照

• NULLポインタの参照

• バッファオーバーフロー / 配列の範囲外の書き込み

• ゼロによる除算

• コマンドインジェクション / SQLインジェクション

Open