SV.STRBO.BOUND_COPY.UNTERM

次の文字列演算でバッファ オーバーフローの可能性があります

この欠陥は、バインドされたコピー操作によってバッファサイズのオーバーフローは起きないが、文字列 null 終了文字のバッファにスペースが残されないと報告されます。SV.STRBO.BOUND_COPY.UNTERM チェッカーは、文字列コピー操作 strncpy、StrnCpy、safe_strcpy の後、バッファ内に null 終了文字のスペースがないと、この状況を検出します。

脆弱性とリスク

文字列が null で終端されない場合、バインドされていない文字列操作に続いてバッファオーバーランが発生する可能性があります。

脆弱コード例

コピー 
 #include <string.h>
 int main(int argc, char* argv[]){
   char foo[10];
   strncpy(foo, "1234567890", sizeof(foo));
 }

この例では、バッファ foo 内で null 終了文字のスペースがないため、4 行目に SV.STRBO.BOUND_COPY.UNTERM が報告されています。

修正コード例 1

コピー 
 #include <string.h>
 int main(int argc, char* argv[]){
   char foo[12];
   strncpy(foo, "1234567890", sizeof(foo));
 }

以上のように修正することで、文字列のコピー後に strncpy 関数でバッファに対する null 終端文字を配置できます。sizeof(foo) が、ソース文字列長より大きい値を返すためです。

関連チェッカー

外部参考資料

セキュリティトレーニング

Secure Code Warrior が提供しているアプリケーションセキュリティトレーニング教材。