PKCS12_SAFEBAG_get_nid
API 概述
PKCS12_SAFEBAG_get_nid 是 openssl 中的一个API。该规属于return value check 类型。该规则是使用 AURC 生成的。
规则描述
提示
PKCS12_SAFEBAG_get_nid() and PKCS12_SAFEBAG_get_bag_nid() return the NID of the safeBag or bag object, or -1 if there is no corresponding NID. Other functions return a valid object of the specified type or NULL if an error occurred.
信息
标签:return value check
参数下标:N/A
CWE类别:CWE-253
规则代码
import cpp
class OpenSSLFunctionCall extends FunctionCall {
OpenSSLFunctionCall() {
this.getTarget().hasName("PKCS12_SAFEBAG_get_nid")
}
}
from OpenSSLFunctionCall call, UnaryOperation uop
where
uop.getOperator() = "!" and
uop.getOperand() = call.getAnAccess()
select uop, "This negation checks the return value of PKCS12_SAFEBAG_get_nid."