@@ -1980,11 +1980,6 @@ extensions:
19801980 - ["", "", True, "CRYPTO_ofb128_encrypt", "(const unsigned char *,unsigned char *,size_t,const void *,unsigned char[16],int *,block128_f)", "", "Argument[4]", "Argument[*4]", "taint", "dfc-generated"]
19811981 - ["", "", True, "CRYPTO_ofb128_encrypt", "(const unsigned char *,unsigned char *,size_t,const void *,unsigned char[16],int *,block128_f)", "", "Argument[5]", "Argument[*1]", "taint", "dfc-generated"]
19821982 - ["", "", True, "CRYPTO_ofb128_encrypt", "(const unsigned char *,unsigned char *,size_t,const void *,unsigned char[16],int *,block128_f)", "", "Argument[5]", "Argument[*5]", "taint", "dfc-generated"]
1983- - ["", "", True, "CRYPTO_realloc", "(void *,size_t,const char *,int)", "", "Argument[**0]", "ReturnValue[**]", "value", "dfc-generated"]
1984- - ["", "", True, "CRYPTO_realloc", "(void *,size_t,const char *,int)", "", "Argument[*0]", "ReturnValue[**]", "value", "dfc-generated"]
1985- - ["", "", True, "CRYPTO_realloc", "(void *,size_t,const char *,int)", "", "Argument[*0]", "ReturnValue[*]", "value", "dfc-generated"]
1986- - ["", "", True, "CRYPTO_realloc", "(void *,size_t,const char *,int)", "", "Argument[0]", "ReturnValue[**]", "taint", "dfc-generated"]
1987- - ["", "", True, "CRYPTO_realloc", "(void *,size_t,const char *,int)", "", "Argument[0]", "ReturnValue[*]", "taint", "dfc-generated"]
19881983 - ["", "", True, "CRYPTO_secure_clear_free", "(void *,size_t,const char *,int)", "", "Argument[0]", "Argument[*0]", "taint", "df-generated"]
19891984 - ["", "", True, "CRYPTO_secure_free", "(void *,const char *,int)", "", "Argument[0]", "Argument[*0]", "taint", "df-generated"]
19901985 - ["", "", True, "CRYPTO_set_ex_data", "(CRYPTO_EX_DATA *,int,void *)", "", "Argument[*2]", "Argument[*0].Field[**sk].Field[***data]", "value", "dfc-generated"]
@@ -8898,10 +8893,6 @@ extensions:
88988893 - ["", "", True, "_CONF_add_string", "(CONF *,CONF_VALUE *,CONF_VALUE *)", "", "Argument[*1].Field[*section]", "Argument[*2].Field[*section]", "value", "dfc-generated"]
88998894 - ["", "", True, "_CONF_new_section", "(CONF *,const char *)", "", "Argument[*1]", "ReturnValue[*].Field[**section]", "value", "dfc-generated"]
89008895 - ["", "", True, "_CONF_new_section", "(CONF *,const char *)", "", "Argument[1]", "ReturnValue[*].Field[**section]", "taint", "dfc-generated"]
8901- - ["", "", True, "__cmsg_nxthdr", "(msghdr *,cmsghdr *)", "", "Argument[*1]", "ReturnValue[*]", "value", "df-generated"]
8902- - ["", "", True, "__cmsg_nxthdr", "(msghdr *,cmsghdr *)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
8903- - ["", "", True, "__cmsg_nxthdr", "(msghdr *,cmsghdr *)", "", "Argument[1]", "ReturnValue", "taint", "dfc-generated"]
8904- - ["", "", True, "__cmsg_nxthdr", "(msghdr *,cmsghdr *)", "", "Argument[1]", "ReturnValue[*]", "taint", "dfc-generated"]
89058896 - ["", "", True, "a2d_ASN1_OBJECT", "(unsigned char *,int,const char *,int)", "", "Argument[*2]", "Argument[*0]", "taint", "dfc-generated"]
89068897 - ["", "", True, "a2d_ASN1_OBJECT", "(unsigned char *,int,const char *,int)", "", "Argument[2]", "Argument[*0]", "taint", "dfc-generated"]
89078898 - ["", "", True, "a2i_GENERAL_NAME", "(GENERAL_NAME *,const X509V3_EXT_METHOD *,X509V3_CTX *,int,const char *,int)", "", "Argument[*0]", "ReturnValue[*]", "value", "df-generated"]
@@ -8948,14 +8939,6 @@ extensions:
89488939 - ["", "", True, "args_excert", "(int,SSL_EXCERT **)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
89498940 - ["", "", True, "async_wait_ctx_reset_counts", "(ASYNC_WAIT_CTX *)", "", "Argument[*0].Field[**fds].Field[**next]", "Argument[*0].Field[**fds]", "value", "dfc-generated"]
89508941 - ["", "", True, "async_wait_ctx_reset_counts", "(ASYNC_WAIT_CTX *)", "", "Argument[*0].Field[**fds].Field[*next]", "Argument[*0].Field[*fds]", "value", "dfc-generated"]
8951- - ["", "", True, "atof", "(const char *)", "", "Argument[*0]", "ReturnValue", "taint", "dfc-generated"]
8952- - ["", "", True, "atof", "(const char *)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
8953- - ["", "", True, "atoi", "(const char *)", "", "Argument[*0]", "ReturnValue", "taint", "dfc-generated"]
8954- - ["", "", True, "atoi", "(const char *)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
8955- - ["", "", True, "atol", "(const char *)", "", "Argument[*0]", "ReturnValue", "taint", "dfc-generated"]
8956- - ["", "", True, "atol", "(const char *)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
8957- - ["", "", True, "atoll", "(const char *)", "", "Argument[*0]", "ReturnValue", "taint", "dfc-generated"]
8958- - ["", "", True, "atoll", "(const char *)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
89598942 - ["", "", True, "b2i_DSA_PVK_bio", "(BIO *,pem_password_cb *,void *)", "", "Argument[*2]", "Argument[**2]", "value", "df-generated"]
89608943 - ["", "", True, "b2i_DSA_PVK_bio", "(BIO *,pem_password_cb *,void *)", "", "Argument[2]", "Argument[**2]", "taint", "dfc-generated"]
89618944 - ["", "", True, "b2i_DSA_PVK_bio_ex", "(BIO *,pem_password_cb *,void *,OSSL_LIB_CTX *,const char *)", "", "Argument[*2]", "Argument[**2]", "value", "df-generated"]
@@ -9108,13 +9091,6 @@ extensions:
91089091 - ["", "", True, "bn_wexpand", "(BIGNUM *,int)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
91099092 - ["", "", True, "bn_wexpand", "(BIGNUM *,int)", "", "Argument[1]", "Argument[*0].Field[*dmax]", "value", "dfc-generated"]
91109093 - ["", "", True, "bn_wexpand", "(BIGNUM *,int)", "", "Argument[1]", "ReturnValue[*].Field[*dmax]", "value", "dfc-generated"]
9111- - ["", "", True, "bsearch", "(const void *,const void *,size_t,size_t,__compar_fn_t)", "", "Argument[*1]", "ReturnValue[*]", "value", "dfc-generated"]
9112- - ["", "", True, "bsearch", "(const void *,const void *,size_t,size_t,__compar_fn_t)", "", "Argument[1]", "ReturnValue", "taint", "dfc-generated"]
9113- - ["", "", True, "bsearch", "(const void *,const void *,size_t,size_t,__compar_fn_t)", "", "Argument[1]", "ReturnValue[*]", "taint", "dfc-generated"]
9114- - ["", "", True, "bsearch", "(const void *,const void *,size_t,size_t,__compar_fn_t)", "", "Argument[2]", "ReturnValue", "taint", "dfc-generated"]
9115- - ["", "", True, "bsearch", "(const void *,const void *,size_t,size_t,__compar_fn_t)", "", "Argument[2]", "ReturnValue[*]", "taint", "dfc-generated"]
9116- - ["", "", True, "bsearch", "(const void *,const void *,size_t,size_t,__compar_fn_t)", "", "Argument[3]", "ReturnValue", "taint", "dfc-generated"]
9117- - ["", "", True, "bsearch", "(const void *,const void *,size_t,size_t,__compar_fn_t)", "", "Argument[3]", "ReturnValue[*]", "taint", "dfc-generated"]
91189094 - ["", "", True, "ca_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
91199095 - ["", "", True, "ca_main", "(int,char **,char *[])", "", "Argument[*1]", "Argument[**1]", "value", "dfc-generated"]
91209096 - ["", "", True, "calculate_columns", "(FUNCTION *,DISPLAY_COLUMNS *)", "", "Argument[*1].Field[*width]", "Argument[*1].Field[*columns]", "taint", "dfc-generated"]
@@ -17178,18 +17154,12 @@ extensions:
1717817154 - ["", "", True, "fake_rand_start", "(OSSL_LIB_CTX *)", "", "Argument[0]", "ReturnValue[*].Field[*libctx]", "value", "dfc-generated"]
1717917155 - ["", "", True, "fake_rsa_start", "(OSSL_LIB_CTX *)", "", "Argument[*0]", "ReturnValue[*].Field[**libctx]", "value", "dfc-generated"]
1718017156 - ["", "", True, "fake_rsa_start", "(OSSL_LIB_CTX *)", "", "Argument[0]", "ReturnValue[*].Field[*libctx]", "value", "dfc-generated"]
17181- - ["", "", True, "feof_unlocked", "(FILE *)", "", "Argument[*0].Field[*_flags]", "ReturnValue", "taint", "dfc-generated"]
17182- - ["", "", True, "ferror_unlocked", "(FILE *)", "", "Argument[*0].Field[*_flags]", "ReturnValue", "taint", "dfc-generated"]
17183- - ["", "", True, "fgetc_unlocked", "(FILE *)", "", "Argument[*0]", "ReturnValue", "taint", "df-generated"]
1718417157 - ["", "", True, "filter_provider_init", "(const OSSL_CORE_HANDLE *,const OSSL_DISPATCH *,const OSSL_DISPATCH **,void **)", "", "Argument[*0]", "Argument[**3].Field[**handle]", "value", "dfc-generated"]
1718517158 - ["", "", True, "filter_provider_init", "(const OSSL_CORE_HANDLE *,const OSSL_DISPATCH *,const OSSL_DISPATCH **,void **)", "", "Argument[0]", "Argument[**3].Field[*handle]", "value", "dfc-generated"]
1718617159 - ["", "", True, "filter_provider_init", "(const OSSL_CORE_HANDLE *,const OSSL_DISPATCH *,const OSSL_DISPATCH **,void **)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
1718717160 - ["", "", True, "filter_provider_init", "(const OSSL_CORE_HANDLE *,const OSSL_DISPATCH *,const OSSL_DISPATCH **,void **)", "", "Argument[3]", "Argument[*3]", "taint", "dfc-generated"]
1718817161 - ["", "", True, "fipsinstall_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
1718917162 - ["", "", True, "fipsinstall_main", "(int,char **,char *[])", "", "Argument[*1]", "Argument[**1]", "value", "dfc-generated"]
17190- - ["", "", True, "fputc_unlocked", "(int,FILE *)", "", "Argument[0]", "Argument[*1].Field[**_IO_write_ptr]", "value", "dfc-generated"]
17191- - ["", "", True, "fread_unlocked", "(void *__restrict__,size_t,size_t,FILE *__restrict__)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
17192- - ["", "", True, "fread_unlocked", "(void *__restrict__,size_t,size_t,FILE *__restrict__)", "", "Argument[1]", "ReturnValue", "taint", "dfc-generated"]
1719317163 - ["", "", True, "gendsa_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
1719417164 - ["", "", True, "gendsa_main", "(int,char **,char *[])", "", "Argument[*1]", "Argument[**1]", "value", "dfc-generated"]
1719517165 - ["", "", True, "generic_import", "(void *,int,const OSSL_PARAM[])", "", "Argument[*0].Field[**libctx]", "ReturnValue[*].Field[**libctx]", "value", "dfc-generated"]
@@ -17203,9 +17173,6 @@ extensions:
1720317173 - ["", "", True, "get_ca_names", "(SSL_CONNECTION *)", "", "Argument[*0]", "ReturnValue[*]", "taint", "df-generated"]
1720417174 - ["", "", True, "get_passwd", "(const char *,const char *)", "", "Argument[*0]", "ReturnValue[*]", "value", "dfc-generated"]
1720517175 - ["", "", True, "get_passwd", "(const char *,const char *)", "", "Argument[0]", "ReturnValue[*]", "taint", "dfc-generated"]
17206- - ["", "", True, "getc_unlocked", "(FILE *)", "", "Argument[*0]", "ReturnValue", "taint", "df-generated"]
17207- - ["", "", True, "getline", "(char **,char **__restrict__,size_t *,size_t *__restrict__,FILE *,FILE *__restrict__)", "", "Argument[*2]", "Argument[*0]", "taint", "dfc-generated"]
17208- - ["", "", True, "getline", "(char **,char **__restrict__,size_t *,size_t *__restrict__,FILE *,FILE *__restrict__)", "", "Argument[2]", "Argument[*0]", "taint", "dfc-generated"]
1720917176 - ["", "", True, "gf_add", "(gf,const gf,const gf)", "", "Argument[*1].Field[*limb]", "Argument[*0].Field[*limb]", "taint", "dfc-generated"]
1721017177 - ["", "", True, "gf_add", "(gf,const gf,const gf)", "", "Argument[*2].Field[*limb]", "Argument[*0].Field[*limb]", "taint", "dfc-generated"]
1721117178 - ["", "", True, "gf_deserialize", "(gf,const uint8_t[56],int,uint8_t)", "", "Argument[*0].Field[*limb]", "ReturnValue", "taint", "dfc-generated"]
@@ -18328,25 +18295,13 @@ extensions:
1832818295 - ["", "", True, "lookup_sess_in_cache", "(SSL_CONNECTION *,const unsigned char *,size_t)", "", "Argument[*0]", "ReturnValue[*]", "taint", "df-generated"]
1832918296 - ["", "", True, "mac_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
1833018297 - ["", "", True, "mac_main", "(int,char **,char *[])", "", "Argument[*1]", "Argument[**1]", "value", "dfc-generated"]
18331- - ["", "", True, "main", "(int,char **)", "", "Argument[*1]", "Argument[**1]", "taint", "dfc-generated"]
18332- - ["", "", True, "main", "(int,char **)", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
18333- - ["", "", True, "main", "(int,char *[])", "", "Argument[*1]", "Argument[**1]", "taint", "dfc-generated"]
18334- - ["", "", True, "main", "(int,char *[])", "", "Argument[1]", "Argument[**1]", "taint", "dfc-generated"]
18335- - ["", "", True, "main", "(int,char *[])", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
1833618298 - ["", "", True, "make_engine_uri", "(ENGINE *,const char *,const char *)", "", "Argument[*0].Field[**id]", "ReturnValue[*]", "value", "dfc-generated"]
1833718299 - ["", "", True, "make_engine_uri", "(ENGINE *,const char *,const char *)", "", "Argument[*0].Field[*id]", "ReturnValue[*]", "taint", "dfc-generated"]
1833818300 - ["", "", True, "make_engine_uri", "(ENGINE *,const char *,const char *)", "", "Argument[*1]", "ReturnValue[*]", "value", "dfc-generated"]
1833918301 - ["", "", True, "make_engine_uri", "(ENGINE *,const char *,const char *)", "", "Argument[1]", "ReturnValue[*]", "taint", "dfc-generated"]
1834018302 - ["", "", True, "make_uppercase", "(char *)", "", "Argument[0]", "Argument[*0]", "taint", "dfc-generated"]
1834118303 - ["", "", True, "md4_block_data_order", "(MD4_CTX *,const void *,size_t)", "", "Argument[*1]", "Argument[*0]", "taint", "df-generated"]
1834218304 - ["", "", True, "md4_block_data_order", "(MD4_CTX *,const void *,size_t)", "", "Argument[1]", "Argument[*0]", "taint", "df-generated"]
18343- - ["", "", True, "memcpy", "(void *__restrict__,const void *__restrict__,size_t)", "", "Argument[**1]", "Argument[*0]", "value", "dfc-generated"]
18344- - ["", "", True, "memcpy", "(void *__restrict__,const void *__restrict__,size_t)", "", "Argument[**1]", "ReturnValue[**]", "value", "dfc-generated"]
18345- - ["", "", True, "memcpy", "(void *__restrict__,const void *__restrict__,size_t)", "", "Argument[*1]", "Argument[**1]", "value", "df-generated"]
18346- - ["", "", True, "memcpy", "(void *__restrict__,const void *__restrict__,size_t)", "", "Argument[*1]", "Argument[*0]", "value", "df-generated"]
18347- - ["", "", True, "memcpy", "(void *__restrict__,const void *__restrict__,size_t)", "", "Argument[*1]", "ReturnValue[**]", "value", "df-generated"]
18348- - ["", "", True, "memcpy", "(void *__restrict__,const void *__restrict__,size_t)", "", "Argument[*1]", "ReturnValue[*]", "value", "df-generated"]
18349- - ["", "", True, "memcpy", "(void *__restrict__,const void *__restrict__,size_t)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
1835018305 - ["", "", True, "mempacket_test_inject", "(BIO *,const char *,int,int,int)", "", "Argument[2]", "ReturnValue", "value", "dfc-generated"]
1835118306 - ["", "", True, "name_cmp", "(const char *const *,const char *const *)", "", "Argument[**0]", "ReturnValue", "taint", "dfc-generated"]
1835218307 - ["", "", True, "name_cmp", "(const char *const *,const char *const *)", "", "Argument[**1]", "ReturnValue", "taint", "dfc-generated"]
@@ -21332,7 +21287,6 @@ extensions:
2133221287 - ["", "", True, "print_verify_detail", "(SSL *,BIO *)", "", "Argument[*0].Field[**tls].Field[**param]", "Argument[*0].Field[**param]", "value", "dfc-generated"]
2133321288 - ["", "", 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"]
2133421289 - ["", "", True, "pulldown_test_framework", "(int)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
21335- - ["", "", True, "putc_unlocked", "(int,FILE *)", "", "Argument[0]", "Argument[*1].Field[**_IO_write_ptr]", "value", "dfc-generated"]
2133621290 - ["", "", True, "qtest_create_injector", "(QUIC_TSERVER *)", "", "Argument[*0]", "ReturnValue[*].Field[**qtserv]", "value", "dfc-generated"]
2133721291 - ["", "", True, "qtest_create_injector", "(QUIC_TSERVER *)", "", "Argument[0]", "ReturnValue[*].Field[*qtserv]", "value", "dfc-generated"]
2133821292 - ["", "", True, "qtest_create_quic_connection", "(QUIC_TSERVER *,SSL *)", "", "Argument[1]", "Argument[*1].Field[**waitctx].Field[*callback_arg]", "value", "dfc-generated"]
@@ -21430,16 +21384,12 @@ extensions:
2143021384 - ["", "", True, "smime_main", "(int,char **,char *[])", "", "Argument[*1]", "Argument[**1]", "value", "dfc-generated"]
2143121385 - ["", "", True, "smime_main", "(int,char **,char *[])", "", "Argument[1]", "Argument[**1]", "taint", "dfc-generated"]
2143221386 - ["", "", True, "smime_main", "(int,char **,char *[])", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
21433- - ["", "", True, "snprintf", "(char *__restrict__,size_t,const char *__restrict__,...)", "", "Argument[*2]", "Argument[*0]", "taint", "dfc-generated"]
21434- - ["", "", True, "snprintf", "(char *__restrict__,size_t,const char *__restrict__,...)", "", "Argument[2]", "Argument[*0]", "taint", "dfc-generated"]
2143521387 - ["", "", True, "speed_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
2143621388 - ["", "", True, "speed_main", "(int,char **,char *[])", "", "Argument[*1]", "Argument[**1]", "value", "dfc-generated"]
2143721389 - ["", "", True, "speed_main", "(int,char **,char *[])", "", "Argument[1]", "Argument[**1]", "taint", "dfc-generated"]
2143821390 - ["", "", True, "speed_main", "(int,char **,char *[])", "", "Argument[1]", "Argument[*1]", "taint", "dfc-generated"]
2143921391 - ["", "", True, "spkac_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
2144021392 - ["", "", True, "spkac_main", "(int,char **,char *[])", "", "Argument[*1]", "Argument[**1]", "value", "dfc-generated"]
21441- - ["", "", True, "sprintf", "(char *__restrict__,const char *__restrict__,...)", "", "Argument[*1]", "Argument[*0]", "taint", "dfc-generated"]
21442- - ["", "", True, "sprintf", "(char *__restrict__,const char *__restrict__,...)", "", "Argument[1]", "Argument[*0]", "taint", "dfc-generated"]
2144321393 - ["", "", True, "srp_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
2144421394 - ["", "", True, "srp_main", "(int,char **,char *[])", "", "Argument[*1]", "Argument[**1]", "value", "dfc-generated"]
2144521395 - ["", "", True, "srp_main", "(int,char **,char *[])", "", "Argument[1]", "Argument[**1]", "taint", "dfc-generated"]
@@ -21848,8 +21798,6 @@ extensions:
2184821798 - ["", "", True, "tls_write_records_default", "(OSSL_RECORD_LAYER *,OSSL_RECORD_TEMPLATE *,size_t)", "", "Argument[*1].Field[*buflen]", "Argument[*0].Field[**compctx].Field[*compress_in]", "taint", "dfc-generated"]
2184921799 - ["", "", True, "tls_write_records_multiblock", "(OSSL_RECORD_LAYER *,OSSL_RECORD_TEMPLATE *,size_t)", "", "Argument[*1].Field[*buflen]", "Argument[*0].Field[**compctx].Field[*compress_in]", "taint", "dfc-generated"]
2185021800 - ["", "", True, "tls_write_records_multiblock", "(OSSL_RECORD_LAYER *,OSSL_RECORD_TEMPLATE *,size_t)", "", "Argument[2]", "Argument[*0].Field[*sequence]", "taint", "dfc-generated"]
21851- - ["", "", True, "tolower", "(int)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
21852- - ["", "", True, "toupper", "(int)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
2185321801 - ["", "", True, "ts_main", "(int,char **,char *[])", "", "Argument[**1]", "Argument[*1]", "value", "dfc-generated"]
2185421802 - ["", "", True, "ts_main", "(int,char **,char *[])", "", "Argument[*1]", "Argument[**1]", "value", "dfc-generated"]
2185521803 - ["", "", True, "unpack_revinfo", "(ASN1_TIME **,int *,ASN1_OBJECT **,ASN1_GENERALIZEDTIME **,const char *)", "", "Argument[*4]", "Argument[**0].Field[**data]", "value", "dfc-generated"]
0 commit comments