aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/Analysis/FlowSensitive
AgeCommit message (Expand)AuthorFilesLines
11 daysReland [clang][dataflow] Transfer more cast expressions. (#157535)Samira Bakon2-19/+94
11 days[clang-tidy] `bugprone-unchecked-optional-access`: handle `BloombergLP::bdlb:...Valentyn Yukhymenko1-0/+14
2025-09-05Revert "[clang][dataflow] Transfer more cast expressions." (#157148)Samira Bakon1-59/+12
2025-08-27[clang] NFC: reintroduce clang/include/clang/AST/Type.h (#155050)Matheus Izvekov5-5/+5
2025-08-27[clang] NFC: rename clang/include/clang/AST/Type.h to TypeBase.h (#155049)Matheus Izvekov5-5/+5
2025-08-20[clang][dataflow] Fix uninitialized memory bug. (#154575)Yitzhak Mandelbaum1-3/+3
2025-08-20[clang][dataflow] Transfer more cast expressions. (#153066)Samira Bakon1-12/+59
2025-08-18[clang][dataflow] Add support for serialization and deserialization. (#152487)Yitzhak Mandelbaum3-0/+233
2025-08-09[clang] Improve nested name specifier AST representation (#147835)Matheus Izvekov1-2/+4
2025-06-26[clang] Use llvm::is_contained instead of llvm::all_of (NFC) (#145843)Kazu Hirata1-3/+2
2025-06-06[clang] Ensure newline at the end of files (NFC) (#143154)Kazu Hirata1-1/+1
2025-05-31[Analysis] Remove unused includes (NFC) (#142255)Kazu Hirata8-14/+0
2025-04-27[clang] Use range constructors of *Set (NFC) (#137574)Kazu Hirata1-1/+1
2025-04-19[clang] llvm::append_range (NFC) (#136440)Kazu Hirata1-1/+1
2025-04-02[EquivalenceClasses] Use SmallVector for deterministic iteration order. (#134...Florian Hahn1-4/+4
2025-04-01[EquivalenceClasses] Update member_begin to take ECValue (NFC).Florian Hahn1-4/+3
2025-04-01[EquivalenceClasses] Return ECValue directly from insert (NFC).Florian Hahn1-1/+1
2025-03-31Reapply "[EquivalenceClasses] Replace findValue with contains (NFC)."Florian Hahn1-7/+5
2025-03-28[NFC] [dataflow] generalize smart pointer caching (#133350)Florian Mayer1-72/+72
2025-03-27[clang] Use *Set::insert_range (NFC) (#133357)Kazu Hirata1-6/+3
2025-03-26Reland [clang][dataflow] Fix unsupported types always being equal (#131575)Discookie1-1/+8
2025-03-21[clang][dataflow] Add matcher for pointer-like types to be cached (#132314)Florian Mayer1-0/+24
2025-03-17[clang][dataflow] For bugprone-unchecked-optional-access report range (#131055)Jan Voung1-7/+8
2025-03-07[clang][dataflow] Add test for crash repro and clean up const accessor handli...Jan Voung1-53/+62
2025-03-04Revert "[clang][dataflow] Fix unsupported types always being equal" (#129761)Jan Voung1-11/+1
2025-03-04[clang][dataflow] Fix unsupported types always being equal (#129502)Discookie1-1/+11
2025-02-28[clang-tidy] [dataflow] Cache reference accessors for `bugprone-unchecked-op...Valentyn Yukhymenko1-0/+16
2025-02-05[clang] [dataflow] use unqualified type for smart pointer matching (#125958)Florian Mayer1-4/+8
2025-02-01[clang][dataflow][NFC] Remove double lookup (#125282)Balazs Benics1-2/+3
2025-01-30[clang][dataflow] Fix smart pointer accessor caching to handle aliases (#124964)Jan Voung1-8/+11
2025-01-08[clang][dataflow] Use smart pointer caching in unchecked optional accessor (#...Jan Voung2-6/+72
2024-12-20[clang][dataflow] Fix a missing break from a switch case -Wimplicit-fallthrou...Jan Voung1-1/+1
2024-12-20[clang][dataflow] Add matchers for smart pointer accessors to be cached (#120...Jan Voung2-0/+148
2024-11-27[clang][dataflow] Add captured parameters to ReferencedDecls for lamb… (#11...Samira Bazuzi1-0/+23
2024-11-26[clang][analysis][NFC]add static for internal linkage function (#117481)Congcong Cai3-10/+13
2024-11-15[Clang] [NFC] Refactor AST visitors in Sema and the static analyser to use Dy...Sirraide2-17/+16
2024-10-28[clang][dataflow] Cache accessors returning pointers in bugprone-unchecked-op...Jan Voung1-2/+18
2024-10-28[clang][dataflow] Don't clear cached field state if field is const (#113698)Jan Voung1-2/+6
2024-10-24[FlowSensitive] Allow to dump nested RecordStorageLocation (#112457)Florian Mayer1-2/+1
2024-10-24[llvm] Support llvm::Any across shared libraries on windows (#108051)Thomas Fransham1-0/+15
2024-10-22[clang][dataflow] Cache accessors for bugprone-unchecked-optional-access (#11...Jan Voung1-5/+131
2024-09-25[clang-tidy] Add support for bsl::optional (#101450)Chris Cotter1-13/+54
2024-08-19[clang][dataflow] Collect local variables referenced within a functio… (#10...Samira Bazuzi1-0/+9
2024-08-02[clang][dataflow] Fix casting in `ChromiumCheckModel`. (#101640)Pasquale Riello1-1/+2
2024-07-29[clang][dataflow] Fix bug in `buildContainsExprConsumedInDifferentBlock()`. (...martinboehme3-15/+21
2024-07-26[clang][dataflow] Handle CXXInheritedCtorInitExpr in ResultObjectVisitor. (#9...Pasquale Riello1-1/+1
2024-07-22[clang][dataflow] Handle this-capturing lambdas in field initializers. (#99519)Samira Bazuzi1-6/+15
2024-07-13[clang][dataflow]Propagate the result object location for CXXDefaultInitExpr....Samira Bazuzi1-2/+8
2024-06-26[clang][nullability] Improve modeling of `++`/`--` operators. (#96601)martinboehme1-6/+11
2024-06-21[clang][dataflow] Add a callback run on the pre-transfer state. (#96140)martinboehme1-12/+14