c - SAL を使用している場合、NULL チェックと境界チェックを削除できますか?

Question

SALはどこまで頼れる？する必要がありますか

NSTATUS my_func(_In_ int *p)
{
    if (NULL == p) {
        return STATUS_INVALID_PARAMETER;
    }
    *p = 1;
    return STATUS_SUCCESS;
}

または私はただすることができます

NTSTATUS my_func(_In_ int *p)
{
    *p = 1;
    return STATUS_SUCCESS;
}

Answer 1

SAL は、コンパイル時に静的チェックのみを提供します。これは、関連するすべてのコードに適切な注釈があり、チェックされていることを前提としています。これは、アプリケーションまたはモジュールの内部では問題ありませんが、他のライブラリとの境界には注意してください。