| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | GenericTaintChecker.cpp | 506 Rules.emplace_back(CallDescription(CDM::Unspecified, NameParts), in consumeRulesFromConfig() 575 {{CDM::CLibrary, {"fdopen"}}, TR::Source({{ReturnValueIndex}})}, in initTaintRules() 576 {{CDM::CLibrary, {"fopen"}}, TR::Source({{ReturnValueIndex}})}, in initTaintRules() 577 {{CDM::CLibrary, {"freopen"}}, TR::Source({{ReturnValueIndex}})}, in initTaintRules() 578 {{CDM::CLibrary, {"getch"}}, TR::Source({{ReturnValueIndex}})}, in initTaintRules() 579 {{CDM::CLibrary, {"getchar"}}, TR::Source({{ReturnValueIndex}})}, in initTaintRules() 580 {{CDM::CLibrary, {"getchar_unlocked"}}, TR::Source({{ReturnValueIndex}})}, in initTaintRules() 581 {{CDM::CLibrary, {"gets"}}, TR::Source({{0, ReturnValueIndex}})}, in initTaintRules() 582 {{CDM::CLibrary, {"gets_s"}}, TR::Source({{0, ReturnValueIndex}})}, in initTaintRules() 583 {{CDM::CLibrary, {"scanf"}}, TR::Source({{}, 1})}, in initTaintRules() [all …]
|
| H A D | ReturnValueChecker.cpp | 40 {CDM::CXXMethod, {"ARMAsmParser", "Error"}}, 41 {CDM::CXXMethod, {"HexagonAsmParser", "Error"}}, 42 {CDM::CXXMethod, {"LLLexer", "Error"}}, 43 {CDM::CXXMethod, {"LLParser", "Error"}}, 44 {CDM::CXXMethod, {"MCAsmParser", "Error"}}, 45 {CDM::CXXMethod, {"MCAsmParserExtension", "Error"}}, 46 {CDM::CXXMethod, {"TGParser", "Error"}}, 47 {CDM::CXXMethod, {"X86AsmParser", "Error"}}, 49 {CDM::CXXMethod, {"LLParser", "TokError"}}, 50 {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 | 37 CallDescription(CDM::CXXMethod, {"std", "basic_string", "append"}), 38 CallDescription(CDM::CXXMethod, {"std", "basic_string", "assign"}), 39 CallDescription(CDM::CXXMethod, {"std", "basic_string", "clear"}), 40 CallDescription(CDM::CXXMethod, {"std", "basic_string", "erase"}), 41 CallDescription(CDM::CXXMethod, {"std", "basic_string", "insert"}), 42 CallDescription(CDM::CXXMethod, {"std", "basic_string", "pop_back"}), 43 CallDescription(CDM::CXXMethod, {"std", "basic_string", "push_back"}), 44 CallDescription(CDM::CXXMethod, {"std", "basic_string", "replace"}), 45 CallDescription(CDM::CXXMethod, {"std", "basic_string", "reserve"}), 46 CallDescription(CDM::CXXMethod, {"std", "basic_string", "resize"}), [all …]
|
| H A D | BlockInCriticalSectionChecker.cpp | 150 const CallDescription OpenFunction{CDM::CLibrary, {"open"}, 2}; 210 {/*MatchAs=*/CDM::CXXMethod, 213 {CDM::CXXMethod, {"std", /*"mutex",*/ "unlock"}, 0}), 214 FirstArgMutexDescriptor({CDM::CLibrary, {"pthread_mutex_lock"}, 1}, 215 {CDM::CLibrary, {"pthread_mutex_unlock"}, 1}), 216 FirstArgMutexDescriptor({CDM::CLibrary, {"mtx_lock"}, 1}, 217 {CDM::CLibrary, {"mtx_unlock"}, 1}), 218 FirstArgMutexDescriptor({CDM::CLibrary, {"pthread_mutex_trylock"}, 1}, 219 {CDM::CLibrary, {"pthread_mutex_unlock"}, 1}), 220 FirstArgMutexDescriptor({CDM::CLibrary, {"mtx_trylock"}, 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 | 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 | 344 const CallDescription FCloseDesc = {CDM::CLibrary, {"fclose"}, 1}; 348 {{CDM::CLibrary, {"fopen"}, 2}, 350 {{CDM::CLibrary, {"fdopen"}, 2}, 352 {{CDM::CLibrary, {"freopen"}, 3}, 354 {{CDM::CLibrary, {"tmpfile"}, 0}, 357 {{CDM::CLibrary, {"fread"}, 4}, 360 {{CDM::CLibrary, {"fwrite"}, 4}, 363 {{CDM::CLibrary, {"fgetc"}, 1}, 366 {{CDM::CLibrary, {"fgets"}, 3}, 369 {{CDM::CLibrary, {"getc"}, 1}, [all …]
|
| H A D | BuiltinFunctionChecker.cpp | 114 {CDM::SimpleFunc, {"std", "addressof"}}, // 115 {CDM::SimpleFunc, {"std", "__addressof"}}, // 116 {CDM::SimpleFunc, {"std", "as_const"}}, // 117 {CDM::SimpleFunc, {"std", "forward"}}, // 118 {CDM::SimpleFunc, {"std", "forward_like"}}, // 119 {CDM::SimpleFunc, {"std", "move"}}, // 120 {CDM::SimpleFunc, {"std", "move_if_noexcept"}}, //
|
| H A D | ErrnoModeling.cpp | 44 {CDM::CLibrary, {"__errno_location"}, 0, 0}, 45 {CDM::CLibrary, {"___errno"}, 0, 0}, 46 {CDM::CLibrary, {"__errno"}, 0, 0}, 47 {CDM::CLibrary, {"_errno"}, 0, 0}, 48 {CDM::CLibrary, {"__error"}, 0, 0}};
|
| H A D | CStringChecker.cpp | 130 {{CDM::CLibraryMaybeHardened, {"memcpy"}, 3}, 132 {{CDM::CLibraryMaybeHardened, {"wmemcpy"}, 3}, 134 {{CDM::CLibraryMaybeHardened, {"mempcpy"}, 3}, 136 {{CDM::CLibraryMaybeHardened, {"wmempcpy"}, 3}, 138 {{CDM::CLibrary, {"memcmp"}, 3}, 140 {{CDM::CLibrary, {"wmemcmp"}, 3}, 142 {{CDM::CLibraryMaybeHardened, {"memmove"}, 3}, 144 {{CDM::CLibraryMaybeHardened, {"wmemmove"}, 3}, 146 {{CDM::CLibraryMaybeHardened, {"memset"}, 3}, 148 {{CDM::CLibrary, {"explicit_memset"}, 3}, &CStringChecker::evalMemset}, [all …]
|
| H A D | ContainerModeling.cpp | 74 {{CDM::CXXMethod, {"clear"}, 0}, &ContainerModeling::handleClear}, 75 {{CDM::CXXMethod, {"assign"}, 2}, &ContainerModeling::handleAssign}, 76 {{CDM::CXXMethod, {"push_back"}, 1}, &ContainerModeling::handlePushBack}, 77 {{CDM::CXXMethod, {"emplace_back"}, 1}, 79 {{CDM::CXXMethod, {"pop_back"}, 0}, &ContainerModeling::handlePopBack}, 80 {{CDM::CXXMethod, {"push_front"}, 1}, 82 {{CDM::CXXMethod, {"emplace_front"}, 1}, 84 {{CDM::CXXMethod, {"pop_front"}, 0}, &ContainerModeling::handlePopFront}, 88 {{CDM::CXXMethod, {"insert"}, 2}, &ContainerModeling::handleInsert}, 89 {{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 | 482 {{CDM::CLibrary, {"getline"}, 3}, &MallocChecker::preGetDelimOrGetLine}, 483 {{CDM::CLibrary, {"getdelim"}, 4}, &MallocChecker::preGetDelimOrGetLine}, 489 {{CDM::CLibrary, {"getline"}, 3}, &MallocChecker::checkGetDelimOrGetLine}, 490 {{CDM::CLibrary, {"getdelim"}, 4}, 495 {{CDM::CLibrary, {"free"}, 1}, &MallocChecker::checkFree}, 496 {{CDM::CLibrary, {"if_freenameindex"}, 1}, 498 {{CDM::CLibrary, {"kfree"}, 1}, &MallocChecker::checkFree}, 499 {{CDM::CLibrary, {"g_free"}, 1}, &MallocChecker::checkFree}, 511 {{CDM::CLibrary, {"alloca"}, 1}, &MallocChecker::checkAlloca}, 512 {{CDM::CLibrary, {"_alloca"}, 1}, &MallocChecker::checkAlloca}, [all …]
|
| H A D | MmapWriteExecChecker.cpp | 31 CallDescription MmapFn{CDM::CLibrary, {"mmap"}, 6}; 32 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 | 130 CallDescription VariantConstructor{CDM::CXXMethod, 132 CallDescription VariantAssignmentOperator{CDM::CXXMethod, 134 CallDescription StdGet{CDM::SimpleFunc, {"std", "get"}, 1, 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 | ChrootChecker.cpp | 61 const CallDescription Chroot{CDM::CLibrary, {"chroot"}, 1}; 62 const CallDescription Chdir{CDM::CLibrary, {"chdir"}, 1};
|
| H A D | SmartPtrModeling.cpp | 86 {{CDM::CXXMethod, {"reset"}}, &SmartPtrModeling::handleReset}, 87 {{CDM::CXXMethod, {"release"}}, &SmartPtrModeling::handleRelease}, 88 {{CDM::CXXMethod, {"swap"}, 1}, &SmartPtrModeling::handleSwapMethod}, 89 {{CDM::CXXMethod, {"get"}}, &SmartPtrModeling::handleGet}}; 90 const CallDescription StdSwapCall{CDM::SimpleFunc, {"std", "swap"}, 2}; 92 {CDM::SimpleFunc, {"std", "make_unique"}}, 93 {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},
|