C and C++

LANG.STRUCT.RFCESH : Return from Computational Exception Signal Handler

要旨

Control can return from a function used as a computational exception signal handler. Behavior is undefined when this occurs.

プロパティ

クラス名 Return from Computational Exception Signal Handler
日本語クラス名 Return from Computational Exception Signal Handler
クラス分類 セキュリティ (security)
ニーモニック LANG.STRUCT.RFCESH
カテゴリー
CERT-C CERT-C:SIG35-C Do not return from a computational exception signal handler
対応言語 C および C++ で利用可能です。
有効/無効設定 このワーニングクラスのチェックはデフォルトで無効になっています。チェックを有効にするにはプロジェクト設定ファイル （configuration file）に以下の WARNING_FILTER ルールを追加してください。 
WARNING_FILTER += allow class="Return from Computational Exception Signal Handler"

例 

#include <signal.h>
#include <stdlib.h>

void handle_return(int s) {
    /* do error handling */
}

void handle_somereturn(int s) {
    /* do error handling */
    if (s < 5){
        exit(1);
    }
}

void handle_noreturn(int s) {
    /* do error handling */
    exit(1);
}

void lang_struct_rfcesh() {
    signal(SIGILL, handle_return);      /* 'Return from Computational Exception Signal Handler' warning issued here */
    signal(SIGILL, handle_somereturn);  /* 'Return from Computational Exception Signal Handler' warning issued here */
    signal(SIGILL, handle_noreturn);                        /* ok: control doesn't return from handle_noreturn() on any path */
}

関連のある設定ファイルパラメータ

設定ファイルの以下のパラメータがこのワーニングクラスのチェックに影響します。