LibraryFunction.qll

import cpp

/**
 * A function is a possibleOpenSSLFunction
 * if the function's declaration exists in a subdirectory of any directory matching 'openssl' as a substring.
 */
predicate isPossibleOpenSSLFunction(Function f) {
  f.getADeclarationLocation().toString().toLowerCase().matches("%openssl%")
}

predicate openSSLLibraryFunc(Function f) {
  openSSLAPIFuncName(f.getName()) and
  isPossibleOpenSSLFunction(f)
}

/**
 * OpenSSL functions as defined in the OpenSSL docs
 * https://www.openssl.org/docs/manmaster/man3/
 */
predicate openSSLAPIFuncName(string name) {
  name = "ACCESS_DESCRIPTION_free"
  or
  name = "ACCESS_DESCRIPTION_new"
  or
  name = "ADMISSIONS"
  or
  name = "ADMISSIONS_free"
  or
  name = "ADMISSIONS_get0_admissionAuthority"
  or
  name = "ADMISSIONS_get0_namingAuthority"
  or
  name = "ADMISSIONS_get0_professionInfos"
  or
  name = "ADMISSIONS_new"
  or
  name = "ADMISSIONS_set0_admissionAuthority"
  or
  name = "ADMISSIONS_set0_namingAuthority"
  or
  name = "ADMISSIONS_set0_professionInfos"
  or
  name = "ADMISSION_SYNTAX"
  or
  name = "ADMISSION_SYNTAX_free"
  or
  name = "ADMISSION_SYNTAX_get0_admissionAuthority"
  or
  name = "ADMISSION_SYNTAX_get0_contentsOfAdmissions"
  or
  name = "ADMISSION_SYNTAX_new"
  or
  name = "ADMISSION_SYNTAX_set0_admissionAuthority"
  or
  name = "ADMISSION_SYNTAX_set0_contentsOfAdmissions"
  or
  name = "ASIdOrRange_free"
  or
  name = "ASIdOrRange_new"
  or
  name = "ASIdentifierChoice_free"
  or
  name = "ASIdentifierChoice_new"
  or
  name = "ASIdentifiers_free"
  or
  name = "ASIdentifiers_new"
  or
  name = "ASN1_AUX"
  or
  name = "ASN1_ENUMERATED_get"
  or
  name = "ASN1_ENUMERATED_get_int64"
  or
  name = "ASN1_ENUMERATED_set"
  or
  name = "ASN1_ENUMERATED_set_int64"
  or
  name = "ASN1_ENUMERATED_to_BN"
  or
  name = "ASN1_EXTERN_FUNCS"
  or
  name = "ASN1_GENERALIZEDTIME_adj"
  or
  name = "ASN1_GENERALIZEDTIME_check"
  or
  name = "ASN1_GENERALIZEDTIME_dup"
  or
  name = "ASN1_GENERALIZEDTIME_print"
  or
  name = "ASN1_GENERALIZEDTIME_set"
  or
  name = "ASN1_GENERALIZEDTIME_set_string"
  or
  name = "ASN1_INTEGER_free"
  or
  name = "ASN1_INTEGER_get"
  or
  name = "ASN1_INTEGER_get_int64"
  or
  name = "ASN1_INTEGER_get_uint64"
  or
  name = "ASN1_INTEGER_new"
  or
  name = "ASN1_INTEGER_set"
  or
  name = "ASN1_INTEGER_set_int64"
  or
  name = "ASN1_INTEGER_set_uint64"
  or
  name = "ASN1_INTEGER_to_BN"
  or
  name = "ASN1_ITEM"
  or
  name = "ASN1_ITEM_get"
  or
  name = "ASN1_ITEM_lookup"
  or
  name = "ASN1_OBJECT_free"
  or
  name = "ASN1_OBJECT_new"
  or
  name = "ASN1_PRINT_ARG"
  or
  name = "ASN1_STREAM_ARG"
  or
  name = "ASN1_STRING_TABLE"
  or
  name = "ASN1_STRING_TABLE_add"
  or
  name = "ASN1_STRING_TABLE_cleanup"
  or
  name = "ASN1_STRING_TABLE_get"
  or
  name = "ASN1_STRING_cmp"
  or
  name = "ASN1_STRING_data"
  or
  name = "ASN1_STRING_dup"
  or
  name = "ASN1_STRING_free"
  or
  name = "ASN1_STRING_get0_data"
  or
  name = "ASN1_STRING_length"
  or
  name = "ASN1_STRING_length_set"
  or
  name = "ASN1_STRING_new"
  or
  name = "ASN1_STRING_print"
  or
  name = "ASN1_STRING_print_ex"
  or
  name = "ASN1_STRING_print_ex_fp"
  or
  name = "ASN1_STRING_set"
  or
  name = "ASN1_STRING_to_UTF8"
  or
  name = "ASN1_STRING_type"
  or
  name = "ASN1_STRING_type_new"
  or
  name = "ASN1_TIME_adj"
  or
  name = "ASN1_TIME_check"
  or
  name = "ASN1_TIME_cmp_time_t"
  or
  name = "ASN1_TIME_compare"
  or
  name = "ASN1_TIME_diff"
  or
  name = "ASN1_TIME_dup"
  or
  name = "ASN1_TIME_normalize"
  or
  name = "ASN1_TIME_print"
  or
  name = "ASN1_TIME_print_ex"
  or
  name = "ASN1_TIME_set"
  or
  name = "ASN1_TIME_set_string"
  or
  name = "ASN1_TIME_set_string_X509"
  or
  name = "ASN1_TIME_to_generalizedtime"
  or
  name = "ASN1_TIME_to_tm"
  or
  name = "ASN1_TYPE_cmp"
  or
  name = "ASN1_TYPE_get"
  or
  name = "ASN1_TYPE_pack_sequence"
  or
  name = "ASN1_TYPE_set"
  or
  name = "ASN1_TYPE_set1"
  or
  name = "ASN1_TYPE_unpack_sequence"
  or
  name = "ASN1_UTCTIME_adj"
  or
  name = "ASN1_UTCTIME_check"
  or
  name = "ASN1_UTCTIME_cmp_time_t"
  or
  name = "ASN1_UTCTIME_dup"
  or
  name = "ASN1_UTCTIME_print"
  or
  name = "ASN1_UTCTIME_set"
  or
  name = "ASN1_UTCTIME_set_string"
  or
  name = "ASN1_add_oid_module"
  or
  name = "ASN1_aux_cb"
  or
  name = "ASN1_aux_const_cb"
  or
  name = "ASN1_ex_d2i"
  or
  name = "ASN1_ex_d2i_ex"
  or
  name = "ASN1_ex_free_func"
  or
  name = "ASN1_ex_i2d"
  or
  name = "ASN1_ex_new_ex_func"
  or
  name = "ASN1_ex_new_func"
  or
  name = "ASN1_ex_print_func"
  or
  name = "ASN1_generate_nconf"
  or
  name = "ASN1_generate_v3"
  or
  name = "ASN1_item_d2i"
  or
  name = "ASN1_item_d2i_bio"
  or
  name = "ASN1_item_d2i_bio_ex"
  or
  name = "ASN1_item_d2i_ex"
  or
  name = "ASN1_item_d2i_fp"
  or
  name = "ASN1_item_d2i_fp_ex"
  or
  name = "ASN1_item_i2d_mem_bio"
  or
  name = "ASN1_item_new"
  or
  name = "ASN1_item_new_ex"
  or
  name = "ASN1_item_pack"
  or
  name = "ASN1_item_sign"
  or
  name = "ASN1_item_sign_ctx"
  or
  name = "ASN1_item_sign_ex"
  or
  name = "ASN1_item_unpack"
  or
  name = "ASN1_item_unpack_ex"
  or
  name = "ASN1_item_verify"
  or
  name = "ASN1_item_verify_ctx"
  or
  name = "ASN1_item_verify_ex"
  or
  name = "ASN1_tag2str"
  or
  name = "ASRange_free"
  or
  name = "ASRange_new"
  or
  name = "ASYNC_STATUS_EAGAIN"
  or
  name = "ASYNC_STATUS_ERR"
  or
  name = "ASYNC_STATUS_OK"
  or
  name = "ASYNC_STATUS_UNSUPPORTED"
  or
  name = "ASYNC_WAIT_CTX_clear_fd"
  or
  name = "ASYNC_WAIT_CTX_free"
  or
  name = "ASYNC_WAIT_CTX_get_all_fds"
  or
  name = "ASYNC_WAIT_CTX_get_callback"
  or
  name = "ASYNC_WAIT_CTX_get_changed_fds"
  or
  name = "ASYNC_WAIT_CTX_get_fd"
  or
  name = "ASYNC_WAIT_CTX_get_status"
  or
  name = "ASYNC_WAIT_CTX_new"
  or
  name = "ASYNC_WAIT_CTX_set_callback"
  or
  name = "ASYNC_WAIT_CTX_set_status"
  or
  name = "ASYNC_WAIT_CTX_set_wait_fd"
  or
  name = "ASYNC_block_pause"
  or
  name = "ASYNC_callback_fn"
  or
  name = "ASYNC_cleanup_thread"
  or
  name = "ASYNC_get_current_job"
  or
  name = "ASYNC_get_mem_functions"
  or
  name = "ASYNC_get_wait_ctx"
  or
  name = "ASYNC_init_thread"
  or
  name = "ASYNC_is_capable"
  or
  name = "ASYNC_pause_job"
  or
  name = "ASYNC_set_mem_functions"
  or
  name = "ASYNC_stack_alloc_fn"
  or
  name = "ASYNC_stack_free_fn"
  or
  name = "ASYNC_start_job"
  or
  name = "ASYNC_unblock_pause"
  or
  name = "AUTHORITY_INFO_ACCESS_free"
  or
  name = "AUTHORITY_INFO_ACCESS_new"
  or
  name = "AUTHORITY_KEYID_free"
  or
  name = "AUTHORITY_KEYID_new"
  or
  name = "BASIC_CONSTRAINTS_free"
  or
  name = "BASIC_CONSTRAINTS_new"
  or
  name = "BF_cbc_encrypt"
  or
  name = "BF_cfb64_encrypt"
  or
  name = "BF_decrypt"
  or
  name = "BF_ecb_encrypt"
  or
  name = "BF_encrypt"
  or
  name = "BF_ofb64_encrypt"
  or
  name = "BF_options"
  or
  name = "BF_set_key"
  or
  name = "BIO_ADDR"
  or
  name = "BIO_ADDRINFO"
  or
  name = "BIO_ADDRINFO_address"
  or
  name = "BIO_ADDRINFO_family"
  or
  name = "BIO_ADDRINFO_free"
  or
  name = "BIO_ADDRINFO_next"
  or
  name = "BIO_ADDRINFO_protocol"
  or
  name = "BIO_ADDRINFO_socktype"
  or
  name = "BIO_ADDR_clear"
  or
  name = "BIO_ADDR_dup"
  or
  name = "BIO_ADDR_family"
  or
  name = "BIO_ADDR_free"
  or
  name = "BIO_ADDR_hostname_string"
  or
  name = "BIO_ADDR_new"
  or
  name = "BIO_ADDR_path_string"
  or
  name = "BIO_ADDR_rawaddress"
  or
  name = "BIO_ADDR_rawmake"
  or
  name = "BIO_ADDR_rawport"
  or
  name = "BIO_ADDR_service_string"
  or
  name = "BIO_accept_ex"
  or
  name = "BIO_append_filename"
  or
  name = "BIO_bind"
  or
  name = "BIO_callback_ctrl"
  or
  name = "BIO_callback_fn"
  or
  name = "BIO_callback_fn_ex"
  or
  name = "BIO_closesocket"
  or
  name = "BIO_connect"
  or
  name = "BIO_ctrl"
  or
  name = "BIO_ctrl_dgram_connect"
  or
  name = "BIO_ctrl_get_read_request"
  or
  name = "BIO_ctrl_get_write_guarantee"
  or
  name = "BIO_ctrl_pending"
  or
  name = "BIO_ctrl_reset_read_request"
  or
  name = "BIO_ctrl_set_connected"
  or
  name = "BIO_ctrl_wpending"
  or
  name = "BIO_debug_callback"
  or
  name = "BIO_debug_callback_ex"
  or
  name = "BIO_destroy_bio_pair"
  or
  name = "BIO_dgram_get_caps"
  or
  name = "BIO_dgram_get_effective_caps"
  or
  name = "BIO_dgram_get_local_addr_cap"
  or
  name = "BIO_dgram_get_local_addr_enable"
  or
  name = "BIO_dgram_get_mtu"
  or
  name = "BIO_dgram_get_mtu_overhead"
  or
  name = "BIO_dgram_get_no_trunc"
  or
  name = "BIO_dgram_get_peer"
  or
  name = "BIO_dgram_recv_timedout"
  or
  name = "BIO_dgram_send_timedout"
  or
  name = "BIO_dgram_set_caps"
  or
  name = "BIO_dgram_set_local_addr_enable"
  or
  name = "BIO_dgram_set_mtu"
  or
  name = "BIO_dgram_set_no_trunc"
  or
  name = "BIO_dgram_set_peer"
  or
  name = "BIO_do_accept"
  or
  name = "BIO_do_connect"
  or
  name = "BIO_do_connect_retry"
  or
  name = "BIO_do_handshake"
  or
  name = "BIO_eof"
  or
  name = "BIO_err_is_non_fatal"
  or
  name = "BIO_f_base64"
  or
  name = "BIO_f_brotli"
  or
  name = "BIO_f_buffer"
  or
  name = "BIO_f_cipher"
  or
  name = "BIO_f_md"
  or
  name = "BIO_f_null"
  or
  name = "BIO_f_prefix"
  or
  name = "BIO_f_readbuffer"
  or
  name = "BIO_f_ssl"
  or
  name = "BIO_f_zlib"
  or
  name = "BIO_f_zstd"
  or
  name = "BIO_find_type"
  or
  name = "BIO_flush"
  or
  name = "BIO_free"
  or
  name = "BIO_free_all"
  or
  name = "BIO_get_accept_ip_family"
  or
  name = "BIO_get_accept_name"
  or
  name = "BIO_get_accept_port"
  or
  name = "BIO_get_app_data"
  or
  name = "BIO_get_bind_mode"
  or
  name = "BIO_get_buffer_num_lines"
  or
  name = "BIO_get_callback"
  or
  name = "BIO_get_callback_arg"
  or
  name = "BIO_get_callback_ex"
  or
  name = "BIO_get_cipher_ctx"
  or
  name = "BIO_get_cipher_status"
  or
  name = "BIO_get_close"
  or
  name = "BIO_get_conn_address"
  or
  name = "BIO_get_conn_hostname"
  or
  name = "BIO_get_conn_int_port"
  or
  name = "BIO_get_conn_ip"
  or
  name = "BIO_get_conn_ip_family"
  or
  name = "BIO_get_conn_mode"
  or
  name = "BIO_get_conn_port"
  or
  name = "BIO_get_data"
  or
  name = "BIO_get_ex_data"
  or
  name = "BIO_get_ex_new_index"
  or
  name = "BIO_get_fd"
  or
  name = "BIO_get_fp"
  or
  name = "BIO_get_indent"
  or
  name = "BIO_get_info_callback"
  or
  name = "BIO_get_init"
  or
  name = "BIO_get_ktls_recv"
  or
  name = "BIO_get_ktls_send"
  or
  name = "BIO_get_line"
  or
  name = "BIO_get_md"
  or
  name = "BIO_get_md_ctx"
  or
  name = "BIO_get_mem_data"
  or
  name = "BIO_get_mem_ptr"
  or
  name = "BIO_get_new_index"
  or
  name = "BIO_get_num_renegotiates"
  or
  name = "BIO_get_peer_name"
  or
  name = "BIO_get_peer_port"
  or
  name = "BIO_get_read_request"
  or
  name = "BIO_get_retry_BIO"
  or
  name = "BIO_get_retry_reason"
  or
  name = "BIO_get_rpoll_descriptor"
  or
  name = "BIO_get_shutdown"
  or
  name = "BIO_get_ssl"
  or
  name = "BIO_get_wpoll_descriptor"
  or
  name = "BIO_get_write_buf_size"
  or
  name = "BIO_get_write_guarantee"
  or
  name = "BIO_gets"
  or
  name = "BIO_hostserv_priorities"
  or
  name = "BIO_info_cb"
  or
  name = "BIO_int_ctrl"
  or
  name = "BIO_listen"
  or
  name = "BIO_lookup"
  or
  name = "BIO_lookup_ex"
  or
  name = "BIO_lookup_type"
  or
  name = "BIO_make_bio_pair"
  or
  name = "BIO_meth_free"
  or
  name = "BIO_meth_get_callback_ctrl"
  or
  name = "BIO_meth_get_create"
  or
  name = "BIO_meth_get_ctrl"
  or
  name = "BIO_meth_get_destroy"
  or
  name = "BIO_meth_get_gets"
  or
  name = "BIO_meth_get_puts"
  or
  name = "BIO_meth_get_read"
  or
  name = "BIO_meth_get_read_ex"
  or
  name = "BIO_meth_get_recvmmsg"
  or
  name = "BIO_meth_get_sendmmsg"
  or
  name = "BIO_meth_get_write"
  or
  name = "BIO_meth_get_write_ex"
  or
  name = "BIO_meth_new"
  or
  name = "BIO_meth_set_callback_ctrl"
  or
  name = "BIO_meth_set_create"
  or
  name = "BIO_meth_set_ctrl"
  or
  name = "BIO_meth_set_destroy"
  or
  name = "BIO_meth_set_gets"
  or
  name = "BIO_meth_set_puts"
  or
  name = "BIO_meth_set_read"
  or
  name = "BIO_meth_set_read_ex"
  or
  name = "BIO_meth_set_recvmmsg"
  or
  name = "BIO_meth_set_sendmmsg"
  or
  name = "BIO_meth_set_write"
  or
  name = "BIO_meth_set_write_ex"
  or
  name = "BIO_method_type"
  or
  name = "BIO_new"
  or
  name = "BIO_new_CMS"
  or
  name = "BIO_new_accept"
  or
  name = "BIO_new_bio_dgram_pair"
  or
  name = "BIO_new_bio_pair"
  or
  name = "BIO_new_buffer_ssl_connect"
  or
  name = "BIO_new_connect"
  or
  name = "BIO_new_dgram"
  or
  name = "BIO_new_ex"
  or
  name = "BIO_new_fd"
  or
  name = "BIO_new_file"
  or
  name = "BIO_new_fp"
  or
  name = "BIO_new_from_core_bio"
  or
  name = "BIO_new_mem_buf"
  or
  name = "BIO_new_socket"
  or
  name = "BIO_new_ssl"
  or
  name = "BIO_new_ssl_connect"
  or
  name = "BIO_next"
  or
  name = "BIO_parse_hostserv"
  or
  name = "BIO_pending"
  or
  name = "BIO_pop"
  or
  name = "BIO_printf"
  or
  name = "BIO_ptr_ctrl"
  or
  name = "BIO_push"
  or
  name = "BIO_puts"
  or
  name = "BIO_read"
  or
  name = "BIO_read_ex"
  or
  name = "BIO_read_filename"
  or
  name = "BIO_recvmmsg"
  or
  name = "BIO_reset"
  or
  name = "BIO_retry_type"
  or
  name = "BIO_rw_filename"
  or
  name = "BIO_s_accept"
  or
  name = "BIO_s_bio"
  or
  name = "BIO_s_connect"
  or
  name = "BIO_s_core"
  or
  name = "BIO_s_datagram"
  or
  name = "BIO_s_dgram_mem"
  or
  name = "BIO_s_dgram_pair"
  or
  name = "BIO_s_fd"
  or
  name = "BIO_s_file"
  or
  name = "BIO_s_mem"
  or
  name = "BIO_s_null"
  or
  name = "BIO_s_secmem"
  or
  name = "BIO_s_socket"
  or
  name = "BIO_seek"
  or
  name = "BIO_sendmmsg"
  or
  name = "BIO_set"
  or
  name = "BIO_set_accept_bios"
  or
  name = "BIO_set_accept_ip_family"
  or
  name = "BIO_set_accept_name"
  or
  name = "BIO_set_accept_port"
  or
  name = "BIO_set_app_data"
  or
  name = "BIO_set_bind_mode"
  or
  name = "BIO_set_buffer_read_data"
  or
  name = "BIO_set_buffer_size"
  or
  name = "BIO_set_callback"
  or
  name = "BIO_set_callback_arg"
  or
  name = "BIO_set_callback_ex"
  or
  name = "BIO_set_cipher"
  or
  name = "BIO_set_close"
  or
  name = "BIO_set_conn_address"
  or
  name = "BIO_set_conn_hostname"
  or
  name = "BIO_set_conn_int_port"
  or
  name = "BIO_set_conn_ip"
  or
  name = "BIO_set_conn_ip_family"
  or
  name = "BIO_set_conn_mode"
  or
  name = "BIO_set_conn_port"
  or
  name = "BIO_set_data"
  or
  name = "BIO_set_ex_data"
  or
  name = "BIO_set_fd"
  or
  name = "BIO_set_fp"
  or
  name = "BIO_set_indent"
  or
  name = "BIO_set_info_callback"
  or
  name = "BIO_set_init"
  or
  name = "BIO_set_md"
  or
  name = "BIO_set_mem_buf"
  or
  name = "BIO_set_mem_eof_return"
  or
  name = "BIO_set_nbio"
  or
  name = "BIO_set_nbio_accept"
  or
  name = "BIO_set_next"
  or
  name = "BIO_set_prefix"
  or
  name = "BIO_set_read_buffer_size"
  or
  name = "BIO_set_retry_reason"
  or
  name = "BIO_set_shutdown"
  or
  name = "BIO_set_ssl"
  or
  name = "BIO_set_ssl_mode"
  or
  name = "BIO_set_ssl_renegotiate_bytes"
  or
  name = "BIO_set_ssl_renegotiate_timeout"
  or
  name = "BIO_set_tfo"
  or
  name = "BIO_set_tfo_accept"
  or
  name = "BIO_set_write_buf_size"
  or
  name = "BIO_set_write_buffer_size"
  or
  name = "BIO_should_io_special"
  or
  name = "BIO_should_read"
  or
  name = "BIO_should_retry"
  or
  name = "BIO_should_write"
  or
  name = "BIO_shutdown_wr"
  or
  name = "BIO_snprintf"
  or
  name = "BIO_socket"
  or
  name = "BIO_socket_wait"
  or
  name = "BIO_ssl_copy_session_id"
  or
  name = "BIO_ssl_shutdown"
  or
  name = "BIO_tell"
  or
  name = "BIO_up_ref"
  or
  name = "BIO_vfree"
  or
  name = "BIO_vprintf"
  or
  name = "BIO_vsnprintf"
  or
  name = "BIO_wait"
  or
  name = "BIO_wpending"
  or
  name = "BIO_write"
  or
  name = "BIO_write_ex"
  or
  name = "BIO_write_filename"
  or
  name = "BN_BLINDING_convert"
  or
  name = "BN_BLINDING_convert_ex"
  or
  name = "BN_BLINDING_create_param"
  or
  name = "BN_BLINDING_free"
  or
  name = "BN_BLINDING_get_flags"
  or
  name = "BN_BLINDING_get_thread_id"
  or
  name = "BN_BLINDING_invert"
  or
  name = "BN_BLINDING_invert_ex"
  or
  name = "BN_BLINDING_is_current_thread"
  or
  name = "BN_BLINDING_lock"
  or
  name = "BN_BLINDING_new"
  or
  name = "BN_BLINDING_set_current_thread"
  or
  name = "BN_BLINDING_set_flags"
  or
  name = "BN_BLINDING_set_thread_id"
  or
  name = "BN_BLINDING_thread_id"
  or
  name = "BN_BLINDING_unlock"
  or
  name = "BN_BLINDING_update"
  or
  name = "BN_CTX_end"
  or
  name = "BN_CTX_free"
  or
  name = "BN_CTX_get"
  or
  name = "BN_CTX_init"
  or
  name = "BN_CTX_new"
  or
  name = "BN_CTX_new_ex"
  or
  name = "BN_CTX_secure_new"
  or
  name = "BN_CTX_secure_new_ex"
  or
  name = "BN_CTX_start"
  or
  name = "BN_GENCB_call"
  or
  name = "BN_GENCB_free"
  or
  name = "BN_GENCB_get_arg"
  or
  name = "BN_GENCB_new"
  or
  name = "BN_GENCB_set"
  or
  name = "BN_GENCB_set_old"
  or
  name = "BN_MONT_CTX_copy"
  or
  name = "BN_MONT_CTX_free"
  or
  name = "BN_MONT_CTX_init"
  or
  name = "BN_MONT_CTX_new"
  or
  name = "BN_MONT_CTX_set"
  or
  name = "BN_RECP_CTX_free"
  or
  name = "BN_RECP_CTX_init"
  or
  name = "BN_RECP_CTX_new"
  or
  name = "BN_RECP_CTX_set"
  or
  name = "BN_abs_is_word"
  or
  name = "BN_add"
  or
  name = "BN_add_word"
  or
  name = "BN_are_coprime"
  or