跳到主要内容

OSSL_CMP_CTX_get_status

API 概述

OSSL_CMP_CTX_get_statusopenssl 中的一个API。该规属于return value check 类型。该规则是使用 AURC 生成的。

规则描述

提示

OSSL_CMP_CTX_get_option(), OSSL_CMP_CTX_reqExtensions_have_SAN(), OSSL_CMP_CTX_get_status(), and OSSL_CMP_CTX_get_failInfoCode() return the intended value as described above or -1 on error.

信息

标签:return value check

参数下标:N/A

CWE类别:CWE-253

规则代码

import cpp

class OpenSSLFunctionCall extends FunctionCall {
OpenSSLFunctionCall() {
this.getTarget().hasName("OSSL_CMP_CTX_get_status")
}
}

from OpenSSLFunctionCall call, UnaryOperation uop
where
uop.getOperator() = "!" and
uop.getOperand() = call.getAnAccess()
select uop, "This negation checks the return value of OSSL_CMP_CTX_get_status."