ITEE Home » Simon Lewis Long » Parfait Debug Output

Print version

variables

tainted __iob;
tainted stdin;

functions

BIO_ctrl(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
BIO_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
BIO_new(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
BIO_new_file(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
BIO_new_fp(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
BIO_s_file(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
BN_CTX_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
BN_CTX_new(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
BN_bin2bn(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
BN_bn2bin(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
BN_clear_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
BN_cmp(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
BN_div(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
BN_mask_bits(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
BN_new(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
BN_num_bits(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
BN_rand(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
BSDgetopt(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
CRYPTO_thread_id(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
DH_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
DH_new(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
DH_size(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
DSA_dup_DH(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
DSA_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
DSA_generate_parameters(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ERR_error_string(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ERR_get_error(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ERR_get_error_line_data(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
EVP_md5(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
MD4Final(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
MD4Init(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
MD4Update(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
MD5Final(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
MD5Init(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
MD5Update(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
MD5_Final(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
MD5_Init(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
MD5_Update(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
OPENSSL_add_all_algorithms_noconf(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
PEM_read_bio_DHparams(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
PEM_read_bio_X509_CRL(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
Pcreate_agent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
Pcred(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
Pdestroy_agent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
Pgrab_error(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
Prelease(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
Psetflags(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
Psetpriv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
Pstatus(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
Punsetflags(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
RAND_seed(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
RSA_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
RSA_generate_key(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SHA1Final(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SHA1Init(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SHA1Update(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_CIPHER_get_bits(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_CIPHER_get_name(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_CIPHER_get_version(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_COMP_get_compression_methods(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_CTX_check_private_key(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_CTX_ctrl(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_CTX_get_cert_store(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_CTX_load_verify_locations(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_CTX_new(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_CTX_set_cert_verify_callback(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_CTX_set_client_CA_list(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_CTX_set_session_id_context(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_CTX_set_timeout(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_CTX_set_tmp_rsa_callback(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_CTX_set_verify(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_CTX_use_PrivateKey_file(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_CTX_use_certificate_file(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_accept(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_alert_desc_string_long(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_alert_type_string_long(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_clear(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_connect(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_get_current_cipher(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_get_error(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_get_ex_data_X509_STORE_CTX_idx(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_get_peer_certificate(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_get_rfd(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_get_verify_result(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_get_wfd(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_library_init(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_load_client_CA_file(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_load_error_strings(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_new(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_pending(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_read(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_set_accept_state(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_set_connect_state(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_set_rfd(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_set_verify(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_set_wfd(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_shutdown(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_state_string_long(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSL_write(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSLeay(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSLv23_client_method(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
SSLv23_server_method(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
X509_CRL_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
X509_NAME_get_text_by_NID(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
X509_NAME_oneline(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
X509_STORE_CTX_get_current_cert(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
X509_STORE_CTX_get_error(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
X509_STORE_CTX_get_error_depth(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
X509_STORE_CTX_get_ex_data(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
X509_STORE_add_crl(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
X509_STORE_set_flags(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
X509_digest(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
X509_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
X509_get_issuer_name(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
X509_get_subject_name(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
X509_verify_cert(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
X509_verify_cert_error_string(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_Exit(status)
{
}
_IO_getc(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_IO_putc(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNKSt9basic_iosIcSt11char_traitsIcEE3eofEv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNKSt9basic_iosIcSt11char_traitsIcEE4failEv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNKSt9basic_iosIcSt11char_traitsIcEE4goodEv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNKSt9basic_iosIcSt11char_traitsIcEEcvPvEv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNKSt9basic_iosIcSt11char_traitsIcEEntEv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNSi3getERc(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNSi7putbackEc(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNSirsERd(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNSirsERf(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNSirsERi(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNSo3putEc(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNSo5writeEPKci(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNSolsEPFRSoS_E(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNSolsEPKv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNSolsEd(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNSolsEf(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNSolsEi(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNSt14basic_ifstreamIcSt11char_traitsIcEE4openEPKcSt13_Ios_Openmode(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNSt14basic_ifstreamIcSt11char_traitsIcEE5closeEv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNSt14basic_ifstreamIcSt11char_traitsIcEEC1EPKcSt13_Ios_Openmode(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNSt14basic_ifstreamIcSt11char_traitsIcEEC1Ev(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNSt14basic_ifstreamIcSt11char_traitsIcEED1Ev(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNSt14basic_ofstreamIcSt11char_traitsIcEE5closeEv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNSt14basic_ofstreamIcSt11char_traitsIcEEC1Ev(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNSt14basic_ofstreamIcSt11char_traitsIcEED1Ev(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNSt8ios_base4InitC1Ev(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZNSt8ios_base4InitD1Ev(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZSt4endlIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZStrsISt11char_traitsIcEERSt13basic_istreamIcT_ES5_Rh(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZStrsIcSt11char_traitsIcEERSt13basic_istreamIT_T0_ES6_PS3_(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZdaPv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_ZdlPv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_Znaj(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_Znwj(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
___errno()
{
}
__assert(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__assert_fail(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__cbc_triple_crypt(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__ctype_b_loc(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__errno_location(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__filbuf()
{
return tainted;
}
__fini_daemon_priv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__flsbuf(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__gen_common_dhkeys_g(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__gen_dhkeys(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__gen_dhkeys_g(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__get_authtoken_attr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__getldapaliasbyname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__getnetnamebyuid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__gss_userok(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__init_daemon_priv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__init_suid_priv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__major(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__minor(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__multi_innetgr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__netdir_getbyaddr_nosrv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__nis_get_mechanisms(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__nis_mechalias2authtype(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__nis_release_mechanisms(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__ns_ldap_addAttr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__ns_ldap_err2str(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__ns_ldap_freeCred(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__ns_ldap_getAttr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__ns_ldap_getParam(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__ns_ldap_getServiceAuthMethods(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__ns_ldap_host2dn(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__ns_ldap_list(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__ns_ldap_repAttr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__ns_ldap_uid2dn(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__nsw_freeconfig(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__nsw_getconfig(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__posix_getpwnam_r(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__posix_getpwuid_r(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__priv_bracket(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__priv_relinquish(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__rpc_endconf(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__rpc_getconf(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__rpc_negotiate_uid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__rpc_setconf(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__set_authtoken_attr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__t_errno(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__xnet_bind(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__xnet_connect(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__xnet_recvmsg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__xnet_sendmsg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__xnet_sendto(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
__xnet_socket(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_autofssys(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_create_daemon_lock(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_enter_daemon_lock(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_exit(status)
{
}
_fxstat(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_kva_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_link_ntoa(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_lock_clear(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_lock_try(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_lxstat(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_mp_move(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_mutex_held(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_nfssys(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_nss_XbyY_buf_alloc(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_nuname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_obstack_begin(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_obstack_newchunk(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_setjmp(arg0)
{
arg0=tainted;
return tainted;
}
_str2kva(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_sysconf(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_xmknod(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
_xstat(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
a2port(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
abort()
{
}
abs(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
accept(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
access(cpath,mode)
{
return cpath+mode;
}
acos(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
adt_alloc_event(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
adt_audit_enabled(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
adt_end_session(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
adt_free_event(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
adt_load_hostname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
adt_load_termid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
adt_load_ttyname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
adt_put_event(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
adt_set_from_ucred(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
adt_set_proc(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
adt_set_user(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
adt_start_session(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
alarm(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
apr_dso_error(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
apr_dso_errorg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
apr_dso_load(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
apr_dso_sym(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
apr_pollset_add(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
apr_pollset_create(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
apr_pollset_poll(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
apr_pollset_remove(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
arc4random(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
arc4random_stir(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ascftime(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
asctime(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
asin(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
atan(a)
{
return a;
}
atan2(a,b)
{
return a+b;
}
atexit(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
atof(a)
{
return a;
}
atoi(n)
{
return n;
}
atol(n)
{
return n;
}
atomicio(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
audit_at_create(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
audit_at_delete(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
audit_cron_bad_user(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
audit_cron_delete_anc_file(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
audit_cron_is_anc_name(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
audit_cron_new_job(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
audit_cron_session(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
audit_cron_user_acct_expired(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
audit_crontab_delete(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
audit_crontab_modify(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
audit_crontab_not_allowed(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
audit_mountd_mount(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
audit_mountd_setup(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
audit_mountd_umount(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
authsys_create_default(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
basename(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
bcopy(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
bind(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
bldominates(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
brand_close(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
brand_get_boot(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
brand_get_halt(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
brand_get_initname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
brand_get_modname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
brand_is_native(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
brand_open(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
brand_platform_iter_devices(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
brand_platform_iter_gmounts(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
brand_platform_iter_link(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
brand_platform_iter_mounts(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
buffer_append(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
buffer_append_space(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
buffer_clear(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
buffer_consume(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
buffer_consume_end(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
buffer_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
buffer_get_bignum2(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
buffer_get_char(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
buffer_get_int(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
buffer_get_string(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
buffer_init(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
buffer_len(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
buffer_ptr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
buffer_put_bignum2(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
buffer_put_char(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
buffer_put_cstring(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
buffer_put_int(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
buffer_put_string(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
bzero(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
calloc(size)
{
}
casncmp(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
cbc_crypt(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ceil(a)
{
return a;
}
ceilf(a)
{
return a;
}
cfgetispeed(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
cfgetospeed(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
cfsetispeed(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
cfsetospeed(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
cftime(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
chan_write_failed(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_add_permitted_opens(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_after_select(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_cancel_cleanup(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_clear_permitted_opens(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_close_all(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_connect_to(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_find_open(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_free_all(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_input_close(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_input_close_confirmation(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_input_data(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_input_extended_data(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_input_ieof(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_input_oclose(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_input_open_confirmation(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_input_open_failure(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_input_port_forward_request(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_input_port_open(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_input_window_adjust(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_lookup(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_new(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_not_very_much_buffered_data(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_open_message(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_output_poll(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_permit_all_opens(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_prepare_select(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_register_cleanup(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_request_start(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_set_af(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_set_fds(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_set_wait_for_exit(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_setup_remote_fwd_listener(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
channel_still_open(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
chdir(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
check_host_in_hostfile(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
chkauthattr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
chmod(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
choose_dh(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
chop(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
chown(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
chroot(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
cipher_by_name(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
cipher_mask_ssh1(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
cipher_name(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ciphers_valid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
clearerr(a)
{
}
clnt_create(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
clock()
{
}
close(fildes)
{
}
closedir(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
closefrom(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
closelog(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
com_err(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
compat_cipher_proposal(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
compat_datafellows(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
compute_session_id(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
cond_wait(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
connect(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
contract_abandon_id(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
contract_latest(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
contract_open(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
convtime(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
copystream(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
cos(a)
{
return a;
}
creat(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
creat64(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
crypt(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ct_ctl_abandon(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ct_ctl_ack(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ct_event_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ct_event_get_ctid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ct_event_get_evid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ct_event_get_flags(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ct_event_get_type(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ct_event_read(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ct_event_reset(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ct_pr_tmpl_set_fatal(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ct_pr_tmpl_set_param(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ct_pr_tmpl_set_transfer(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ct_status_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ct_status_get_cookie(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ct_status_get_id(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ct_status_read(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ct_tmpl_activate(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ct_tmpl_clear(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ct_tmpl_set_cookie(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ct_tmpl_set_critical(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ct_tmpl_set_informative(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ctime(ct)
{
}
cuserid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
daemon(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
dbm_close(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
dbm_fetch(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
dbm_open(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
dbm_store(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
debug(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
debug2(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
debug3(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
defcntl(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
defopen(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
defread(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
delempty(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
des_setparity(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
des_setparity_g(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
devctl_bus_acquire(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
devctl_bus_dev_create(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
devctl_ddef_alloc(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
devctl_ddef_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
devctl_ddef_int(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
devctl_ddef_string(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
devctl_device_acquire(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
devctl_device_remove(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
devctl_release(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
di_devfs_path(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
di_devfs_path_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
di_devlink_fini(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
di_devlink_init(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
di_devperm_login(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
di_fini(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
di_init(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
di_prof_add_dev(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
di_prof_add_map(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
di_prof_add_symlink(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
di_prof_commit(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
di_prof_fini(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
di_prof_init(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
di_prop_lookup_strings(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
di_walk_node(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
difftime(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
difftimeg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
dirname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
dispatch_init(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
dispatch_protocol_error(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
dispatch_protocol_ignore(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
dispatch_range(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
dispatch_run(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
dispatch_set(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
dladm_hold_link(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
dladm_info(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
dladm_rele_link(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
dlclose(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
dlerror(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
dlopen(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
dlsym(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
dm_inuse(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
dn_expand(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
dn_skipname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
door_create(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
door_info(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
door_return(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
door_revoke(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
door_ucred(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
drand48(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
dup(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
dup2(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ecb_crypt(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
enable_compat13(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
enable_compat20(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
enable_extended_FILE_stdio(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
encrypt(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
endgrent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
endnetconfig(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
endpwent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
endspent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
endusershell(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
endutxent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
endzoneent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
error(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
error_message(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
execl(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
execle(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
execlp(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
execv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
execve(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
execvp(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
exit(status)
{
}
exp(a)
{
return a;
}
fabs(a)
{
return a;
}
fabsf(a)
{
return a;
}
fatal(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
fatal_add_cleanup(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
fatal_cleanup(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
fatal_remove_all_cleanups(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
fatal_remove_cleanup(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
fattach(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
fchmod(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
fchown(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
fclose(stream)
{
}
fcntl(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
fdetach(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
fdopen(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
fdwalk(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
feof(a)
{
return a;
}
ferror(arg0)
{
arg0=tainted;
return tainted;
}
fflush(stream)
{
}
fgetc(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
fgetpwent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
fgets(s,n,stream)
{
s=n+stream;
return n;
}
fileno(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
floor(a)
{
return a;
}
floorf(a)
{
return a;
}
fopen(filename,mode)
{
return tainted;
}
fopen64(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
fork()
{
}
fork1(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
fpathconf(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
fprintf(file...)
{
}
fputc(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
fputs(s,stream)
{
stream=s;
return s;
}
fread(ptr,size,nobj,stream)
{
ptr=stream;
return stream;
}
free(ptr)
{
}
free_userattr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
freeaddrinfo(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
freehostent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
freenetconfigent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
freopen(filename,mode,stream)
{
return tainted;
}
freopen64(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
frexp(a,b)
{
b=a;
return a;
}
fscanf(a,stream,format...)
{
a=stream;
}
fseek(stream,offset,origin)
{
return origin;
}
fsfreemntlist(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
fsgetmntlist(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
fstat(a,b)
{
}
fstat64(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
fsync(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ftell(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ftok(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ftokg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ftruncate(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ftruncate64(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
fwrite(ptr,size,nobj,stream)
{
return ptr+size+nobj;
}
g11n_getlocales(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
g11n_locales2langs(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
g11n_setlocale(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gai_strerror(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
get_canonical_hostname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
get_local_ipaddr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
get_local_port(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
get_progname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
get_remote_ipaddr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
get_remote_name_or_ip(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
get_remote_port(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getaddrinfo(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getc(stream)
{
return tainted;
}
getchar()
{
return tainted;
}
getcwd(arg0,arg1)
{
return tainted;
}
getdate(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getdomainname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getegid()
{
}
getenv(arg0)
{
return tainted;
}
geteuid()
{
}
getexecname()
{
return tainted;
}
getgid()
{
}
getgrgid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getgrnam(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getgrouplist(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getgroups(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gethostbyaddr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gethostbyaddrg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gethostbyname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gethostname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gethrtime(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getipnodebyaddr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getipnodebyname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getlogin(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getmntent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getmsg(fildes,ctrptr,dataptr,bandp,flagsp)
{
ctrptr=fildes;
dataptr=fildes;
return fildes+ctrptr+dataptr+bandp+flagsp;
}
getnameinfo(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getnetbyname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getnetbyname_r(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getnetconfig(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getnetconfigent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getnetmaskbyaddr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getnetname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getopt(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getpagesize(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getpass(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getpassphrase(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getpeername(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getpgid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getpgidg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getpgrp(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getpgrpg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getpid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getppid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getppriv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getprivimplinfo(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getprojbyid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getprojbyname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getprojid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getprotobyname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getprotobynumber(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getpublickey(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getpublickey_g(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getpwent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getpwnam(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getpwnam_r(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getpwuid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getpwuid_r(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getrlimit(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getrlimit64(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getrusage(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gets(arg0)
{
arg0=tainted;
return tainted;
}
getsecretkey(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getsecretkey_g(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getservbyname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getsid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getsockname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getsockopt(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getspnam(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getsubopt(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gettaskid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gettext(w)
{
return tainted;
}
gettimeofday(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getuid()
{
}
getusernam(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getusershell(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getutxent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getutxid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getzoneent_private(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getzoneid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getzoneidbyname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
getzonenamebyid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gmtime(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gmtime_r(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
grantpt(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gss_accept_sec_context(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gss_acquire_cred(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gss_add_oid_set_member(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gss_create_empty_oid_set(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gss_display_name(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gss_indicate_mechs(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gss_inquire_context(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gss_release_buffer(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gss_release_cred(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gss_release_oid_set(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gss_store_cred(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gss_test_oid_set_member(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gss_verify_mic(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
gsscred_name_to_unix_cred(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
host2netname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
hostfile_read_key(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
hosts_access(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
hosts_ctl(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
hstrerror(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
hstrerrorg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
htonl(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
htons(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
iconv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
iconvg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
if_indextoname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
if_nametoindex(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ifaddrlist(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
inet6_rth_add(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
inet6_rth_init(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
inet6_rth_space(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
inet_addr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
inet_ntoa(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
inet_ntoa_r(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
inet_ntop(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
inet_pton(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
init_rng(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
initgroups(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
innetgr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
inproj(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ioctl(a,fildes,req...)
{
fildes=a;
return a;
}
is_system_labeled(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
isalnum(n)
{
return n;
}
isalpha(n)
{
return n;
}
isatty(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
isdigit(n)
{
return n;
}
isinf(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
isinfg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
islower(n)
{
return n;
}
isnan(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
isnang(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
isprint(n)
{
return n;
}
ispunct(n)
{
return n;
}
isspace(n)
{
return n;
}
isupper(n)
{
return n;
}
kex_get_newkeys(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
kex_input_kexinit(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
kex_setup(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
kexdh_server(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
kexgex_server(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
kexgss_server(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
key_demote(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
key_equal(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
key_fingerprint(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
key_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
key_from_blob(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
key_generate(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
key_load_private(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
key_new(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
key_read(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
key_removesecret_g(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
key_secretkey_is_set(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
key_secretkey_is_set_g(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
key_setnet(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
key_setnet_g(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
key_setsecret(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
key_sign(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
key_ssh_name(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
key_to_blob(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
key_type(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
key_type_from_name(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
key_verify(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
kill(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
killpg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
killpgg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_auth_con_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_auth_con_genaddrs(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_auth_con_getauthenticator(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_auth_con_getkey(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_auth_con_getlocalsubkey(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_auth_con_getrcache(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_auth_con_getremotesubkey(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_auth_con_init(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_auth_con_setaddrs(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_auth_con_setflags(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_auth_con_setports(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_auth_con_setrcache(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_c_block_size(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_c_decrypt(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_c_encrypt(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_c_encrypt_length(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_c_enctype_compare(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_c_init_state(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_c_verify_checksum(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_cc_close(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_cc_default(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_cc_get_principal(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_cc_initialize(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_cc_store_cred(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_copy_creds(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_copy_keyblock(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_free_authenticator(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_free_creds(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_free_error(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_free_keyblock(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_free_principal(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_fwd_tgt_creds(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_get_credentials(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_get_default_realm(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_get_server_rcache(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_init_context(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_kt_resolve(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_kuserok(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_mk_rep(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_net_read(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_privacy_allowed(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_rd_cred(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_rd_req(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_sendauth(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_set_default_realm(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_setenv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_sname_to_principal(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_unparse_name(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
krb5_write_message(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
kva_match(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ldap_abandon(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ldap_bind_s(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ldap_err2string(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ldap_first_attribute(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ldap_first_entry(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ldap_free_urldesc(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ldap_get_dn(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ldap_get_option(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ldap_get_values(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ldap_init(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ldap_memfree(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ldap_msgfree(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ldap_next_attribute(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ldap_next_entry(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ldap_result(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ldap_search(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ldap_set_option(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ldap_unbind(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ldap_url_parse(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ldap_value_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ldexp(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
libzfs_fini(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
libzfs_init(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
link(ef,nf)
{
nf=ef;
}
listen(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
llseek(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
llvm.bswap.i32(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
llvm.dbg.func.start(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
llvm.dbg.region.end(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
llvm.dbg.stoppoint(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
llvm.isunordered.f32(a,b)
{
return a+b;
}
llvm.isunordered.f64(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
llvm.memcpy.i32(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
llvm.memmove.i32(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
llvm.memset.i32(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
llvm.siglongjmp(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
llvm.sigsetjmp(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
llvm.sqrt.f64(a)
{
return a;
}
llvm.stackrestore(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
llvm.stacksave(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
llvm.va_copy(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
llvm.va_end(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
llvm.va_start(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
localtime(tp)
{
}
localtime_r(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
lockf(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
lockf64(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
log(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
log10(a)
{
return a;
}
log_facility_number(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
log_init(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
log_level_number(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
longjmp(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
lseek(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
lseek64(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
lstat64(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
m_label_alloc(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mac_init(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mac_valid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
maildomain(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
maillock(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mailunlock(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
main(arg0,arg1)
{
arg0=tainted;
arg1=tainted;
}
makeutx(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
malloc(size)
{
return size;
}
match_host_and_ip(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
match_pattern(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
match_user(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
memchr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
memcmp(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
memmove(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
memset(s,c,n)
{
s=c+n;
return s;
}
mit_des_fixup_key_parity(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mkdir(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mkdirp(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mkdtemp(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mkstemp(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mkstemp64(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mktime(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mm_auth2_read_banner(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mm_auth_password(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mm_auth_rhosts_rsa_key_allowed(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mm_auth_rsa_generate_challenge(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mm_auth_rsa_key_allowed(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mm_auth_rsa_verify_response(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mm_getpwnamallow(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mm_hostbased_key_allowed(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mm_inform_authserv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mm_key_verify(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mm_newkeys_from_blob(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mm_pty_allocate(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mm_request_receive(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mm_request_receive_expect(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mm_request_send(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mm_send_fd(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mm_send_keystate(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mm_session_pty_cleanup2(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mm_ssh1_session_id(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mm_ssh1_session_key(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mm_ssh_gssapi_accept_ctx(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mm_ssh_gssapi_userok(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mm_user_key_allowed(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mmap(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mmap64(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
modf(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
modfg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
modutx(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mount(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mp_itom(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mp_mfree(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mp_pow(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mp_sdiv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mp_xtom(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mrand48(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
msync(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
munmap(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mutex_init(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mutex_lock(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mutex_unlock(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
mysignal(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
netdir_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
netdir_getbyaddr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
netdir_getbyname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
netname2user(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nfs_getfh(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nice(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nis_add_entry(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nis_dir_cmp(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nis_domain_of(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nis_freeresult(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nis_list(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nis_local_directory(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nis_local_group(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nis_local_host(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nis_lookup(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nis_modify_entry(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nis_sperrno(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nl_langinfo(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
notice(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nss_delete(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nss_endent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nss_getent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nss_setent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ntohl(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ntohs(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nvlist_add_nvlist_array(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nvlist_add_string_array(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nvlist_add_uint64(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nvlist_alloc(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nvlist_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
nvlist_pack(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
obstack_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
open(path,flag,a)
{
return a;
}
open64(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
opendir(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
openlog(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_close(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_connection_is_on_socket(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_disconnect(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_get_bignum(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_get_char(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_get_connection_in(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_get_connection_out(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_get_int(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_get_protocol_flags(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_get_raw(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_get_string(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_have_data_to_write(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_is_interactive(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_is_monitor(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_is_server(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_not_very_much_data_to_write(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_process_incoming(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_put_bignum(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_put_char(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_put_cstring(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_put_int(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_put_raw(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_put_string(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_read(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_read_expect(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_remaining(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_send(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_send_debug(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_send_ignore(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_set_connection(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_set_encryption_key(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_set_interactive(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_set_iv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_set_keycontext(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_set_maxsize(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_set_monitor(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_set_nonblocking(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_set_protocol_flags(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_set_seqnr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_set_server(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_start(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_start_compression(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_write_poll(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
packet_write_wait(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pam_acct_mgmt(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pam_authenticate(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pam_chauthtok(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pam_close_session(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pam_end(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pam_get_item(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pam_getenvlist(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pam_open_session(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pam_set_item(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pam_setcred(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pam_start(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pam_strerror(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
passwd2des(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
passwd2des_g(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pathconf(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pause(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pclose(stream)
{
}
pclosevp(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
permanently_set_uid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
perror(str)
{
}
pipe(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
poll(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
popen(ccommd,mode)
{
return tainted;
}
popenvp(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pow(a,b)
{
return a+b;
}
pr_getprojid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pr_gettaskid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pread64(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
printf(str...)
{
}
priocntl(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
priv_addset(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
priv_allocset(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
priv_copyset(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
priv_emptyset(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
priv_freeset(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
priv_getsetbyname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
priv_ineffect(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
priv_isfullset(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
priv_ismember(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
priv_issubset(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
priv_union(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
proc_arg_grab(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
proc_get_priv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
profile_get_options_boolean(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
profile_get_options_string(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
proto_spec(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pset_getloadavg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_mutex_destroy(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_mutex_destroyg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_mutex_init(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_mutex_lock(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_mutex_lockg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_mutex_unlock(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_mutex_unlockg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_mutexattr_destroy(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_mutexattr_destroyg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_mutexattr_init(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_mutexattr_initg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_mutexattr_setprotocol(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_mutexattr_setprotocolg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_mutexattr_setpshared(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_mutexattr_setpsharedg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_mutexattr_setrobust_np(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_mutexattr_setrobust_npg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_mutexattr_settype(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_mutexattr_settypeg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_rwlock_rdlock(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_rwlock_rdlockg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_rwlock_unlock(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_rwlock_unlockg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_rwlock_wrlock(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_rwlock_wrlockg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_self(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pthread_selfg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ptsname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
putchar(n)
{
return n;
}
putenv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
putmsg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
puts(s)
{
return s;
}
pututxline(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pwcopy(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pwfree(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
pwrite64(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
qsort(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
rand()
{
}
random(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
rcmd_af(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
rctlblk_get_local_action(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
rctlblk_get_privilege(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
rctlblk_get_value(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
rctlblk_size(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
read(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
readdir(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
readdir64(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
readdirg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
readlink(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
realloc(ptr,size)
{
}
realpath(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
recv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
refuse(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
regcomp(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
regerror(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
regexec(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
remove(a)
{
return a;
}
rename(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
request_init(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
res_init(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
res_query(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
res_querydomain(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
res_search(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
resetmnttab(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
resolvepath(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
restore_uid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
rewind(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
rmdir(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
rpc_control(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
rpc_gss_mech_to_oid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
rpc_gss_qop_to_num(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
rpcb_set(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
rpcb_unset(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
rresvport(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
rsa_private_decrypt(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
rsa_public_encrypt(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
rw_rdlock(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
rw_unlock(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
rw_wrlock(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
rwlock_init(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sbrk(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scanf(arg0,arg1,arg2...)
{
arg1=tainted;
arg2=tainted;
return tainted;
}
scf_entry_add_value(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_entry_create(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_entry_destroy(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_error(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_handle_bind(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_handle_create(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_handle_decode_fmri(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_handle_destroy(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_handle_get_scope(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_handle_unbind(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_instance_add_pg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_instance_create(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_instance_destroy(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_instance_get_pg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_instance_handle(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_pg_create(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_pg_destroy(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_pg_update(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_scope_add_service(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_scope_create(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_scope_destroy(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_scope_get_service(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_service_add_instance(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_service_create(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_service_destroy(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_service_get_instance(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_strerror(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_transaction_commit(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_transaction_create(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_transaction_destroy(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_transaction_property_change_type(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_transaction_property_new(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_transaction_reset(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_transaction_start(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_value_create(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_value_destroy(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
scf_value_set_astring(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
seed_rng(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
seekdir(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
select(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sema_destroy(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sema_init(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sema_post(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sema_wait(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
semctl(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
semctlg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
semget(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
semgetg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
semop(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sendfilev64(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sendto(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
set_log_txt_prefix(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
set_newkeys(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
set_nonblock(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setauid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setbuf(stream,buf)
{
}
setbuffer(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setcontext(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setegid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
seteuid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setgid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setgroups(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setitimer(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setkey(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setlinebuf(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setlocale(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setlogin(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setlogmask(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setnetconfig(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setpgrp(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setppriv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setproctitle(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setproject(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setproject_initpriv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setproject_proc(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setpwent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setregid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setreuid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setrlimit(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setrlimit64(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setsid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setsockopt(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
settaskid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setuid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setusershell(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setutxent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
setvbuf(stream,buf,mode,size)
{
}
setzoneent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
shmat(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
shmctl(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
shmdt(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
shmget(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
shutdown(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sigaction(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sigaddset(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sigdelset(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sigemptyset(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sigfillset(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sighold(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sigignore(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sigismember(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
signal(sig)
{
}
sigprocmask(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sigrelse(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sigset(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sigsuspend(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sin(a)
{
return a;
}
sk_num(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
skipspace(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sleep(t)
{
}
snprintf(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sock_host(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
socket(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
socketpair(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sprintf(args,output,cstr...)
{
output=args;
return args;
}
sqrt(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
srand(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
srand48(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
srandom(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sscanf(a,str,format...)
{
a=str;
}
ssh_gssapi_build_ctx(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ssh_gssapi_delete_ctx(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ssh_gssapi_error(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ssh_gssapi_get_mic(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ssh_gssapi_is_spnego(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ssh_gssapi_last_error(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ssh_gssapi_make_oid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ssh_gssapi_modify_kex(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ssh_gssapi_oid_to_name(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ssh_gssapi_oid_to_str(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ssh_gssapi_release_oid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
stat(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
stat64(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
statvfs(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
statvfs64(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
strcasecmp(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
strcat(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
strchr(str,c)
{
return str+c;
}
strcmp(str1,str2)
{
return str1+str2;
}
strcpy(str1,str2)
{
str1=str2;
return str1;
}
strcspn(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
strdelim(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
strdup(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
strerror(errnum)
{
return errnum;
}
strerror_r(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
strerror_rg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
strftime(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
strlcat(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
strlcpy(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
strlen(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
strmove(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
strncasecmp(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
strncat(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
strncmp(str1,str2,n)
{
return str1+str2+n;
}
strncpy(str1,str2,n)
{
str1=str2+n;
return str1;
}
strpbrk(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
strrchr(str,c)
{
return str+c;
}
strsignal(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
strspn(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
strstr(str1,str2)
{
return str1+str2;
}
strtod(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
strtok(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
strtok_r(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
strtol(str,endptr,base)
{
return str+endptr+base;
}
strtoll(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
strtoul(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
strtoull(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
struct._pthread_attr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
struct.apr_dso_handle_t(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
struct.apr_pollfd_t(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
struct.apr_pool_t(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
struct.passwd(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
struct.sembuf(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
struct.sendfilevec64(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
struct.tm(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
substr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
svc_create(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
svc_get_local_cred(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
svc_reg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
svc_run(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
svc_sendreply(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
svc_tli_create(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
svc_unreg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
svcerr_decode(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
svcerr_noproc(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
svcerr_systemerr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
svcerr_weakauth(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
swapctl(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
symlink(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
sysconf(name)
{
return name;
}
sysinfo(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
syslog(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
system(str)
{
}
t_accept(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
t_alloc(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
t_bind(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
t_close(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
t_error(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
t_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
t_getinfo(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
t_listen(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
t_look(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
t_open(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
t_optmgmt(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
t_rcv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
t_rcvdis(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
t_rcvrel(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
t_rcvudata(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
t_rcvuderr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
t_snddis(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
t_sndrel(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
t_strerror(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
taddr2uaddr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
tan(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
tcgetattr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
tcsetattr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
tempnam(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
temporarily_use_uid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
textdomain(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
thr_create(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
thr_exit(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
thr_min_stack(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
thr_sigsetmask(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
tilde_expand_filename(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
time(t)
{
}
times(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
timesg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
tmpnam(a)
{
return a;
}
tnmlp(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
tolower(n)
{
return n;
}
touchlock(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
toupper(n)
{
return n;
}
trimnl(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
truncate(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
tsol_freezcent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
tsol_sgetzcent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
tty_parse_modes(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ttyname(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
tzset(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ucred_free(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ucred_geteuid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ucred_getpid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ucred_getprivset(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ucred_getzoneid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ulimit(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
umask(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
umount(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
umount2(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
ungetc(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
unlink(f)
{
}
unlockpt(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
unsetenv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
updwtmpx(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
usleep(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
utime(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
uuid_is_null(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
uuid_unparse(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
verbose(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
vfork(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
vfprintf(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
vsnprintf(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
vsyslog(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
wait(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
waitid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
waitpid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
wordexp(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
write(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
writev(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
x11_create_display_inet(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_bool(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_cryptkeyarg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_cryptkeyarg2(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_cryptkeyarg3(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_cryptkeyres(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_cryptkeyres3(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_des_block(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_deskeyarg3(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_deskeyarray(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_dirpath(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_enum(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_exports(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_fhstatus(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_getcredres(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_getcredres3(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_int(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_int32_t(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_key_netstarg(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_key_netstarg3(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_key_netstres(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_key_netstres3(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_keybuf(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_keynum_t(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_keystatus(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_mechtype(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_mountres3(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_name(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_netnamestr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_netobj(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_ppathcnf(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_setkeyarg3(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_string(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_u_int(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_uint32_t(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdr_void(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xdrmem_create(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xencrypt(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xencrypt_g(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xfree(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xgetenv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xjoin(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xmalloc(size)
{
return size;
}
xmmap(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xrealloc(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xsetenv(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
xstrdup(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
yp_get_default_domain(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
yp_master(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
yp_match(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
yp_update(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
yperr_string(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zfs_close(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zfs_open(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zfs_prop_get_int(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zfs_prop_set(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zfs_prop_to_name(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zone_add_datalink(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zone_boot(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zone_check_datalink(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zone_create(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zone_destroy(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zone_enter(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zone_get_brand(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zone_get_devroot(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zone_get_id(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zone_get_rootpath(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zone_get_state(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zone_get_zonepath(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zone_getattr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zone_list(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zone_list_datalink(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zone_remove_datalink(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zone_setattr(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zone_shutdown(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zone_state_str(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_add_fs_option(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_add_scratch(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_bind_pool(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_bind_tmp_pool(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_close_scratch(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_construct_rctlblk(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_create_snapshot(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_default_privset(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_delete_scratch(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_destroy_snapshot(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_destroy_tmp_pool(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_enable_rcapd(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_enddevent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_enddsent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_endfsent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_endipdent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_endnwifent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_endrctlent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_find_mounts(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_find_scratch(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_fini_handle(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_free_fs_option_list(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_free_rctl_value_list(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_get_aliased_rctl(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_get_bootargs(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_get_dflt_sched_class(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_get_handle(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_get_iptype(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_get_name_by_uuid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_get_privset(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_get_root(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_get_sched_class(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_get_snapshot_handle(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_get_uuid(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_getdevent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_getdsent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_getfsent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_getipdent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_getmcapent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_getnwifent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_getrctlent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_ifname_exists(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_in_alt_root(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_init_handle(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_is_rctl(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_lock_scratch(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_lookup_pset(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_open_scratch(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_reverse_scratch(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_set_root(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_setdevent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_setdsent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_setfsent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_setipdent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_setnwifent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_setrctlent(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_strerror(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_valid_fs_type(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_valid_net_address(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_valid_rctl(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}
zonecfg_warn_poold(arg0,arg1...)
{
arg0=tainted;
arg1=tainted;
return tainted;
}

2. Call Graph

2.1. Reachability Graph of scc

3. Annotated Code

3.1. Globals

1 ( )	%llvm.dbg.translation_units = internal global { } zeroinitializer ; <{ }*> [#uses=1]
2 ( )	%llvm.dbg.globals = internal global { } zeroinitializer ; <{ }*> [#uses=1]
3 ( )	%.str_1 = internal constant [5 x sbyte] c"main\00" ; <[5 x sbyte]*> [#uses=1]
4 ( )	%.str_2 = internal constant [105 x sbyte] c"/zcratch/sunlabs/simonl/sunlabs-bench/trunk/src/harness/tests/linenumbers-tests/Krat-basic-00169-min/src\00" ; <[105 x sbyte]*> [#uses=1]
5 ( )	%.str_3 = internal constant [18 x sbyte] c"basic-00169-min.c\00" ; <[18 x sbyte]*> [#uses=1]
6 ( )	%.str_4 = internal constant [6 x sbyte] c"3.4.x\00" ; <[6 x sbyte]*> [#uses=1]
7 ( )	%d.compile_unit.1__ = internal constant %lldb.compile_unit { uint 17, ushort 0, ushort 1, sbyte* getelementptr ([18 x sbyte]* %.str_3, int 0, int 0), sbyte* getelementptr ([105 x sbyte]* %.str_2, int 0, int 0), sbyte* getelementptr ([6 x sbyte]* %.str_4, int 0, int 0), { }* %llvm.dbg.translation_units } ; <%lldb.compile_unit*> [#uses=2]
8 ( )	%d.main = internal global %lldb.global { uint 46, %lldb.compile_unit* %d.compile_unit.1__, sbyte* getelementptr ([5 x sbyte]* %.str_1, int 0, int 0), { }* %llvm.dbg.globals, sbyte* null, bool true, bool false } ; <%lldb.global*> [#uses=1]

3.2. Function main

Node: 9 ( 36 )

3.2.1. Arguments

10 ( 0 )	int %argc
11 ( 0 )	sbyte** %argv

3.2.2. Summary Function

main(arg0,arg1)
{
arg0=tainted;
arg1=tainted;
}

3.2.3. Code

12 ( 23 )	entry: %buf = alloca [10 x sbyte] ; <[10 x sbyte]*> [#uses=1]
13 ( 0 )	call void %llvm.dbg.func.start( { }* cast (%lldb.global* %d.main to { }*) )
14 ( 0 )	call void %llvm.dbg.stoppoint( uint 62, uint 0, { }* cast (%lldb.compile_unit* %d.compile_unit.1__ to { }*) )
15 ( 0 )	call void %llvm.dbg.stoppoint( uint 63, uint 0, { }* cast (%lldb.compile_unit* %d.compile_unit.1__ to { }*) )
16 ( 0 )	call void %llvm.dbg.stoppoint( uint 64, uint 0, { }* cast (%lldb.compile_unit* %d.compile_unit.1__ to { }*) )
17 ( 0 )	call void %llvm.dbg.stoppoint( uint 65, uint 0, { }* cast (%lldb.compile_unit* %d.compile_unit.1__ to { }*) )
18 ( 0 )	call void %llvm.dbg.stoppoint( uint 66, uint 0, { }* cast (%lldb.compile_unit* %d.compile_unit.1__ to { }*) )
19 ( 0 )	call void %llvm.dbg.stoppoint( uint 68, uint 0, { }* cast (%lldb.compile_unit* %d.compile_unit.1__ to { }*) )
20 ( 0 )	call void %llvm.dbg.stoppoint( uint 69, uint 0, { }* cast (%lldb.compile_unit* %d.compile_unit.1__ to { }*) )
21 ( 0 )	call void %llvm.dbg.stoppoint( uint 70, uint 0, { }* cast (%lldb.compile_unit* %d.compile_unit.1__ to { }*) )
22 ( 0 )	call void %llvm.dbg.stoppoint( uint 72, uint 0, { }* cast (%lldb.compile_unit* %d.compile_unit.1__ to { }*) )
23 ( 12 )	%tmp.9 = getelementptr [10 x sbyte]* %buf, int 0, int 10 ; [#uses=1]
24 ( )	br label %no_exit
25 ( 31 29 )	no_exit: %indvar.next = phi uint [ 1, %entry ], [ %phitmp, %no_exit.no_exit_crit_edge ] ; [#uses=2]
26 ( 0 )	call void %llvm.dbg.stoppoint( uint 74, uint 0, { }* cast (%lldb.compile_unit* %d.compile_unit.1__ to { }*) )
27 ( 0 )	call void %llvm.dbg.stoppoint( uint 75, uint 0, { }* cast (%lldb.compile_unit* %d.compile_unit.1__ to { }*) )
28 ( 0 )	call void %llvm.dbg.stoppoint( uint 76, uint 0, { }* cast (%lldb.compile_unit* %d.compile_unit.1__ to { }*) )
29 ( 25 )	%exitcond = seteq uint %indvar.next, 11 ; [#uses=1]
30 ( 29 )	br bool %exitcond, label %loopexit, label %no_exit.no_exit_crit_edge
31 ( 25 )	no_exit.no_exit_crit_edge: %phitmp = add uint %indvar.next, 1 ; [#uses=1]
32 ( )	br label %no_exit
33 ( )	loopexit: store sbyte 65, sbyte* %tmp.9
34 ( 0 )	call void %llvm.dbg.stoppoint( uint 79, uint 0, { }* cast (%lldb.compile_unit* %d.compile_unit.1__ to { }*) )
35 ( 0 )	call void %llvm.dbg.region.end( { }* undef )
36 ( )	ret int 0

4. List of Potential Bugs

5. List of Real Bugs

%tmp.9 = getelementptr [10 x sbyte]* %buf, int 0, int 10 ; [#uses=1]

file basic-00169-min.c, line 72

index of array buf is out of bound

array access with constant index