/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
H A D | GenericTaintChecker.cpp | 508 Rules.emplace_back(CallDescription(CDM::Unspecified, NameParts), in consumeRulesFromConfig() 577 {{CDM::CLibrary, {"fdopen"}}, TR::Source({{ReturnValueIndex}})}, in initTaintRules() 578 {{CDM::CLibrary, {"fopen"}}, TR::Source({{ReturnValueIndex}})}, in initTaintRules() 579 {{CDM::CLibrary, {"freopen"}}, TR::Source({{ReturnValueIndex}})}, in initTaintRules() 580 {{CDM::CLibrary, {"getch"}}, TR::Source({{ReturnValueIndex}})}, in initTaintRules() 581 {{CDM::CLibrary, {"getchar"}}, TR::Source({{ReturnValueIndex}})}, in initTaintRules() 582 {{CDM::CLibrary, {"getchar_unlocked"}}, TR::Source({{ReturnValueIndex}})}, in initTaintRules() 583 {{CDM::CLibrary, {"gets"}}, TR::Source({{0, ReturnValueIndex}})}, in initTaintRules() 584 {{CDM::CLibrary, {"gets_s"}}, TR::Source({{0, ReturnValueIndex}})}, in initTaintRules() 585 {{CDM::CLibrary, {"scanf"}}, TR::Source({{}, 1})}, in initTaintRules() [all …]
|
H A D | ReturnValueChecker.cpp | 41 {CDM::CXXMethod, {"ARMAsmParser", "Error"}}, 42 {CDM::CXXMethod, {"HexagonAsmParser", "Error"}}, 43 {CDM::CXXMethod, {"LLLexer", "Error"}}, 44 {CDM::CXXMethod, {"LLParser", "Error"}}, 45 {CDM::CXXMethod, {"MCAsmParser", "Error"}}, 46 {CDM::CXXMethod, {"MCAsmParserExtension", "Error"}}, 47 {CDM::CXXMethod, {"TGParser", "Error"}}, 48 {CDM::CXXMethod, {"X86AsmParser", "Error"}}, 50 {CDM::CXXMethod, {"LLParser", "TokError"}}, 51 {CDM::CXXMethod, {"MCAsmParser", "TokError"}}, [all …]
|
H A D | STLAlgorithmModeling.cpp | 36 {{CDM::SimpleFunc, {"std", "find"}, 3}, &STLAlgorithmModeling::evalFind}, 37 {{CDM::SimpleFunc, {"std", "find"}, 4}, &STLAlgorithmModeling::evalFind}, 38 {{CDM::SimpleFunc, {"std", "find_if"}, 3}, 40 {{CDM::SimpleFunc, {"std", "find_if"}, 4}, 42 {{CDM::SimpleFunc, {"std", "find_if_not"}, 3}, 44 {{CDM::SimpleFunc, {"std", "find_if_not"}, 4}, 46 {{CDM::SimpleFunc, {"std", "find_first_of"}, 4}, 48 {{CDM::SimpleFunc, {"std", "find_first_of"}, 5}, 50 {{CDM::SimpleFunc, {"std", "find_first_of"}, 6}, 52 {{CDM::SimpleFunc, {"std", "find_end"}, 4}, [all …]
|
H A D | PthreadLockChecker.cpp | 90 {{CDM::CLibrary, {"pthread_mutex_init"}, 2}, 99 {{CDM::CLibrary, {"pthread_mutex_lock"}, 1}, 101 {{CDM::CLibrary, {"pthread_rwlock_rdlock"}, 1}, 103 {{CDM::CLibrary, {"pthread_rwlock_wrlock"}, 1}, 105 {{CDM::CLibrary, {"lck_mtx_lock"}, 1}, 107 {{CDM::CLibrary, {"lck_rw_lock_exclusive"}, 1}, 109 {{CDM::CLibrary, {"lck_rw_lock_shared"}, 1}, 113 {{CDM::CLibrary, {"pthread_mutex_trylock"}, 1}, 115 {{CDM::CLibrary, {"pthread_rwlock_tryrdlock"}, 1}, 117 {{CDM::CLibrary, {"pthread_rwlock_trywrlock"}, 1}, [all …]
|
H A D | InnerPointerChecker.cpp | 39 CallDescription(CDM::CXXMethod, {"std", "basic_string", "append"}), 40 CallDescription(CDM::CXXMethod, {"std", "basic_string", "assign"}), 41 CallDescription(CDM::CXXMethod, {"std", "basic_string", "clear"}), 42 CallDescription(CDM::CXXMethod, {"std", "basic_string", "erase"}), 43 CallDescription(CDM::CXXMethod, {"std", "basic_string", "insert"}), 44 CallDescription(CDM::CXXMethod, {"std", "basic_string", "pop_back"}), 45 CallDescription(CDM::CXXMethod, {"std", "basic_string", "push_back"}), 46 CallDescription(CDM::CXXMethod, {"std", "basic_string", "replace"}), 47 CallDescription(CDM::CXXMethod, {"std", "basic_string", "reserve"}), 48 CallDescription(CDM::CXXMethod, {"std", "basic_string", "resize"}), [all …]
|
H A D | BlockInCriticalSectionChecker.cpp | 158 {/*MatchAs=*/CDM::CXXMethod, 161 {CDM::CXXMethod, {"std", /*"mutex",*/ "unlock"}, 0}), 162 FirstArgMutexDescriptor({CDM::CLibrary, {"pthread_mutex_lock"}, 1}, 163 {CDM::CLibrary, {"pthread_mutex_unlock"}, 1}), 164 FirstArgMutexDescriptor({CDM::CLibrary, {"mtx_lock"}, 1}, 165 {CDM::CLibrary, {"mtx_unlock"}, 1}), 166 FirstArgMutexDescriptor({CDM::CLibrary, {"pthread_mutex_trylock"}, 1}, 167 {CDM::CLibrary, {"pthread_mutex_unlock"}, 1}), 168 FirstArgMutexDescriptor({CDM::CLibrary, {"mtx_trylock"}, 1}, 169 {CDM::CLibrary, {"mtx_unlock"}, 1}), [all …]
|
H A D | SetgidSetuidOrderChecker.cpp | 34 const CallDescription SetuidDesc{CDM::CLibrary, {"setuid"}, 1}; 35 const CallDescription SetgidDesc{CDM::CLibrary, {"setgid"}, 1}; 37 const CallDescription GetuidDesc{CDM::CLibrary, {"getuid"}, 0}; 38 const CallDescription GetgidDesc{CDM::CLibrary, {"getgid"}, 0}; 41 {CDM::CLibrary, {"seteuid"}, 1}, {CDM::CLibrary, {"setegid"}, 1}, 42 {CDM::CLibrary, {"setreuid"}, 2}, {CDM::CLibrary, {"setregid"}, 2}, 43 {CDM::CLibrary, {"setresuid"}, 3}, {CDM::CLibrary, {"setresgid"}, 3}};
|
H A D | ValistChecker.cpp | 103 ValistChecker::VAListAccepters = {{{CDM::CLibrary, {"vfprintf"}, 3}, 2}, 104 {{CDM::CLibrary, {"vfscanf"}, 3}, 2}, 105 {{CDM::CLibrary, {"vprintf"}, 2}, 1}, 106 {{CDM::CLibrary, {"vscanf"}, 2}, 1}, 107 {{CDM::CLibrary, {"vsnprintf"}, 4}, 3}, 108 {{CDM::CLibrary, {"vsprintf"}, 3}, 2}, 109 {{CDM::CLibrary, {"vsscanf"}, 3}, 2}, 110 {{CDM::CLibrary, {"vfwprintf"}, 3}, 2}, 111 {{CDM::CLibrary, {"vfwscanf"}, 3}, 2}, 112 {{CDM::CLibrary, {"vwprintf"}, 2}, 1}, [all …]
|
H A D | BuiltinFunctionChecker.cpp | 39 {CDM::SimpleFunc, {"std", "addressof"}}, // 40 {CDM::SimpleFunc, {"std", "__addressof"}}, // 41 {CDM::SimpleFunc, {"std", "as_const"}}, // 42 {CDM::SimpleFunc, {"std", "forward"}}, // 43 {CDM::SimpleFunc, {"std", "forward_like"}}, // 44 {CDM::SimpleFunc, {"std", "move"}}, // 45 {CDM::SimpleFunc, {"std", "move_if_noexcept"}}, //
|
H A D | ErrnoTesterChecker.cpp | 73 {{CDM::SimpleFunc, {"ErrnoTesterChecker_setErrno"}, 1}, 75 {{CDM::SimpleFunc, {"ErrnoTesterChecker_getErrno"}, 0}, 77 {{CDM::SimpleFunc, {"ErrnoTesterChecker_setErrnoIfError"}, 0}, 79 {{CDM::SimpleFunc, {"ErrnoTesterChecker_setErrnoIfErrorRange"}, 0}, 81 {{CDM::SimpleFunc, {"ErrnoTesterChecker_setErrnoCheckState"}, 0},
|
H A D | CastValueChecker.cpp | 60 const CallDescriptionMap<std::pair<CastCheck, CallKind>> CDM = { member in __anon3f9e300b0111::CastValueChecker 61 {{CDM::SimpleFunc, {"llvm", "cast"}, 1}, 63 {{CDM::SimpleFunc, {"llvm", "dyn_cast"}, 1}, 65 {{CDM::SimpleFunc, {"llvm", "cast_or_null"}, 1}, 67 {{CDM::SimpleFunc, {"llvm", "dyn_cast_or_null"}, 1}, 69 {{CDM::CXXMethod, {"clang", "castAs"}, 0}, 71 {{CDM::CXXMethod, {"clang", "getAs"}, 0}, 73 {{CDM::SimpleFunc, {"llvm", "isa"}, 1}, 75 {{CDM::SimpleFunc, {"llvm", "isa_and_nonnull"}, 1}, 468 const auto *Lookup = CDM.lookup(Call); in evalCall()
|
H A D | StreamChecker.cpp | 335 const CallDescription FCloseDesc = {CDM::CLibrary, {"fclose"}, 1}; 339 {{CDM::CLibrary, {"fopen"}, 2}, 341 {{CDM::CLibrary, {"fdopen"}, 2}, 343 {{CDM::CLibrary, {"freopen"}, 3}, 345 {{CDM::CLibrary, {"tmpfile"}, 0}, 348 {{CDM::CLibrary, {"fread"}, 4}, 351 {{CDM::CLibrary, {"fwrite"}, 4}, 354 {{CDM::CLibrary, {"fgetc"}, 1}, 357 {{CDM::CLibrary, {"fgets"}, 3}, 360 {{CDM::CLibrary, {"getc"}, 1}, [all …]
|
H A D | ErrnoModeling.cpp | 46 {CDM::CLibrary, {"__errno_location"}, 0, 0}, 47 {CDM::CLibrary, {"___errno"}, 0, 0}, 48 {CDM::CLibrary, {"__errno"}, 0, 0}, 49 {CDM::CLibrary, {"_errno"}, 0, 0}, 50 {CDM::CLibrary, {"__error"}, 0, 0}};
|
H A D | CStringChecker.cpp | 131 {{CDM::CLibraryMaybeHardened, {"memcpy"}, 3}, 133 {{CDM::CLibraryMaybeHardened, {"wmemcpy"}, 3}, 135 {{CDM::CLibraryMaybeHardened, {"mempcpy"}, 3}, 137 {{CDM::CLibraryMaybeHardened, {"wmempcpy"}, 3}, 139 {{CDM::CLibrary, {"memcmp"}, 3}, 141 {{CDM::CLibrary, {"wmemcmp"}, 3}, 143 {{CDM::CLibraryMaybeHardened, {"memmove"}, 3}, 145 {{CDM::CLibraryMaybeHardened, {"wmemmove"}, 3}, 147 {{CDM::CLibraryMaybeHardened, {"memset"}, 3}, 149 {{CDM::CLibrary, {"explicit_memset"}, 3}, &CStringChecker::evalMemset}, [all …]
|
H A D | ContainerModeling.cpp | 75 {{CDM::CXXMethod, {"clear"}, 0}, &ContainerModeling::handleClear}, 76 {{CDM::CXXMethod, {"assign"}, 2}, &ContainerModeling::handleAssign}, 77 {{CDM::CXXMethod, {"push_back"}, 1}, &ContainerModeling::handlePushBack}, 78 {{CDM::CXXMethod, {"emplace_back"}, 1}, 80 {{CDM::CXXMethod, {"pop_back"}, 0}, &ContainerModeling::handlePopBack}, 81 {{CDM::CXXMethod, {"push_front"}, 1}, 83 {{CDM::CXXMethod, {"emplace_front"}, 1}, 85 {{CDM::CXXMethod, {"pop_front"}, 0}, &ContainerModeling::handlePopFront}, 89 {{CDM::CXXMethod, {"insert"}, 2}, &ContainerModeling::handleInsert}, 90 {{CDM::CXXMethod, {"emplace"}, 2}, &ContainerModeling::handleInsert}, [all …]
|
H A D | DebugIteratorModeling.cpp | 46 {{CDM::SimpleFunc, {"clang_analyzer_iterator_position"}, 1}, 48 {{CDM::SimpleFunc, {"clang_analyzer_iterator_container"}, 1}, 50 {{CDM::SimpleFunc, {"clang_analyzer_iterator_validity"}, 1},
|
H A D | MallocChecker.cpp | 401 {{CDM::CLibrary, {"getline"}, 3}, &MallocChecker::preGetdelim}, 402 {{CDM::CLibrary, {"getdelim"}, 4}, &MallocChecker::preGetdelim}, 406 {{CDM::CLibrary, {"free"}, 1}, &MallocChecker::checkFree}, 407 {{CDM::CLibrary, {"if_freenameindex"}, 1}, 409 {{CDM::CLibrary, {"kfree"}, 1}, &MallocChecker::checkFree}, 410 {{CDM::CLibrary, {"g_free"}, 1}, &MallocChecker::checkFree}, 419 {{CDM::CLibrary, {"alloca"}, 1}, &MallocChecker::checkAlloca}, 420 {{CDM::CLibrary, {"_alloca"}, 1}, &MallocChecker::checkAlloca}, 424 {{CDM::CLibrary, {"__builtin_alloca_with_align"}, 2}, 426 {{CDM::CLibrary, {"malloc"}, 1}, &MallocChecker::checkBasicAlloc}, [all …]
|
H A D | MmapWriteExecChecker.cpp | 30 CallDescription MmapFn{CDM::CLibrary, {"mmap"}, 6}; 31 CallDescription MprotectFn{CDM::CLibrary, {"mprotect"}, 3};
|
H A D | MIGChecker.cpp | 51 {{CDM::SimpleFunc, {__VA_ARGS__}, required_args}, deallocated_arg} 83 {{CDM::CXXMethod, {__VA_ARGS__}, required_args}, deallocated_arg} 93 CallDescription OsRefRetain{CDM::SimpleFunc, {"os_ref_retain"}, 1};
|
H A D | StdVariantChecker.cpp | 132 CallDescription VariantConstructor{CDM::CXXMethod, 134 CallDescription VariantAssignmentOperator{CDM::CXXMethod, 136 CallDescription StdGet{CDM::SimpleFunc, {"std", "get"}, 1, 1};
|
H A D | ChrootChecker.cpp | 46 const CallDescription Chroot{CDM::CLibrary, {"chroot"}, 1}, 47 Chdir{CDM::CLibrary, {"chdir"}, 1};
|
H A D | DebugContainerModeling.cpp | 45 {{CDM::SimpleFunc, {"clang_analyzer_container_begin"}, 1}, 47 {{CDM::SimpleFunc, {"clang_analyzer_container_end"}, 1},
|
H A D | SmartPtrModeling.cpp | 89 {{CDM::CXXMethod, {"reset"}}, &SmartPtrModeling::handleReset}, 90 {{CDM::CXXMethod, {"release"}}, &SmartPtrModeling::handleRelease}, 91 {{CDM::CXXMethod, {"swap"}, 1}, &SmartPtrModeling::handleSwapMethod}, 92 {{CDM::CXXMethod, {"get"}}, &SmartPtrModeling::handleGet}}; 93 const CallDescription StdSwapCall{CDM::SimpleFunc, {"std", "swap"}, 2}; 95 {CDM::SimpleFunc, {"std", "make_unique"}}, 96 {CDM::SimpleFunc, {"std", "make_unique_for_overwrite"}}};
|
H A D | SimpleStreamChecker.cpp | 55 const CallDescription OpenFn{CDM::CLibrary, {"fopen"}, 2}; 56 const CallDescription CloseFn{CDM::CLibrary, {"fclose"}, 1};
|
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/cert/ |
H A D | InvalidPtrChecker.cpp | 51 const CallDescription GetEnvCall{CDM::CLibrary, {"getenv"}, 1}; 54 {{CDM::CLibrary, {"setenv"}, 3}, 56 {{CDM::CLibrary, {"unsetenv"}, 1}, 58 {{CDM::CLibrary, {"putenv"}, 1}, 60 {{CDM::CLibrary, {"_putenv_s"}, 2}, 62 {{CDM::CLibrary, {"_wputenv_s"}, 2}, 71 {{CDM::CLibrary, {"setlocale"}, 2}, 73 {{CDM::CLibrary, {"strerror"}, 1}, 75 {{CDM::CLibrary, {"localeconv"}, 0}, 77 {{CDM::CLibrary, {"asctime"}, 1},
|