diff --git a/configs/annotations.json b/configs/annotations.json index 1df2c2f62c..112ebc54ad 100644 --- a/configs/annotations.json +++ b/configs/annotations.json @@ -1,1069 +1,1096 @@ { - "atof": { - "name": "atof", + "__builtin_clz": { + "name": "__builtin_clz", "annotation": [ - [ - "TaintPropagation::UntrustedSource:1" - ], - [ - "Deref" - ] + [], + [] ], "properties": [] }, - "atoi": { - "name": "atoi", + "__builtin_clzl": { + "name": "__builtin_clzl", "annotation": [ - [ - "TaintPropagation::UntrustedSource:1" - ], - [ - "Deref" - ] + [], + [] ], "properties": [] }, - "atol": { - "name": "atol", + "__builtin_clzll": { + "name": "__builtin_clzll", "annotation": [ - [ - "TaintPropagation::UntrustedSource:1" - ], - [ - "Deref" - ] + [], + [] ], "properties": [] }, - "atoll": { - "name": "atoll", + "__builtin_ffs": { + "name": "__builtin_ffs", "annotation": [ - [ - "TaintPropagation::UntrustedSource:1" - ], - [ - "Deref" - ] + [], + [] ], "properties": [] }, - "bcmp": { - "name": "bcmp", + "__builtin_ffsll": { + "name": "__builtin_ffsll", "annotation": [ - [ - "TaintPropagation::UntrustedSource:1", - "TaintPropagation::UntrustedSource:2" - ], - [ - "Deref" - ], - [ - "Deref" - ], + [], [] ], "properties": [] }, - "calloc": { - "name": "calloc", + "__builtin_va_end": { + "name": "__builtin_va_end", "annotation": [ - [ - "AllocSource::1", - "InitNull" - ], - [], [] ], "properties": [] }, - "fclose": { - "name": "fclose", + "__builtin_va_start": { + "name": "__builtin_va_start", "annotation": [ [], [ - "Deref" - ] + "TaintPropagation::UntrustedSource:1" + ], + [] ], "properties": [] }, - "fcvt": { - "name": "fcvt", + "_ZNSt8__detail12__int_limitsIiLb1EE3maxEv": { + "name": "__int_limits::max", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNSt8__detail12__int_limitsIiLb1EE3minEv": { + "name": "__int_limits::min", + "annotation": [ + [] + ], + "properties": [] + }, + "_execl": { + "name": "_execl", "annotation": [ + [], [ - "TaintPropagation::UntrustedSource:1", - "TaintPropagation::UntrustedSource:2", - "TaintPropagation::UntrustedSource:3", - "TaintPropagation::UntrustedSource:4" + "TaintSink::Execute" ], - [], - [], [ - "Deref" + "TaintSink::Execute" ], [ - "Deref" + "TaintSink::Execute" ] ], "properties": [] }, - "feof": { - "name": "feof", + "_execle": { + "name": "_execle", "annotation": [ [], [ - "Deref" + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" ] ], "properties": [] }, - "ferror": { - "name": "ferror", + "_execlp": { + "name": "_execlp", "annotation": [ [], [ - "Deref" - ] - ], - "properties": [] - }, - "fgetc": { - "name": "fgetc", - "annotation": [ + "TaintSink::Execute" + ], [ - "TaintOutput::UntrustedSource" + "TaintSink::Execute" ], [ - "Deref" + "TaintSink::Execute" ] ], "properties": [] }, - "fgetpos": { - "name": "fgetpos", + "_execlpe": { + "name": "_execlpe", "annotation": [ [], [ - "Deref" + "TaintSink::Execute" ], [ - "Deref" + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" ] ], "properties": [] }, - "fgetpos64": { - "name": "fgetpos64", + "_execv": { + "name": "_execv", "annotation": [ [], [ - "Deref" + "TaintSink::Execute" ], [ - "Deref" + "TaintSink::Execute" ] ], "properties": [] }, - "fgets": { - "name": "fgets", + "_execve": { + "name": "_execve", "annotation": [ + [], [ - "InitNull", - "TaintOutput::UntrustedSource" + "TaintSink::Execute" ], [ - "Deref", - "TaintOutput::UntrustedSource" + "TaintSink::Execute" ], - [], [ - "Deref" + "TaintSink::Execute" ] ], "properties": [] }, - "fgetwc": { - "name": "fgetwc", + "_execvp": { + "name": "_execvp", "annotation": [ + [], [ - "TaintOutput::UntrustedSource" + "TaintSink::Execute" ], [ - "Deref" + "TaintSink::Execute" ] ], "properties": [] }, - "fgetws": { - "name": "fgetws", + "_execvpe": { + "name": "_execvpe", "annotation": [ + [], [ - "InitNull", - "TaintOutput::UntrustedSource" + "TaintSink::Execute" ], [ - "Deref", - "TaintOutput::UntrustedSource" + "TaintSink::Execute" ], - [], [ - "Deref" + "TaintSink::Execute" ] ], "properties": [] }, - "fileno": { - "name": "fileno", + "_ZNSt14_Fnv_hash_impl4hashEPKvyy": { + "name": "_Fnv_hash_impl::hash", "annotation": [ [], - [ - "Deref" - ] + [], + [], + [] ], "properties": [] }, - "fopen": { - "name": "fopen", + "_ZNSt10_Hash_impl4hashEPKvyy": { + "name": "_Hash_impl::hash", "annotation": [ - [ - "InitNull" - ], + [], + [], [], [] ], "properties": [] }, - "fopen64": { - "name": "fopen64", + "_ZNSt10_Hash_impl4hashIdEEyRKT_": { + "name": "_Hash_impl::hash", "annotation": [ - [ - "InitNull" - ], [], [] ], "properties": [] }, - "fopen_s": { - "name": "fopen_s", + "_ZNSt10_Hash_impl4hashIfEEyRKT_": { + "name": "_Hash_impl::hash", "annotation": [ [], - [ - "InitNull:*:!=0" - ], + [] + ], + "properties": [] + }, + "_ZNSt10_Hash_impl4hashIiEEyRKT_": { + "name": "_Hash_impl::hash", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_popen": { + "name": "_popen", + "annotation": [ [], [ - "FreeSink::4" - ] + "TaintSink::Execute" + ], + [] ], "properties": [] }, - "fprintf": { - "name": "fprintf", + "_spawnl": { + "name": "_spawnl", "annotation": [ + [], [], [ - "Deref" + "TaintSink::Execute" ], [ - "TaintSink::FormatString", - "TaintSink::SensitiveDataLeak" + "TaintSink::Execute" ], [ - "TaintSink::SensitiveDataLeak" + "TaintSink::Execute" ] ], "properties": [] }, - "fputc": { - "name": "fputc", + "_spawnle": { + "name": "_spawnle", "annotation": [ [], [], [ - "Deref" + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" ] ], "properties": [] }, - "fputs": { - "name": "fputs", + "_spawnlp": { + "name": "_spawnlp", "annotation": [ + [], [], [ - "Deref" + "TaintSink::Execute" ], [ - "Deref" + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" ] ], "properties": [] }, - "fputwc": { - "name": "fputwc", + "_spawnlpe": { + "name": "_spawnlpe", "annotation": [ [], [], [ - "Deref" + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" ] ], "properties": [] }, - "fputws": { - "name": "fputws", + "_spawnv": { + "name": "_spawnv", "annotation": [ + [], [], [ - "Deref" + "TaintSink::Execute" ], [ - "Deref" + "TaintSink::Execute" ] ], "properties": [] }, - "fread": { - "name": "fread", + "_spawnve": { + "name": "_spawnve", "annotation": [ + [], + [], [ - "TaintOutput::UntrustedSource" + "TaintSink::Execute" ], [ - "Deref", - "TaintOutput::UntrustedSource" + "TaintSink::Execute" ], - [], - [], [ - "Deref" + "TaintSink::Execute" ] ], "properties": [] }, - "free": { - "name": "free", + "_spawnvp": { + "name": "_spawnvp", "annotation": [ + [], [], [ - "FreeSink::1" + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" ] ], "properties": [] }, - "freopen": { - "name": "freopen", + "_spawnvpe": { + "name": "_spawnvpe", "annotation": [ - [ - "InitNull" - ], [], [], [ - "Deref" + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" ] ], "properties": [] }, - "freopen64": { - "name": "freopen64", + "_stricmp": { + "name": "_stricmp", "annotation": [ [ - "InitNull" + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" ], [], - [], - [ - "Deref" - ] + [] ], "properties": [] }, - "freopen_s": { - "name": "freopen_s", + "_strnicmp": { + "name": "_strnicmp", "annotation": [ - [], [ - "InitNull:*:!=0" + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" ], [], [], - [ - "FreeSink::4" - ] + [] ], "properties": [] }, - "fscanf": { - "name": "fscanf", + "_texecl": { + "name": "_texecl", "annotation": [ + [], [ - "TaintOutput::UntrustedSource" - ], - [ - "Deref" + "TaintSink::Execute" ], [ - "TaintSink::FormatString" + "TaintSink::Execute" ], [ - "TaintOutput::UntrustedSource" + "TaintSink::Execute" ] ], "properties": [] }, - "fscanf_s": { - "name": "fscanf_s", + "_texecle": { + "name": "_texecle", "annotation": [ + [], [ - "TaintOutput::UntrustedSource" + "TaintSink::Execute" ], [ - "Deref" + "TaintSink::Execute" ], [ - "TaintSink::FormatString" + "TaintSink::Execute" ], [ - "TaintOutput::UntrustedSource" + "TaintSink::Execute" ] ], "properties": [] }, - "fseek": { - "name": "fseek", + "_texeclp": { + "name": "_texeclp", "annotation": [ [], [ - "Deref" + "TaintSink::Execute" ], - [], - [] + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ] ], "properties": [] }, - "fsetpos": { - "name": "fsetpos", + "_texeclpe": { + "name": "_texeclpe", "annotation": [ [], [ - "Deref" + "TaintSink::Execute" ], [ - "Deref" + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" ] ], "properties": [] }, - "fsetpos64": { - "name": "fsetpos64", + "_texecv": { + "name": "_texecv", "annotation": [ [], [ - "Deref" + "TaintSink::Execute" ], [ - "Deref" + "TaintSink::Execute" ] ], "properties": [] }, - "ftell": { - "name": "ftell", + "_texecve": { + "name": "_texecve", "annotation": [ [], [ - "Deref" + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" ] ], "properties": [] }, - "fwide": { - "name": "fwide", + "_texecvp": { + "name": "_texecvp", "annotation": [ [], [ - "Deref" + "TaintSink::Execute" ], - [] + [ + "TaintSink::Execute" + ] ], "properties": [] }, - "fwprintf": { - "name": "fwprintf", + "_texecvpe": { + "name": "_texecvpe", "annotation": [ [], [ - "Deref" + "TaintSink::Execute" ], [ - "TaintSink::FormatString", - "TaintSink::SensitiveDataLeak" + "TaintSink::Execute" ], [ - "TaintSink::SensitiveDataLeak" + "TaintSink::Execute" ] ], "properties": [] }, - "fwrite": { - "name": "fwrite", + "_tolower": { + "name": "_tolower", "annotation": [ - [], [ - "Deref", - "TaintSink::SensitiveDataLeak" + "TaintPropagation::UntrustedSource:1" ], - [], - [], - [ - "Deref" - ] + [] ], "properties": [] }, - "fwscanf": { - "name": "fwscanf", + "_toupper": { + "name": "_toupper", "annotation": [ [ - "TaintOutput::UntrustedSource" - ], - [ - "Deref" + "TaintPropagation::UntrustedSource:1" ], + [] + ], + "properties": [] + }, + "_tpopen": { + "name": "_tpopen", + "annotation": [ + [], [ - "TaintSink::FormatString" + "TaintSink::Execute" ], - [ - "TaintOutput::UntrustedSource" - ] + [] ], "properties": [] }, - "getc": { - "name": "getc", + "_tspawnl": { + "name": "_tspawnl", "annotation": [ + [], + [], [ - "TaintOutput::UntrustedSource" + "TaintSink::Execute" ], [ - "Deref" + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" ] ], "properties": [] }, - "getenv": { - "name": "getenv", + "_tspawnle": { + "name": "_tspawnle", "annotation": [ + [], + [], [ - "TaintOutput::UntrustedSource", - "TaintOutput::SensitiveDataSource" + "TaintSink::Execute" ], [ - "Deref" + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" ] ], "properties": [] }, - "getenv_s": { - "name": "getenv_s", + "_tspawnlp": { + "name": "_tspawnlp", "annotation": [ + [], [], [ - "Deref" + "TaintSink::Execute" ], [ - "Deref", - "TaintOutput::UntrustedSource", - "TaintOutput::SensitiveDataSource" + "TaintSink::Execute" ], - [], - [] + [ + "TaintSink::Execute" + ] ], "properties": [] }, - "gets": { - "name": "gets", + "_tspawnlpe": { + "name": "_tspawnlpe", "annotation": [ + [], + [], [ - "TaintOutput::UntrustedSource" + "TaintSink::Execute" ], [ - "Deref", - "TaintOutput::UntrustedSource" + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" ] ], "properties": [] }, - "localtime": { - "name": "localtime", + "_tspawnv": { + "name": "_tspawnv", "annotation": [ + [], + [], [ - "InitNull::Must" + "TaintSink::Execute" ], - [] + [ + "TaintSink::Execute" + ] ], "properties": [] }, - "gets_s": { - "name": "gets_s", + "_tspawnve": { + "name": "_tspawnve", "annotation": [ + [], + [], [ - "TaintOutput::UntrustedSource" + "TaintSink::Execute" ], [ - "Deref", - "TaintOutput::UntrustedSource" + "TaintSink::Execute" ], - [] + [ + "TaintSink::Execute" + ] ], "properties": [] }, - "getw": { - "name": "getw", + "_tspawnvp": { + "name": "_tspawnvp", "annotation": [ + [], + [], [ - "TaintOutput::UntrustedSource" + "TaintSink::Execute" ], [ - "Deref" + "TaintSink::Execute" ] ], "properties": [] }, - "getwc": { - "name": "getwc", + "_tspawnvpe": { + "name": "_tspawnvpe", "annotation": [ + [], + [], [ - "TaintOutput::UntrustedSource" + "TaintSink::Execute" ], [ - "Deref" + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" ] ], "properties": [] }, - "itoa": { - "name": "itoa", + "_tsystem": { + "name": "_tsystem", "annotation": [ - [], [], [ - "Deref" - ], - [] + "TaintSink::Execute" + ] ], "properties": [] }, - "malloc": { - "name": "malloc", + "_wexecl": { + "name": "_wexecl", "annotation": [ + [], [ - "AllocSource::1", - "InitNull" + "TaintSink::Execute" ], - [] + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ] ], "properties": [] }, - "memccpy": { - "name": "memccpy", + "_wexecle": { + "name": "_wexecle", "annotation": [ [], [ - "Deref", - "TaintPropagation::UntrustedSource:2" + "TaintSink::Execute" ], [ - "Deref" + "TaintSink::Execute" ], - [], - [] + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ] ], "properties": [] }, - "memchr": { - "name": "memchr", + "_wexeclp": { + "name": "_wexeclp", "annotation": [ + [], [ - "InitNull", - "TaintPropagation::UntrustedSource:1" + "TaintSink::Execute" ], [ - "Deref" + "TaintSink::Execute" ], - [], - [] + [ + "TaintSink::Execute" + ] ], "properties": [] }, - "memcmp": { - "name": "memcmp", + "_wexeclpe": { + "name": "_wexeclpe", "annotation": [ + [], [ - "TaintPropagation::UntrustedSource:1", - "TaintPropagation::UntrustedSource:2" + "TaintSink::Execute" ], [ - "Deref" + "TaintSink::Execute" ], [ - "Deref" + "TaintSink::Execute" ], - [] + [ + "TaintSink::Execute" + ] ], "properties": [] }, - "memcpy": { - "name": "memcpy", + "_wexecv": { + "name": "_wexecv", "annotation": [ [], [ - "Deref", - "TaintPropagation::UntrustedSource:2" + "TaintSink::Execute" ], [ - "Deref" - ], - [] + "TaintSink::Execute" + ] ], "properties": [] }, - "memcpy_s": { - "name": "memcpy_s", + "_wexecve": { + "name": "_wexecve", "annotation": [ [], [ - "Deref", - "TaintPropagation::UntrustedSource:3" + "TaintSink::Execute" ], - [], [ - "Deref" + "TaintSink::Execute" ], - [] + [ + "TaintSink::Execute" + ] ], "properties": [] }, - "memicmp": { - "name": "memicmp", + "_wexecvp": { + "name": "_wexecvp", "annotation": [ + [], [ - "TaintPropagation::UntrustedSource:1", - "TaintPropagation::UntrustedSource:2" - ], - [ - "Deref" + "TaintSink::Execute" ], [ - "Deref" - ], - [], - [] + "TaintSink::Execute" + ] ], "properties": [] }, - "memmem": { - "name": "memmem", + "_wexecvpe": { + "name": "_wexecvpe", "annotation": [ + [], [ - "InitNull", - "TaintPropagation::UntrustedSource:1" + "TaintSink::Execute" ], [ - "Deref" + "TaintSink::Execute" ], + [ + "TaintSink::Execute" + ] + ], + "properties": [] + }, + "_wpopen": { + "name": "_wpopen", + "annotation": [ [], [ - "Deref" + "TaintSink::Execute" ], [] ], "properties": [] }, - "memmove": { - "name": "memmove", + "_wspawnl": { + "name": "_wspawnl", "annotation": [ + [], [], [ - "Deref", - "TaintPropagation::UntrustedSource:2" + "TaintSink::Execute" ], [ - "Deref" + "TaintSink::Execute" ], - [] + [ + "TaintSink::Execute" + ] ], "properties": [] }, - "memmove_s": { - "name": "memmove_s", + "_wspawnle": { + "name": "_wspawnle", "annotation": [ + [], [], [ - "Deref", - "TaintPropagation::UntrustedSource:3" + "TaintSink::Execute" ], - [], [ - "Deref" + "TaintSink::Execute" ], - [] + [ + "TaintSink::Execute" + ] ], "properties": [] }, - "mempcpy": { - "name": "mempcpy", + "_wspawnlp": { + "name": "_wspawnlp", "annotation": [ + [], [], [ - "Deref", - "TaintPropagation::UntrustedSource:2" + "TaintSink::Execute" ], [ - "Deref" + "TaintSink::Execute" ], - [] + [ + "TaintSink::Execute" + ] ], "properties": [] }, - "memset": { - "name": "memset", + "_wspawnlpe": { + "name": "_wspawnlpe", "annotation": [ + [], [], [ - "Deref", - "TaintPropagation::UntrustedSource:1" + "TaintSink::Execute" ], - [], - [] + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ] ], "properties": [] }, - "memset_s": { - "name": "memset_s", + "_wspawnv": { + "name": "_wspawnv", "annotation": [ + [], [], [ - "Deref", - "TaintPropagation::UntrustedSource:1" + "TaintSink::Execute" ], - [], - [], - [] + [ + "TaintSink::Execute" + ] ], "properties": [] }, - "pthread_mutex_lock": { - "name": "pthread_mutex_lock", + "_wspawnve": { + "name": "_wspawnve", "annotation": [ + [], [], [ - "InitNull::!=0" + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" ] ], "properties": [] }, - "pthread_mutex_trylock": { - "name": "pthread_mutex_trylock", + "_wspawnvp": { + "name": "_wspawnvp", "annotation": [ + [], [], [ - "InitNull::!=0" + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" ] ], "properties": [] }, - "putc": { - "name": "putc", + "_wspawnvpe": { + "name": "_wspawnvpe", "annotation": [ [], [], [ - "Deref" + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" ] ], "properties": [] }, - "puts": { - "name": "puts", + "_wsystem": { + "name": "_wsystem", "annotation": [ [], [ - "Deref" + "TaintSink::Execute" ] ], "properties": [] }, - "qsort": { - "name": "qsort", + "abort": { + "name": "abort", "annotation": [ - [], - [ - "Deref" - ], - [], - [], [] ], "properties": [] }, - "rawmemchr": { - "name": "rawmemchr", + "abs": { + "name": "abs", "annotation": [ [ - "InitNull", "TaintPropagation::UntrustedSource:1" ], - [ - "Deref" - ], - [], [] ], "properties": [] }, - "realloc": { - "name": "realloc", + "acos": { + "name": "acos", "annotation": [ [ - "AllocSource::1", - "InitNull" + "TaintPropagation::UntrustedSource:1" ], - [], [] ], "properties": [] }, - "setbuf": { - "name": "setbuf", + "acosf": { + "name": "acosf", "annotation": [ - [], [ - "Deref" + "TaintPropagation::UntrustedSource:1" ], [] ], "properties": [] }, - "setlocale": { - "name": "setlocale", + "acosh": { + "name": "acosh", "annotation": [ [ - "InitNull" + "TaintPropagation::UntrustedSource:1" ], - [], [] ], "properties": [] }, - "snprintf": { - "name": "snprintf", + "acoshf": { + "name": "acoshf", "annotation": [ - [], [ - "Deref", - "TaintPropagation::UntrustedSource:4" + "TaintPropagation::UntrustedSource:1" ], - [], - [ - "TaintSink::FormatString" - ] + [] ], "properties": [] }, - "snprintf_s": { - "name": "snprintf_s", + "acoshl": { + "name": "acoshl", "annotation": [ - [], [ - "Deref", - "TaintPropagation::UntrustedSource:4" + "TaintPropagation::UntrustedSource:1" ], - [], - [ - "TaintSink::FormatString" - ] + [] ], "properties": [] }, - "snwprintf": { - "name": "snwprintf", + "acosl": { + "name": "acosl", "annotation": [ - [], [ - "Deref" + "TaintPropagation::UntrustedSource:1" ], - [], - [ - "TaintSink::FormatString" - ] + [] ], "properties": [] }, - "sprintf": { - "name": "sprintf", + "asin": { + "name": "asin", "annotation": [ [ "TaintPropagation::UntrustedSource:1" ], - [ - "Deref", - "TaintPropagation::UntrustedSource:3" - ], - [ - "TaintSink::FormatString" - ] + [] ], "properties": [] }, - "sprintf_s": { - "name": "sprintf_s", + "asinf": { + "name": "asinf", "annotation": [ [ "TaintPropagation::UntrustedSource:1" ], - [ - "Deref", - "TaintPropagation::UntrustedSource:4" - ], - [], - [ - "TaintSink::FormatString" - ] + [] ], "properties": [] }, - "sscanf": { - "name": "sscanf", + "asinh": { + "name": "asinh", "annotation": [ - [ - "TaintOutput::UntrustedSource" - ], - [ - "Deref" - ], - [ - "TaintSink::FormatString" - ], [ "TaintPropagation::UntrustedSource:1" - ] + ], + [] ], "properties": [] }, - "sscanf_s": { - "name": "sscanf_s", + "asinhf": { + "name": "asinhf", "annotation": [ - [ - "TaintOutput::UntrustedSource" - ], - [ - "Deref" - ], - [ - "TaintSink::FormatString" - ], [ "TaintPropagation::UntrustedSource:1" ], @@ -1071,166 +1098,131 @@ ], "properties": [] }, - "std::from_chars": { - "name": "std::from_chars", + "asinhl": { + "name": "asinhl", "annotation": [ [ - "TaintPropagation::UntrustedSource:1", - "TaintPropagation::UntrustedSource:4" - ], - [ - "Deref" - ], - [], - [ - "TaintPropagation::UntrustedSource:1", - "TaintPropagation::UntrustedSource:4" + "TaintPropagation::UntrustedSource:1" ], [] ], "properties": [] }, - "std::to_chars": { - "name": "std::to_chars", + "asinl": { + "name": "asinl", "annotation": [ [ - "TaintPropagation::UntrustedSource:3", - "TaintPropagation::UntrustedSource:4" - ], - [ - "Deref", - "TaintPropagation::UntrustedSource:3", - "TaintPropagation::UntrustedSource:4" + "TaintPropagation::UntrustedSource:1" ], - [], - [], [] ], "properties": [] }, - "stpcpy": { - "name": "stpcpy", + "atan": { + "name": "atan", "annotation": [ [ - "TaintPropagation::UntrustedSource:2" - ], - [ - "Deref", - "TaintPropagation::UntrustedSource:2" + "TaintPropagation::UntrustedSource:1" ], [] ], "properties": [] }, - "strcat": { - "name": "strcat", + "atan2": { + "name": "atan2", "annotation": [ [ "TaintPropagation::UntrustedSource:1", "TaintPropagation::UntrustedSource:2" ], - [ - "Deref", - "TaintPropagation::UntrustedSource:2" - ], - [ - "Deref" - ] + [], + [] ], "properties": [] }, - "strcat_s": { - "name": "strcat_s", + "atan2l": { + "name": "atan2l", "annotation": [ [ "TaintPropagation::UntrustedSource:1", - "TaintPropagation::UntrustedSource:3" - ], - [ - "Deref", - "TaintPropagation::UntrustedSource:3" + "TaintPropagation::UntrustedSource:2" ], - [], - [ - "Deref" - ] + [] ], "properties": [] }, - "strchr": { - "name": "strchr", + "atanf": { + "name": "atanf", "annotation": [ [ - "InitNull", "TaintPropagation::UntrustedSource:1" ], - [ - "Deref" - ], [] ], "properties": [] }, - "strchrnul": { - "name": "strchrnul", + "atanh": { + "name": "atanh", "annotation": [ [ "TaintPropagation::UntrustedSource:1" ], - [ - "Deref" - ], [] ], "properties": [] }, - "strcmp": { - "name": "strcmp", + "atanhf": { + "name": "atanhf", "annotation": [ [ - "TaintPropagation::UntrustedSource:1", - "TaintPropagation::UntrustedSource:2" - ], - [ - "Deref" + "TaintPropagation::UntrustedSource:1" ], - [ - "Deref" - ] + [] ], "properties": [] }, - "strcpy": { - "name": "strcpy", + "atanhl": { + "name": "atanhl", "annotation": [ - [], [ - "Deref", - "TaintPropagation::UntrustedSource:2" + "TaintPropagation::UntrustedSource:1" ], + [] + ], + "properties": [] + }, + "atanl": { + "name": "atanl", + "annotation": [ [ - "Deref" - ] + "TaintPropagation::UntrustedSource:1" + ], + [] ], "properties": [] }, - "strcpy_s": { - "name": "strcpy_s", + "atexit": { + "name": "atexit", "annotation": [ [], + [] + ], + "properties": [] + }, + "atof": { + "name": "atof", + "annotation": [ [ - "Deref", - "TaintPropagation::UntrustedSource:3" + "TaintPropagation::UntrustedSource:1" ], - [], [ "Deref" ] ], "properties": [] }, - "strdup": { - "name": "strdup", + "atoi": { + "name": "atoi", "annotation": [ [ "TaintPropagation::UntrustedSource:1" @@ -1241,8 +1233,8 @@ ], "properties": [] }, - "strlen": { - "name": "strlen", + "atol": { + "name": "atol", "annotation": [ [ "TaintPropagation::UntrustedSource:1" @@ -1253,320 +1245,10962 @@ ], "properties": [] }, - "strncasecmp": { - "name": "strncasecmp", + "atoll": { + "name": "atoll", "annotation": [ [ - "TaintPropagation::UntrustedSource:1", - "TaintPropagation::UntrustedSource:2" + "TaintPropagation::UntrustedSource:1" ], [ "Deref" - ], + ] + ], + "properties": [] + }, + "_ZSt13back_inserterINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEESt20back_insert_iteratorIT_ERS7_": { + "name": "back_inserter", + "annotation": [ [ - "Deref" + "TaintPropagation::UntrustedSource:1" ], [] ], "properties": [] }, - "strncat": { - "name": "strncat", + "_ZNKSt9bad_alloc4whatEv": { + "name": "bad_alloc::what", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt20bad_array_new_length4whatEv": { + "name": "bad_array_new_length::what", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt8bad_cast4whatEv": { + "name": "bad_cast::what", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt13bad_exception4whatEv": { + "name": "bad_exception::what", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt10bad_typeid4whatEv": { + "name": "bad_typeid::what", + "annotation": [ + [] + ], + "properties": [] + }, + "basename": { + "name": "basename", "annotation": [ [ - "TaintPropagation::UntrustedSource:1", - "TaintPropagation::UntrustedSource:2" - ], - [ - "Deref", - "TaintPropagation::UntrustedSource:2" - ], - [ - "Deref" + "TaintPropagation::UntrustedSource:1" ], [] ], "properties": [] }, - "strncat_s": { - "name": "strncat_s", + "_ZNSi6ignoreEx": { + "name": "basic_istream::ignore", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSi6ignoreExi": { + "name": "basic_istream::ignore", "annotation": [ [], - [ - "Deref" - ], [], - [ - "Deref" - ], [] ], "properties": [] }, - "strncmp": { - "name": "strncmp", + "_ZNSt13basic_istreamIwSt11char_traitsIwEE6ignoreEx": { + "name": "basic_istream::ignore", "annotation": [ - [ - "TaintPropagation::UntrustedSource:1", - "TaintPropagation::UntrustedSource:2" - ], - [ - "Deref" - ], - [ - "Deref" - ], + [], [] ], "properties": [] }, - "strncpy": { - "name": "strncpy", + "_ZNSt13basic_istreamIwSt11char_traitsIwEE6ignoreExt": { + "name": "basic_istream::ignore", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1EOS4_": { + "name": "basic_string::basic_string", "annotation": [ [ - "TaintPropagation::UntrustedSource:2", "TaintPropagation::UntrustedSource:1" ], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEC1EPKcRKS3_": { + "name": "basic_string::basic_string", + "annotation": [ [ - "Deref", "TaintPropagation::UntrustedSource:2" ], - [ - "Deref" - ], + [], + [], [] ], "properties": [] }, - "strncpy_s": { - "name": "strncpy_s", + "_ZNSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEEC1EPKwRKS3_": { + "name": "basic_string::basic_string", "annotation": [ - [], [ - "Deref", - "TaintPropagation::UntrustedSource:3" + "TaintPropagation::UntrustedSource:2" ], [], - [ - "Deref" - ], + [], [] ], "properties": [] }, - "strndup": { - "name": "strndup", + "_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5c_strEv": { + "name": "basic_string::c_str", "annotation": [ [ "TaintPropagation::UntrustedSource:1" ], - [ - "Deref" - ] + [] ], "properties": [] }, - "strnlen": { - "name": "strnlen", + "_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE5c_strEv": { + "name": "basic_string::c_str", "annotation": [ [ "TaintPropagation::UntrustedSource:1" ], - [ - "Deref" - ] + [] ], "properties": [] }, - "strnset": { - "name": "strnset", + "_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5clearEv": { + "name": "basic_string::clear", "annotation": [ - [], - [ - "Deref" - ], - [ - "Deref" - ], [] ], "properties": [] }, - "strpbrk": { - "name": "strpbrk", + "_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE4dataEv": { + "name": "basic_string::data", "annotation": [ - [ - "InitNull", - "TaintPropagation::UntrustedSource:1" - ], - [ - "Deref" - ], [] ], "properties": [] }, - "strrchr": { - "name": "strrchr", + "_ZNKSt7__cxx1112basic_stringIDiSt11char_traitsIDiESaIDiEE4dataEv": { + "name": "basic_string::data", "annotation": [ - [ - "InitNull", - "TaintPropagation::UntrustedSource:1" - ], - [ - "Deref" - ], [] ], "properties": [] }, - "strset": { - "name": "strset", + "_ZNKSt7__cxx1112basic_stringIDsSt11char_traitsIDsESaIDsEE4dataEv": { + "name": "basic_string::data", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE4dataEv": { + "name": "basic_string::data", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE6lengthEv": { + "name": "basic_string::length", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt7__cxx1112basic_stringIDiSt11char_traitsIDiESaIDiEE6lengthEv": { + "name": "basic_string::length", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt7__cxx1112basic_stringIDsSt11char_traitsIDsESaIDsEE6lengthEv": { + "name": "basic_string::length", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEE6lengthEv": { + "name": "basic_string::length", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLEc": { + "name": "basic_string::operator+=", "annotation": [ [], [ - "Deref" + "TaintPropagation::UntrustedSource:2" ], - [ - "Deref" - ] + [] ], "properties": [] }, - "strspn": { - "name": "strspn", + "_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEpLERKS4_": { + "name": "basic_string::operator+=", "annotation": [ + [], [ - "TaintPropagation::UntrustedSource:1" - ], - [ - "Deref" + "TaintPropagation::UntrustedSource:2" ], - [ - "Deref" - ] + [] ], "properties": [] }, - "strstr": { - "name": "strstr", + "_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEixEy": { + "name": "basic_string::operator[]", "annotation": [ - [ - "InitNull", - "TaintPropagation::UntrustedSource:1" - ], [], [] ], "properties": [] }, - "strtod": { - "name": "strtod", + "_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE7reserveEy": { + "name": "basic_string::reserve", "annotation": [ - [ - "TaintPropagation::UntrustedSource:1" - ], - [ - "Deref" - ], + [], [] ], "properties": [] }, - "strtol": { - "name": "strtol", + "_ZNKSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE4sizeEv": { + "name": "basic_string::size", "annotation": [ - [ - "TaintPropagation::UntrustedSource:1" - ], - [ - "Deref" - ], + [] + ], + "properties": [] + }, + "_ZNKSt17basic_string_viewIcSt11char_traitsIcEE4dataEv": { + "name": "basic_string_view::data", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt17basic_string_viewIDiSt11char_traitsIDiEE4dataEv": { + "name": "basic_string_view::data", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt17basic_string_viewIDsSt11char_traitsIDsEE4dataEv": { + "name": "basic_string_view::data", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt17basic_string_viewIwSt11char_traitsIwEE4dataEv": { + "name": "basic_string_view::data", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt17basic_string_viewIcSt11char_traitsIcEE6lengthEv": { + "name": "basic_string_view::length", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt17basic_string_viewIDiSt11char_traitsIDiEE6lengthEv": { + "name": "basic_string_view::length", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt17basic_string_viewIDsSt11char_traitsIDsEE6lengthEv": { + "name": "basic_string_view::length", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt17basic_string_viewIwSt11char_traitsIwEE6lengthEv": { + "name": "basic_string_view::length", + "annotation": [ + [] + ], + "properties": [] + }, + "bcmp": { + "name": "bcmp", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [ + "Deref" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "_ZSt9boolalphaRSt8ios_base": { + "name": "boolalpha", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "bsearch": { + "name": "bsearch", + "annotation": [ + [], + [], + [], + [], + [], + [] + ], + "properties": [] + }, + "btowc": { + "name": "btowc", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cabf": { + "name": "cabf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cabl": { + "name": "cabl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cabs": { + "name": "cabs", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cacos": { + "name": "cacos", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cacosf": { + "name": "cacosf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cacosh": { + "name": "cacosh", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cacoshf": { + "name": "cacoshf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cacoshl": { + "name": "cacoshl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cacosl": { + "name": "cacosl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "calloc": { + "name": "calloc", + "annotation": [ + [ + "AllocSource::1", + "InitNull" + ], + [], + [] + ], + "properties": [] + }, + "canonicalize": { + "name": "canonicalize", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "canonicalizef": { + "name": "canonicalizef", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "canonicalizel": { + "name": "canonicalizel", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "carg": { + "name": "carg", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cargf": { + "name": "cargf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cargl": { + "name": "cargl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "casin": { + "name": "casin", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "casinf": { + "name": "casinf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "casinh": { + "name": "casinh", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "casinhf": { + "name": "casinhf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "casinhl": { + "name": "casinhl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "casinl": { + "name": "casinl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "catan": { + "name": "catan", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "catanf": { + "name": "catanf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "catanh": { + "name": "catanh", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "catanhf": { + "name": "catanhf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "catanhl": { + "name": "catanhl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "catanl": { + "name": "catanl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cbrt": { + "name": "cbrt", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cbrtf": { + "name": "cbrtf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cbrtl": { + "name": "cbrtl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "ccosh": { + "name": "ccosh", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "ccoshf": { + "name": "ccoshf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "ccoshl": { + "name": "ccoshl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "ceil": { + "name": "ceil", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "ceilf": { + "name": "ceilf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "ceill": { + "name": "ceill", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cexp": { + "name": "cexp", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cexpf": { + "name": "cexpf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cexpl": { + "name": "cexpl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIcE6assignEPcyc": { + "name": "char_traits::assign", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIcE6assignERcRKc": { + "name": "char_traits::assign", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDiE6assignEPDiyDi": { + "name": "char_traits::assign", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDiE6assignERDiRKDi": { + "name": "char_traits::assign", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDsE6assignEPDsyDs": { + "name": "char_traits::assign", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDsE6assignERDsRKDs": { + "name": "char_traits::assign", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIwE6assignEPwyw": { + "name": "char_traits::assign", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIwE6assignERwRKw": { + "name": "char_traits::assign", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZN9__gnu_cxx11char_traitsIcE7compareEPKcS3_y": { + "name": "char_traits::compare", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZN9__gnu_cxx11char_traitsIwE7compareEPKwS3_y": { + "name": "char_traits::compare", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIcE7compareEPKcS2_y": { + "name": "char_traits::compare", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDiE7compareEPKDiS2_y": { + "name": "char_traits::compare", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDsE7compareEPKDsS2_y": { + "name": "char_traits::compare", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIwE7compareEPKwS2_y": { + "name": "char_traits::compare", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIcE4copyEPcPKcy": { + "name": "char_traits::copy", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDiE4copyEPDiPKDiy": { + "name": "char_traits::copy", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDsE4copyEPDsPKDsy": { + "name": "char_traits::copy", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIwE4copyEPwPKwy": { + "name": "char_traits::copy", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIcE3eofEv": { + "name": "char_traits::eof", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDiE3eofEv": { + "name": "char_traits::eof", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDsE3eofEv": { + "name": "char_traits::eof", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIwE3eofEv": { + "name": "char_traits::eof", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIcE2eqERKcS2_": { + "name": "char_traits::eq", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDiE2eqERKDiS2_": { + "name": "char_traits::eq", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDsE2eqERKDsS2_": { + "name": "char_traits::eq", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIwE2eqERKwS2_": { + "name": "char_traits::eq", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIcE11eq_int_typeERKiS2_": { + "name": "char_traits::eq_int_type", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDiE11eq_int_typeERKjS2_": { + "name": "char_traits::eq_int_type", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDsE11eq_int_typeERKtS2_": { + "name": "char_traits::eq_int_type", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIwE11eq_int_typeERKtS2_": { + "name": "char_traits::eq_int_type", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZN9__gnu_cxx11char_traitsIcE4findEPKcyRS2_": { + "name": "char_traits::find", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZN9__gnu_cxx11char_traitsIwE4findEPKwyRS2_": { + "name": "char_traits::find", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIcE4findEPKcyRS1_": { + "name": "char_traits::find", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDiE4findEPKDiyRS1_": { + "name": "char_traits::find", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDsE4findEPKDsyRS1_": { + "name": "char_traits::find", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIwE4findEPKwyRS1_": { + "name": "char_traits::find", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZN9__gnu_cxx11char_traitsIcE6lengthEPKc": { + "name": "char_traits::length", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZN9__gnu_cxx11char_traitsIwE6lengthEPKw": { + "name": "char_traits::length", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIcE6lengthEPKc": { + "name": "char_traits::length", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDiE6lengthEPKDi": { + "name": "char_traits::length", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDsE6lengthEPKDs": { + "name": "char_traits::length", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIwE6lengthEPKw": { + "name": "char_traits::length", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIcE2ltERKcS2_": { + "name": "char_traits::lt", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDiE2ltERKDiS2_": { + "name": "char_traits::lt", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDsE2ltERKDsS2_": { + "name": "char_traits::lt", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIwE2ltERKwS2_": { + "name": "char_traits::lt", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIcE4moveEPcPKcy": { + "name": "char_traits::move", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDiE4moveEPDiPKDiy": { + "name": "char_traits::move", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDsE4moveEPDsPKDsy": { + "name": "char_traits::move", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIwE4moveEPwPKwy": { + "name": "char_traits::move", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIcE7not_eofERKi": { + "name": "char_traits::not_eof", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDiE7not_eofERKj": { + "name": "char_traits::not_eof", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDsE7not_eofERKt": { + "name": "char_traits::not_eof", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIwE7not_eofERKt": { + "name": "char_traits::not_eof", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIcE12to_char_typeERKi": { + "name": "char_traits::to_char_type", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDiE12to_char_typeERKj": { + "name": "char_traits::to_char_type", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDsE12to_char_typeERKt": { + "name": "char_traits::to_char_type", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIwE12to_char_typeERKt": { + "name": "char_traits::to_char_type", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIcE11to_int_typeERKc": { + "name": "char_traits::to_int_type", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDiE11to_int_typeERKDi": { + "name": "char_traits::to_int_type", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIDsE11to_int_typeERKDs": { + "name": "char_traits::to_int_type", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt11char_traitsIwE11to_int_typeERKw": { + "name": "char_traits::to_int_type", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "cimag": { + "name": "cimag", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cimagf": { + "name": "cimagf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cimagl": { + "name": "cimagl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "clearerr": { + "name": "clearerr", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "clearerr_s": { + "name": "clearerr_s", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "clog": { + "name": "clog", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "clog10": { + "name": "clog10", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "clog10f": { + "name": "clog10f", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "clog10l": { + "name": "clog10l", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "clogf": { + "name": "clogf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "clogl": { + "name": "clogl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "close": { + "name": "close", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "conj": { + "name": "conj", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "conjf": { + "name": "conjf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "conjl": { + "name": "conjl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "copysign": { + "name": "copysign", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "copysignf": { + "name": "copysignf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "copysignl": { + "name": "copysignl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "cosh": { + "name": "cosh", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "coshf": { + "name": "coshf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "coshl": { + "name": "coshl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cpow": { + "name": "cpow", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cpowf": { + "name": "cpowf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cpowl": { + "name": "cpowl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cproj": { + "name": "cproj", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cprojf": { + "name": "cprojf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "cprojl": { + "name": "cprojl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "creal": { + "name": "creal", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "crealf": { + "name": "crealf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "creall": { + "name": "creall", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "CreateProcessA": { + "name": "CreateProcessA", + "annotation": [ + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [], + [], + [], + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [], + [] + ], + "properties": [] + }, + "CreateProcessAsUserA": { + "name": "CreateProcessAsUserA", + "annotation": [ + [], + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [], + [], + [], + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [], + [] + ], + "properties": [] + }, + "CreateProcessAsUserW": { + "name": "CreateProcessAsUserW", + "annotation": [ + [], + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [], + [], + [], + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [], + [] + ], + "properties": [] + }, + "CreateProcessW": { + "name": "CreateProcessW", + "annotation": [ + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [], + [], + [], + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [], + [] + ], + "properties": [] + }, + "CreateProcessWithLogonW": { + "name": "CreateProcessWithLogonW", + "annotation": [ + [], + [], + [], + [], + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [], + [] + ], + "properties": [] + }, + "CreateProcessWithTokenW": { + "name": "CreateProcessWithTokenW", + "annotation": [ + [], + [], + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [], + [] + ], + "properties": [] + }, + "csinh": { + "name": "csinh", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "csinhf": { + "name": "csinhf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "csinhl": { + "name": "csinhl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "csqrt": { + "name": "csqrt", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "csqrtf": { + "name": "csqrtf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "csqrtl": { + "name": "csqrtl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "ctanh": { + "name": "ctanh", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "ctanhf": { + "name": "ctanhf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "ctanhl": { + "name": "ctanhl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "_ZNSt5ctypeIcE13classic_tableEv": { + "name": "ctype::classic_table", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIwE5do_isEPKwS2_Pt": { + "name": "ctype::do_is", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIwE5do_isEtw": { + "name": "ctype::do_is", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIcE9do_narrowEcc": { + "name": "ctype::do_narrow", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIcE9do_narrowEPKcS2_cPc": { + "name": "ctype::do_narrow", + "annotation": [ + [], + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIwE9do_narrowEPKwS2_cPc": { + "name": "ctype::do_narrow", + "annotation": [ + [], + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIwE9do_narrowEwc": { + "name": "ctype::do_narrow", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIwE10do_scan_isEtPKwS2_": { + "name": "ctype::do_scan_is", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIwE11do_scan_notEtPKwS2_": { + "name": "ctype::do_scan_not", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIcE10do_tolowerEc": { + "name": "ctype::do_tolower", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIcE10do_tolowerEPcPKc": { + "name": "ctype::do_tolower", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIwE10do_tolowerEPwPKw": { + "name": "ctype::do_tolower", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIwE10do_tolowerEw": { + "name": "ctype::do_tolower", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIcE10do_toupperEc": { + "name": "ctype::do_toupper", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIcE10do_toupperEPcPKc": { + "name": "ctype::do_toupper", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIwE10do_toupperEPwPKw": { + "name": "ctype::do_toupper", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIwE10do_toupperEw": { + "name": "ctype::do_toupper", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIcE8do_widenEc": { + "name": "ctype::do_widen", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIcE8do_widenEPKcS2_Pc": { + "name": "ctype::do_widen", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIwE8do_widenEc": { + "name": "ctype::do_widen", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIwE8do_widenEPKcS2_Pw": { + "name": "ctype::do_widen", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIcE2isEPKcS2_Pt": { + "name": "ctype::is", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIcE2isEtc": { + "name": "ctype::is", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIcE6narrowEcc": { + "name": "ctype::narrow", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIcE6narrowEPKcS2_cPc": { + "name": "ctype::narrow", + "annotation": [ + [], + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIcE7scan_isEtPKcS2_": { + "name": "ctype::scan_is", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIcE8scan_notEtPKcS2_": { + "name": "ctype::scan_not", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIcE5tableEv": { + "name": "ctype::table", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIcE7tolowerEc": { + "name": "ctype::tolower", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIcE7tolowerEPcPKc": { + "name": "ctype::tolower", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIcE7toupperEc": { + "name": "ctype::toupper", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIcE7toupperEPcPKc": { + "name": "ctype::toupper", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIcE5widenEc": { + "name": "ctype::widen", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt5ctypeIcE5widenEPKcS2_Pc": { + "name": "ctype::widen", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZSt17current_exceptionv": { + "name": "current_exception", + "annotation": [ + [] + ], + "properties": [] + }, + "cwait": { + "name": "cwait", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "daddl": { + "name": "daddl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "ddivl": { + "name": "ddivl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "_ZSt3decRSt8ios_base": { + "name": "dec", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZSt12defaultfloatRSt8ios_base": { + "name": "defaultfloat", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "dfmal": { + "name": "dfmal", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "dirname": { + "name": "dirname", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "_ZN9__gnu_cxx3divExx": { + "name": "div", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZSt3divll": { + "name": "div", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "div": { + "name": "div", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "dmull": { + "name": "dmull", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "dpax_popen_s": { + "name": "dpax_popen_s", + "annotation": [ + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [] + ], + "properties": [] + }, + "dpax_system_s": { + "name": "dpax_system_s", + "annotation": [ + [], + [ + "TaintSink::Execute" + ], + [] + ], + "properties": [] + }, + "drem": { + "name": "drem", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "dremf": { + "name": "dremf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "dreml": { + "name": "dreml", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "dsqrtl": { + "name": "dsqrtl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "dsubl": { + "name": "dsubl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "ecvt": { + "name": "ecvt", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2", + "TaintPropagation::UntrustedSource:3", + "TaintPropagation::UntrustedSource:4" + ], + [], + [], + [], + [] + ], + "properties": [] + }, + "erf": { + "name": "erf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "erfc": { + "name": "erfc", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "erfcf": { + "name": "erfcf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "erfcl": { + "name": "erfcl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "erff": { + "name": "erff", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "erfl": { + "name": "erfl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "_ZNKSt3_V214error_category23default_error_conditionEi": { + "name": "error_category::default_error_condition", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt3_V214error_category10equivalentEiRKSt15error_condition": { + "name": "error_category::equivalent", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt3_V214error_category10equivalentERKSt10error_codei": { + "name": "error_category::equivalent", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt3_V214error_category7messageB5cxx11Ei": { + "name": "error_category::message", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt3_V214error_category4nameEv": { + "name": "error_category::name", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt3_V214error_categoryneERKS0_": { + "name": "error_category::operator!=", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt3_V214error_categoryltERKS0_": { + "name": "error_category::operator<", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt3_V214error_categoryeqERKS0_": { + "name": "error_category::operator==", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt10error_code6assignEiRKNSt3_V214error_categoryE": { + "name": "error_code::assign", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt10error_code8categoryEv": { + "name": "error_code::category", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNSt10error_code5clearEv": { + "name": "error_code::clear", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt10error_code23default_error_conditionEv": { + "name": "error_code::default_error_condition", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt10error_code7messageB5cxx11Ev": { + "name": "error_code::message", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt10error_code5valueEv": { + "name": "error_code::value", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNSt15error_condition6assignEiRKNSt3_V214error_categoryE": { + "name": "error_condition::assign", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt15error_condition8categoryEv": { + "name": "error_condition::category", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNSt15error_condition5clearEv": { + "name": "error_condition::clear", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt15error_condition7messageB5cxx11Ev": { + "name": "error_condition::message", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt15error_condition5valueEv": { + "name": "error_condition::value", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt9exception4whatEv": { + "name": "exception::what", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNSt15__exception_ptr13exception_ptr4swapERS0_": { + "name": "exception_ptr::swap", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "execl": { + "name": "execl", + "annotation": [ + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ] + ], + "properties": [] + }, + "execle": { + "name": "execle", + "annotation": [ + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ] + ], + "properties": [] + }, + "execlp": { + "name": "execlp", + "annotation": [ + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ] + ], + "properties": [] + }, + "execlpe": { + "name": "execlpe", + "annotation": [ + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ] + ], + "properties": [] + }, + "execv": { + "name": "execv", + "annotation": [ + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ] + ], + "properties": [] + }, + "execve": { + "name": "execve", + "annotation": [ + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ] + ], + "properties": [] + }, + "execvp": { + "name": "execvp", + "annotation": [ + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ] + ], + "properties": [] + }, + "execvpe": { + "name": "execvpe", + "annotation": [ + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ] + ], + "properties": [] + }, + "exit": { + "name": "exit", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "exp": { + "name": "exp", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "exp10": { + "name": "exp10", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "exp10f": { + "name": "exp10f", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "exp10l": { + "name": "exp10l", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "exp2": { + "name": "exp2", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "exp2f": { + "name": "exp2f", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "exp2l": { + "name": "exp2l", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "expf": { + "name": "expf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "expl": { + "name": "expl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "expm1": { + "name": "expm1", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "expm1f": { + "name": "expm1f", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "expm1l": { + "name": "expm1l", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "fabs": { + "name": "fabs", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "fabsf": { + "name": "fabsf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "fabsl": { + "name": "fabsl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "fadd": { + "name": "fadd", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "faddl": { + "name": "faddl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fclose": { + "name": "fclose", + "annotation": [ + [], + [ + "Deref" + ] + ], + "properties": [] + }, + "fcloseall": { + "name": "fcloseall", + "annotation": [ + [] + ], + "properties": [] + }, + "fcvt": { + "name": "fcvt", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2", + "TaintPropagation::UntrustedSource:3", + "TaintPropagation::UntrustedSource:4" + ], + [], + [], + [ + "Deref" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "fdim": { + "name": "fdim", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fdimf": { + "name": "fdimf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fdiml": { + "name": "fdiml", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fdiv": { + "name": "fdiv", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fdivl": { + "name": "fdivl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fdopen": { + "name": "fdopen", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "feof": { + "name": "feof", + "annotation": [ + [], + [ + "Deref" + ] + ], + "properties": [] + }, + "ferror": { + "name": "ferror", + "annotation": [ + [], + [ + "Deref" + ] + ], + "properties": [] + }, + "fflush": { + "name": "fflush", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "ffma": { + "name": "ffma", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "ffmal": { + "name": "ffmal", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fgetc": { + "name": "fgetc", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "fgetchar": { + "name": "fgetchar", + "annotation": [ + [] + ], + "properties": [] + }, + "fgetpos": { + "name": "fgetpos", + "annotation": [ + [], + [ + "Deref" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "fgetpos64": { + "name": "fgetpos64", + "annotation": [ + [], + [ + "Deref" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "fgets": { + "name": "fgets", + "annotation": [ + [ + "InitNull", + "TaintOutput::UntrustedSource" + ], + [ + "Deref", + "TaintOutput::UntrustedSource" + ], + [], + [ + "Deref" + ] + ], + "properties": [] + }, + "fgetwc": { + "name": "fgetwc", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "fgetws": { + "name": "fgetws", + "annotation": [ + [ + "InitNull", + "TaintOutput::UntrustedSource" + ], + [ + "Deref", + "TaintOutput::UntrustedSource" + ], + [], + [ + "Deref" + ] + ], + "properties": [] + }, + "fileno": { + "name": "fileno", + "annotation": [ + [], + [ + "Deref" + ] + ], + "properties": [] + }, + "_ZSt5fixedRSt8ios_base": { + "name": "fixed", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "floor": { + "name": "floor", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "floorf": { + "name": "floorf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "floorl": { + "name": "floorl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "flushall": { + "name": "flushall", + "annotation": [ + [] + ], + "properties": [] + }, + "fma": { + "name": "fma", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmaf": { + "name": "fmaf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmal": { + "name": "fmal", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmax": { + "name": "fmax", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmaxf": { + "name": "fmaxf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmaximum": { + "name": "fmaximum", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmaximum_mag": { + "name": "fmaximum_mag", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmaximum_mag_num": { + "name": "fmaximum_mag_num", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmaximum_mag_numf": { + "name": "fmaximum_mag_numf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmaximum_mag_numl": { + "name": "fmaximum_mag_numl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmaximum_magf": { + "name": "fmaximum_magf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmaximum_magl": { + "name": "fmaximum_magl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmaximum_num": { + "name": "fmaximum_num", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmaximum_numf": { + "name": "fmaximum_numf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmaximum_numl": { + "name": "fmaximum_numl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmaximumf": { + "name": "fmaximumf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmaximuml": { + "name": "fmaximuml", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmaxl": { + "name": "fmaxl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmaxmag": { + "name": "fmaxmag", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmaxmagf": { + "name": "fmaxmagf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmaxmagl": { + "name": "fmaxmagl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmemopen": { + "name": "fmemopen", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "fmin": { + "name": "fmin", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fminf": { + "name": "fminf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fminimum": { + "name": "fminimum", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fminimum_mag": { + "name": "fminimum_mag", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fminimum_mag_num": { + "name": "fminimum_mag_num", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fminimum_mag_numf": { + "name": "fminimum_mag_numf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fminimum_mag_numl": { + "name": "fminimum_mag_numl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fminimum_magf": { + "name": "fminimum_magf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fminimum_magl": { + "name": "fminimum_magl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fminimum_num": { + "name": "fminimum_num", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fminimum_numf": { + "name": "fminimum_numf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fminimum_numl": { + "name": "fminimum_numl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fminimumf": { + "name": "fminimumf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fminimuml": { + "name": "fminimuml", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fminl": { + "name": "fminl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fminmag": { + "name": "fminmag", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fminmagf": { + "name": "fminmagf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fminmagl": { + "name": "fminmagl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmod": { + "name": "fmod", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmodf": { + "name": "fmodf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmodl": { + "name": "fmodl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmul": { + "name": "fmul", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fmull": { + "name": "fmull", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fopen": { + "name": "fopen", + "annotation": [ + [ + "InitNull" + ], + [], + [] + ], + "properties": [] + }, + "fopen64": { + "name": "fopen64", + "annotation": [ + [ + "InitNull" + ], + [], + [] + ], + "properties": [] + }, + "fopen_s": { + "name": "fopen_s", + "annotation": [ + [], + [ + "InitNull:*:!=0" + ], + [], + [ + "FreeSink::4" + ] + ], + "properties": [] + }, + "_Z7fprintfP6_iobufPKcz": { + "name": "fprintf", + "annotation": [ + [], + [ + "Deref" + ], + [ + "TaintSink::FormatString", + "TaintSink::SensitiveDataLeak" + ], + [ + "TaintSink::SensitiveDataLeak" + ] + ], + "properties": [] + }, + "fprintf": { + "name": "fprintf", + "annotation": [ + [], + [ + "Deref" + ], + [ + "TaintSink::FormatString", + "TaintSink::SensitiveDataLeak" + ], + [ + "TaintSink::SensitiveDataLeak" + ] + ], + "properties": [] + }, + "fprintf_s": { + "name": "fprintf_s", + "annotation": [ + [], + [], + [ + "TaintSink::FormatString", + "TaintSink::SensitiveDataLeak" + ], + [ + "TaintSink::SensitiveDataLeak" + ] + ], + "properties": [] + }, + "fputc": { + "name": "fputc", + "annotation": [ + [], + [], + [ + "Deref" + ] + ], + "properties": [] + }, + "fputchar": { + "name": "fputchar", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "fputs": { + "name": "fputs", + "annotation": [ + [], + [ + "Deref" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "fputwc": { + "name": "fputwc", + "annotation": [ + [], + [], + [ + "Deref" + ] + ], + "properties": [] + }, + "fputws": { + "name": "fputws", + "annotation": [ + [], + [ + "Deref" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "fread": { + "name": "fread", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [ + "Deref", + "TaintOutput::UntrustedSource" + ], + [], + [], + [ + "Deref" + ] + ], + "properties": [] + }, + "fread_s": { + "name": "fread_s", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [ + "TaintOutput::UntrustedSource" + ], + [], + [], + [], + [] + ], + "properties": [] + }, + "free": { + "name": "free", + "annotation": [ + [], + [ + "FreeSink::1" + ] + ], + "properties": [] + }, + "freopen": { + "name": "freopen", + "annotation": [ + [ + "InitNull" + ], + [], + [], + [ + "Deref" + ] + ], + "properties": [] + }, + "freopen64": { + "name": "freopen64", + "annotation": [ + [ + "InitNull" + ], + [], + [], + [ + "Deref" + ] + ], + "properties": [] + }, + "freopen_s": { + "name": "freopen_s", + "annotation": [ + [], + [ + "InitNull:*:!=0" + ], + [], + [], + [ + "FreeSink::4" + ] + ], + "properties": [] + }, + "fromfp": { + "name": "fromfp", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "fromfpf": { + "name": "fromfpf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "fromfpl": { + "name": "fromfpl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "fromfpx": { + "name": "fromfpx", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "fromfpxf": { + "name": "fromfpxf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "fromfpxl": { + "name": "fromfpxl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "fscanf": { + "name": "fscanf", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [ + "Deref" + ], + [ + "TaintSink::FormatString" + ], + [ + "TaintOutput::UntrustedSource" + ] + ], + "properties": [] + }, + "fscanf_s": { + "name": "fscanf_s", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [ + "Deref" + ], + [ + "TaintSink::FormatString" + ], + [ + "TaintOutput::UntrustedSource" + ] + ], + "properties": [] + }, + "fseek": { + "name": "fseek", + "annotation": [ + [], + [ + "Deref" + ], + [], + [] + ], + "properties": [] + }, + "fseeko": { + "name": "fseeko", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "fseeko64": { + "name": "fseeko64", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "fsetpos": { + "name": "fsetpos", + "annotation": [ + [], + [ + "Deref" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "fsetpos64": { + "name": "fsetpos64", + "annotation": [ + [], + [ + "Deref" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "fsqrt": { + "name": "fsqrt", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fsqrtl": { + "name": "fsqrtl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fstat": { + "name": "fstat", + "annotation": [ + [], + [], + [ + "TaintPropagation::UntrustedSource:1" + ] + ], + "properties": [] + }, + "fsub": { + "name": "fsub", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "fsubl": { + "name": "fsubl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "ftell": { + "name": "ftell", + "annotation": [ + [], + [ + "Deref" + ] + ], + "properties": [] + }, + "ftello": { + "name": "ftello", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "ftello64": { + "name": "ftello64", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "ftime": { + "name": "ftime", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "fwide": { + "name": "fwide", + "annotation": [ + [], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "fwprintf": { + "name": "fwprintf", + "annotation": [ + [], + [ + "Deref" + ], + [ + "TaintSink::FormatString", + "TaintSink::SensitiveDataLeak" + ], + [ + "TaintSink::SensitiveDataLeak" + ] + ], + "properties": [] + }, + "fwprintf_s": { + "name": "fwprintf_s", + "annotation": [ + [], + [], + [ + "TaintSink::FormatString", + "TaintSink::SensitiveDataLeak" + ], + [ + "TaintSink::SensitiveDataLeak" + ] + ], + "properties": [] + }, + "fwrite": { + "name": "fwrite", + "annotation": [ + [], + [ + "Deref", + "TaintSink::SensitiveDataLeak" + ], + [], + [], + [ + "Deref" + ] + ], + "properties": [] + }, + "fwscanf": { + "name": "fwscanf", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [ + "Deref" + ], + [ + "TaintSink::FormatString" + ], + [ + "TaintOutput::UntrustedSource" + ] + ], + "properties": [] + }, + "g_spawn_async": { + "name": "g_spawn_async", + "annotation": [ + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [], + [], + [], + [], + [] + ], + "properties": [] + }, + "g_spawn_command_line_async": { + "name": "g_spawn_command_line_async", + "annotation": [ + [], + [ + "TaintSink::Execute" + ], + [] + ], + "properties": [] + }, + "g_spawn_command_line_sync": { + "name": "g_spawn_command_line_sync", + "annotation": [ + [], + [ + "TaintSink::Execute" + ], + [] + ], + "properties": [] + }, + "g_spawn_sync": { + "name": "g_spawn_sync", + "annotation": [ + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [], + [], + [], + [], + [], + [], + [] + ], + "properties": [] + }, + "gamma": { + "name": "gamma", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "gammaf": { + "name": "gammaf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "gammal": { + "name": "gammal", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "gcvt": { + "name": "gcvt", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt3_V216generic_categoryEv": { + "name": "generic_category", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZSt15get_new_handlerv": { + "name": "get_new_handler", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZSt13get_terminatev": { + "name": "get_terminate", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZSt14get_unexpectedv": { + "name": "get_unexpected", + "annotation": [ + [] + ], + "properties": [] + }, + "getc": { + "name": "getc", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "getchar": { + "name": "getchar", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ] + ], + "properties": [] + }, + "getenv": { + "name": "getenv", + "annotation": [ + [ + "TaintOutput::UntrustedSource", + "TaintOutput::SensitiveDataSource" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "getenv_s": { + "name": "getenv_s", + "annotation": [ + [], + [ + "Deref" + ], + [ + "Deref", + "TaintOutput::UntrustedSource", + "TaintOutput::SensitiveDataSource" + ], + [], + [] + ], + "properties": [] + }, + "getpid": { + "name": "getpid", + "annotation": [ + [] + ], + "properties": [] + }, + "gets": { + "name": "gets", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [ + "TaintOutput::UntrustedSource", + "Deref" + ] + ], + "properties": [] + }, + "gets_s": { + "name": "gets_s", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [ + "TaintOutput::UntrustedSource", + "Deref" + ], + [] + ], + "properties": [] + }, + "getw": { + "name": "getw", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "getwc": { + "name": "getwc", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "getwchar": { + "name": "getwchar", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ] + ], + "properties": [] + }, + "_ZNKSt7greaterIPVKvEclES1_S1_": { + "name": "greater::operator()", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt13greater_equalIPVKvEclES1_S1_": { + "name": "greater_equal::operator()", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashIaEclEa": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashIbEclEb": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashIcEclEc": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashIdEclEd": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashIDiEclEDi": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashIDnEclEDn": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashIDsEclEDs": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashIeEclEe": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashIfEclEf": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashIhEclEh": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashIiEclEi": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashIjEclEj": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashIlEclEl": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashImEclEm": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashInEclEn": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashINSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEEclERKS5_": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashINSt7__cxx1112basic_stringIDiSt11char_traitsIDiESaIDiEEEEclERKS5_": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashINSt7__cxx1112basic_stringIDsSt11char_traitsIDsESaIDsEEEEclERKS5_": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashINSt7__cxx1112basic_stringIwSt11char_traitsIwESaIwEEEEclERKS5_": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashIoEclEo": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashIsEclEs": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashISt10error_codeEclERKS0_": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashISt15error_conditionEclERKS0_": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashISt17basic_string_viewIcSt11char_traitsIcEEEclERKS3_": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashISt17basic_string_viewIDiSt11char_traitsIDiEEEclERKS3_": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashISt17basic_string_viewIDsSt11char_traitsIDsEEEclERKS3_": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashISt17basic_string_viewIwSt11char_traitsIwEEEclERKS3_": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashItEclEt": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashIwEclEw": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashIxEclEx": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4hashIyEclEy": { + "name": "hash::operator()", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZSt3hexRSt8ios_base": { + "name": "hex", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZSt8hexfloatRSt8ios_base": { + "name": "hexfloat", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "htonl": { + "name": "htonl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "htons": { + "name": "htons", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "hypot": { + "name": "hypot", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "hypotf": { + "name": "hypotf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "hypotl": { + "name": "hypotl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "ilogb": { + "name": "ilogb", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "ilogbf": { + "name": "ilogbf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "ilogbl": { + "name": "ilogbl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "_ZSt8internalRSt8ios_base": { + "name": "internal", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt8ios_base5flagsEv": { + "name": "ios_base::flags", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNSt8ios_base5flagsESt13_Ios_Fmtflags": { + "name": "ios_base::flags", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt8ios_base6getlocEv": { + "name": "ios_base::getloc", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNSt8ios_base5imbueERKSt6locale": { + "name": "ios_base::imbue", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt8ios_base5iwordEi": { + "name": "ios_base::iword", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt8ios_base9precisionEv": { + "name": "ios_base::precision", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNSt8ios_base9precisionEx": { + "name": "ios_base::precision", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt8ios_base5pwordEi": { + "name": "ios_base::pword", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt8ios_base17register_callbackEPFvNS_5eventERS_iEi": { + "name": "ios_base::register_callback", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt8ios_base4setfESt13_Ios_Fmtflags": { + "name": "ios_base::setf", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt8ios_base4setfESt13_Ios_FmtflagsS0_": { + "name": "ios_base::setf", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt8ios_base15sync_with_stdioEb": { + "name": "ios_base::sync_with_stdio", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt8ios_base6unsetfESt13_Ios_Fmtflags": { + "name": "ios_base::unsetf", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt8ios_base5widthEv": { + "name": "ios_base::width", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNSt8ios_base5widthEx": { + "name": "ios_base::width", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt8ios_base6xallocEv": { + "name": "ios_base::xalloc", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZSt17iostream_categoryv": { + "name": "iostream_category", + "annotation": [ + [] + ], + "properties": [] + }, + "is_wctype": { + "name": "is_wctype", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "isalnum": { + "name": "isalnum", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "isalpha": { + "name": "isalpha", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "isblank": { + "name": "isblank", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "iscntrl": { + "name": "iscntrl", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "isdigit": { + "name": "isdigit", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "isgraph": { + "name": "isgraph", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "isleadbyte": { + "name": "isleadbyte", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "islower": { + "name": "islower", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "isprint": { + "name": "isprint", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "ispunct": { + "name": "ispunct", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "isspace": { + "name": "isspace", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "isupper": { + "name": "isupper", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "iswalnum": { + "name": "iswalnum", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "iswalpha": { + "name": "iswalpha", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "iswascii": { + "name": "iswascii", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "iswblank": { + "name": "iswblank", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "iswcntrl": { + "name": "iswcntrl", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "iswctype": { + "name": "iswctype", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "iswdigit": { + "name": "iswdigit", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "iswgraph": { + "name": "iswgraph", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "iswlower": { + "name": "iswlower", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "iswprint": { + "name": "iswprint", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "iswpunct": { + "name": "iswpunct", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "iswspace": { + "name": "iswspace", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "iswupper": { + "name": "iswupper", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "iswxdigit": { + "name": "iswxdigit", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "isxdigit": { + "name": "isxdigit", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "itoa": { + "name": "itoa", + "annotation": [ + [], + [], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "j0": { + "name": "j0", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "j0f": { + "name": "j0f", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "j0l": { + "name": "j0l", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "j1": { + "name": "j1", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "j1f": { + "name": "j1f", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "j1l": { + "name": "j1l", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "jn": { + "name": "jn", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "jnf": { + "name": "jnf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "jnl": { + "name": "jnl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "labs": { + "name": "labs", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "_ZSt7launderPKv": { + "name": "launder", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZSt7launderPv": { + "name": "launder", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZSt7launderPVKv": { + "name": "launder", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZSt7launderPVv": { + "name": "launder", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "ldiv": { + "name": "ldiv", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZSt4leftRSt8ios_base": { + "name": "left", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt4lessIPKNSt3_V214error_categoryEEclES3_S3_": { + "name": "less::operator()", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt4lessIPVKvEclES1_S1_": { + "name": "less::operator()", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNKSt10less_equalIPVKvEclES1_S1_": { + "name": "less_equal::operator()", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "lgamma": { + "name": "lgamma", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "lgamma_r": { + "name": "lgamma_r", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "lgammaf": { + "name": "lgammaf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "lgammaf_r": { + "name": "lgammaf_r", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "lgammal": { + "name": "lgammal", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "lgammal_r": { + "name": "lgammal_r", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "llabs": { + "name": "llabs", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "lldiv": { + "name": "lldiv", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "llogb": { + "name": "llogb", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "llogbf": { + "name": "llogbf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "llogbl": { + "name": "llogbl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "llrint": { + "name": "llrint", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "llrintf": { + "name": "llrintf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "llrintl": { + "name": "llrintl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "llround": { + "name": "llround", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "llroundf": { + "name": "llroundf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "llroundl": { + "name": "llroundl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "lltoa": { + "name": "lltoa", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "lltow": { + "name": "lltow", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt6locale7classicEv": { + "name": "locale::classic", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNSt6locale6globalERKS_": { + "name": "locale::global", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt6locale4nameB5cxx11Ev": { + "name": "locale::name", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt6localeneERKS_": { + "name": "locale::operator!=", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt6localeeqERKS_": { + "name": "locale::operator==", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "localeconv": { + "name": "localeconv", + "annotation": [ + [] + ], + "properties": [] + }, + "log": { + "name": "log", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "log10f": { + "name": "log10f", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "log10l": { + "name": "log10l", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "log1p": { + "name": "log1p", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "log1pf": { + "name": "log1pf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "log1pl": { + "name": "log1pl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "log2": { + "name": "log2", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "log2f": { + "name": "log2f", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "log2l": { + "name": "log2l", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "logb": { + "name": "logb", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "logbf": { + "name": "logbf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "logbl": { + "name": "logbl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "logf": { + "name": "logf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "_ZNKSt11logic_error4whatEv": { + "name": "logic_error::what", + "annotation": [ + [] + ], + "properties": [] + }, + "logl": { + "name": "logl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "LogonUserA": { + "name": "LogonUserA", + "annotation": [ + [], + [], + [], + [ + "TaintOutput::SensitiveDataSource" + ], + [], + [], + [] + ], + "properties": [] + }, + "LogonUserW": { + "name": "LogonUserW", + "annotation": [ + [], + [], + [], + [ + "TaintOutput::SensitiveDataSource" + ], + [], + [], + [] + ], + "properties": [] + }, + "lrint": { + "name": "lrint", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "lrintf": { + "name": "lrintf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "lrintl": { + "name": "lrintl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "lround": { + "name": "lround", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "lroundf": { + "name": "lroundf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "lroundl": { + "name": "lroundl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "lseek": { + "name": "lseek", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:2" + ], + [], + [], + [] + ], + "properties": [] + }, + "ltoa": { + "name": "ltoa", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "main": { + "name": "main", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZSt15make_error_codeSt4errc": { + "name": "make_error_code", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZSt15make_error_codeSt7io_errc": { + "name": "make_error_code", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZSt20make_error_conditionSt4errc": { + "name": "make_error_condition", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZSt20make_error_conditionSt7io_errc": { + "name": "make_error_condition", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "malloc": { + "name": "malloc", + "annotation": [ + [ + "AllocSource::1", + "InitNull" + ], + [] + ], + "properties": [] + }, + "mblen": { + "name": "mblen", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "mbrlen": { + "name": "mbrlen", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "mbrtowc": { + "name": "mbrtowc", + "annotation": [ + [], + [], + [], + [], + [] + ], + "properties": [] + }, + "mbsinit": { + "name": "mbsinit", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "mbsnrtowcs": { + "name": "mbsnrtowcs", + "annotation": [ + [], + [ + "TaintPropagation::UntrustedSource:2" + ], + [], + [], + [] + ], + "properties": [] + }, + "mbsrtowcs": { + "name": "mbsrtowcs", + "annotation": [ + [], + [ + "TaintPropagation::UntrustedSource:2" + ], + [], + [], + [] + ], + "properties": [] + }, + "mbsrtowcs_s": { + "name": "mbsrtowcs_s", + "annotation": [ + [], + [ + "TaintPropagation::UntrustedSource:2" + ], + [], + [], + [], + [], + [] + ], + "properties": [] + }, + "mbstowcs": { + "name": "mbstowcs", + "annotation": [ + [], + [ + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "mbstowcs_s": { + "name": "mbstowcs_s", + "annotation": [ + [], + [ + "TaintPropagation::UntrustedSource:2" + ], + [], + [], + [], + [] + ], + "properties": [] + }, + "mbtowc": { + "name": "mbtowc", + "annotation": [ + [], + [ + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "memccpy": { + "name": "memccpy", + "annotation": [ + [], + [ + "Deref", + "TaintPropagation::UntrustedSource:2" + ], + [ + "Deref" + ], + [], + [] + ], + "properties": [] + }, + "memchr": { + "name": "memchr", + "annotation": [ + [ + "InitNull", + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [], + [] + ], + "properties": [] + }, + "memcmp": { + "name": "memcmp", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [ + "Deref" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "memcpy": { + "name": "memcpy", + "annotation": [ + [], + [ + "Deref", + "TaintPropagation::UntrustedSource:2" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "memcpy_s": { + "name": "memcpy_s", + "annotation": [ + [], + [ + "Deref", + "TaintPropagation::UntrustedSource:3" + ], + [], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "memicmp": { + "name": "memicmp", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [ + "Deref" + ], + [ + "Deref" + ], + [], + [] + ], + "properties": [] + }, + "memmem": { + "name": "memmem", + "annotation": [ + [ + "InitNull", + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "memmove": { + "name": "memmove", + "annotation": [ + [], + [ + "Deref", + "TaintPropagation::UntrustedSource:2" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "memmove_s": { + "name": "memmove_s", + "annotation": [ + [], + [ + "Deref", + "TaintPropagation::UntrustedSource:3" + ], + [], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "mempcpy": { + "name": "mempcpy", + "annotation": [ + [], + [ + "Deref", + "TaintPropagation::UntrustedSource:2" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "memset": { + "name": "memset", + "annotation": [ + [], + [ + "Deref", + "TaintPropagation::UntrustedSource:1" + ], + [], + [] + ], + "properties": [] + }, + "memset_s": { + "name": "memset_s", + "annotation": [ + [], + [ + "Deref", + "TaintPropagation::UntrustedSource:1" + ], + [], + [], + [] + ], + "properties": [] + }, + "_ZSt3minIxERKT_S2_S2_": { + "name": "min", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZSt3minIyERKT_S2_S2_": { + "name": "min", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "mkstemp": { + "name": "mkstemp", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "modf": { + "name": "modf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "modff": { + "name": "modff", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "modfl": { + "name": "modfl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "nearbyint": { + "name": "nearbyint", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "nearbyintf": { + "name": "nearbyintf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "nearbyintl": { + "name": "nearbyintl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "_ZNKSt16nested_exception10nested_ptrEv": { + "name": "nested_exception::nested_ptr", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt16nested_exception14rethrow_nestedEv": { + "name": "nested_exception::rethrow_nested", + "annotation": [ + [] + ], + "properties": [] + }, + "nextafter": { + "name": "nextafter", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "nextafterf": { + "name": "nextafterf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "nextafterl": { + "name": "nextafterl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "nextdown": { + "name": "nextdown", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [], + [] + ], + "properties": [] + }, + "nextdownf": { + "name": "nextdownf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [], + [] + ], + "properties": [] + }, + "nextdownl": { + "name": "nextdownl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [], + [] + ], + "properties": [] + }, + "nexttoward": { + "name": "nexttoward", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "nexttowardf": { + "name": "nexttowardf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "nexttowardl": { + "name": "nexttowardl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "nextup": { + "name": "nextup", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [], + [] + ], + "properties": [] + }, + "nextupf": { + "name": "nextupf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [], + [] + ], + "properties": [] + }, + "nextupl": { + "name": "nextupl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [], + [] + ], + "properties": [] + }, + "_ZSt11noboolalphaRSt8ios_base": { + "name": "noboolalpha", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZSt10noshowbaseRSt8ios_base": { + "name": "noshowbase", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZSt11noshowpointRSt8ios_base": { + "name": "noshowpoint", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZSt9noshowposRSt8ios_base": { + "name": "noshowpos", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZSt8noskipwsRSt8ios_base": { + "name": "noskipws", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZSt9nounitbufRSt8ios_base": { + "name": "nounitbuf", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZSt11nouppercaseRSt8ios_base": { + "name": "nouppercase", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "ntohl": { + "name": "ntohl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "ntohs": { + "name": "ntohs", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "_ZSt3octRSt8ios_base": { + "name": "oct", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "onexit": { + "name": "onexit", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "open": { + "name": "open", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "open64": { + "name": "open64", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "open_memstream": { + "name": "open_memstream", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZdlPv": { + "name": "operator delete", + "annotation": [ + [], + [ + "FreeSink::2" + ] + ], + "properties": [] + }, + "_ZdlPvRKSt9nothrow_t": { + "name": "operator delete", + "annotation": [ + [], + [], + [ + "FreeSink::2" + ] + ], + "properties": [] + }, + "_ZdlPvS_": { + "name": "operator delete", + "annotation": [ + [], + [], + [ + "FreeSink::2" + ] + ], + "properties": [] + }, + "_ZdaPv": { + "name": "operator delete[]", + "annotation": [ + [], + [ + "FreeSink::3" + ] + ], + "properties": [] + }, + "_ZdaPvRKSt9nothrow_t": { + "name": "operator delete[]", + "annotation": [ + [], + [], + [ + "FreeSink::3" + ] + ], + "properties": [] + }, + "_ZdaPvS_": { + "name": "operator delete[]", + "annotation": [ + [], + [], + [ + "FreeSink::3" + ] + ], + "properties": [] + }, + "_Znwm": { + "name": "operator new", + "annotation": [ + [ + "AllocSource::2" + ], + [] + ], + "properties": [] + }, + "_Znwy": { + "name": "operator new", + "annotation": [ + [ + "AllocSource::2" + ], + [] + ], + "properties": [] + }, + "_ZnwyPv": { + "name": "operator new", + "annotation": [ + [ + "AllocSource::2" + ], + [], + [] + ], + "properties": [] + }, + "_ZnwyRKSt9nothrow_t": { + "name": "operator new", + "annotation": [ + [ + "AllocSource::2" + ], + [], + [] + ], + "properties": [] + }, + "_Znam": { + "name": "operator new[]", + "annotation": [ + [ + "AllocSource::3" + ], + [], + [] + ], + "properties": [] + }, + "_Znay": { + "name": "operator new[]", + "annotation": [ + [ + "AllocSource::3" + ], + [] + ], + "properties": [] + }, + "_ZnayPv": { + "name": "operator new[]", + "annotation": [ + [ + "AllocSource::3" + ], + [], + [] + ], + "properties": [] + }, + "_ZnayRKSt9nothrow_t": { + "name": "operator new[]", + "annotation": [ + [ + "AllocSource::3" + ], + [], + [] + ], + "properties": [] + }, + "_ZNSt15__exception_ptrneERKNS_13exception_ptrES2_": { + "name": "operator!=", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZStneRKSt10error_codeRKSt15error_condition": { + "name": "operator!=", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZStneRKSt10error_codeS1_": { + "name": "operator!=", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZStneRKSt15error_conditionRKSt10error_code": { + "name": "operator!=", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZStneRKSt15error_conditionS1_": { + "name": "operator!=", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZStanSt12_Ios_IostateS_": { + "name": "operator&", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZStanSt13_Ios_FmtflagsS_": { + "name": "operator&", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZStanSt13_Ios_OpenmodeS_": { + "name": "operator&", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZStaNRSt12_Ios_IostateS_": { + "name": "operator&=", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZStaNRSt13_Ios_FmtflagsS_": { + "name": "operator&=", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZStaNRSt13_Ios_OpenmodeS_": { + "name": "operator&=", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_PKS5_": { + "name": "operator+", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_RKS8_": { + "name": "operator+", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEOS8_S9_": { + "name": "operator+", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EEPKS5_OS8_": { + "name": "operator+", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EERKS8_PKS5_": { + "name": "operator+", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "_ZStplIcSt11char_traitsIcESaIcEENSt7__cxx1112basic_stringIT_T0_T1_EERKS8_SA_": { + "name": "operator+", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "_ZStltRKSt10error_codeS1_": { + "name": "operator<", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZStltRKSt15error_conditionS1_": { + "name": "operator<", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt15__exception_ptreqERKNS_13exception_ptrES2_": { + "name": "operator==", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZSteqRKSt10error_codeRKSt15error_condition": { + "name": "operator==", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZSteqRKSt10error_codeS1_": { + "name": "operator==", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZSteqRKSt15error_conditionRKSt10error_code": { + "name": "operator==", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZSteqRKSt15error_conditionS1_": { + "name": "operator==", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZStrsIcSt11char_traitsIcEERSt13basic_istreamIT_T0_ES6_PS3_": { + "name": "operator>>", + "annotation": [ + [], + [], + [ + "TaintOutput::UntrustedSource" + ] + ], + "properties": [] + }, + "_ZStrsIcSt11char_traitsIcESaIcEERSt13basic_istreamIT_T0_ES7_RNSt7__cxx1112basic_stringIS4_S5_T1_EE": { + "name": "operator>>", + "annotation": [ + [], + [], + [ + "TaintOutput::UntrustedSource" + ] + ], + "properties": [] + }, + "_ZSteoSt12_Ios_IostateS_": { + "name": "operator^", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZSteoSt13_Ios_FmtflagsS_": { + "name": "operator^", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZSteoSt13_Ios_OpenmodeS_": { + "name": "operator^", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZSteORSt12_Ios_IostateS_": { + "name": "operator^=", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZSteORSt13_Ios_FmtflagsS_": { + "name": "operator^=", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZSteORSt13_Ios_OpenmodeS_": { + "name": "operator^=", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZStorSt12_Ios_IostateS_": { + "name": "operator|", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZStorSt13_Ios_FmtflagsS_": { + "name": "operator|", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZStorSt13_Ios_OpenmodeS_": { + "name": "operator|", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZStoRRSt12_Ios_IostateS_": { + "name": "operator|=", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZStoRRSt13_Ios_FmtflagsS_": { + "name": "operator|=", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZStoRRSt13_Ios_OpenmodeS_": { + "name": "operator|=", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZStcoSt12_Ios_Iostate": { + "name": "operator~", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZStcoSt13_Ios_Fmtflags": { + "name": "operator~", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZStcoSt13_Ios_Openmode": { + "name": "operator~", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "perror": { + "name": "perror", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "popen": { + "name": "popen", + "annotation": [ + [], + [ + "TaintSink::Execute" + ], + [] + ], + "properties": [] + }, + "popen_s": { + "name": "popen_s", + "annotation": [ + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [] + ], + "properties": [] + }, + "posix_spawn": { + "name": "posix_spawn", + "annotation": [ + [], + [ + "TaintSink::Execute" + ], + [], + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ] + ], + "properties": [] + }, + "posix_spawnp": { + "name": "posix_spawnp", + "annotation": [ + [], + [ + "TaintSink::Execute" + ], + [], + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ] + ], + "properties": [] + }, + "pow": { + "name": "pow", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "powf": { + "name": "powf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "powl": { + "name": "powl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "printf": { + "name": "printf", + "annotation": [ + [], + [ + "TaintSink::FormatString", + "TaintSink::SensitiveDataLeak" + ], + [ + "TaintSink::SensitiveDataLeak" + ] + ], + "properties": [] + }, + "printf_s": { + "name": "printf_s", + "annotation": [ + [], + [ + "TaintSink::FormatString", + "TaintSink::SensitiveDataLeak" + ], + [ + "TaintSink::SensitiveDataLeak" + ] + ], + "properties": [] + }, + "pthread_attr_destroy": { + "name": "pthread_attr_destroy", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_attr_getdetachstate": { + "name": "pthread_attr_getdetachstate", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_attr_getinheritsched": { + "name": "pthread_attr_getinheritsched", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_attr_getschedparam": { + "name": "pthread_attr_getschedparam", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_attr_getschedpolicy": { + "name": "pthread_attr_getschedpolicy", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_attr_getscope": { + "name": "pthread_attr_getscope", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_attr_getstackaddr": { + "name": "pthread_attr_getstackaddr", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_attr_getstacksize": { + "name": "pthread_attr_getstacksize", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_attr_init": { + "name": "pthread_attr_init", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_attr_setdetachstate": { + "name": "pthread_attr_setdetachstate", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_attr_setinheritsched": { + "name": "pthread_attr_setinheritsched", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_attr_setschedparam": { + "name": "pthread_attr_setschedparam", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_attr_setschedpolicy": { + "name": "pthread_attr_setschedpolicy", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_attr_setscope": { + "name": "pthread_attr_setscope", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_attr_setstackaddr": { + "name": "pthread_attr_setstackaddr", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_attr_setstacksize": { + "name": "pthread_attr_setstacksize", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_barrier_destroy": { + "name": "pthread_barrier_destroy", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_barrier_init": { + "name": "pthread_barrier_init", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "pthread_barrier_wait": { + "name": "pthread_barrier_wait", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_barrierattr_destroy": { + "name": "pthread_barrierattr_destroy", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_barrierattr_getpshared": { + "name": "pthread_barrierattr_getpshared", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_barrierattr_init": { + "name": "pthread_barrierattr_init", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_barrierattr_setpshared": { + "name": "pthread_barrierattr_setpshared", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_cancel": { + "name": "pthread_cancel", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_cond_broadcast": { + "name": "pthread_cond_broadcast", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_cond_destroy": { + "name": "pthread_cond_destroy", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_cond_init": { + "name": "pthread_cond_init", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_cond_signal": { + "name": "pthread_cond_signal", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_cond_timedwait": { + "name": "pthread_cond_timedwait", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "pthread_cond_timedwait_relative_np": { + "name": "pthread_cond_timedwait_relative_np", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "pthread_cond_wait": { + "name": "pthread_cond_wait", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_condattr_destroy": { + "name": "pthread_condattr_destroy", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_condattr_getclock": { + "name": "pthread_condattr_getclock", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_condattr_getpshared": { + "name": "pthread_condattr_getpshared", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_condattr_init": { + "name": "pthread_condattr_init", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_condattr_setclock": { + "name": "pthread_condattr_setclock", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_condattr_setpshared": { + "name": "pthread_condattr_setpshared", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_create": { + "name": "pthread_create", + "annotation": [ + [], + [], + [], + [], + [] + ], + "properties": [] + }, + "pthread_create_wrapper": { + "name": "pthread_create_wrapper", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_delay_np": { + "name": "pthread_delay_np", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_detach": { + "name": "pthread_detach", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_equal": { + "name": "pthread_equal", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_exit": { + "name": "pthread_exit", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_get_concurrency": { + "name": "pthread_get_concurrency", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_getclean": { + "name": "pthread_getclean", + "annotation": [ + [] + ], + "properties": [] + }, + "pthread_getconcurrency": { + "name": "pthread_getconcurrency", + "annotation": [ + [] + ], + "properties": [] + }, + "pthread_getevent": { + "name": "pthread_getevent", + "annotation": [ + [] + ], + "properties": [] + }, + "pthread_gethandle": { + "name": "pthread_gethandle", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_getname_np": { + "name": "pthread_getname_np", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "pthread_getschedparam": { + "name": "pthread_getschedparam", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "pthread_getspecific": { + "name": "pthread_getspecific", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_join": { + "name": "pthread_join", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_key_create": { + "name": "pthread_key_create", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_key_delete": { + "name": "pthread_key_delete", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_kill": { + "name": "pthread_kill", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_mutex_destroy": { + "name": "pthread_mutex_destroy", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_mutex_init": { + "name": "pthread_mutex_init", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_mutex_lock": { + "name": "pthread_mutex_lock", + "annotation": [ + [], + [ + "InitNull::!=0" + ] + ], + "properties": [] + }, + "pthread_mutex_timedlock": { + "name": "pthread_mutex_timedlock", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_mutex_trylock": { + "name": "pthread_mutex_trylock", + "annotation": [ + [], + [ + "InitNull::!=0" + ] + ], + "properties": [] + }, + "pthread_mutex_unlock": { + "name": "pthread_mutex_unlock", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_mutexattr_destroy": { + "name": "pthread_mutexattr_destroy", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_mutexattr_getprioceiling": { + "name": "pthread_mutexattr_getprioceiling", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_mutexattr_getprotocol": { + "name": "pthread_mutexattr_getprotocol", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_mutexattr_getpshared": { + "name": "pthread_mutexattr_getpshared", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_mutexattr_gettype": { + "name": "pthread_mutexattr_gettype", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_mutexattr_init": { + "name": "pthread_mutexattr_init", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_mutexattr_setprioceiling": { + "name": "pthread_mutexattr_setprioceiling", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_mutexattr_setprotocol": { + "name": "pthread_mutexattr_setprotocol", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_mutexattr_setpshared": { + "name": "pthread_mutexattr_setpshared", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_mutexattr_settype": { + "name": "pthread_mutexattr_settype", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_num_processors_np": { + "name": "pthread_num_processors_np", + "annotation": [ + [] + ], + "properties": [] + }, + "pthread_once": { + "name": "pthread_once", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_rwlock_destroy": { + "name": "pthread_rwlock_destroy", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_rwlock_init": { + "name": "pthread_rwlock_init", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_rwlock_rdlock": { + "name": "pthread_rwlock_rdlock", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_rwlock_timedrdlock": { + "name": "pthread_rwlock_timedrdlock", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_rwlock_timedwrlock": { + "name": "pthread_rwlock_timedwrlock", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_rwlock_tryrdlock": { + "name": "pthread_rwlock_tryrdlock", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_rwlock_trywrlock": { + "name": "pthread_rwlock_trywrlock", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_rwlock_unlock": { + "name": "pthread_rwlock_unlock", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_rwlock_wrlock": { + "name": "pthread_rwlock_wrlock", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_rwlockattr_destroy": { + "name": "pthread_rwlockattr_destroy", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_rwlockattr_getpshared": { + "name": "pthread_rwlockattr_getpshared", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_rwlockattr_init": { + "name": "pthread_rwlockattr_init", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_rwlockattr_setpshared": { + "name": "pthread_rwlockattr_setpshared", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_self": { + "name": "pthread_self", + "annotation": [ + [] + ], + "properties": [] + }, + "pthread_set_concurrency": { + "name": "pthread_set_concurrency", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_set_num_processors_np": { + "name": "pthread_set_num_processors_np", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_setcancelstate": { + "name": "pthread_setcancelstate", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_setcanceltype": { + "name": "pthread_setcanceltype", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_setconcurrency": { + "name": "pthread_setconcurrency", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_setname_np": { + "name": "pthread_setname_np", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_setschedparam": { + "name": "pthread_setschedparam", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "pthread_setspecific": { + "name": "pthread_setspecific", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_spin_destroy": { + "name": "pthread_spin_destroy", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_spin_init": { + "name": "pthread_spin_init", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "pthread_spin_lock": { + "name": "pthread_spin_lock", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_spin_trylock": { + "name": "pthread_spin_trylock", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_spin_unlock": { + "name": "pthread_spin_unlock", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_testcancel": { + "name": "pthread_testcancel", + "annotation": [ + [] + ], + "properties": [] + }, + "pthread_timechange_handler_np": { + "name": "pthread_timechange_handler_np", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "pthread_tls_init": { + "name": "pthread_tls_init", + "annotation": [ + [] + ], + "properties": [] + }, + "putc": { + "name": "putc", + "annotation": [ + [], + [], + [ + "Deref" + ] + ], + "properties": [] + }, + "putchar": { + "name": "putchar", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "putenv": { + "name": "putenv", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "puts": { + "name": "puts", + "annotation": [ + [], + [ + "Deref" + ] + ], + "properties": [] + }, + "putw": { + "name": "putw", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "putwc": { + "name": "putwc", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "putwchar": { + "name": "putwchar", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "qsort": { + "name": "qsort", + "annotation": [ + [], + [ + "Deref" + ], + [], + [], + [] + ], + "properties": [] + }, + "qsort_s": { + "name": "qsort_s", + "annotation": [ + [], + [], + [], + [], + [], + [] + ], + "properties": [] + }, + "raise": { + "name": "raise", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "rand": { + "name": "rand", + "annotation": [ + [] + ], + "properties": [] + }, + "rawmemchr": { + "name": "rawmemchr", + "annotation": [ + [ + "InitNull", + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [], + [] + ], + "properties": [] + }, + "read": { + "name": "read", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "readlink": { + "name": "readlink", + "annotation": [ + [], + [], + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "realloc": { + "name": "realloc", + "annotation": [ + [ + "AllocSource::1", + "InitNull" + ], + [], + [] + ], + "properties": [] + }, + "realpath": { + "name": "realpath", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "remainder": { + "name": "remainder", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "remainderf": { + "name": "remainderf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "remainderl": { + "name": "remainderl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "remove": { + "name": "remove", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "rename": { + "name": "rename", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZSt17rethrow_exceptionNSt15__exception_ptr13exception_ptrE": { + "name": "rethrow_exception", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "rewind": { + "name": "rewind", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZSt5rightRSt8ios_base": { + "name": "right", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "rint": { + "name": "rint", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "rintf": { + "name": "rintf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "rintl": { + "name": "rintl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "rmtmp": { + "name": "rmtmp", + "annotation": [ + [] + ], + "properties": [] + }, + "round": { + "name": "round", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "roundeven": { + "name": "roundeven", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "roundevenf": { + "name": "roundevenf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "roundevenl": { + "name": "roundevenl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "roundf": { + "name": "roundf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "roundl": { + "name": "roundl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "_ZNKSt13runtime_error4whatEv": { + "name": "runtime_error::what", + "annotation": [ + [] + ], + "properties": [] + }, + "scanf": { + "name": "scanf", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [ + "TaintSink::FormatString" + ], + [ + "TaintOutput::UntrustedSource" + ] + ], + "properties": [] + }, + "scanf_s": { + "name": "scanf_s", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [ + "TaintSink::FormatString" + ], + [ + "TaintOutput::UntrustedSource" + ] + ], + "properties": [] + }, + "sched_get_priority_max": { + "name": "sched_get_priority_max", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "sched_get_priority_min": { + "name": "sched_get_priority_min", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "sched_getscheduler": { + "name": "sched_getscheduler", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "sched_setscheduler": { + "name": "sched_setscheduler", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "sched_yield": { + "name": "sched_yield", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZSt10scientificRSt8ios_base": { + "name": "scientific", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZSt15set_new_handlerPFvvE": { + "name": "set_new_handler", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZSt13set_terminatePFvvE": { + "name": "set_terminate", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZSt14set_unexpectedPFvvE": { + "name": "set_unexpected", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "setbuf": { + "name": "setbuf", + "annotation": [ + [], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "setlocale": { + "name": "setlocale", + "annotation": [ + [ + "InitNull" + ], + [], + [] + ], + "properties": [] + }, + "setvbuf": { + "name": "setvbuf", + "annotation": [ + [], + [], + [], + [], + [] + ], + "properties": [] + }, + "ShellExecuteA": { + "name": "ShellExecuteA", + "annotation": [ + [], + [], + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [] + ], + "properties": [] + }, + "ShellExecuteExA": { + "name": "ShellExecuteExA", + "annotation": [ + [], + [ + "TaintSink::Execute" + ] + ], + "properties": [] + }, + "ShellExecuteExW": { + "name": "ShellExecuteExW", + "annotation": [ + [], + [ + "TaintSink::Execute" + ] + ], + "properties": [] + }, + "ShellExecuteW": { + "name": "ShellExecuteW", + "annotation": [ + [], + [], + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [] + ], + "properties": [] + }, + "_ZSt8showbaseRSt8ios_base": { + "name": "showbase", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZSt9showpointRSt8ios_base": { + "name": "showpoint", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZSt7showposRSt8ios_base": { + "name": "showpos", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "signal": { + "name": "signal", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "sinh": { + "name": "sinh", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "sinhf": { + "name": "sinhf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "sinhl": { + "name": "sinhl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [], + [] + ], + "properties": [] + }, + "_ZSt6skipwsRSt8ios_base": { + "name": "skipws", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_Z8snprintfPcyPKcz": { + "name": "snprintf", + "annotation": [ + [], + [ + "Deref", + "TaintPropagation::UntrustedSource:4" + ], + [], + [ + "TaintSink::FormatString" + ] + ], + "properties": [] + }, + "snprintf": { + "name": "snprintf", + "annotation": [ + [], + [ + "Deref", + "TaintPropagation::UntrustedSource:4" + ], + [], + [ + "TaintSink::FormatString" + ] + ], + "properties": [] + }, + "snprintf_s": { + "name": "snprintf_s", + "annotation": [ + [], + [ + "Deref", + "TaintPropagation::UntrustedSource:4" + ], + [], + [ + "TaintSink::FormatString" + ] + ], + "properties": [] + }, + "snwprintf": { + "name": "snwprintf", + "annotation": [ + [], + [ + "Deref" + ], + [], + [ + "TaintSink::FormatString" + ] + ], + "properties": [] + }, + "spawnl": { + "name": "spawnl", + "annotation": [ + [], + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ] + ], + "properties": [] + }, + "spawnle": { + "name": "spawnle", + "annotation": [ + [], + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ] + ], + "properties": [] + }, + "spawnlp": { + "name": "spawnlp", + "annotation": [ + [], + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ] + ], + "properties": [] + }, + "spawnlpe": { + "name": "spawnlpe", + "annotation": [ + [], + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ] + ], + "properties": [] + }, + "spawnv": { + "name": "spawnv", + "annotation": [ + [], + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ] + ], + "properties": [] + }, + "spawnve": { + "name": "spawnve", + "annotation": [ + [], + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ] + ], + "properties": [] + }, + "spawnvp": { + "name": "spawnvp", + "annotation": [ + [], + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ] + ], + "properties": [] + }, + "spawnvpe": { + "name": "spawnvpe", + "annotation": [ + [], + [], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ], + [ + "TaintSink::Execute" + ] + ], + "properties": [] + }, + "sprintf": { + "name": "sprintf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref", + "TaintPropagation::UntrustedSource:3" + ], + [ + "TaintSink::FormatString" + ] + ], + "properties": [] + }, + "sprintf_s": { + "name": "sprintf_s", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref", + "TaintPropagation::UntrustedSource:4" + ], + [], + [ + "TaintSink::FormatString" + ] + ], + "properties": [] + }, + "sqrt": { + "name": "sqrt", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "sqrtf": { + "name": "sqrtf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "sqrtl": { + "name": "sqrtl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "srand": { + "name": "srand", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "sscanf": { + "name": "sscanf", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [ + "Deref" + ], + [ + "TaintSink::FormatString" + ], + [ + "TaintPropagation::UntrustedSource:1" + ] + ], + "properties": [] + }, + "sscanf_s": { + "name": "sscanf_s", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [ + "Deref" + ], + [ + "TaintSink::FormatString" + ], + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "std::basic_ios::fill": { + "name": "std::basic_ios::fill", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [], + [] + ], + "properties": [] + }, + "std::basic_ios::narrow": { + "name": "std::basic_ios::narrow", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [], + [], + [] + ], + "properties": [] + }, + "std::basic_ios::widen": { + "name": "std::basic_ios::widen", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [], + [] + ], + "properties": [] + }, + "std::basic_istream::gcount": { + "name": "std::basic_istream::gcount", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ] + ], + "properties": [] + }, + "std::basic_istream::get": { + "name": "std::basic_istream::get", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [], + [ + "TaintOutput::UntrustedSource" + ], + [], + [] + ], + "properties": [] + }, + "std::basic_istream::getline": { + "name": "std::basic_istream::getline", + "annotation": [ + [], + [], + [ + "TaintOutput::UntrustedSource" + ], + [] + ], + "properties": [] + }, + "std::basic_istream::operator<<": { + "name": "std::basic_istream::operator<<", + "annotation": [ + [], + [], + [ + "TaintSink::SensitiveDataLeak" + ] + ], + "properties": [] + }, + "std::basic_istream::operator>>": { + "name": "std::basic_istream::operator>>", + "annotation": [ + [], + [], + [ + "TaintOutput::UntrustedSource" + ] + ], + "properties": [] + }, + "std::basic_istream::peek": { + "name": "std::basic_istream::peek", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ] + ], + "properties": [] + }, + "std::basic_istream::read": { + "name": "std::basic_istream::read", + "annotation": [ + [], + [], + [ + "TaintOutput::UntrustedSource" + ], + [] + ], + "properties": [] + }, + "std::basic_istream::readsome": { + "name": "std::basic_istream::readsome", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [], + [ + "TaintOutput::UntrustedSource" + ], + [] + ], + "properties": [] + }, + "std::basic_istream::tellg": { + "name": "std::basic_istream::tellg", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [] + ], + "properties": [] + }, + "std::basic_string::copy": { + "name": "std::basic_string::copy", + "annotation": [ + [], + [], + [ + "TaintPropagation::UntrustedSource:1" + ], + [], + [] + ], + "properties": [] + }, + "std::deque::deque<_Tp, _Alloc>": { + "name": "std::deque::deque<_Tp, _Alloc>", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "std::deque::resize": { + "name": "std::deque::resize", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "std::forward_list::forward_list<_Tp, _Alloc>": { + "name": "std::forward_list::forward_list<_Tp, _Alloc>", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "std::forward_list::resize": { + "name": "std::forward_list::resize", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "std::fpos::operator long": { + "name": "std::fpos::operator long", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ] + ], + "properties": [] + }, + "std::fpos::operator long long": { + "name": "std::fpos::operator long long", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ] + ], + "properties": [] + }, + "std::from_chars": { + "name": "std::from_chars", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:4" + ], + [ + "Deref" + ], + [], + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:4" + ], + [] + ], + "properties": [] + }, + "std::list::list<_Tp, _Alloc>": { + "name": "std::list::list<_Tp, _Alloc>", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "std::list::resize": { + "name": "std::list::resize", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "std::make_shared": { + "name": "std::make_shared", + "annotation": [ + [] + ], + "properties": [] + }, + "std::make_unique": { + "name": "std::make_unique", + "annotation": [ + [] + ], + "properties": [] + }, + "std::max": { + "name": "std::max", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "std::min": { + "name": "std::min", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "std::shared_ptr::get": { + "name": "std::shared_ptr::get", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "std::shared_ptr::shared_ptr<_Tp>": { + "name": "std::shared_ptr::shared_ptr<_Tp>", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "std::to_chars": { + "name": "std::to_chars", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:3", + "TaintPropagation::UntrustedSource:4" + ], + [ + "Deref", + "TaintPropagation::UntrustedSource:3", + "TaintPropagation::UntrustedSource:4" + ], + [], + [], + [] + ], + "properties": [] + }, + "std::unique_ptr::get": { + "name": "std::unique_ptr::get", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "std::unique_ptr::unique_ptr<_Tp, _Dp>": { + "name": "std::unique_ptr::unique_ptr<_Tp, _Dp>", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "std::vector::reserve": { + "name": "std::vector::reserve", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "std::vector::resize": { + "name": "std::vector::resize", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "std::vector::vector<_Tp, _Alloc>": { + "name": "std::vector::vector<_Tp, _Alloc>", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx114stodERKNS_12basic_stringIcSt11char_traitsIcESaIcEEEPy": { + "name": "stod", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx114stodERKNS_12basic_stringIwSt11char_traitsIwESaIwEEEPy": { + "name": "stod", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx114stofERKNS_12basic_stringIcSt11char_traitsIcESaIcEEEPy": { + "name": "stof", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx114stofERKNS_12basic_stringIwSt11char_traitsIwESaIwEEEPy": { + "name": "stof", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx114stoiERKNS_12basic_stringIcSt11char_traitsIcESaIcEEEPyi": { + "name": "stoi", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx114stoiERKNS_12basic_stringIwSt11char_traitsIwESaIwEEEPyi": { + "name": "stoi", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx114stolERKNS_12basic_stringIcSt11char_traitsIcESaIcEEEPyi": { + "name": "stol", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx114stolERKNS_12basic_stringIwSt11char_traitsIwESaIwEEEPyi": { + "name": "stol", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx115stoldERKNS_12basic_stringIcSt11char_traitsIcESaIcEEEPy": { + "name": "stold", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx115stoldERKNS_12basic_stringIwSt11char_traitsIwESaIwEEEPy": { + "name": "stold", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx115stollERKNS_12basic_stringIcSt11char_traitsIcESaIcEEEPyi": { + "name": "stoll", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx115stollERKNS_12basic_stringIwSt11char_traitsIwESaIwEEEPyi": { + "name": "stoll", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx115stoulERKNS_12basic_stringIcSt11char_traitsIcESaIcEEEPyi": { + "name": "stoul", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx115stoulERKNS_12basic_stringIwSt11char_traitsIwESaIwEEEPyi": { + "name": "stoul", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx116stoullERKNS_12basic_stringIcSt11char_traitsIcESaIcEEEPyi": { + "name": "stoull", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx116stoullERKNS_12basic_stringIwSt11char_traitsIwESaIwEEEPyi": { + "name": "stoull", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [], + [] + ], + "properties": [] + }, + "stpcpy": { + "name": "stpcpy", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:2" + ], + [ + "Deref", + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, + "strcasecmp": { + "name": "strcasecmp", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "strcasestr": { + "name": "strcasestr", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [], + [] + ], + "properties": [] + }, + "strcat": { + "name": "strcat", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [ + "Deref", + "TaintPropagation::UntrustedSource:2" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "strcat_s": { + "name": "strcat_s", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:3" + ], + [ + "Deref", + "TaintPropagation::UntrustedSource:3" + ], + [], + [ + "Deref" + ] + ], + "properties": [] + }, + "strchr": { + "name": "strchr", + "annotation": [ + [ + "InitNull", + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "strchrnul": { + "name": "strchrnul", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "strcmp": { + "name": "strcmp", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [ + "Deref" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "strcoll": { + "name": "strcoll", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "strcpy": { + "name": "strcpy", + "annotation": [ + [], + [ + "Deref", + "TaintPropagation::UntrustedSource:2" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "strcpy_s": { + "name": "strcpy_s", + "annotation": [ + [], + [ + "Deref", + "TaintPropagation::UntrustedSource:3" + ], + [], + [ + "Deref" + ] + ], + "properties": [] + }, + "strcspn": { + "name": "strcspn", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [], + [] + ], + "properties": [] + }, + "strdup": { + "name": "strdup", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "strfromd": { + "name": "strfromd", + "annotation": [ + [], + [ + "TaintPropagation::UntrustedSource:4" + ], + [] + ], + "properties": [] + }, + "strfromf": { + "name": "strfromf", + "annotation": [ + [], + [ + "TaintPropagation::UntrustedSource:4" + ], + [] + ], + "properties": [] + }, + "strfroml": { + "name": "strfroml", + "annotation": [ + [], + [ + "TaintPropagation::UntrustedSource:4" + ], + [] + ], + "properties": [] + }, + "strlen": { + "name": "strlen", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "strncasecmp": { + "name": "strncasecmp", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [ + "Deref" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "strncat": { + "name": "strncat", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [ + "Deref", + "TaintPropagation::UntrustedSource:2" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "strncat_s": { + "name": "strncat_s", + "annotation": [ + [], + [ + "Deref" + ], + [], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "strncmp": { + "name": "strncmp", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [ + "Deref" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "strncpy": { + "name": "strncpy", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:2", + "TaintPropagation::UntrustedSource:1" + ], + [ + "TaintPropagation::UntrustedSource:2", + "Deref" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "strncpy_s": { + "name": "strncpy_s", + "annotation": [ + [], + [ + "TaintPropagation::UntrustedSource:3", + "Deref" + ], + [], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "strndup": { + "name": "strndup", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "strnlen": { + "name": "strnlen", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "strnset": { + "name": "strnset", + "annotation": [ + [], + [ + "Deref" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "strpbrk": { + "name": "strpbrk", + "annotation": [ + [ + "InitNull", + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "strrchr": { + "name": "strrchr", + "annotation": [ + [ + "InitNull", + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "strsep": { + "name": "strsep", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [], + [] + ], + "properties": [] + }, + "strset": { + "name": "strset", + "annotation": [ + [], + [ + "Deref" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "strspn": { + "name": "strspn", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "strstr": { + "name": "strstr", + "annotation": [ + [ + "InitNull", + "TaintPropagation::UntrustedSource:1" + ], + [], + [] + ], + "properties": [] + }, + "_ZL6strtodPKcPPc": { + "name": "strtod", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "strtod": { + "name": "strtod", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "_ZL6strtofPKcPPc": { + "name": "strtof", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "strtok": { + "name": "strtok", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [], + [] + ], + "properties": [] + }, + "strtok_r": { + "name": "strtok_r", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [], + [] + ], + "properties": [] + }, + "strtok_s": { + "name": "strtok_s", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [ + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "strtol": { + "name": "strtol", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [], + [] + ], + "properties": [] + }, + "strtold": { + "name": "strtold", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "strtoll": { + "name": "strtoll", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [], + [] + ], + "properties": [] + }, + "strtoul": { + "name": "strtoul", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [], + [] + ], + "properties": [] + }, + "strtoull": { + "name": "strtoull", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [], + [] + ], + "properties": [] + }, + "strverscmp": { + "name": "strverscmp", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "strxfrm": { + "name": "strxfrm", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:2", + "TaintPropagation::UntrustedSource:1" + ], + [ + "TaintPropagation::UntrustedSource:2", + "Deref" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "swab": { + "name": "swab", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt15__exception_ptr4swapERNS_13exception_ptrES1_": { + "name": "swap", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZL8swprintfPwPKwz": { + "name": "swprintf", + "annotation": [ + [], + [ + "Deref", + "TaintPropagation::UntrustedSource:3" + ], + [ + "TaintSink::FormatString" + ] + ], + "properties": [] + }, + "_ZL8swprintfPwyPKwz": { + "name": "swprintf", + "annotation": [ + [], + [ + "Deref", + "TaintPropagation::UntrustedSource:3" + ], + [ + "TaintSink::FormatString" + ] + ], + "properties": [] + }, + "swprintf": { + "name": "swprintf", + "annotation": [ + [], + [ + "Deref", + "TaintPropagation::UntrustedSource:3" + ], + [ + "TaintSink::FormatString" + ] + ], + "properties": [] + }, + "swprintf_s": { + "name": "swprintf_s", + "annotation": [ + [], + [ + "Deref", + "TaintPropagation::UntrustedSource:3" + ], + [], + [ + "TaintSink::FormatString" + ] + ], + "properties": [] + }, + "swscanf": { + "name": "swscanf", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [ + "Deref" + ], + [ + "TaintSink::FormatString" + ], + [ + "TaintPropagation::UntrustedSource:1" + ] + ], + "properties": [] + }, + "swscanf_s": { + "name": "swscanf_s", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [ + "Deref" + ], + [ + "TaintSink::FormatString" + ], + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "system": { + "name": "system", + "annotation": [ + [], + [ + "TaintSink::Execute" + ] + ], + "properties": [] + }, + "_ZNSt3_V215system_categoryEv": { + "name": "system_category", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt12system_error4codeEv": { + "name": "system_error::code", + "annotation": [ + [] + ], + "properties": [] + }, + "system_s": { + "name": "system_s", + "annotation": [ + [], + [ + "TaintSink::Execute" + ], + [] + ], + "properties": [] + }, + "tanh": { + "name": "tanh", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "tanhf": { + "name": "tanhf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "tanhl": { + "name": "tanhl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [], + [] + ], + "properties": [] + }, + "tempnam": { + "name": "tempnam", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZSt9terminatev": { + "name": "terminate", + "annotation": [ + [] + ], + "properties": [] + }, + "tgamma": { + "name": "tgamma", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "tgammaf": { + "name": "tgammaf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "tgammal": { + "name": "tgammal", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "tmpfile": { + "name": "tmpfile", + "annotation": [ + [] + ], + "properties": [] + }, + "tmpnam": { + "name": "tmpnam", + "annotation": [ + [ + "InitNull" + ], + [] + ], + "properties": [] + }, + "tmpnam_s": { + "name": "tmpnam_s", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx119to_stringEd": { + "name": "to_string", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx119to_stringEe": { + "name": "to_string", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx119to_stringEf": { + "name": "to_string", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx119to_stringEi": { + "name": "to_string", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx119to_stringEj": { + "name": "to_string", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx119to_stringEl": { + "name": "to_string", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx119to_stringEm": { + "name": "to_string", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx119to_stringEx": { + "name": "to_string", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx119to_stringEy": { + "name": "to_string", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx1110to_wstringEd": { + "name": "to_wstring", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx1110to_wstringEe": { + "name": "to_wstring", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx1110to_wstringEf": { + "name": "to_wstring", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx1110to_wstringEi": { + "name": "to_wstring", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx1110to_wstringEj": { + "name": "to_wstring", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx1110to_wstringEl": { + "name": "to_wstring", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx1110to_wstringEm": { + "name": "to_wstring", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx1110to_wstringEx": { + "name": "to_wstring", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNSt7__cxx1110to_wstringEy": { + "name": "to_wstring", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "toascii": { + "name": "toascii", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "tolower": { + "name": "tolower", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "toupper": { + "name": "toupper", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "towctrans": { + "name": "towctrans", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [], + [] + ], + "properties": [] + }, + "towlower": { + "name": "towlower", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "towupper": { + "name": "towupper", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "trunc": { + "name": "trunc", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "truncf": { + "name": "truncf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "truncl": { + "name": "truncl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "_ZNKSt9type_info6beforeERKS_": { + "name": "type_info::before", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt9type_info9hash_codeEv": { + "name": "type_info::hash_code", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt9type_info4nameEv": { + "name": "type_info::name", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZNKSt9type_infoneERKS_": { + "name": "type_info::operator!=", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "_ZNKSt9type_infoeqERKS_": { + "name": "type_info::operator==", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "ufromfp": { + "name": "ufromfp", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "ufromfpf": { + "name": "ufromfpf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "ufromfpl": { + "name": "ufromfpl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "ulltoa": { + "name": "ulltoa", + "annotation": [ + [], [], + [], + [] + ], + "properties": [] + }, + "ulltow": { + "name": "ulltow", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "ultoa": { + "name": "ultoa", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZSt18uncaught_exceptionv": { + "name": "uncaught_exception", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZSt19uncaught_exceptionsv": { + "name": "uncaught_exceptions", + "annotation": [ + [] + ], + "properties": [] + }, + "_ZSt10unexpectedv": { + "name": "unexpected", + "annotation": [ [] ], "properties": [] }, - "strtold": { - "name": "strtold", + "ungetc": { + "name": "ungetc", "annotation": [ - [ - "TaintPropagation::UntrustedSource:1" - ], - [ - "Deref" - ], + [], + [], [] ], "properties": [] }, - "strtoll": { - "name": "strtoll", + "ungetwc": { + "name": "ungetwc", "annotation": [ - [ - "TaintPropagation::UntrustedSource:1" - ], - [ - "Deref" - ], + [], [], [] ], "properties": [] }, - "strtoul": { - "name": "strtoul", + "_ZSt7unitbufRSt8ios_base": { + "name": "unitbuf", "annotation": [ - [ - "TaintPropagation::UntrustedSource:1" - ], - [ - "Deref" - ], [], [] ], "properties": [] }, - "strtoull": { - "name": "strtoull", + "unlink": { + "name": "unlink", "annotation": [ - [ - "TaintPropagation::UntrustedSource:1" - ], - [ - "Deref" - ], [], [] ], "properties": [] }, - "strxfrm": { - "name": "strxfrm", + "_ZSt9uppercaseRSt8ios_base": { + "name": "uppercase", "annotation": [ - [ - "TaintPropagation::UntrustedSource:2", - "TaintPropagation::UntrustedSource:1" - ], - [ - "Deref", - "TaintPropagation::UntrustedSource:2" - ], - [ - "Deref" - ], + [], [] ], "properties": [] }, - "swprintf": { - "name": "swprintf", + "_Z8vfprintfP6_iobufPKcPc": { + "name": "vfprintf", "annotation": [ [], [ - "Deref", - "TaintPropagation::UntrustedSource:3" + "Deref" ], [ "TaintSink::FormatString" @@ -1574,13 +12208,12 @@ ], "properties": [] }, - "swprintf_s": { - "name": "swprintf_s", + "vfprintf_s": { + "name": "vfprintf_s", "annotation": [ [], [ - "Deref", - "TaintPropagation::UntrustedSource:3" + "Deref" ], [], [ @@ -1589,8 +12222,8 @@ ], "properties": [] }, - "swscanf": { - "name": "swscanf", + "vfscanf": { + "name": "vfscanf", "annotation": [ [ "TaintOutput::UntrustedSource" @@ -1602,13 +12235,13 @@ "TaintSink::FormatString" ], [ - "TaintPropagation::UntrustedSource:1" + "TaintOutput::UntrustedSource" ] ], "properties": [] }, - "swscanf_s": { - "name": "swscanf_s", + "_Z7vfscanfP6_iobufPKcPc": { + "name": "vfscanf", "annotation": [ [ "TaintOutput::UntrustedSource" @@ -1620,24 +12253,43 @@ "TaintSink::FormatString" ], [ - "TaintPropagation::UntrustedSource:1" + "TaintOutput::UntrustedSource" + ] + ], + "properties": [] + }, + "vfscanf_s": { + "name": "vfscanf_s", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [], + [ + "TaintSink::FormatString" + ], + [ + "TaintOutput::UntrustedSource" ], [] ], "properties": [] }, - "tmpnam": { - "name": "tmpnam", + "vfwprintf": { + "name": "vfwprintf", "annotation": [ + [], [ - "InitNull" + "Deref" ], - [] + [ + "TaintSink::FormatString" + ] ], "properties": [] }, - "vfprintf_s": { - "name": "vfprintf_s", + "vfwprintf_s": { + "name": "vfwprintf_s", "annotation": [ [], [ @@ -1650,8 +12302,8 @@ ], "properties": [] }, - "vfscanf": { - "name": "vfscanf", + "vfwscanf": { + "name": "vfwscanf", "annotation": [ [ "TaintOutput::UntrustedSource" @@ -1668,26 +12320,21 @@ ], "properties": [] }, - "vfwprintf": { - "name": "vfwprintf", + "_Z7vprintfPKcPc": { + "name": "vprintf", "annotation": [ [], - [ - "Deref" - ], + [], [ "TaintSink::FormatString" ] ], "properties": [] }, - "vfwprintf_s": { - "name": "vfwprintf_s", + "vprintf_s": { + "name": "vprintf_s", "annotation": [ [], - [ - "Deref" - ], [], [ "TaintSink::FormatString" @@ -1695,20 +12342,48 @@ ], "properties": [] }, - "vfwscanf": { - "name": "vfwscanf", + "vscanf": { + "name": "vscanf", "annotation": [ [ "TaintOutput::UntrustedSource" ], [ - "Deref" + "TaintSink::FormatString" + ], + [ + "TaintOutput::UntrustedSource" + ] + ], + "properties": [] + }, + "vscanf_s": { + "name": "vscanf_s", + "annotation": [ + [ + "TaintOutput::UntrustedSource" ], [ "TaintSink::FormatString" ], [ "TaintOutput::UntrustedSource" + ], + [] + ], + "properties": [] + }, + "_Z9vsnprintfPcyPKcS_": { + "name": "vsnprintf", + "annotation": [ + [], + [ + "Deref", + "TaintPropagation::UntrustedSource:4" + ], + [], + [ + "TaintSink::FormatString" ] ], "properties": [] @@ -1744,6 +12419,22 @@ ], "properties": [] }, + "_Z8vsprintfPcPKcS_": { + "name": "vsprintf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref", + "TaintPropagation::UntrustedSource:3" + ], + [ + "TaintSink::FormatString" + ] + ], + "properties": [] + }, "vsprintf": { "name": "vsprintf", "annotation": [ @@ -1796,22 +12487,164 @@ ], "properties": [] }, + "vsscanf_s": { + "name": "vsscanf_s", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [], + [ + "TaintSink::FormatString" + ], + [ + "TaintOutput::UntrustedSource" + ], + [] + ], + "properties": [] + }, + "_ZL9vswprintfPwPKwPc": { + "name": "vswprintf", + "annotation": [ + [], + [ + "TaintPropagation::UntrustedSource:4" + ], + [], + [ + "TaintSink::FormatString" + ] + ], + "properties": [] + }, + "_ZL9vswprintfPwyPKwPc": { + "name": "vswprintf", + "annotation": [ + [], + [], + [], + [], + [ + "TaintSink::FormatString" + ] + ], + "properties": [] + }, + "vswprintf_s": { + "name": "vswprintf_s", + "annotation": [ + [], + [ + "TaintPropagation::UntrustedSource:4" + ], + [], + [ + "TaintSink::FormatString" + ] + ], + "properties": [] + }, "vswscanf": { "name": "vswscanf", "annotation": [ [ - "TaintOutput::UntrustedSource" + "TaintOutput::UntrustedSource" + ], + [ + "Deref" + ], + [ + "TaintSink::FormatString" + ], + [ + "Deref", + "TaintPropagation::UntrustedSource:1" + ] + ], + "properties": [] + }, + "vwprintf": { + "name": "vwprintf", + "annotation": [ + [], + [], + [ + "TaintSink::FormatString" + ] + ], + "properties": [] + }, + "vwprintf_s": { + "name": "vwprintf_s", + "annotation": [ + [], + [], + [ + "TaintSink::FormatString" + ] + ], + "properties": [] + }, + "vwscanf": { + "name": "vwscanf", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [ + "TaintSink::FormatString" + ], + [ + "TaintOutput::UntrustedSource" + ] + ], + "properties": [] + }, + "wcpcpy": { + "name": "wcpcpy", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:2" ], [ - "Deref" + "TaintPropagation::UntrustedSource:2" ], + [] + ], + "properties": [] + }, + "wcrtomb": { + "name": "wcrtomb", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "wcrtomb_s": { + "name": "wcrtomb_s", + "annotation": [ + [], + [], + [], + [], + [], + [] + ], + "properties": [] + }, + "wcscasecmp": { + "name": "wcscasecmp", + "annotation": [ [ - "TaintSink::FormatString" + "TaintPropagation::UntrustedSource:1", + "TaintPropagation::UntrustedSource:2" ], - [ - "Deref", - "TaintPropagation::UntrustedSource:1" - ] + [], + [] ], "properties": [] }, @@ -1848,6 +12681,20 @@ ], "properties": [] }, + "_ZSt6wcschrPww": { + "name": "wcschr", + "annotation": [ + [ + "InitNull", + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, "wcschr": { "name": "wcschr", "annotation": [ @@ -1947,6 +12794,16 @@ ], "properties": [] }, + "wcsdup": { + "name": "wcsdup", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, "wcsftime": { "name": "wcsftime", "annotation": [ @@ -1960,6 +12817,42 @@ ], "properties": [] }, + "wcsicmp": { + "name": "wcsicmp", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "wcsicoll": { + "name": "wcsicoll", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "wcslen": { + "name": "wcslen", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "wcslwr": { + "name": "wcslwr", + "annotation": [ + [], + [] + ], + "properties": [] + }, "wcsncasecmp": { "name": "wcsncasecmp", "annotation": [ @@ -2037,41 +12930,228 @@ "TaintPropagation::UntrustedSource:1" ], [ - "Deref", + "TaintPropagation::UntrustedSource:2", + "Deref" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "wcsncpy_s": { + "name": "wcsncpy_s", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:2", + "TaintPropagation::UntrustedSource:1" + ], + [ + "TaintPropagation::UntrustedSource:2", + "Deref" + ], + [], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "wcsnicmp": { + "name": "wcsnicmp", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "wcsnlen": { + "name": "wcsnlen", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "wcsnlen_s": { + "name": "wcsnlen_s", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "wcsnrtombs": { + "name": "wcsnrtombs", + "annotation": [ + [], + [ + "TaintPropagation::UntrustedSource:2" + ], + [], + [], + [] + ], + "properties": [] + }, + "wcsnset": { + "name": "wcsnset", + "annotation": [ + [], + [], + [], + [] + ], + "properties": [] + }, + "_ZSt7wcspbrkPwPKw": { + "name": "wcspbrk", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "InitNull" + ], + [ + "Deref" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "wcspbrk": { + "name": "wcspbrk", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "InitNull" + ], + [ + "Deref" + ], + [ + "Deref" + ] + ], + "properties": [] + }, + "_ZSt7wcsrchrPww": { + "name": "wcsrchr", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "InitNull" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "wcsrchr": { + "name": "wcsrchr", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1", + "InitNull" + ], + [ + "Deref" + ], + [] + ], + "properties": [] + }, + "wcsrev": { + "name": "wcsrev", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "wcsrtombs": { + "name": "wcsrtombs", + "annotation": [ + [], + [ "TaintPropagation::UntrustedSource:2" ], + [], + [], + [] + ], + "properties": [] + }, + "wcsrtombs_s": { + "name": "wcsrtombs_s", + "annotation": [ + [], + [ + "TaintPropagation::UntrustedSource:2" + ], + [], + [], + [], + [], + [] + ], + "properties": [] + }, + "wcsset": { + "name": "wcsset", + "annotation": [ + [], + [], + [] + ], + "properties": [] + }, + "wcsspn": { + "name": "wcsspn", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], [ "Deref" ], - [] + [ + "Deref" + ] ], "properties": [] }, - "wcsncpy_s": { - "name": "wcsncpy_s", + "_ZSt6wcsstrPwPKw": { + "name": "wcsstr", "annotation": [ [ - "TaintPropagation::UntrustedSource:2", - "TaintPropagation::UntrustedSource:1" + "TaintPropagation::UntrustedSource:1", + "InitNull" ], [ - "Deref", - "TaintPropagation::UntrustedSource:2" + "Deref" ], - [], [ "Deref" - ], - [] + ] ], "properties": [] }, - "wcspbrk": { - "name": "wcspbrk", + "wcsstr": { + "name": "wcsstr", "annotation": [ [ - "InitNull", - "TaintPropagation::UntrustedSource:1" + "TaintPropagation::UntrustedSource:1", + "InitNull" ], [ "Deref" @@ -2082,13 +13162,10 @@ ], "properties": [] }, - "wcsrchr": { - "name": "wcsrchr", + "_ZL6wcstodPKwPPw": { + "name": "wcstod", "annotation": [ - [ - "InitNull", - "TaintPropagation::UntrustedSource:1" - ], + [], [ "Deref" ], @@ -2096,34 +13173,37 @@ ], "properties": [] }, - "wcsspn": { - "name": "wcsspn", + "_ZL6wcstofPKwPPw": { + "name": "wcstof", "annotation": [ - [ - "TaintPropagation::UntrustedSource:1" - ], + [], [ "Deref" ], - [ - "Deref" - ] + [] ], "properties": [] }, - "wcsstr": { - "name": "wcsstr", + "wcstok": { + "name": "wcstok", "annotation": [ [ - "InitNull", "TaintPropagation::UntrustedSource:1" ], + [], + [] + ], + "properties": [] + }, + "wcstok_s": { + "name": "wcstok_s", + "annotation": [ [ - "Deref" + "TaintPropagation::UntrustedSource:1" ], - [ - "Deref" - ] + [], + [], + [] ], "properties": [] }, @@ -2162,6 +13242,32 @@ ], "properties": [] }, + "wcstombs": { + "name": "wcstombs", + "annotation": [ + [], + [ + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "wcstombs_s": { + "name": "wcstombs_s", + "annotation": [ + [], + [ + "TaintPropagation::UntrustedSource:2" + ], + [], + [], + [], + [] + ], + "properties": [] + }, "wcstoul": { "name": "wcstoul", "annotation": [ @@ -2186,6 +13292,14 @@ ], "properties": [] }, + "wcsupr": { + "name": "wcsupr", + "annotation": [ + [], + [] + ], + "properties": [] + }, "wcsxfrm": { "name": "wcsxfrm", "annotation": [ @@ -2198,6 +13312,27 @@ ], "properties": [] }, + "wctob": { + "name": "wctob", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "wctomb": { + "name": "wctomb", + "annotation": [ + [], + [ + "TaintPropagation::UntrustedSource:2" + ], + [] + ], + "properties": [] + }, "wctrans": { "name": "wctrans", "annotation": [ @@ -2218,6 +13353,32 @@ ], "properties": [] }, + "WinExec": { + "name": "WinExec", + "annotation": [ + [], + [ + "TaintSink::Execute" + ], + [] + ], + "properties": [] + }, + "_ZSt7wmemchrPwwy": { + "name": "wmemchr", + "annotation": [ + [ + "InitNull", + "TaintPropagation::UntrustedSource:1" + ], + [ + "Deref" + ], + [], + [] + ], + "properties": [] + }, "wmemchr": { "name": "wmemchr", "annotation": [ @@ -2327,15 +13488,170 @@ ], "properties": [] }, - "printf": { - "name": "printf", + "wmemset": { + "name": "wmemset", + "annotation": [ + [], + [ + "TaintPropagation::UntrustedSource:2" + ], + [], + [] + ], + "properties": [] + }, + "wprintf": { + "name": "wprintf", + "annotation": [ + [], + [ + "TaintSink::FormatString", + "TaintSink::SensitiveDataLeak" + ], + [ + "TaintSink::SensitiveDataLeak" + ] + ], + "properties": [] + }, + "wprintf_s": { + "name": "wprintf_s", "annotation": [ [], [ "TaintSink::FormatString", "TaintSink::SensitiveDataLeak" + ], + [ + "TaintSink::SensitiveDataLeak" + ] + ], + "properties": [] + }, + "wscanf": { + "name": "wscanf", + "annotation": [ + [ + "TaintOutput::UntrustedSource" + ], + [ + "TaintSink::FormatString" + ], + [ + "TaintOutput::UntrustedSource" ] ], "properties": [] + }, + "wtoll": { + "name": "wtoll", + "annotation": [ + [], + [] + ], + "properties": [] + }, + "y0": { + "name": "y0", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "y0f": { + "name": "y0f", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "y0l": { + "name": "y0l", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "y1": { + "name": "y1", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "y1f": { + "name": "y1f", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "y1l": { + "name": "y1l", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "yn": { + "name": "yn", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "ynf": { + "name": "ynf", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "ynl": { + "name": "ynl", + "annotation": [ + [ + "TaintPropagation::UntrustedSource:1" + ], + [] + ], + "properties": [] + }, + "recv": { + "name": "recv", + "annotation": [ + [], + [], + [ + "TaintOutput::UntrustedSource" + ], + [], + [] + ], + "properties": [] } } \ No newline at end of file diff --git a/lib/Core/MockBuilder.cpp b/lib/Core/MockBuilder.cpp index 8bf546c7d7..bed5187d6e 100644 --- a/lib/Core/MockBuilder.cpp +++ b/lib/Core/MockBuilder.cpp @@ -596,9 +596,8 @@ void MockBuilder::buildAnnotationForExternalFunctionArgs( if (!flag) { klee_warning("Annotation: can't align function arguments %s", func->getName().str().c_str()); - return; } - for (size_t i = 0; i < statements.size(); i++) { + for (size_t i = 0; i < std::min(statements.size(), func->arg_size()); i++) { #if LLVM_VERSION_CODE >= LLVM_VERSION(10, 0) const auto arg = func->getArg(i); #else