Anchor | ||||
---|---|---|---|---|
|
静的フロー解析とは
C++testの静的フロー解析は、複数の関数やファイルにまたがる全てのパス解析し、メモリ破壊などを引き起こすプログラムバグを自動で検出します。
[検出できるエラー]
メモリリーク / リソースリーク
未初期化変数の参照
NULLポインタの参照
バッファオーバーフロー / 配列の範囲外の書き込み
ゼロによる除算
コマンドインジェクション / SQLインジェクション
...
Anchor | ||||
---|---|---|---|---|
|
C++testの静的フロー解析は、複数の関数やファイルにまたがる全てのパス解析し、メモリ破壊などを引き起こすプログラムバグを自動で検出します。
[検出できるエラー]
メモリリーク / リソースリーク
未初期化変数の参照
NULLポインタの参照
バッファオーバーフロー / 配列の範囲外の書き込み
ゼロによる除算
コマンドインジェクション / SQLインジェクション
...