跳到主要内容

X509_NAME_print_ex_fp

API 概述

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

规则描述

提示

X509_NAME_print_ex() and X509_NAME_print_ex_fp() return 1 on success or 0 on error if the B<XN_FLAG_COMPAT> is set, which is the same as X509_NAME_print(). Otherwise, it returns -1 on error or other values on success.

信息

标签:return value check

参数下标:N/A

CWE类别:CWE-253

规则代码

import cpp

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

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