aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer
AgeCommit message (Expand)AuthorFilesLines
2024-09-19[clang] Don't call raw_string_ostream::flush() (NFC)Youngsuk Kim1-1/+0
2024-09-19[clang] Tidy uses of raw_string_ostream (NFC)Youngsuk Kim5-15/+10
2024-09-19[analyzer] Explicitly register NoStoreFuncVisitor from alpha.unix.cst… (#10...Kristóf Umann3-93/+26
2024-09-18[analyzer] Note last "fclose" call from "ensureStreamOpened" (#109112)Balazs Benics1-5/+45
2024-09-17[webkit.RefCntblBaseVirtualDtor] ThreadSafeRefCounted still generates warning...Ryosuke Niwa1-7/+14
2024-09-17[alpha.webkit.UncountedCallArgsChecker] Add support for Objective-C++ propert...Ryosuke Niwa3-6/+18
2024-09-16[analyzer] [MallocChecker] suspect all release functions as candidate for sup...Pavel Skripkin1-36/+62
2024-09-16[clang][NFC] declare internal linkage function static (#108759)Congcong Cai9-18/+21
2024-09-16[analyzer] Refactor MallocChecker to use `BindExpr` in `evalCall` (#106081)Pavel Skripkin5-150/+252
2024-09-14Reapply "Reapply "[clang] Extend diagnose_if to accept more detailed warning ...Nikolas Klauser1-1/+0
2024-09-13Revert "Reapply "[clang] Extend diagnose_if to accept more detailed warning i...Florian Mayer1-0/+1
2024-09-13Reapply "[clang] Extend diagnose_if to accept more detailed warning informati...Nikolas Klauser1-1/+0
2024-09-12Revert "[clang] Extend diagnose_if to accept more detailed warning informatio...Kazu Hirata1-0/+1
2024-09-12[clang] Extend diagnose_if to accept more detailed warning information (#70976)Nikolas Klauser1-1/+0
2024-09-12[analyzer] Fix StreamChecker crash in fread modeling (#108393)Balazs Benics1-1/+1
2024-09-11[alpha.webkit.UncountedCallArgsChecker] Allow protector functions in Objectiv...Ryosuke Niwa3-2/+16
2024-09-11[WebKit Checkers] Allow "singleton" suffix to be camelCased. (#108257)Ryosuke Niwa1-5/+3
2024-09-11[WebKit Static Analyzer] Treat WTFReportBacktrace as a trivial function. (#10...Ryosuke Niwa1-0/+1
2024-09-10[webkit.RefCntblBaseVirtualDtor] Make ThreadSafeRefCounted not generate warni...Ryosuke Niwa1-0/+26
2024-09-09[analyzer] fix crash on binding to symbolic region with `void *` type (#107572)Pavel Skripkin1-2/+6
2024-09-09[clang][analyzer] Fix #embed crash (#107764)Nicolas van Kempen1-4/+1
2024-09-09[analyzer] Remove overzealous "No dispatcher registered" assertion (#107294)vabridgers2-11/+0
2024-09-06[analyzer] Model constructor initializer for an array member (#107537)Arseniy Zaostrovnykh1-2/+7
2024-09-03[analyzer] Fix false positive for stack-addr leak on simple param ptr (#107003)Arseniy Zaostrovnykh1-0/+2
2024-08-31[HLSL] Implement output parameter (#101083)Chris B1-1/+2
2024-08-29[analyzer] Fix nullptr dereference for symbols from pointer invalidation (#10...Arseniy Zaostrovnykh1-1/+4
2024-08-29Revert "Revert "[Support] Validate number of arguments passed to formatv()"" ...Rahul Joshi1-1/+4
2024-08-29Revert "[Support] Validate number of arguments passed to formatv()" (#106589)Mehdi Amini1-4/+1
2024-08-29[Support] Validate number of arguments passed to formatv() (#105745)Rahul Joshi1-1/+4
2024-08-28[NFC] Fix formatv() usage in preparation of validation (#106454)Rahul Joshi1-1/+1
2024-08-28[analyzer] Fix false positive for mutexes inheriting mutex_base (#106240)Arseniy Zaostrovnykh3-13/+25
2024-08-28[analyzer] Detect leaks of stack addresses via output params, indirect global...Arseniy Zaostrovnykh4-11/+91
2024-08-27[analyzer][NFC] Remove a non-actionable dump (#106232)Arseniy Zaostrovnykh1-1/+0
2024-08-27[analyzer] Report violations of the "returns_nonnull" attribute (#106048)Arseniy Zaostrovnykh1-1/+9
2024-08-26[analyzer] Detect leak of a stack address through output arguments 2/3 (#105653)Arseniy Zaostrovnykh1-16/+48
2024-08-26[analyzer][NFC] Add tests for and refactor StackAddrEscapeChecker 1/3 (#105652)Arseniy Zaostrovnykh1-33/+38
2024-08-21[analyzer] Limit `isTainted()` by skipping complicated symbols (#105493)Balazs Benics1-0/+7
2024-08-18[llvm][clang] Move RewriterBuffer to ADT. (#99770)Jacques Pienaar1-0/+2
2024-08-15[NFC] Fix spelling of "definitely". (#104455)sp1-1/+1
2024-08-15[analyzer] Do not reason about locations passed as inline asm input (#103714)Pavel Skripkin1-0/+8
2024-08-14[analyzer] Delete `alpha.security.MallocOverflow` (#103059)Donát Nagy2-342/+0
2024-08-12[clang][analyzer] Remove array bounds check from PointerSubChecker (#102580)Balázs Kéri1-89/+4
2024-08-12[analyzer][NFC] Trivial refactoring of region invalidation (#102456)Donát Nagy1-24/+9
2024-08-05More -Wswitch warning fixes for a42e515e3a9f3bb4e44389c097b89104d95b9b29Haojian Wu1-0/+1
2024-08-05[analyzer][NFC] Eliminate a dyn_cast (#100719)Kristóf Umann3-12/+20
2024-08-02[analyzer] Fix crash on using `bitcast(<type>, <array>)` as array subscript (...Pavel Skripkin1-1/+11
2024-08-02[analyzer] Restore recognition of mutex methods (#101511)Donát Nagy1-4/+12
2024-08-01[clang][analyzer] Improve PointerSubChecker (#96501)Balázs Kéri1-9/+36
2024-07-29[analyzer] Fix crash of StreamChecker when eval calling 'fopen' (#100990)Balazs Benics1-18/+10
2024-07-26[clang][analyzer] MmapWriteExecChecker improvements (#97078)Balázs Kéri1-29/+29