mirror of
https://github.com/github/codeql.git
synced 2026-04-26 01:05:15 +02:00
C++: Regenerate the models for OpenSSL and sqlite after excluding tests in model-generation (sqlite is unaffected).
This commit is contained in:
Mathias Vorreiter Pedersen
@@ -5110,22 +5110,6 @@ extensions:
|
||||
- ["", "", True, "OSSL_ROLE_SPEC_CERT_ID_SYNTAX_free", "(OSSL_ROLE_SPEC_CERT_ID_SYNTAX *)", "", "Argument[0]", "Argument[*0]", "value", "df-generated"]
|
||||
- ["", "", True, "OSSL_ROLE_SPEC_CERT_ID_free", "(OSSL_ROLE_SPEC_CERT_ID *)", "", "Argument[*0]", "Argument[0]", "value", "df-generated"]
|
||||
- ["", "", True, "OSSL_ROLE_SPEC_CERT_ID_free", "(OSSL_ROLE_SPEC_CERT_ID *)", "", "Argument[0]", "Argument[*0]", "value", "df-generated"]
|
||||
- ["", "", True, "OSSL_SELF_TEST_get_callback", "(OSSL_LIB_CTX *,OSSL_CALLBACK **,void **)", "", "Argument[*0]", "Argument[**2]", "taint", "df-generated"]
|
||||
- ["", "", True, "OSSL_SELF_TEST_get_callback", "(OSSL_LIB_CTX *,OSSL_CALLBACK **,void **)", "", "Argument[*0]", "Argument[*1]", "taint", "df-generated"]
|
||||
- ["", "", True, "OSSL_SELF_TEST_get_callback", "(OSSL_LIB_CTX *,OSSL_CALLBACK **,void **)", "", "Argument[*0]", "Argument[*2]", "taint", "df-generated"]
|
||||
- ["", "", True, "OSSL_SELF_TEST_new", "(OSSL_CALLBACK *,void *)", "", "Argument[**1]", "ReturnValue[*].Field[***cb_arg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "OSSL_SELF_TEST_new", "(OSSL_CALLBACK *,void *)", "", "Argument[*1]", "ReturnValue[*].Field[**cb_arg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "OSSL_SELF_TEST_new", "(OSSL_CALLBACK *,void *)", "", "Argument[0]", "ReturnValue[*].Field[*cb]", "value", "dfc-generated"]
|
||||
- ["", "", True, "OSSL_SELF_TEST_new", "(OSSL_CALLBACK *,void *)", "", "Argument[1]", "ReturnValue[*].Field[*cb_arg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "OSSL_SELF_TEST_onbegin", "(OSSL_SELF_TEST *,const char *,const char *)", "", "Argument[*1]", "Argument[*0].Field[**type]", "value", "dfc-generated"]
|
||||
- ["", "", True, "OSSL_SELF_TEST_onbegin", "(OSSL_SELF_TEST *,const char *,const char *)", "", "Argument[*1]", "Argument[*0].Field[*params].Field[**data]", "value", "dfc-generated"]
|
||||
- ["", "", True, "OSSL_SELF_TEST_onbegin", "(OSSL_SELF_TEST *,const char *,const char *)", "", "Argument[*2]", "Argument[*0].Field[**desc]", "value", "dfc-generated"]
|
||||
- ["", "", True, "OSSL_SELF_TEST_onbegin", "(OSSL_SELF_TEST *,const char *,const char *)", "", "Argument[*2]", "Argument[*0].Field[*params].Field[**data]", "value", "dfc-generated"]
|
||||
- ["", "", True, "OSSL_SELF_TEST_onbegin", "(OSSL_SELF_TEST *,const char *,const char *)", "", "Argument[1]", "Argument[*0].Field[*params].Field[*data]", "value", "dfc-generated"]
|
||||
- ["", "", True, "OSSL_SELF_TEST_onbegin", "(OSSL_SELF_TEST *,const char *,const char *)", "", "Argument[1]", "Argument[*0].Field[*type]", "value", "dfc-generated"]
|
||||
- ["", "", True, "OSSL_SELF_TEST_onbegin", "(OSSL_SELF_TEST *,const char *,const char *)", "", "Argument[2]", "Argument[*0].Field[*desc]", "value", "dfc-generated"]
|
||||
- ["", "", True, "OSSL_SELF_TEST_onbegin", "(OSSL_SELF_TEST *,const char *,const char *)", "", "Argument[2]", "Argument[*0].Field[*params].Field[*data]", "value", "dfc-generated"]
|
||||
- ["", "", True, "OSSL_SELF_TEST_oncorrupt_byte", "(OSSL_SELF_TEST *,unsigned char *)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "OSSL_STORE_INFO_get0_CERT", "(const OSSL_STORE_INFO *)", "", "Argument[*0].Field[*_].Union[*(unnamed class/struct/union)]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["", "", True, "OSSL_STORE_INFO_get0_CERT", "(const OSSL_STORE_INFO *)", "", "Argument[*0].Field[*_].Union[**(unnamed class/struct/union)]", "ReturnValue[*]", "value", "dfc-generated"]
|
||||
- ["", "", True, "OSSL_STORE_INFO_get0_CRL", "(const OSSL_STORE_INFO *)", "", "Argument[*0].Field[*_].Union[*(unnamed class/struct/union)]", "ReturnValue", "value", "dfc-generated"]
|
||||
@@ -7222,10 +7206,6 @@ extensions:
|
||||
- ["", "", True, "SSL_SESSION_set_time_ex", "(SSL_SESSION *,time_t)", "", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["", "", True, "SSL_SESSION_set_timeout", "(SSL_SESSION *,long)", "", "Argument[1]", "Argument[*0].Field[*calc_timeout].Field[*t]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "SSL_SESSION_set_timeout", "(SSL_SESSION *,long)", "", "Argument[1]", "Argument[*0].Field[*timeout].Field[*t]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "SSL_TEST_CTX_create", "(const CONF *,const char *,OSSL_LIB_CTX *)", "", "Argument[*2]", "ReturnValue[*].Field[**libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "SSL_TEST_CTX_create", "(const CONF *,const char *,OSSL_LIB_CTX *)", "", "Argument[2]", "ReturnValue[*].Field[*libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "SSL_TEST_CTX_new", "(OSSL_LIB_CTX *)", "", "Argument[*0]", "ReturnValue[*].Field[**libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "SSL_TEST_CTX_new", "(OSSL_LIB_CTX *)", "", "Argument[0]", "ReturnValue[*].Field[*libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "SSL_accept", "(SSL *)", "", "Argument[0]", "Argument[*0].Field[**waitctx].Field[*callback_arg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "SSL_add1_host", "(SSL *,const char *)", "", "Argument[*1]", "Argument[*0].Field[**param].Field[**ip]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "SSL_add1_host", "(SSL *,const char *)", "", "Argument[1]", "Argument[*0].Field[**param].Field[**ip]", "taint", "dfc-generated"]
|
||||
@@ -7580,13 +7560,6 @@ extensions:
|
||||
- ["", "", True, "SSL_write_ex", "(SSL *,const void *,size_t,size_t *)", "", "Argument[0]", "Argument[*0].Field[**waitctx].Field[*callback_arg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "SSL_write_ex", "(SSL *,const void *,size_t,size_t *)", "", "Argument[2]", "Argument[*3]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "SSL_write_ex", "(SSL *,const void *,size_t,size_t *)", "", "Argument[3]", "Argument[*3]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "STACK_OF_X509_cmp", "(const stack_st_X509 *,const stack_st_X509 *)", "", "Argument[*0].Field[*num]", "ReturnValue", "taint", "dfc-generated"]
|
||||
- ["", "", True, "STACK_OF_X509_cmp", "(const stack_st_X509 *,const stack_st_X509 *)", "", "Argument[*1].Field[*num]", "ReturnValue", "taint", "dfc-generated"]
|
||||
- ["", "", True, "STACK_OF_X509_push1", "(stack_st_X509 *,X509 *)", "", "Argument[*0]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["", "", True, "STACK_OF_X509_push1", "(stack_st_X509 *,X509 *)", "", "Argument[*1]", "Argument[*0]", "taint", "df-generated"]
|
||||
- ["", "", True, "STACK_OF_X509_push1", "(stack_st_X509 *,X509 *)", "", "Argument[*1]", "Argument[1]", "value", "df-generated"]
|
||||
- ["", "", True, "STACK_OF_X509_push1", "(stack_st_X509 *,X509 *)", "", "Argument[1]", "Argument[*0]", "taint", "df-generated"]
|
||||
- ["", "", True, "STACK_OF_X509_push1", "(stack_st_X509 *,X509 *)", "", "Argument[1]", "Argument[*1]", "value", "df-generated"]
|
||||
- ["", "", True, "SXNETID_free", "(SXNETID *)", "", "Argument[*0]", "Argument[0]", "value", "df-generated"]
|
||||
- ["", "", True, "SXNETID_free", "(SXNETID *)", "", "Argument[0]", "Argument[*0]", "value", "df-generated"]
|
||||
- ["", "", True, "SXNET_add_id_INTEGER", "(SXNET **,ASN1_INTEGER *,const char *,int)", "", "Argument[*0]", "Argument[**0]", "value", "df-generated"]
|
||||
@@ -8904,11 +8877,6 @@ extensions:
|
||||
- ["", "", True, "a2i_IPADDRESS", "(const char *)", "", "Argument[0]", "ReturnValue[*].Field[**data]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "a2i_IPADDRESS_NC", "(const char *)", "", "Argument[*0]", "ReturnValue[*].Field[**data]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "a2i_IPADDRESS_NC", "(const char *)", "", "Argument[0]", "ReturnValue[*].Field[**data]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "add_certbag", "(PKCS12_BUILDER *,const unsigned char *,int,const PKCS12_ATTR *)", "", "Argument[*1]", "Argument[1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "add_certbag", "(PKCS12_BUILDER *,const unsigned char *,int,const PKCS12_ATTR *)", "", "Argument[2]", "Argument[1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "add_keybag", "(PKCS12_BUILDER *,const unsigned char *,int,const PKCS12_ATTR *,const PKCS12_ENC *)", "", "Argument[*1]", "Argument[1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "add_keybag", "(PKCS12_BUILDER *,const unsigned char *,int,const PKCS12_ATTR *,const PKCS12_ENC *)", "", "Argument[2]", "Argument[1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "add_secretbag", "(PKCS12_BUILDER *,int,const char *,const PKCS12_ATTR *)", "", "Argument[3]", "Argument[*3]", "taint", "df-generated"]
|
||||
- ["", "", True, "app_http_get_asn1", "(const char *,const char *,const char *,SSL_CTX *,const stack_st_CONF_VALUE *,long,const char *,const ASN1_ITEM *)", "", "Argument[*7]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["", "", True, "app_http_get_asn1", "(const char *,const char *,const char *,SSL_CTX *,const stack_st_CONF_VALUE *,long,const char *,const ASN1_ITEM *)", "", "Argument[*7]", "ReturnValue[*]", "taint", "df-generated"]
|
||||
- ["", "", True, "app_http_post_asn1", "(const char *,const char *,const char *,const char *,const char *,SSL_CTX *,const stack_st_CONF_VALUE *,const char *,ASN1_VALUE *,const ASN1_ITEM *,const char *,long,const ASN1_ITEM *)", "", "Argument[*12]", "ReturnValue", "taint", "df-generated"]
|
||||
@@ -8959,7 +8927,6 @@ extensions:
|
||||
- ["", "", True, "b2i_RSA_PVK_bio_ex", "(BIO *,pem_password_cb *,void *,OSSL_LIB_CTX *,const char *)", "", "Argument[2]", "Argument[**2]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "bio_dump_callback", "(BIO *,int,const char *,size_t,int,long,int,size_t *)", "", "Argument[6]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["", "", True, "bio_dump_callback", "(BIO *,int,const char *,size_t,int,long,int,size_t *)", "", "Argument[7]", "Argument[*7]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "bio_msg_copy", "(BIO_MSG *,BIO_MSG *)", "", "Argument[*1]", "Argument[*0]", "taint", "df-generated"]
|
||||
- ["", "", True, "bn_compute_wNAF", "(const BIGNUM *,int,size_t *)", "", "Argument[*0].Field[**d]", "ReturnValue[*]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "bn_compute_wNAF", "(const BIGNUM *,int,size_t *)", "", "Argument[*0].Field[*d]", "ReturnValue[*]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "bn_compute_wNAF", "(const BIGNUM *,int,size_t *)", "", "Argument[1]", "ReturnValue[*]", "taint", "dfc-generated"]
|
||||
@@ -9094,10 +9061,6 @@ extensions:
|
||||
- ["", "", True, "ca_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "ca_main", "(int,char **,char *[])", "", "Argument[*1]", "Argument[**1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "calculate_columns", "(FUNCTION *,DISPLAY_COLUMNS *)", "", "Argument[*1].Field[*width]", "Argument[*1].Field[*columns]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "check_certbag", "(PKCS12_BUILDER *,const unsigned char *,int,const PKCS12_ATTR *)", "", "Argument[*1]", "Argument[1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "check_certbag", "(PKCS12_BUILDER *,const unsigned char *,int,const PKCS12_ATTR *)", "", "Argument[2]", "Argument[1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "check_keybag", "(PKCS12_BUILDER *,const unsigned char *,int,const PKCS12_ATTR *,const PKCS12_ENC *)", "", "Argument[*1]", "Argument[1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "check_keybag", "(PKCS12_BUILDER *,const unsigned char *,int,const PKCS12_ATTR *,const PKCS12_ENC *)", "", "Argument[2]", "Argument[1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "chopup_args", "(ARGS *,char *)", "", "Argument[*1]", "Argument[*0].Field[***argv]", "value", "dfc-generated"]
|
||||
- ["", "", True, "chopup_args", "(ARGS *,char *)", "", "Argument[1]", "Argument[*0].Field[***argv]", "value", "dfc-generated"]
|
||||
- ["", "", True, "chopup_args", "(ARGS *,char *)", "", "Argument[1]", "Argument[*0].Field[**argv]", "value", "dfc-generated"]
|
||||
@@ -9131,26 +9094,6 @@ extensions:
|
||||
- ["", "", True, "conf_ssl_get_cmd", "(const SSL_CONF_CMD *,size_t,char **,char **)", "", "Argument[1]", "Argument[*2]", "taint", "df-generated"]
|
||||
- ["", "", True, "conf_ssl_get_cmd", "(const SSL_CONF_CMD *,size_t,char **,char **)", "", "Argument[1]", "Argument[*3]", "taint", "df-generated"]
|
||||
- ["", "", True, "config_ctx", "(SSL_CONF_CTX *,stack_st_OPENSSL_STRING *,SSL_CTX *)", "", "Argument[2]", "Argument[*0].Field[*ctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "configure_handshake_ctx_for_srp", "(SSL_CTX *,SSL_CTX *,SSL_CTX *,const SSL_TEST_EXTRA_CONF *,CTX_DATA *,CTX_DATA *,CTX_DATA *)", "", "Argument[*0]", "Argument[*4]", "taint", "df-generated"]
|
||||
- ["", "", True, "configure_handshake_ctx_for_srp", "(SSL_CTX *,SSL_CTX *,SSL_CTX *,const SSL_TEST_EXTRA_CONF *,CTX_DATA *,CTX_DATA *,CTX_DATA *)", "", "Argument[*1]", "Argument[*5]", "taint", "df-generated"]
|
||||
- ["", "", True, "configure_handshake_ctx_for_srp", "(SSL_CTX *,SSL_CTX *,SSL_CTX *,const SSL_TEST_EXTRA_CONF *,CTX_DATA *,CTX_DATA *,CTX_DATA *)", "", "Argument[*2]", "Argument[*3]", "taint", "df-generated"]
|
||||
- ["", "", True, "configure_handshake_ctx_for_srp", "(SSL_CTX *,SSL_CTX *,SSL_CTX *,const SSL_TEST_EXTRA_CONF *,CTX_DATA *,CTX_DATA *,CTX_DATA *)", "", "Argument[*2]", "Argument[*6]", "taint", "df-generated"]
|
||||
- ["", "", True, "configure_handshake_ctx_for_srp", "(SSL_CTX *,SSL_CTX *,SSL_CTX *,const SSL_TEST_EXTRA_CONF *,CTX_DATA *,CTX_DATA *,CTX_DATA *)", "", "Argument[*3]", "Argument[*2]", "taint", "df-generated"]
|
||||
- ["", "", True, "configure_handshake_ctx_for_srp", "(SSL_CTX *,SSL_CTX *,SSL_CTX *,const SSL_TEST_EXTRA_CONF *,CTX_DATA *,CTX_DATA *,CTX_DATA *)", "", "Argument[*3]", "Argument[*4]", "taint", "df-generated"]
|
||||
- ["", "", True, "configure_handshake_ctx_for_srp", "(SSL_CTX *,SSL_CTX *,SSL_CTX *,const SSL_TEST_EXTRA_CONF *,CTX_DATA *,CTX_DATA *,CTX_DATA *)", "", "Argument[*3]", "Argument[*5]", "taint", "df-generated"]
|
||||
- ["", "", True, "configure_handshake_ctx_for_srp", "(SSL_CTX *,SSL_CTX *,SSL_CTX *,const SSL_TEST_EXTRA_CONF *,CTX_DATA *,CTX_DATA *,CTX_DATA *)", "", "Argument[*3]", "Argument[*6]", "taint", "df-generated"]
|
||||
- ["", "", True, "configure_handshake_ctx_for_srp", "(SSL_CTX *,SSL_CTX *,SSL_CTX *,const SSL_TEST_EXTRA_CONF *,CTX_DATA *,CTX_DATA *,CTX_DATA *)", "", "Argument[*3]", "Argument[4]", "taint", "df-generated"]
|
||||
- ["", "", True, "configure_handshake_ctx_for_srp", "(SSL_CTX *,SSL_CTX *,SSL_CTX *,const SSL_TEST_EXTRA_CONF *,CTX_DATA *,CTX_DATA *,CTX_DATA *)", "", "Argument[*3]", "Argument[5]", "taint", "df-generated"]
|
||||
- ["", "", True, "configure_handshake_ctx_for_srp", "(SSL_CTX *,SSL_CTX *,SSL_CTX *,const SSL_TEST_EXTRA_CONF *,CTX_DATA *,CTX_DATA *,CTX_DATA *)", "", "Argument[*3]", "Argument[6]", "taint", "df-generated"]
|
||||
- ["", "", True, "configure_handshake_ctx_for_srp", "(SSL_CTX *,SSL_CTX *,SSL_CTX *,const SSL_TEST_EXTRA_CONF *,CTX_DATA *,CTX_DATA *,CTX_DATA *)", "", "Argument[*4]", "Argument[*0]", "taint", "df-generated"]
|
||||
- ["", "", True, "configure_handshake_ctx_for_srp", "(SSL_CTX *,SSL_CTX *,SSL_CTX *,const SSL_TEST_EXTRA_CONF *,CTX_DATA *,CTX_DATA *,CTX_DATA *)", "", "Argument[*4]", "Argument[4]", "value", "df-generated"]
|
||||
- ["", "", True, "configure_handshake_ctx_for_srp", "(SSL_CTX *,SSL_CTX *,SSL_CTX *,const SSL_TEST_EXTRA_CONF *,CTX_DATA *,CTX_DATA *,CTX_DATA *)", "", "Argument[*5]", "Argument[*1]", "taint", "df-generated"]
|
||||
- ["", "", True, "configure_handshake_ctx_for_srp", "(SSL_CTX *,SSL_CTX *,SSL_CTX *,const SSL_TEST_EXTRA_CONF *,CTX_DATA *,CTX_DATA *,CTX_DATA *)", "", "Argument[*5]", "Argument[5]", "value", "df-generated"]
|
||||
- ["", "", True, "configure_handshake_ctx_for_srp", "(SSL_CTX *,SSL_CTX *,SSL_CTX *,const SSL_TEST_EXTRA_CONF *,CTX_DATA *,CTX_DATA *,CTX_DATA *)", "", "Argument[*6]", "Argument[*2]", "taint", "df-generated"]
|
||||
- ["", "", True, "configure_handshake_ctx_for_srp", "(SSL_CTX *,SSL_CTX *,SSL_CTX *,const SSL_TEST_EXTRA_CONF *,CTX_DATA *,CTX_DATA *,CTX_DATA *)", "", "Argument[*6]", "Argument[6]", "value", "df-generated"]
|
||||
- ["", "", True, "configure_handshake_ctx_for_srp", "(SSL_CTX *,SSL_CTX *,SSL_CTX *,const SSL_TEST_EXTRA_CONF *,CTX_DATA *,CTX_DATA *,CTX_DATA *)", "", "Argument[4]", "Argument[*0]", "taint", "df-generated"]
|
||||
- ["", "", True, "configure_handshake_ctx_for_srp", "(SSL_CTX *,SSL_CTX *,SSL_CTX *,const SSL_TEST_EXTRA_CONF *,CTX_DATA *,CTX_DATA *,CTX_DATA *)", "", "Argument[5]", "Argument[*1]", "taint", "df-generated"]
|
||||
- ["", "", True, "configure_handshake_ctx_for_srp", "(SSL_CTX *,SSL_CTX *,SSL_CTX *,const SSL_TEST_EXTRA_CONF *,CTX_DATA *,CTX_DATA *,CTX_DATA *)", "", "Argument[6]", "Argument[*2]", "taint", "df-generated"]
|
||||
- ["", "", True, "construct_ca_names", "(SSL_CONNECTION *,const stack_st_X509_NAME *,WPACKET *)", "", "Argument[*1]", "Argument[*2]", "taint", "df-generated"]
|
||||
- ["", "", True, "construct_key_exchange_tbs", "(SSL_CONNECTION *,unsigned char **,const void *,size_t)", "", "Argument[**2]", "Argument[**1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "construct_key_exchange_tbs", "(SSL_CONNECTION *,unsigned char **,const void *,size_t)", "", "Argument[*2]", "Argument[**1]", "value", "dfc-generated"]
|
||||
@@ -9158,27 +9101,6 @@ extensions:
|
||||
- ["", "", True, "construct_key_exchange_tbs", "(SSL_CONNECTION *,unsigned char **,const void *,size_t)", "", "Argument[2]", "Argument[**1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "construct_key_exchange_tbs", "(SSL_CONNECTION *,unsigned char **,const void *,size_t)", "", "Argument[2]", "Argument[**2]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "construct_key_exchange_tbs", "(SSL_CONNECTION *,unsigned char **,const void *,size_t)", "", "Argument[3]", "ReturnValue", "taint", "dfc-generated"]
|
||||
- ["", "", True, "create_a_psk", "(SSL *,size_t)", "", "Argument[1]", "ReturnValue[*].Field[*master_key_length]", "value", "dfc-generated"]
|
||||
- ["", "", True, "create_bare_ssl_connection", "(SSL *,SSL *,int,int,int)", "", "Argument[0]", "Argument[*0].Field[**waitctx].Field[*callback_arg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "create_bare_ssl_connection", "(SSL *,SSL *,int,int,int)", "", "Argument[1]", "Argument[*1].Field[**waitctx].Field[*callback_arg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "create_ssl_connection", "(SSL *,SSL *,int)", "", "Argument[0]", "Argument[*0].Field[**waitctx].Field[*callback_arg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "create_ssl_connection", "(SSL *,SSL *,int)", "", "Argument[1]", "Argument[*1].Field[**waitctx].Field[*callback_arg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "create_ssl_ctx_pair", "(OSSL_LIB_CTX *,const SSL_METHOD *,const SSL_METHOD *,int,int,SSL_CTX **,SSL_CTX **,char *,char *)", "", "Argument[*1]", "Argument[**5].Field[**method]", "value", "dfc-generated"]
|
||||
- ["", "", True, "create_ssl_ctx_pair", "(OSSL_LIB_CTX *,const SSL_METHOD *,const SSL_METHOD *,int,int,SSL_CTX **,SSL_CTX **,char *,char *)", "", "Argument[*2]", "Argument[**6].Field[**method]", "value", "dfc-generated"]
|
||||
- ["", "", True, "create_ssl_ctx_pair", "(OSSL_LIB_CTX *,const SSL_METHOD *,const SSL_METHOD *,int,int,SSL_CTX **,SSL_CTX **,char *,char *)", "", "Argument[1]", "Argument[**5].Field[*method]", "value", "dfc-generated"]
|
||||
- ["", "", True, "create_ssl_ctx_pair", "(OSSL_LIB_CTX *,const SSL_METHOD *,const SSL_METHOD *,int,int,SSL_CTX **,SSL_CTX **,char *,char *)", "", "Argument[2]", "Argument[**6].Field[*method]", "value", "dfc-generated"]
|
||||
- ["", "", True, "create_ssl_ctx_pair", "(OSSL_LIB_CTX *,const SSL_METHOD *,const SSL_METHOD *,int,int,SSL_CTX **,SSL_CTX **,char *,char *)", "", "Argument[5]", "Argument[*5]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "create_ssl_ctx_pair", "(OSSL_LIB_CTX *,const SSL_METHOD *,const SSL_METHOD *,int,int,SSL_CTX **,SSL_CTX **,char *,char *)", "", "Argument[6]", "Argument[*6]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "create_ssl_objects2", "(SSL_CTX *,SSL_CTX *,SSL **,SSL **,int,int)", "", "Argument[2]", "Argument[*2]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "create_ssl_objects2", "(SSL_CTX *,SSL_CTX *,SSL **,SSL **,int,int)", "", "Argument[3]", "Argument[*3]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "create_ssl_objects", "(SSL_CTX *,SSL_CTX *,SSL **,SSL **,BIO *,BIO *)", "", "Argument[2]", "Argument[*2]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "create_ssl_objects", "(SSL_CTX *,SSL_CTX *,SSL **,SSL **,BIO *,BIO *)", "", "Argument[3]", "Argument[*3]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "create_ssl_objects", "(SSL_CTX *,SSL_CTX *,SSL **,SSL **,BIO *,BIO *)", "", "Argument[4]", "Argument[**2].Field[**bbio].Field[*next_bio]", "value", "dfc-generated"]
|
||||
- ["", "", True, "create_ssl_objects", "(SSL_CTX *,SSL_CTX *,SSL **,SSL **,BIO *,BIO *)", "", "Argument[4]", "Argument[**2].Field[*wbio]", "value", "dfc-generated"]
|
||||
- ["", "", True, "create_ssl_objects", "(SSL_CTX *,SSL_CTX *,SSL **,SSL **,BIO *,BIO *)", "", "Argument[4]", "Argument[**3].Field[*rbio]", "value", "dfc-generated"]
|
||||
- ["", "", True, "create_ssl_objects", "(SSL_CTX *,SSL_CTX *,SSL **,SSL **,BIO *,BIO *)", "", "Argument[5]", "Argument[**2].Field[*rbio]", "value", "dfc-generated"]
|
||||
- ["", "", True, "create_ssl_objects", "(SSL_CTX *,SSL_CTX *,SSL **,SSL **,BIO *,BIO *)", "", "Argument[5]", "Argument[**3].Field[**bbio].Field[*next_bio]", "value", "dfc-generated"]
|
||||
- ["", "", True, "create_ssl_objects", "(SSL_CTX *,SSL_CTX *,SSL **,SSL **,BIO *,BIO *)", "", "Argument[5]", "Argument[**3].Field[*wbio]", "value", "dfc-generated"]
|
||||
- ["", "", True, "crl2pkcs7_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "crl2pkcs7_main", "(int,char **,char *[])", "", "Argument[*1]", "Argument[**1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "crl_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
|
||||
@@ -16999,14 +16921,8 @@ extensions:
|
||||
- ["", "", True, "do_X509_REQ_verify", "(X509_REQ *,EVP_PKEY *,stack_st_OPENSSL_STRING *)", "", "Argument[*2]", "Argument[*0]", "taint", "df-generated"]
|
||||
- ["", "", True, "do_X509_verify", "(X509 *,EVP_PKEY *,stack_st_OPENSSL_STRING *)", "", "Argument[*2]", "Argument[*0]", "taint", "df-generated"]
|
||||
- ["", "", True, "do_dtls1_write", "(SSL_CONNECTION *,uint8_t,const unsigned char *,size_t,size_t *)", "", "Argument[3]", "Argument[*4]", "value", "dfc-generated"]
|
||||
- ["", "", True, "do_handshake", "(SSL_CTX *,SSL_CTX *,SSL_CTX *,SSL_CTX *,SSL_CTX *,const SSL_TEST_CTX *)", "", "Argument[1]", "Argument[*0].Field[*client_hello_cb_arg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "do_handshake", "(SSL_CTX *,SSL_CTX *,SSL_CTX *,SSL_CTX *,SSL_CTX *,const SSL_TEST_CTX *)", "", "Argument[1]", "Argument[*0].Field[*msg_callback_arg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "do_ssl_shutdown", "(SSL *)", "", "Argument[0]", "Argument[*0].Field[**waitctx].Field[*callback_arg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "do_updatedb", "(CA_DB *,time_t *)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "doit_biopair", "(SSL *,SSL *,long,clock_t *,clock_t *)", "", "Argument[3]", "Argument[*3]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "doit_biopair", "(SSL *,SSL *,long,clock_t *,clock_t *)", "", "Argument[4]", "Argument[*4]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "doit_localhost", "(SSL *,SSL *,int,long,clock_t *,clock_t *)", "", "Argument[4]", "Argument[*4]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "doit_localhost", "(SSL *,SSL *,int,long,clock_t *,clock_t *)", "", "Argument[5]", "Argument[*5]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "dsa_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "dsa_main", "(int,char **,char *[])", "", "Argument[*1]", "Argument[**1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "dsaparam_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
|
||||
@@ -17046,7 +16962,6 @@ extensions:
|
||||
- ["", "", True, "ecparam_main", "(int,char **,char *[])", "", "Argument[*1]", "Argument[**1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "enc_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "enc_main", "(int,char **,char *[])", "", "Argument[*1]", "Argument[**1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "end_pkcs12_builder", "(PKCS12_BUILDER *)", "", "Argument[*0].Field[*success]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["", "", True, "engine_add_dynamic_id", "(ENGINE *,ENGINE_DYNAMIC_ID,int)", "", "Argument[*0]", "Argument[*0].Field[**prev_dyn].Field[**next_dyn]", "value", "dfc-generated"]
|
||||
- ["", "", True, "engine_add_dynamic_id", "(ENGINE *,ENGINE_DYNAMIC_ID,int)", "", "Argument[0]", "Argument[*0].Field[**prev_dyn].Field[*next_dyn]", "value", "dfc-generated"]
|
||||
- ["", "", True, "engine_add_dynamic_id", "(ENGINE *,ENGINE_DYNAMIC_ID,int)", "", "Argument[1]", "Argument[*0].Field[*dynamic_id]", "value", "dfc-generated"]
|
||||
@@ -17125,39 +17040,6 @@ extensions:
|
||||
- ["", "", True, "evp_rand_can_seed", "(EVP_RAND_CTX *)", "", "Argument[*0].Field[**meth].Field[*get_seed]", "ReturnValue", "taint", "dfc-generated"]
|
||||
- ["", "", True, "evp_rand_get_number", "(const EVP_RAND *)", "", "Argument[*0].Field[*name_id]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["", "", True, "evp_signature_get_number", "(const EVP_SIGNATURE *)", "", "Argument[*0].Field[*name_id]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["", "", True, "fake_cipher_start", "(OSSL_LIB_CTX *)", "", "Argument[*0]", "ReturnValue[*].Field[**libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "fake_cipher_start", "(OSSL_LIB_CTX *)", "", "Argument[0]", "ReturnValue[*].Field[*libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "fake_pipeline_aead_get_ctx_params", "(void *,OSSL_PARAM[])", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "fake_pipeline_aead_set_ctx_params", "(void *,const OSSL_PARAM[])", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "fake_pipeline_dinit", "(void *,const unsigned char *,size_t,size_t,const unsigned char **,size_t,const OSSL_PARAM[])", "", "Argument[3]", "Argument[*0].Field[*numpipes]", "value", "dfc-generated"]
|
||||
- ["", "", True, "fake_pipeline_dinit", "(void *,const unsigned char *,size_t,size_t,const unsigned char **,size_t,const OSSL_PARAM[])", "", "Argument[4]", "Argument[*0].Field[**cipher_ctxs].Field[**oiv]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "fake_pipeline_dinit", "(void *,const unsigned char *,size_t,size_t,const unsigned char **,size_t,const OSSL_PARAM[])", "", "Argument[4]", "Argument[*0].Field[**cipher_ctxs].Field[*iv]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "fake_pipeline_dinit", "(void *,const unsigned char *,size_t,size_t,const unsigned char **,size_t,const OSSL_PARAM[])", "", "Argument[4]", "Argument[*0].Field[**cipher_ctxs].Field[*oiv]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "fake_pipeline_einit", "(void *,const unsigned char *,size_t,size_t,const unsigned char **,size_t,const OSSL_PARAM[])", "", "Argument[3]", "Argument[*0].Field[*numpipes]", "value", "dfc-generated"]
|
||||
- ["", "", True, "fake_pipeline_einit", "(void *,const unsigned char *,size_t,size_t,const unsigned char **,size_t,const OSSL_PARAM[])", "", "Argument[4]", "Argument[*0].Field[**cipher_ctxs].Field[**oiv]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "fake_pipeline_einit", "(void *,const unsigned char *,size_t,size_t,const unsigned char **,size_t,const OSSL_PARAM[])", "", "Argument[4]", "Argument[*0].Field[**cipher_ctxs].Field[*iv]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "fake_pipeline_einit", "(void *,const unsigned char *,size_t,size_t,const unsigned char **,size_t,const OSSL_PARAM[])", "", "Argument[4]", "Argument[*0].Field[**cipher_ctxs].Field[*oiv]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "fake_pipeline_final", "(void *,size_t,unsigned char **,size_t *,const size_t *)", "", "Argument[*2]", "Argument[**2]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "fake_pipeline_start", "(OSSL_LIB_CTX *)", "", "Argument[*0]", "ReturnValue[*].Field[**libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "fake_pipeline_start", "(OSSL_LIB_CTX *)", "", "Argument[0]", "ReturnValue[*].Field[*libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "fake_pipeline_update", "(void *,size_t,unsigned char **,size_t *,const size_t *,const unsigned char **,const size_t *)", "", "Argument[**2]", "Argument[*0].Field[**cipher_ctxs].Field[*final]", "value", "dfc-generated"]
|
||||
- ["", "", True, "fake_pipeline_update", "(void *,size_t,unsigned char **,size_t *,const size_t *,const unsigned char **,const size_t *)", "", "Argument[**5]", "Argument[*0].Field[**cipher_ctxs].Field[*buf]", "value", "dfc-generated"]
|
||||
- ["", "", True, "fake_pipeline_update", "(void *,size_t,unsigned char **,size_t *,const size_t *,const unsigned char **,const size_t *)", "", "Argument[*2]", "Argument[**2]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "fake_pipeline_update", "(void *,size_t,unsigned char **,size_t *,const size_t *,const unsigned char **,const size_t *)", "", "Argument[*2]", "Argument[*0].Field[**cipher_ctxs].Field[*final]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "fake_pipeline_update", "(void *,size_t,unsigned char **,size_t *,const size_t *,const unsigned char **,const size_t *)", "", "Argument[*5]", "Argument[*0].Field[**cipher_ctxs].Field[*buf]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "fake_pipeline_update", "(void *,size_t,unsigned char **,size_t *,const size_t *,const unsigned char **,const size_t *)", "", "Argument[*6]", "Argument[*3]", "value", "df-generated"]
|
||||
- ["", "", True, "fake_pipeline_update", "(void *,size_t,unsigned char **,size_t *,const size_t *,const unsigned char **,const size_t *)", "", "Argument[2]", "Argument[**2]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "fake_pipeline_update", "(void *,size_t,unsigned char **,size_t *,const size_t *,const unsigned char **,const size_t *)", "", "Argument[2]", "Argument[*0].Field[**cipher_ctxs].Field[*final]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "fake_pipeline_update", "(void *,size_t,unsigned char **,size_t *,const size_t *,const unsigned char **,const size_t *)", "", "Argument[5]", "Argument[*0].Field[**cipher_ctxs].Field[*buf]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "fake_rand_set_callback", "(EVP_RAND_CTX *,..(*)(..))", "", "Argument[1]", "Argument[*0].Field[**algctx].Field[*cb]", "value", "dfc-generated"]
|
||||
- ["", "", True, "fake_rand_start", "(OSSL_LIB_CTX *)", "", "Argument[*0]", "ReturnValue[*].Field[**libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "fake_rand_start", "(OSSL_LIB_CTX *)", "", "Argument[0]", "ReturnValue[*].Field[*libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "fake_rsa_start", "(OSSL_LIB_CTX *)", "", "Argument[*0]", "ReturnValue[*].Field[**libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "fake_rsa_start", "(OSSL_LIB_CTX *)", "", "Argument[0]", "ReturnValue[*].Field[*libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "filter_provider_init", "(const OSSL_CORE_HANDLE *,const OSSL_DISPATCH *,const OSSL_DISPATCH **,void **)", "", "Argument[*0]", "Argument[**3].Field[**handle]", "value", "dfc-generated"]
|
||||
- ["", "", True, "filter_provider_init", "(const OSSL_CORE_HANDLE *,const OSSL_DISPATCH *,const OSSL_DISPATCH **,void **)", "", "Argument[0]", "Argument[**3].Field[*handle]", "value", "dfc-generated"]
|
||||
- ["", "", True, "filter_provider_init", "(const OSSL_CORE_HANDLE *,const OSSL_DISPATCH *,const OSSL_DISPATCH **,void **)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "filter_provider_init", "(const OSSL_CORE_HANDLE *,const OSSL_DISPATCH *,const OSSL_DISPATCH **,void **)", "", "Argument[3]", "Argument[*3]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "fipsinstall_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "fipsinstall_main", "(int,char **,char *[])", "", "Argument[*1]", "Argument[**1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "gendsa_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
|
||||
@@ -18262,19 +18144,11 @@ extensions:
|
||||
- ["", "", True, "load_cert_certs", "(const char *,X509 **,stack_st_X509 **,int,const char *,const char *,X509_VERIFY_PARAM *)", "", "Argument[**1]", "Argument[*1]", "value", "df-generated"]
|
||||
- ["", "", True, "load_cert_certs", "(const char *,X509 **,stack_st_X509 **,int,const char *,const char *,X509_VERIFY_PARAM *)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "load_cert_certs", "(const char *,X509 **,stack_st_X509 **,int,const char *,const char *,X509_VERIFY_PARAM *)", "", "Argument[2]", "Argument[*2]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "load_cert_pem", "(const char *,OSSL_LIB_CTX *)", "", "Argument[*1]", "ReturnValue.Field[**libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "load_cert_pem", "(const char *,OSSL_LIB_CTX *)", "", "Argument[*1]", "ReturnValue[*].Field[**libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "load_cert_pem", "(const char *,OSSL_LIB_CTX *)", "", "Argument[1]", "ReturnValue.Field[*libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "load_cert_pem", "(const char *,OSSL_LIB_CTX *)", "", "Argument[1]", "ReturnValue[*].Field[*libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "load_certs", "(const char *,int,stack_st_X509 **,const char *,const char *)", "", "Argument[2]", "Argument[*2]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "load_certs_multifile", "(char *,const char *,const char *,X509_VERIFY_PARAM *)", "", "Argument[0]", "Argument[*0]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "load_certstore", "(char *,const char *,const char *,X509_VERIFY_PARAM *)", "", "Argument[0]", "Argument[*0]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "load_crls", "(const char *,stack_st_X509_CRL **,const char *,const char *)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "load_csr_autofmt", "(const char *,int,stack_st_OPENSSL_STRING *,const char *)", "", "Argument[*2]", "ReturnValue[*]", "taint", "df-generated"]
|
||||
- ["", "", True, "load_csr_der", "(const char *,OSSL_LIB_CTX *)", "", "Argument[*1]", "ReturnValue.Field[**libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "load_csr_der", "(const char *,OSSL_LIB_CTX *)", "", "Argument[*1]", "ReturnValue[*].Field[**libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "load_csr_der", "(const char *,OSSL_LIB_CTX *)", "", "Argument[1]", "ReturnValue.Field[*libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "load_csr_der", "(const char *,OSSL_LIB_CTX *)", "", "Argument[1]", "ReturnValue[*].Field[*libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "load_excert", "(SSL_EXCERT **)", "", "Argument[0]", "Argument[*0]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "load_index", "(const char *,DB_ATTR *)", "", "Argument[*0]", "ReturnValue[*].Field[**dbfname]", "value", "dfc-generated"]
|
||||
- ["", "", True, "load_index", "(const char *,DB_ATTR *)", "", "Argument[*1]", "ReturnValue[*].Field[*attributes]", "value", "dfc-generated"]
|
||||
@@ -18288,10 +18162,6 @@ extensions:
|
||||
- ["", "", True, "load_key_certs_crls", "(const char *,int,int,const char *,const char *,int,EVP_PKEY **,EVP_PKEY **,EVP_PKEY **,X509 **,stack_st_X509 **,X509_CRL **,stack_st_X509_CRL **)", "", "Argument[7]", "Argument[*7]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "load_key_certs_crls", "(const char *,int,int,const char *,const char *,int,EVP_PKEY **,EVP_PKEY **,EVP_PKEY **,X509 **,stack_st_X509 **,X509_CRL **,stack_st_X509_CRL **)", "", "Argument[8]", "Argument[*8]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "load_key_certs_crls", "(const char *,int,int,const char *,const char *,int,EVP_PKEY **,EVP_PKEY **,EVP_PKEY **,X509 **,stack_st_X509 **,X509_CRL **,stack_st_X509_CRL **)", "", "Argument[9]", "Argument[*9]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "load_pkimsg", "(const char *,OSSL_LIB_CTX *)", "", "Argument[*1]", "ReturnValue.Field[**libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "load_pkimsg", "(const char *,OSSL_LIB_CTX *)", "", "Argument[*1]", "ReturnValue[*].Field[**libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "load_pkimsg", "(const char *,OSSL_LIB_CTX *)", "", "Argument[1]", "ReturnValue.Field[*libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "load_pkimsg", "(const char *,OSSL_LIB_CTX *)", "", "Argument[1]", "ReturnValue[*].Field[*libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "lookup_sess_in_cache", "(SSL_CONNECTION *,const unsigned char *,size_t)", "", "Argument[*0]", "ReturnValue[*]", "taint", "df-generated"]
|
||||
- ["", "", True, "mac_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "mac_main", "(int,char **,char *[])", "", "Argument[*1]", "Argument[**1]", "value", "dfc-generated"]
|
||||
@@ -18302,15 +18172,12 @@ extensions:
|
||||
- ["", "", True, "make_uppercase", "(char *)", "", "Argument[0]", "Argument[*0]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "md4_block_data_order", "(MD4_CTX *,const void *,size_t)", "", "Argument[*1]", "Argument[*0]", "taint", "df-generated"]
|
||||
- ["", "", True, "md4_block_data_order", "(MD4_CTX *,const void *,size_t)", "", "Argument[1]", "Argument[*0]", "taint", "df-generated"]
|
||||
- ["", "", True, "mempacket_test_inject", "(BIO *,const char *,int,int,int)", "", "Argument[2]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["", "", True, "name_cmp", "(const char *const *,const char *const *)", "", "Argument[**0]", "ReturnValue", "taint", "dfc-generated"]
|
||||
- ["", "", True, "name_cmp", "(const char *const *,const char *const *)", "", "Argument[**1]", "ReturnValue", "taint", "dfc-generated"]
|
||||
- ["", "", True, "name_cmp", "(const char *const *,const char *const *)", "", "Argument[*0]", "ReturnValue", "taint", "dfc-generated"]
|
||||
- ["", "", True, "name_cmp", "(const char *const *,const char *const *)", "", "Argument[*1]", "ReturnValue", "taint", "dfc-generated"]
|
||||
- ["", "", True, "name_cmp", "(const char *const *,const char *const *)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
|
||||
- ["", "", True, "name_cmp", "(const char *const *,const char *const *)", "", "Argument[1]", "ReturnValue", "taint", "dfc-generated"]
|
||||
- ["", "", True, "new_pkcs12_builder", "(const char *)", "", "Argument[*0]", "ReturnValue[*].Field[**filename]", "value", "dfc-generated"]
|
||||
- ["", "", True, "new_pkcs12_builder", "(const char *)", "", "Argument[0]", "ReturnValue[*].Field[*filename]", "value", "dfc-generated"]
|
||||
- ["", "", True, "next_item", "(char *)", "", "Argument[*0]", "ReturnValue[*]", "value", "dfc-generated"]
|
||||
- ["", "", True, "next_item", "(char *)", "", "Argument[0]", "Argument[*0]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "next_item", "(char *)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
|
||||
@@ -21231,9 +21098,6 @@ extensions:
|
||||
- ["", "", True, "ossl_x509at_add1_attr_by_txt", "(stack_st_X509_ATTRIBUTE **,const char *,int,const unsigned char *,int)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
|
||||
- ["", "", True, "ossl_x509at_dup", "(const stack_st_X509_ATTRIBUTE *)", "", "Argument[*0]", "ReturnValue[*]", "taint", "df-generated"]
|
||||
- ["", "", True, "ossl_x509v3_cache_extensions", "(X509 *)", "", "Argument[*0]", "Argument[0]", "value", "df-generated"]
|
||||
- ["", "", True, "p_test_init", "(const OSSL_CORE_HANDLE *,const OSSL_DISPATCH *,const OSSL_DISPATCH **,void **)", "", "Argument[*0]", "Argument[**3].Field[**handle]", "value", "dfc-generated"]
|
||||
- ["", "", True, "p_test_init", "(const OSSL_CORE_HANDLE *,const OSSL_DISPATCH *,const OSSL_DISPATCH **,void **)", "", "Argument[0]", "Argument[**3].Field[*handle]", "value", "dfc-generated"]
|
||||
- ["", "", True, "p_test_init", "(const OSSL_CORE_HANDLE *,const OSSL_DISPATCH *,const OSSL_DISPATCH **,void **)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "parse_ca_names", "(SSL_CONNECTION *,PACKET *)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "parse_yesno", "(const char *,int)", "", "Argument[1]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["", "", True, "passwd_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
|
||||
@@ -21286,55 +21150,6 @@ extensions:
|
||||
- ["", "", True, "print_param_types", "(const char *,const OSSL_PARAM *,int)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "print_verify_detail", "(SSL *,BIO *)", "", "Argument[*0].Field[**tls].Field[**param]", "Argument[*0].Field[**param]", "value", "dfc-generated"]
|
||||
- ["", "", True, "process_responder", "(OCSP_REQUEST *,const char *,const char *,const char *,const char *,const char *,int,stack_st_CONF_VALUE *,int)", "", "Argument[*0]", "Argument[0]", "value", "df-generated"]
|
||||
- ["", "", True, "pulldown_test_framework", "(int)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_create_injector", "(QUIC_TSERVER *)", "", "Argument[*0]", "ReturnValue[*].Field[**qtserv]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_create_injector", "(QUIC_TSERVER *)", "", "Argument[0]", "ReturnValue[*].Field[*qtserv]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_create_quic_connection", "(QUIC_TSERVER *,SSL *)", "", "Argument[1]", "Argument[*1].Field[**waitctx].Field[*callback_arg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_create_quic_connection_ex", "(QUIC_TSERVER *,SSL *,int)", "", "Argument[1]", "Argument[*1].Field[**waitctx].Field[*callback_arg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_create_quic_objects", "(OSSL_LIB_CTX *,SSL_CTX *,SSL_CTX *,char *,char *,int,QUIC_TSERVER **,SSL **,QTEST_FAULT **,BIO **)", "", "Argument[**8].Field[*noiseargs]", "Argument[**6].Field[**ch].Field[**msg_callback_arg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_create_quic_objects", "(OSSL_LIB_CTX *,SSL_CTX *,SSL_CTX *,char *,char *,int,QUIC_TSERVER **,SSL **,QTEST_FAULT **,BIO **)", "", "Argument[*6]", "Argument[**8].Field[*qtserv]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_create_quic_objects", "(OSSL_LIB_CTX *,SSL_CTX *,SSL_CTX *,char *,char *,int,QUIC_TSERVER **,SSL **,QTEST_FAULT **,BIO **)", "", "Argument[0]", "Argument[**6].Field[**ctx].Field[*libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_create_quic_objects", "(OSSL_LIB_CTX *,SSL_CTX *,SSL_CTX *,char *,char *,int,QUIC_TSERVER **,SSL **,QTEST_FAULT **,BIO **)", "", "Argument[0]", "Argument[**6].Field[**engine].Field[*libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_create_quic_objects", "(OSSL_LIB_CTX *,SSL_CTX *,SSL_CTX *,char *,char *,int,QUIC_TSERVER **,SSL **,QTEST_FAULT **,BIO **)", "", "Argument[0]", "Argument[**6].Field[*args].Field[*libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_create_quic_objects", "(OSSL_LIB_CTX *,SSL_CTX *,SSL_CTX *,char *,char *,int,QUIC_TSERVER **,SSL **,QTEST_FAULT **,BIO **)", "", "Argument[5]", "Argument[**8].Field[*noiseargs].Field[*flags]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_create_quic_objects", "(OSSL_LIB_CTX *,SSL_CTX *,SSL_CTX *,char *,char *,int,QUIC_TSERVER **,SSL **,QTEST_FAULT **,BIO **)", "", "Argument[6]", "Argument[**8].Field[*qtserv]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "qtest_create_quic_objects", "(OSSL_LIB_CTX *,SSL_CTX *,SSL_CTX *,char *,char *,int,QUIC_TSERVER **,SSL **,QTEST_FAULT **,BIO **)", "", "Argument[6]", "Argument[*6]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "qtest_create_quic_objects", "(OSSL_LIB_CTX *,SSL_CTX *,SSL_CTX *,char *,char *,int,QUIC_TSERVER **,SSL **,QTEST_FAULT **,BIO **)", "", "Argument[7]", "Argument[*7]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "qtest_create_quic_objects", "(OSSL_LIB_CTX *,SSL_CTX *,SSL_CTX *,char *,char *,int,QUIC_TSERVER **,SSL **,QTEST_FAULT **,BIO **)", "", "Argument[8]", "Argument[*8]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_delete_extension", "(QTEST_FAULT *,unsigned int,unsigned char *,size_t *,BUF_MEM *)", "", "Argument[*0].Field[*handbuflen]", "Argument[*0].Field[**handbuf]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_delete_extension", "(QTEST_FAULT *,unsigned int,unsigned char *,size_t *,BUF_MEM *)", "", "Argument[*3]", "Argument[*2]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_delete_extension", "(QTEST_FAULT *,unsigned int,unsigned char *,size_t *,BUF_MEM *)", "", "Argument[3]", "Argument[*2]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_delete_extension", "(QTEST_FAULT *,unsigned int,unsigned char *,size_t *,BUF_MEM *)", "", "Argument[3]", "Argument[*3]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_prepend_frame", "(QTEST_FAULT *,const unsigned char *,size_t)", "", "Argument[*0].Field[*pplainio].Field[*buf_len]", "Argument[*0].Field[*pplainhdr].Field[*len]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_prepend_frame", "(QTEST_FAULT *,const unsigned char *,size_t)", "", "Argument[2]", "Argument[*0].Field[*pplainhdr].Field[*len]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_prepend_frame", "(QTEST_FAULT *,const unsigned char *,size_t)", "", "Argument[2]", "Argument[*0].Field[*pplainio].Field[*buf_len]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_resize_datagram", "(QTEST_FAULT *,size_t)", "", "Argument[1]", "Argument[*0].Field[*msg].Field[*data_len]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_resize_handshake", "(QTEST_FAULT *,size_t)", "", "Argument[1]", "Argument[*0].Field[*handbuflen]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_resize_message", "(QTEST_FAULT *,size_t)", "", "Argument[1]", "Argument[*0].Field[**handbuf]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_resize_message", "(QTEST_FAULT *,size_t)", "", "Argument[1]", "Argument[*0].Field[*handbuflen]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_resize_plain_packet", "(QTEST_FAULT *,size_t)", "", "Argument[1]", "Argument[*0].Field[*pplainhdr].Field[*len]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_resize_plain_packet", "(QTEST_FAULT *,size_t)", "", "Argument[1]", "Argument[*0].Field[*pplainio].Field[*buf_len]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_set_datagram_listener", "(QTEST_FAULT *,qtest_fault_on_datagram_cb,void *)", "", "Argument[**2]", "Argument[*0].Field[***datagramcbarg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_set_datagram_listener", "(QTEST_FAULT *,qtest_fault_on_datagram_cb,void *)", "", "Argument[*2]", "Argument[*0].Field[**datagramcbarg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_set_datagram_listener", "(QTEST_FAULT *,qtest_fault_on_datagram_cb,void *)", "", "Argument[1]", "Argument[*0].Field[*datagramcb]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_set_datagram_listener", "(QTEST_FAULT *,qtest_fault_on_datagram_cb,void *)", "", "Argument[2]", "Argument[*0].Field[*datagramcbarg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_set_hand_enc_ext_listener", "(QTEST_FAULT *,qtest_fault_on_enc_ext_cb,void *)", "", "Argument[**2]", "Argument[*0].Field[***encextcbarg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_set_hand_enc_ext_listener", "(QTEST_FAULT *,qtest_fault_on_enc_ext_cb,void *)", "", "Argument[*2]", "Argument[*0].Field[**encextcbarg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_set_hand_enc_ext_listener", "(QTEST_FAULT *,qtest_fault_on_enc_ext_cb,void *)", "", "Argument[1]", "Argument[*0].Field[*encextcb]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_set_hand_enc_ext_listener", "(QTEST_FAULT *,qtest_fault_on_enc_ext_cb,void *)", "", "Argument[2]", "Argument[*0].Field[*encextcbarg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_set_handshake_listener", "(QTEST_FAULT *,qtest_fault_on_handshake_cb,void *)", "", "Argument[**2]", "Argument[*0].Field[***handshakecbarg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_set_handshake_listener", "(QTEST_FAULT *,qtest_fault_on_handshake_cb,void *)", "", "Argument[*2]", "Argument[*0].Field[**handshakecbarg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_set_handshake_listener", "(QTEST_FAULT *,qtest_fault_on_handshake_cb,void *)", "", "Argument[1]", "Argument[*0].Field[*handshakecb]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_set_handshake_listener", "(QTEST_FAULT *,qtest_fault_on_handshake_cb,void *)", "", "Argument[2]", "Argument[*0].Field[*handshakecbarg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_set_packet_cipher_listener", "(QTEST_FAULT *,qtest_fault_on_packet_cipher_cb,void *)", "", "Argument[**2]", "Argument[*0].Field[***pciphercbarg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_set_packet_cipher_listener", "(QTEST_FAULT *,qtest_fault_on_packet_cipher_cb,void *)", "", "Argument[*2]", "Argument[*0].Field[**pciphercbarg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_set_packet_cipher_listener", "(QTEST_FAULT *,qtest_fault_on_packet_cipher_cb,void *)", "", "Argument[1]", "Argument[*0].Field[*pciphercb]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_set_packet_cipher_listener", "(QTEST_FAULT *,qtest_fault_on_packet_cipher_cb,void *)", "", "Argument[2]", "Argument[*0].Field[*pciphercbarg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_set_packet_plain_listener", "(QTEST_FAULT *,qtest_fault_on_packet_plain_cb,void *)", "", "Argument[**2]", "Argument[*0].Field[***pplaincbarg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_set_packet_plain_listener", "(QTEST_FAULT *,qtest_fault_on_packet_plain_cb,void *)", "", "Argument[*2]", "Argument[*0].Field[**pplaincbarg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_set_packet_plain_listener", "(QTEST_FAULT *,qtest_fault_on_packet_plain_cb,void *)", "", "Argument[1]", "Argument[*0].Field[*pplaincb]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_fault_set_packet_plain_listener", "(QTEST_FAULT *,qtest_fault_on_packet_plain_cb,void *)", "", "Argument[2]", "Argument[*0].Field[*pplaincbarg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "qtest_shutdown", "(QUIC_TSERVER *,SSL *)", "", "Argument[1]", "Argument[*1].Field[**waitctx].Field[*callback_arg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "rand_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "rand_main", "(int,char **,char *[])", "", "Argument[*1]", "Argument[**1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "rand_serial", "(BIGNUM *,ASN1_INTEGER *)", "", "Argument[*0]", "Argument[*1]", "taint", "df-generated"]
|
||||
@@ -21360,10 +21175,6 @@ extensions:
|
||||
- ["", "", True, "s_time_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "s_time_main", "(int,char **,char *[])", "", "Argument[*1]", "Argument[**1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "save_serial", "(const char *,const char *,const BIGNUM *,ASN1_INTEGER **)", "", "Argument[*2]", "Argument[**3]", "taint", "df-generated"]
|
||||
- ["", "", True, "sd_load", "(const char *,SD *,int)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "sd_sym", "(SD,const char *,SD_SYM *)", "", "Argument[*2]", "ReturnValue", "taint", "dfc-generated"]
|
||||
- ["", "", True, "sd_sym", "(SD,const char *,SD_SYM *)", "", "Argument[2]", "Argument[*2]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "sd_sym", "(SD,const char *,SD_SYM *)", "", "Argument[2]", "ReturnValue", "taint", "dfc-generated"]
|
||||
- ["", "", True, "sess_id_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "sess_id_main", "(int,char **,char *[])", "", "Argument[*1]", "Argument[**1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "set_cert_ex", "(unsigned long *,const char *)", "", "Argument[0]", "Argument[*0]", "taint", "dfc-generated"]
|
||||
@@ -21376,8 +21187,6 @@ extensions:
|
||||
- ["", "", True, "set_up_srp_arg", "(SSL_CTX *,SRP_ARG *,int,int,int)", "", "Argument[4]", "Argument[*1].Field[*debug]", "value", "dfc-generated"]
|
||||
- ["", "", True, "set_up_srp_verifier_file", "(SSL_CTX *,srpsrvparm *,char *,char *)", "", "Argument[*2]", "Argument[*1].Field[**vb].Field[**seed_key]", "value", "dfc-generated"]
|
||||
- ["", "", True, "set_up_srp_verifier_file", "(SSL_CTX *,srpsrvparm *,char *,char *)", "", "Argument[2]", "Argument[*1].Field[**vb].Field[**seed_key]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "shutdown_ssl_connection", "(SSL *,SSL *)", "", "Argument[0]", "Argument[*0].Field[**waitctx].Field[*callback_arg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "shutdown_ssl_connection", "(SSL *,SSL *)", "", "Argument[1]", "Argument[*1].Field[**waitctx].Field[*callback_arg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "skeyutl_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "skeyutl_main", "(int,char **,char *[])", "", "Argument[*1]", "Argument[**1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "smime_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
|
||||
@@ -21482,10 +21291,6 @@ extensions:
|
||||
- ["", "", True, "ssl_create_cipher_list", "(SSL_CTX *,stack_st_SSL_CIPHER *,stack_st_SSL_CIPHER **,stack_st_SSL_CIPHER **,const char *,CERT *)", "", "Argument[2]", "Argument[*2]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "ssl_create_cipher_list", "(SSL_CTX *,stack_st_SSL_CIPHER *,stack_st_SSL_CIPHER **,stack_st_SSL_CIPHER **,const char *,CERT *)", "", "Argument[3]", "Argument[*3]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "ssl_create_cipher_list", "(SSL_CTX *,stack_st_SSL_CIPHER *,stack_st_SSL_CIPHER **,stack_st_SSL_CIPHER **,const char *,CERT *)", "", "Argument[4]", "Argument[*5].Field[*sec_level]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "ssl_ctx_add_large_cert_chain", "(OSSL_LIB_CTX *,SSL_CTX *,const char *)", "", "Argument[*0]", "Argument[*1].Field[**msg_callback_arg].Field[**libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "ssl_ctx_add_large_cert_chain", "(OSSL_LIB_CTX *,SSL_CTX *,const char *)", "", "Argument[*0]", "Argument[*1].Field[*msg_callback_arg].Field[**libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "ssl_ctx_add_large_cert_chain", "(OSSL_LIB_CTX *,SSL_CTX *,const char *)", "", "Argument[0]", "Argument[*1].Field[**msg_callback_arg].Field[*libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "ssl_ctx_add_large_cert_chain", "(OSSL_LIB_CTX *,SSL_CTX *,const char *)", "", "Argument[0]", "Argument[*1].Field[*msg_callback_arg].Field[*libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "ssl_ctx_set_excert", "(SSL_CTX *,SSL_EXCERT *)", "", "Argument[*1]", "Argument[*0].Field[**cert].Field[**cert_cb_arg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "ssl_ctx_set_excert", "(SSL_CTX *,SSL_EXCERT *)", "", "Argument[1]", "Argument[*0].Field[**cert].Field[*cert_cb_arg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "ssl_dh_to_pkey", "(DH *)", "", "Argument[0]", "ReturnValue[*].Field[*pkey].Union[*legacy_pkey_st]", "value", "dfc-generated"]
|
||||
@@ -21541,63 +21346,10 @@ extensions:
|
||||
- ["", "", True, "ssl_write_internal", "(SSL *,const void *,size_t,uint64_t,size_t *)", "", "Argument[0]", "Argument[*0].Field[**waitctx].Field[*callback_arg]", "value", "dfc-generated"]
|
||||
- ["", "", True, "ssl_write_internal", "(SSL *,const void *,size_t,uint64_t,size_t *)", "", "Argument[2]", "Argument[*4]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "ssl_write_internal", "(SSL *,const void *,size_t,uint64_t,size_t *)", "", "Argument[4]", "Argument[*4]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_BN_eq", "(const char *,int,const char *,const char *,const BIGNUM *,const BIGNUM *)", "", "Argument[4]", "Argument[*4]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_BN_eq", "(const char *,int,const char *,const char *,const BIGNUM *,const BIGNUM *)", "", "Argument[5]", "Argument[*5]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_BN_eq_one", "(const char *,int,const char *,const BIGNUM *)", "", "Argument[3]", "Argument[*3]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_BN_eq_word", "(const char *,int,const char *,const char *,const BIGNUM *,unsigned long)", "", "Argument[4]", "Argument[*4]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_BN_eq_zero", "(const char *,int,const char *,const BIGNUM *)", "", "Argument[3]", "Argument[*3]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_BN_even", "(const char *,int,const char *,const BIGNUM *)", "", "Argument[3]", "Argument[*3]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_BN_ge", "(const char *,int,const char *,const char *,const BIGNUM *,const BIGNUM *)", "", "Argument[4]", "Argument[*4]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_BN_ge", "(const char *,int,const char *,const char *,const BIGNUM *,const BIGNUM *)", "", "Argument[5]", "Argument[*5]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_BN_ge_zero", "(const char *,int,const char *,const BIGNUM *)", "", "Argument[3]", "Argument[*3]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_BN_gt", "(const char *,int,const char *,const char *,const BIGNUM *,const BIGNUM *)", "", "Argument[4]", "Argument[*4]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_BN_gt", "(const char *,int,const char *,const char *,const BIGNUM *,const BIGNUM *)", "", "Argument[5]", "Argument[*5]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_BN_gt_zero", "(const char *,int,const char *,const BIGNUM *)", "", "Argument[3]", "Argument[*3]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_BN_le", "(const char *,int,const char *,const char *,const BIGNUM *,const BIGNUM *)", "", "Argument[4]", "Argument[*4]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_BN_le", "(const char *,int,const char *,const char *,const BIGNUM *,const BIGNUM *)", "", "Argument[5]", "Argument[*5]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_BN_le_zero", "(const char *,int,const char *,const BIGNUM *)", "", "Argument[3]", "Argument[*3]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_BN_lt", "(const char *,int,const char *,const char *,const BIGNUM *,const BIGNUM *)", "", "Argument[4]", "Argument[*4]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_BN_lt", "(const char *,int,const char *,const char *,const BIGNUM *,const BIGNUM *)", "", "Argument[5]", "Argument[*5]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_BN_lt_zero", "(const char *,int,const char *,const BIGNUM *)", "", "Argument[3]", "Argument[*3]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_BN_ne", "(const char *,int,const char *,const char *,const BIGNUM *,const BIGNUM *)", "", "Argument[4]", "Argument[*4]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_BN_ne", "(const char *,int,const char *,const char *,const BIGNUM *,const BIGNUM *)", "", "Argument[5]", "Argument[*5]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_BN_ne_zero", "(const char *,int,const char *,const BIGNUM *)", "", "Argument[3]", "Argument[*3]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_BN_odd", "(const char *,int,const char *,const BIGNUM *)", "", "Argument[3]", "Argument[*3]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_arg_libctx", "(OSSL_LIB_CTX **,OSSL_PROVIDER **,OSSL_PROVIDER **,int,const char *)", "", "Argument[**0]", "Argument[**2].Field[**libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "test_arg_libctx", "(OSSL_LIB_CTX **,OSSL_PROVIDER **,OSSL_PROVIDER **,int,const char *)", "", "Argument[*0]", "Argument[**2].Field[*libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "test_arg_libctx", "(OSSL_LIB_CTX **,OSSL_PROVIDER **,OSSL_PROVIDER **,int,const char *)", "", "Argument[0]", "Argument[**2].Field[*libctx]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_arg_libctx", "(OSSL_LIB_CTX **,OSSL_PROVIDER **,OSSL_PROVIDER **,int,const char *)", "", "Argument[0]", "Argument[*0]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_arg_libctx", "(OSSL_LIB_CTX **,OSSL_PROVIDER **,OSSL_PROVIDER **,int,const char *)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_arg_libctx", "(OSSL_LIB_CTX **,OSSL_PROVIDER **,OSSL_PROVIDER **,int,const char *)", "", "Argument[2]", "Argument[*2]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_arg_libctx", "(OSSL_LIB_CTX **,OSSL_PROVIDER **,OSSL_PROVIDER **,int,const char *)", "", "Argument[3]", "Argument[**2].Field[**name]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_fail_bignum_message", "(const char *,const char *,int,const char *,const char *,const char *,const char *,const BIGNUM *,const BIGNUM *)", "", "Argument[7]", "Argument[*7]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_fail_bignum_message", "(const char *,const char *,int,const char *,const char *,const char *,const char *,const BIGNUM *,const BIGNUM *)", "", "Argument[8]", "Argument[*8]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_fail_bignum_mono_message", "(const char *,const char *,int,const char *,const char *,const char *,const char *,const BIGNUM *)", "", "Argument[7]", "Argument[*7]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_get_argument", "(size_t)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_get_libctx", "(OSSL_LIB_CTX **,OSSL_PROVIDER **,const char *,OSSL_PROVIDER **,const char *)", "", "Argument[**0]", "Argument[**3].Field[**libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "test_get_libctx", "(OSSL_LIB_CTX **,OSSL_PROVIDER **,const char *,OSSL_PROVIDER **,const char *)", "", "Argument[*0]", "Argument[**3].Field[*libctx]", "value", "dfc-generated"]
|
||||
- ["", "", True, "test_get_libctx", "(OSSL_LIB_CTX **,OSSL_PROVIDER **,const char *,OSSL_PROVIDER **,const char *)", "", "Argument[*4]", "Argument[**3].Field[**name]", "value", "dfc-generated"]
|
||||
- ["", "", True, "test_get_libctx", "(OSSL_LIB_CTX **,OSSL_PROVIDER **,const char *,OSSL_PROVIDER **,const char *)", "", "Argument[0]", "Argument[**3].Field[*libctx]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_get_libctx", "(OSSL_LIB_CTX **,OSSL_PROVIDER **,const char *,OSSL_PROVIDER **,const char *)", "", "Argument[0]", "Argument[*0]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_get_libctx", "(OSSL_LIB_CTX **,OSSL_PROVIDER **,const char *,OSSL_PROVIDER **,const char *)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_get_libctx", "(OSSL_LIB_CTX **,OSSL_PROVIDER **,const char *,OSSL_PROVIDER **,const char *)", "", "Argument[3]", "Argument[*3]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_get_libctx", "(OSSL_LIB_CTX **,OSSL_PROVIDER **,const char *,OSSL_PROVIDER **,const char *)", "", "Argument[4]", "Argument[**3].Field[**name]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_mk_file_path", "(const char *,const char *)", "", "Argument[*0]", "ReturnValue[*]", "value", "dfc-generated"]
|
||||
- ["", "", True, "test_mk_file_path", "(const char *,const char *)", "", "Argument[*1]", "ReturnValue[*]", "value", "dfc-generated"]
|
||||
- ["", "", True, "test_mk_file_path", "(const char *,const char *)", "", "Argument[0]", "ReturnValue[*]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_mk_file_path", "(const char *,const char *)", "", "Argument[1]", "ReturnValue[*]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_output_bignum", "(const char *,const BIGNUM *)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_start_file", "(STANZA *,const char *)", "", "Argument[*1]", "Argument[*0].Field[**test_file]", "value", "dfc-generated"]
|
||||
- ["", "", True, "test_start_file", "(STANZA *,const char *)", "", "Argument[1]", "Argument[*0].Field[*test_file]", "value", "dfc-generated"]
|
||||
- ["", "", True, "test_vprintf_stderr", "(const char *,va_list)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_vprintf_stdout", "(const char *,va_list)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_vprintf_taperr", "(const char *,va_list)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "test_vprintf_tapout", "(const char *,va_list)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "tls12_get_psigalgs", "(SSL_CONNECTION *,int,const uint16_t **)", "", "Argument[*0]", "Argument[**2]", "taint", "df-generated"]
|
||||
- ["", "", True, "tls12_get_psigalgs", "(SSL_CONNECTION *,int,const uint16_t **)", "", "Argument[*0]", "Argument[*2]", "taint", "df-generated"]
|
||||
- ["", "", True, "tls12_get_psigalgs", "(SSL_CONNECTION *,int,const uint16_t **)", "", "Argument[*0]", "ReturnValue", "taint", "df-generated"]
|
||||
- ["", "", True, "tls13_alert_code", "(int)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["", "", True, "tls1_alert_code", "(int)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["", "", True, "tls1_allocate_write_buffers", "(OSSL_RECORD_LAYER *,OSSL_RECORD_TEMPLATE *,size_t,size_t *)", "", "Argument[*3]", "Argument[*0].Field[*numwpipes]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "tls1_allocate_write_buffers", "(OSSL_RECORD_LAYER *,OSSL_RECORD_TEMPLATE *,size_t,size_t *)", "", "Argument[2]", "Argument[*0].Field[*numwpipes]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "tls1_allocate_write_buffers", "(OSSL_RECORD_LAYER *,OSSL_RECORD_TEMPLATE *,size_t,size_t *)", "", "Argument[3]", "Argument[*0].Field[*numwpipes]", "taint", "dfc-generated"]
|
||||
@@ -21777,7 +21529,6 @@ extensions:
|
||||
- ["", "", True, "tls_process_server_certificate", "(SSL_CONNECTION *,PACKET *)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "tls_process_server_hello", "(SSL_CONNECTION *,PACKET *)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "tls_process_server_rpk", "(SSL_CONNECTION *,PACKET *)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "tls_provider_init", "(const OSSL_CORE_HANDLE *,const OSSL_DISPATCH *,const OSSL_DISPATCH **,void **)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "tls_read_record", "(OSSL_RECORD_LAYER *,void **,int *,uint8_t *,const unsigned char **,size_t *,uint16_t *,unsigned char *)", "", "Argument[*0]", "Argument[**1]", "taint", "df-generated"]
|
||||
- ["", "", True, "tls_read_record", "(OSSL_RECORD_LAYER *,void **,int *,uint8_t *,const unsigned char **,size_t *,uint16_t *,unsigned char *)", "", "Argument[*0]", "Argument[**4]", "taint", "df-generated"]
|
||||
- ["", "", True, "tls_read_record", "(OSSL_RECORD_LAYER *,void **,int *,uint8_t *,const unsigned char **,size_t *,uint16_t *,unsigned char *)", "", "Argument[*0]", "Argument[*1]", "taint", "df-generated"]
|
||||
@@ -21811,13 +21562,11 @@ extensions:
|
||||
- ["", "", True, "v2i_GENERAL_NAME_ex", "(GENERAL_NAME *,const X509V3_EXT_METHOD *,X509V3_CTX *,CONF_VALUE *,int)", "", "Argument[*0]", "ReturnValue[*]", "value", "df-generated"]
|
||||
- ["", "", True, "v2i_GENERAL_NAME_ex", "(GENERAL_NAME *,const X509V3_EXT_METHOD *,X509V3_CTX *,CONF_VALUE *,int)", "", "Argument[0]", "Argument[*0]", "value", "df-generated"]
|
||||
- ["", "", True, "v2i_GENERAL_NAME_ex", "(GENERAL_NAME *,const X509V3_EXT_METHOD *,X509V3_CTX *,CONF_VALUE *,int)", "", "Argument[0]", "ReturnValue", "value", "df-generated"]
|
||||
- ["", "", True, "valid_asn1_encoding", "(const OSSL_CMP_MSG *)", "", "Argument[*0]", "Argument[0]", "value", "df-generated"]
|
||||
- ["", "", True, "verify_callback", "(int,X509_STORE_CTX *)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
|
||||
- ["", "", True, "verify_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "verify_main", "(int,char **,char *[])", "", "Argument[*1]", "Argument[**1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "version_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "version_main", "(int,char **,char *[])", "", "Argument[*1]", "Argument[**1]", "value", "dfc-generated"]
|
||||
- ["", "", True, "wait_until_sock_readable", "(int)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
|
||||
- ["", "", True, "x509_ctrl_string", "(X509 *,const char *)", "", "Argument[*1]", "Argument[*0].Field[**distinguishing_id].Field[**data]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "x509_ctrl_string", "(X509 *,const char *)", "", "Argument[1]", "Argument[*0].Field[**distinguishing_id].Field[**data]", "taint", "dfc-generated"]
|
||||
- ["", "", True, "x509_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
|
||||
|
||||
Reference in New Issue
Block a user