IO.SOCK.STATE : 不適切な状態でのソケット操作

JavaScript is not currently enabled, but is required for full CodeSonar manual search and browse functionality.

If you are viewing this file in your hub's Web GUI, enable JavaScript in your browser: you will also need it for GUI functionality.

If you opened this file directly from disk, your browser may be directly suppressing JavaScript functionality: certain browsers perform this suppression on local files (but not files delivered by web servers) for security reasons.

If you access the manual through the hub's Web GUI, the functionality will not be suppressed because the hub is a web server.
Alternatively, your browser may allow you to explicitly disable the security setting that suppresses functionality. See the CodeSonar FAQ for more information.

CodeSonar^® 9.2p0

CONFIDENTIAL

CodeSecure Inc

IO.SOCK.STATE : 不適切な状態でのソケット操作

要旨

ソケット操作が、その操作に対して適切ではない状態で実行されています。

プロパティ

MisraC2025

MisraC2025:D.4.13

Functions which are designed to provide operations on a resource should be called in an appropriate sequence

MisraC2023

MisraC2023:D.4.13

Functions which are designed to provide operations on a resource should be called in an appropriate sequence

Misra2012

Misra2012:D.4.13

Functions which are designed to provide operations on a resource should be called in an appropriate sequence

MisraC++2023

MisraC++2023:0.3.2

A function call shall not violate the function's preconditions

CWE

CWE:666

Operation on Resource in Wrong Phase of Lifetime

CWE:696

Incorrect Behavior Order

例

#include <sys/socket.h>
#include <unistd.h>

int listen_no_bind(void){
    int sock = socket(PF_LOCAL, SOCK_STREAM, 0);
    struct sockaddr a;
    socklen_t alen = sizeof(struct sockaddr);
    int res;

    if (sock < 0 ) return -1;
    res = listen(sock, SOMAXCONN); /* 'Socket In Wrong State' warning issued here
                                    * - socket has not been bound
                                    */
    close(sock);
    return res;
}


int listen_after_bind(void){
    int sock = socket(PF_LOCAL, SOCK_STREAM, 0);
    struct sockaddr a;
    socklen_t alen = sizeof(struct sockaddr);
    int res;

    if (sock < 0 ) return -1;
    res = bind(sock, &a, alen);
    if (res >= 0){
      res = listen(sock, SOMAXCONN);               /* ok: socket has been bound with bind() */
    }
    close(sock);
    return res;
}

ワーニングを引き起こす関数

ワーニングを引き起こす関数	ワーニングが引き起こされる時
int accept(int s, struct sockaddr addr, socklen_t addrlen)	ソケットが listen() により listen 状態となっていない場合
int bind(int sockfd, void *my_addr, int addrlen);	ソケットの sockfd が socket() によって初期化されていない場合
int connect(int sockfd, const struct sockaddr *serv_addr, socklen_t addrlen)	ソケットの sockfd が既に（listen() 呼び出しにより） listen 状態となっている場合
int listen(int sockfd, int backlog);	ソケット sockfd が bind() により bind 状態となっていない場合
int recv(int sockfd, void *buf, size_t len, int flags)	ソケット sockfd が connect() により connect 状態となっていない場合
int send(int s, const void *msg, size_t len, int flags)	ソケット sockfd が connect() により connect 状態となっていない場合

ワーニングが引き起こされる時

int accept(int s, struct sockaddr *addr, socklen_t *addrlen)

ソケットが listen() により listen 状態となっていない場合

int bind(int sockfd, void *my_addr, int addrlen);

ソケットの sockfd が socket() によって初期化されていない場合

int connect(int sockfd, const struct sockaddr *serv_addr, socklen_t addrlen)

ソケットの sockfd が既に（listen() 呼び出しにより） listen 状態となっている場合

int listen(int sockfd, int backlog);

ソケット sockfd が bind() により bind 状態となっていない場合

int recv(int sockfd, void *buf, size_t len, int flags)

ソケット sockfd が connect() により connect 状態となっていない場合

int send(int s, const void *msg, size_t len, int flags)

ソケット sockfd が connect() により connect 状態となっていない場合

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

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