| //===--- CERTTidyModule.cpp - clang-tidy ----------------------------------===// |
| // |
| // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| // See https://llvm.org/LICENSE.txt for license information. |
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| // |
| //===----------------------------------------------------------------------===// |
| |
| #include "../ClangTidy.h" |
| #include "../ClangTidyModule.h" |
| #include "../ClangTidyModuleRegistry.h" |
| #include "../bugprone/BadSignalToKillThreadCheck.h" |
| #include "../bugprone/PointerArithmeticOnPolymorphicObjectCheck.h" |
| #include "../bugprone/ReservedIdentifierCheck.h" |
| #include "../bugprone/SignalHandlerCheck.h" |
| #include "../bugprone/SignedCharMisuseCheck.h" |
| #include "../bugprone/SizeofExpressionCheck.h" |
| #include "../bugprone/SpuriouslyWakeUpFunctionsCheck.h" |
| #include "../bugprone/SuspiciousMemoryComparisonCheck.h" |
| #include "../bugprone/UnhandledSelfAssignmentCheck.h" |
| #include "../bugprone/UnsafeFunctionsCheck.h" |
| #include "../bugprone/UnusedReturnValueCheck.h" |
| #include "../concurrency/ThreadCanceltypeAsynchronousCheck.h" |
| #include "../google/UnnamedNamespaceInHeaderCheck.h" |
| #include "../misc/NewDeleteOverloadsCheck.h" |
| #include "../misc/NonCopyableObjects.h" |
| #include "../misc/StaticAssertCheck.h" |
| #include "../misc/ThrowByValueCatchByReferenceCheck.h" |
| #include "../performance/MoveConstructorInitCheck.h" |
| #include "../readability/EnumInitialValueCheck.h" |
| #include "../readability/UppercaseLiteralSuffixCheck.h" |
| #include "CommandProcessorCheck.h" |
| #include "DefaultOperatorNewAlignmentCheck.h" |
| #include "DontModifyStdNamespaceCheck.h" |
| #include "FloatLoopCounter.h" |
| #include "LimitedRandomnessCheck.h" |
| #include "MutatingCopyCheck.h" |
| #include "NonTrivialTypesLibcMemoryCallsCheck.h" |
| #include "ProperlySeededRandomGeneratorCheck.h" |
| #include "SetLongJmpCheck.h" |
| #include "StaticObjectExceptionCheck.h" |
| #include "StrToNumCheck.h" |
| #include "ThrownExceptionTypeCheck.h" |
| #include "VariadicFunctionDefCheck.h" |
| |
| namespace { |
| |
| // Checked functions for cert-err33-c. |
| // The following functions are deliberately excluded because they can be called |
| // with NULL argument and in this case the check is not applicable: |
| // `mblen, mbrlen, mbrtowc, mbtowc, wctomb, wctomb_s`. |
| // FIXME: The check can be improved to handle such cases. |
| const llvm::StringRef CertErr33CCheckedFunctions = "^::aligned_alloc;" |
| "^::asctime_s;" |
| "^::at_quick_exit;" |
| "^::atexit;" |
| "^::bsearch;" |
| "^::bsearch_s;" |
| "^::btowc;" |
| "^::c16rtomb;" |
| "^::c32rtomb;" |
| "^::calloc;" |
| "^::clock;" |
| "^::cnd_broadcast;" |
| "^::cnd_init;" |
| "^::cnd_signal;" |
| "^::cnd_timedwait;" |
| "^::cnd_wait;" |
| "^::ctime_s;" |
| "^::fclose;" |
| "^::fflush;" |
| "^::fgetc;" |
| "^::fgetpos;" |
| "^::fgets;" |
| "^::fgetwc;" |
| "^::fopen;" |
| "^::fopen_s;" |
| "^::fprintf;" |
| "^::fprintf_s;" |
| "^::fputc;" |
| "^::fputs;" |
| "^::fputwc;" |
| "^::fputws;" |
| "^::fread;" |
| "^::freopen;" |
| "^::freopen_s;" |
| "^::fscanf;" |
| "^::fscanf_s;" |
| "^::fseek;" |
| "^::fsetpos;" |
| "^::ftell;" |
| "^::fwprintf;" |
| "^::fwprintf_s;" |
| "^::fwrite;" |
| "^::fwscanf;" |
| "^::fwscanf_s;" |
| "^::getc;" |
| "^::getchar;" |
| "^::getenv;" |
| "^::getenv_s;" |
| "^::gets_s;" |
| "^::getwc;" |
| "^::getwchar;" |
| "^::gmtime;" |
| "^::gmtime_s;" |
| "^::localtime;" |
| "^::localtime_s;" |
| "^::malloc;" |
| "^::mbrtoc16;" |
| "^::mbrtoc32;" |
| "^::mbsrtowcs;" |
| "^::mbsrtowcs_s;" |
| "^::mbstowcs;" |
| "^::mbstowcs_s;" |
| "^::memchr;" |
| "^::mktime;" |
| "^::mtx_init;" |
| "^::mtx_lock;" |
| "^::mtx_timedlock;" |
| "^::mtx_trylock;" |
| "^::mtx_unlock;" |
| "^::printf_s;" |
| "^::putc;" |
| "^::putwc;" |
| "^::raise;" |
| "^::realloc;" |
| "^::remove;" |
| "^::rename;" |
| "^::scanf;" |
| "^::scanf_s;" |
| "^::setlocale;" |
| "^::setvbuf;" |
| "^::signal;" |
| "^::snprintf;" |
| "^::snprintf_s;" |
| "^::sprintf;" |
| "^::sprintf_s;" |
| "^::sscanf;" |
| "^::sscanf_s;" |
| "^::strchr;" |
| "^::strerror_s;" |
| "^::strftime;" |
| "^::strpbrk;" |
| "^::strrchr;" |
| "^::strstr;" |
| "^::strtod;" |
| "^::strtof;" |
| "^::strtoimax;" |
| "^::strtok;" |
| "^::strtok_s;" |
| "^::strtol;" |
| "^::strtold;" |
| "^::strtoll;" |
| "^::strtoul;" |
| "^::strtoull;" |
| "^::strtoumax;" |
| "^::strxfrm;" |
| "^::swprintf;" |
| "^::swprintf_s;" |
| "^::swscanf;" |
| "^::swscanf_s;" |
| "^::thrd_create;" |
| "^::thrd_detach;" |
| "^::thrd_join;" |
| "^::thrd_sleep;" |
| "^::time;" |
| "^::timespec_get;" |
| "^::tmpfile;" |
| "^::tmpfile_s;" |
| "^::tmpnam;" |
| "^::tmpnam_s;" |
| "^::tss_create;" |
| "^::tss_get;" |
| "^::tss_set;" |
| "^::ungetc;" |
| "^::ungetwc;" |
| "^::vfprintf;" |
| "^::vfprintf_s;" |
| "^::vfscanf;" |
| "^::vfscanf_s;" |
| "^::vfwprintf;" |
| "^::vfwprintf_s;" |
| "^::vfwscanf;" |
| "^::vfwscanf_s;" |
| "^::vprintf_s;" |
| "^::vscanf;" |
| "^::vscanf_s;" |
| "^::vsnprintf;" |
| "^::vsnprintf_s;" |
| "^::vsprintf;" |
| "^::vsprintf_s;" |
| "^::vsscanf;" |
| "^::vsscanf_s;" |
| "^::vswprintf;" |
| "^::vswprintf_s;" |
| "^::vswscanf;" |
| "^::vswscanf_s;" |
| "^::vwprintf_s;" |
| "^::vwscanf;" |
| "^::vwscanf_s;" |
| "^::wcrtomb;" |
| "^::wcschr;" |
| "^::wcsftime;" |
| "^::wcspbrk;" |
| "^::wcsrchr;" |
| "^::wcsrtombs;" |
| "^::wcsrtombs_s;" |
| "^::wcsstr;" |
| "^::wcstod;" |
| "^::wcstof;" |
| "^::wcstoimax;" |
| "^::wcstok;" |
| "^::wcstok_s;" |
| "^::wcstol;" |
| "^::wcstold;" |
| "^::wcstoll;" |
| "^::wcstombs;" |
| "^::wcstombs_s;" |
| "^::wcstoul;" |
| "^::wcstoull;" |
| "^::wcstoumax;" |
| "^::wcsxfrm;" |
| "^::wctob;" |
| "^::wctrans;" |
| "^::wctype;" |
| "^::wmemchr;" |
| "^::wprintf_s;" |
| "^::wscanf;" |
| "^::wscanf_s;"; |
| |
| } // namespace |
| |
| namespace clang::tidy { |
| namespace cert { |
| |
| class CERTModule : public ClangTidyModule { |
| public: |
| void addCheckFactories(ClangTidyCheckFactories &CheckFactories) override { |
| // C++ checkers |
| // CON |
| CheckFactories.registerCheck<bugprone::SpuriouslyWakeUpFunctionsCheck>( |
| "cert-con54-cpp"); |
| // CTR |
| CheckFactories |
| .registerCheck<bugprone::PointerArithmeticOnPolymorphicObjectCheck>( |
| "cert-ctr56-cpp"); |
| // DCL |
| CheckFactories.registerCheck<VariadicFunctionDefCheck>("cert-dcl50-cpp"); |
| CheckFactories.registerCheck<bugprone::ReservedIdentifierCheck>( |
| "cert-dcl51-cpp"); |
| CheckFactories.registerCheck<misc::NewDeleteOverloadsCheck>( |
| "cert-dcl54-cpp"); |
| CheckFactories.registerCheck<DontModifyStdNamespaceCheck>( |
| "cert-dcl58-cpp"); |
| CheckFactories.registerCheck<google::build::UnnamedNamespaceInHeaderCheck>( |
| "cert-dcl59-cpp"); |
| // ERR |
| CheckFactories.registerCheck<misc::ThrowByValueCatchByReferenceCheck>( |
| "cert-err09-cpp"); |
| CheckFactories.registerCheck<SetLongJmpCheck>("cert-err52-cpp"); |
| CheckFactories.registerCheck<StaticObjectExceptionCheck>("cert-err58-cpp"); |
| CheckFactories.registerCheck<ThrownExceptionTypeCheck>("cert-err60-cpp"); |
| CheckFactories.registerCheck<misc::ThrowByValueCatchByReferenceCheck>( |
| "cert-err61-cpp"); |
| // MEM |
| CheckFactories.registerCheck<DefaultOperatorNewAlignmentCheck>( |
| "cert-mem57-cpp"); |
| // MSC |
| CheckFactories.registerCheck<LimitedRandomnessCheck>("cert-msc50-cpp"); |
| CheckFactories.registerCheck<ProperlySeededRandomGeneratorCheck>( |
| "cert-msc51-cpp"); |
| CheckFactories.registerCheck<bugprone::SignalHandlerCheck>( |
| "cert-msc54-cpp"); |
| // OOP |
| CheckFactories.registerCheck<performance::MoveConstructorInitCheck>( |
| "cert-oop11-cpp"); |
| CheckFactories.registerCheck<bugprone::UnhandledSelfAssignmentCheck>( |
| "cert-oop54-cpp"); |
| CheckFactories.registerCheck<NonTrivialTypesLibcMemoryCallsCheck>( |
| "cert-oop57-cpp"); |
| CheckFactories.registerCheck<MutatingCopyCheck>( |
| "cert-oop58-cpp"); |
| |
| // C checkers |
| // ARR |
| CheckFactories.registerCheck<bugprone::SizeofExpressionCheck>( |
| "cert-arr39-c"); |
| // CON |
| CheckFactories.registerCheck<bugprone::SpuriouslyWakeUpFunctionsCheck>( |
| "cert-con36-c"); |
| // DCL |
| CheckFactories.registerCheck<misc::StaticAssertCheck>("cert-dcl03-c"); |
| CheckFactories.registerCheck<readability::UppercaseLiteralSuffixCheck>( |
| "cert-dcl16-c"); |
| CheckFactories.registerCheck<bugprone::ReservedIdentifierCheck>( |
| "cert-dcl37-c"); |
| // ENV |
| CheckFactories.registerCheck<CommandProcessorCheck>("cert-env33-c"); |
| // ERR |
| CheckFactories.registerCheck<bugprone::UnusedReturnValueCheck>( |
| "cert-err33-c"); |
| CheckFactories.registerCheck<StrToNumCheck>("cert-err34-c"); |
| // EXP |
| CheckFactories.registerCheck<bugprone::SuspiciousMemoryComparisonCheck>( |
| "cert-exp42-c"); |
| // FLP |
| CheckFactories.registerCheck<FloatLoopCounter>("cert-flp30-c"); |
| CheckFactories.registerCheck<bugprone::SuspiciousMemoryComparisonCheck>( |
| "cert-flp37-c"); |
| // FIO |
| CheckFactories.registerCheck<misc::NonCopyableObjectsCheck>("cert-fio38-c"); |
| // INT |
| CheckFactories.registerCheck<readability::EnumInitialValueCheck>( |
| "cert-int09-c"); |
| // MSC |
| CheckFactories.registerCheck<bugprone::UnsafeFunctionsCheck>( |
| "cert-msc24-c"); |
| CheckFactories.registerCheck<LimitedRandomnessCheck>("cert-msc30-c"); |
| CheckFactories.registerCheck<ProperlySeededRandomGeneratorCheck>( |
| "cert-msc32-c"); |
| CheckFactories.registerCheck<bugprone::UnsafeFunctionsCheck>( |
| "cert-msc33-c"); |
| // POS |
| CheckFactories.registerCheck<bugprone::BadSignalToKillThreadCheck>( |
| "cert-pos44-c"); |
| CheckFactories |
| .registerCheck<concurrency::ThreadCanceltypeAsynchronousCheck>( |
| "cert-pos47-c"); |
| // SIG |
| CheckFactories.registerCheck<bugprone::SignalHandlerCheck>("cert-sig30-c"); |
| // STR |
| CheckFactories.registerCheck<bugprone::SignedCharMisuseCheck>( |
| "cert-str34-c"); |
| } |
| |
| ClangTidyOptions getModuleOptions() override { |
| ClangTidyOptions Options; |
| ClangTidyOptions::OptionMap &Opts = Options.CheckOptions; |
| Opts["cert-arr39-c.WarnOnSizeOfConstant"] = "false"; |
| Opts["cert-arr39-c.WarnOnSizeOfIntegerExpression"] = "false"; |
| Opts["cert-arr39-c.WarnOnSizeOfThis"] = "false"; |
| Opts["cert-arr39-c.WarnOnSizeOfCompareToConstant"] = "false"; |
| Opts["cert-arr39-c.WarnOnSizeOfPointer"] = "false"; |
| Opts["cert-arr39-c.WarnOnSizeOfPointerToAggregate"] = "false"; |
| Opts["cert-dcl16-c.NewSuffixes"] = "L;LL;LU;LLU"; |
| Opts["cert-err33-c.CheckedFunctions"] = CertErr33CCheckedFunctions; |
| Opts["cert-err33-c.AllowCastToVoid"] = "true"; |
| Opts["cert-oop54-cpp.WarnOnlyIfThisHasSuspiciousField"] = "false"; |
| Opts["cert-str34-c.DiagnoseSignedUnsignedCharComparisons"] = "false"; |
| return Options; |
| } |
| }; |
| |
| } // namespace cert |
| |
| // Register the MiscTidyModule using this statically initialized variable. |
| static ClangTidyModuleRegistry::Add<cert::CERTModule> |
| X("cert-module", |
| "Adds lint checks corresponding to CERT secure coding guidelines."); |
| |
| // This anchor is used to force the linker to link in the generated object file |
| // and thus register the CERTModule. |
| volatile int CERTModuleAnchorSource = 0; |
| |
| } // namespace clang::tidy |
