[analyzer][NFC] Add partial specializations for ProgramStateTraitsI'm also hoisting common code from the existing specializations into acommon trait impl to reduce code duplication.Reviewed By:
[analyzer][NFC] Add partial specializations for ProgramStateTraitsI'm also hoisting common code from the existing specializations into acommon trait impl to reduce code duplication.Reviewed By: martongDifferential Revision: https://reviews.llvm.org/D126801
show more ...
Fix "the the" typo in documentation and user facing stringsThere are many more instances of this pattern, but I chose to limit this change to .rst files (docs), anything in libcxx/include, and stri
Fix "the the" typo in documentation and user facing stringsThere are many more instances of this pattern, but I chose to limit this change to .rst files (docs), anything in libcxx/include, and string literals. These have the highest chance of being seen by end users.Reviewed By: #libc, Mordante, martong, ldionneDifferential Revision: https://reviews.llvm.org/D124708
[analyzer][NFC] Switch to using CallDescription::matches() instead of isCalled()This patch replaces each use of the previous API with the new one.In variadic cases, it will use the ADL `matchesAny
[analyzer][NFC] Switch to using CallDescription::matches() instead of isCalled()This patch replaces each use of the previous API with the new one.In variadic cases, it will use the ADL `matchesAny(Call, CDs...)`variadic function.Also simplifies some code involving such operations.Reviewed By: martong, xazax.hunDifferential Revision: https://reviews.llvm.org/D113591
[analyzer][NFC] Separate CallDescription from CallEvent`CallDescriptions` deserve its own translation unit.This patch simply moves the corresponding parts.Also includes the `CallDescription.h` wh
[analyzer][NFC] Separate CallDescription from CallEvent`CallDescriptions` deserve its own translation unit.This patch simply moves the corresponding parts.Also includes the `CallDescription.h` where it's necessary.Reviewed By: martong, xazax.hun, SzelethusDifferential Revision: https://reviews.llvm.org/D113587
InvalidPtrChecker - don't dereference a dyn_cast<> - use cast<> instead.Avoid dereferencing a nullptr returned by dyn_cast<>, by using cast<> instead which asserts that the cast is valid.
[analyzer] Add InvalidPtrCheckerThis patch introduces a new checker: `alpha.security.cert.env.InvalidPtr`Checker finds usage of invalidated pointers related to environment.Based on the followin
[analyzer] Add InvalidPtrCheckerThis patch introduces a new checker: `alpha.security.cert.env.InvalidPtr`Checker finds usage of invalidated pointers related to environment.Based on the following SEI CERT Rules:ENV34-C: https://wiki.sei.cmu.edu/confluence/x/8tYxBQENV31-C: https://wiki.sei.cmu.edu/confluence/x/5NUxBQReviewed By: martongDifferential Revision: https://reviews.llvm.org/D97699
[analyzer][NFC] Change LangOptions to CheckerManager in the shouldRegister* functionsSome checkers may not only depend on language options but also analyzer options.To make this possible this patc
[analyzer][NFC] Change LangOptions to CheckerManager in the shouldRegister* functionsSome checkers may not only depend on language options but also analyzer options.To make this possible this patch changes the parameter of the shouldRegister*function to CheckerManager to be able to query the analyzer options whendeciding whether the checker should be registered.Differential Revision: https://reviews.llvm.org/D75271
Give helpers internal linkage. NFC.
[clang][analyzer] Modify include AllocationState.h in PutenvWithAutoChecker.cppSummary:PutenvWithAutoChecker.cpp used to include "AllocationState.h" that is present in project root.This makes bui
[clang][analyzer] Modify include AllocationState.h in PutenvWithAutoChecker.cppSummary:PutenvWithAutoChecker.cpp used to include "AllocationState.h" that is present in project root.This makes build systems like blaze unhappy. Made it include the header relative to source file.Reviewers: kadircetSubscribers: xazax.hun, baloghadamsoftware, szepet, a.sidorin, mikhail.ramalho, Szelethus, donat.nagy, dkrupp, Charusso, martong, cfe-commitsTags: #clangDifferential Revision: https://reviews.llvm.org/D74906
[analyzer] CERT: POS34-CSummary:This patch introduces a new checker:`alpha.security.cert.pos.34c`This checker is implemented based on the following rule:https://wiki.sei.cmu.edu/confluence/x/6
[analyzer] CERT: POS34-CSummary:This patch introduces a new checker:`alpha.security.cert.pos.34c`This checker is implemented based on the following rule:https://wiki.sei.cmu.edu/confluence/x/6NYxBQThe check warns if `putenv` function iscalled with automatic storage variable as an argument.Differential Revision: https://reviews.llvm.org/D71433