aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/Analysis
AgeCommit message (Expand)AuthorFilesLines
2024-07-01[clang][ThreadSafety] Revert stricter typing on trylock attributes (#97293)Dan McArdle1-46/+36
2024-06-26[clang][nullability] Improve modeling of `++`/`--` operators. (#96601)martinboehme1-6/+11
2024-06-24[clang][ThreadSafety] Check trylock function success and return types (#95290)Dan McArdle1-36/+46
2024-06-21[clang][dataflow] Add a callback run on the pre-transfer state. (#96140)martinboehme1-12/+14
2024-06-11[clang][nullability] Don't return null fields from `getReferencedDecls()`. (#...martinboehme1-4/+7
2024-06-11[clang][dataflow] Handle `AtomicExpr` in `ResultObjectVisitor`. (#94963)martinboehme1-1/+1
2024-06-06Revert "[Analyzer][CFG] Correctly handle rebuilt default arg and default init...bgra81-41/+9
2024-06-04[clang][dataflow] Propagate storage location of compound assignment operators...martinboehme1-0/+7
2024-06-04[clang][nullability] Propagate storage location / value of `++`/`--` operator...martinboehme1-0/+14
2024-06-03[clang][dataflow] Rewrite `getReferencedDecls()` with a `RecursiveASTVisitor`...martinboehme2-90/+61
2024-05-28clang:: to llvm::; NFCAaron Ballman1-1/+1
2024-05-25[clang] Revise IDE folder structure (#89743)Michael Kruse1-0/+1
2024-05-23[Analyzer][CFG] Correctly handle rebuilt default arg and default init express...yronglin1-9/+41
2024-05-21[clang][dataflow] Make `CNFFormula` externally accessible. (#92401)martinboehme3-430/+356
2024-05-18[clang][ThreadSafety] Skip past implicit cast in `translateAttrExpr`Antonio Frighetto1-1/+1
2024-05-16[clang] Drop explicit conversions of string literals to StringRef (NFC)Kazu Hirata1-1/+1
2024-05-16Respect the [[clang::unsafe_buffer_usage]] attribute for constructors (#91777)Dana Jansens1-53/+113
2024-05-15[clang][dataflow] Fully support Environment construction for Stmt analysis. (...Samira Bazuzi2-51/+58
2024-05-08[clang][dataflow] Allow `DataflowAnalysisContext` to use a non-owned `Solver`...martinboehme1-5/+5
2024-05-07[clang][dataflow] Strengthen pointer comparison. (#75170)martinboehme1-0/+8
2024-05-06[clang][dataflow] Don't propagate result objects in unevaluated contexts (rel...martinboehme1-0/+11
2024-05-06[clang][dataflow] Fix crash when `operator=` result type is not destination t...martinboehme1-6/+15
2024-05-02Revert "[clang][dataflow] Don't propagate result objects in unevaluated conte...Weaver1-11/+0
2024-05-02[clang][dataflow] Don't propagate result objects in unevaluated contexts (#90...martinboehme1-0/+11
2024-05-02[analysis] assume expr is not mutated after analysis to avoid recursive (#90581)Congcong Cai1-2/+4
2024-04-26[clang][dataflow] Fix crash when `ConstantExpr` is used in conditional operat...martinboehme2-5/+17
2024-04-25[clang][dataflow] Crash fix for `widenDistinctValues()`. (#89895)martinboehme1-4/+9
2024-04-25[clang][dataflow] Don't propagate result objects in nested declarations. (#89...martinboehme1-0/+12
2024-04-23Reapply "[clang][dataflow] Model conditional operator correctly." with fixes ...martinboehme3-39/+69
2024-04-22Revert "[clang][dataflow] Model conditional operator correctly." (#89577)martinboehme3-68/+39
2024-04-22[clang][dataflow] Model conditional operator correctly. (#89213)martinboehme3-39/+68
2024-04-19[clang][dataflow] Expose getReferencedDecls for a Stmt. (#89444)Samira Bazuzi1-0/+6
2024-04-19[clang][dataflow][NFC] Fix code formatting in DataflowEnvironment.cpp (#89352)martinboehme1-8/+6
2024-04-19[clang][nullability] Remove `RecordValue`. (#89052)martinboehme8-160/+72
2024-04-19[clang][dataflow] Support `CXXParenListInitExpr` in `PropagateResultObject()`...martinboehme2-29/+54
2024-04-18Revert "[clang][dataflow] Refactor `PropagateResultObject()` with a switch st...martinboehme1-50/+36
2024-04-18[clang][dataflow] Refactor `PropagateResultObject()` with a switch statement....martinboehme1-36/+50
2024-04-18[clang][NFC] Fix FieldDecl::isUnnamedBitfield() capitalization (#89048)Timm Baeder2-2/+2
2024-04-17[clang][dataflow] Treat `BuiltinBitCastExpr` correctly in `PropagateResultObj...martinboehme1-1/+5
2024-04-17[clang][dataflow] Support `StmtExpr` in `PropagateResultObject()`. (#88872)martinboehme1-0/+5
2024-04-17[clang analysis] ExprMutationAnalyzer support recursive forwarding reference ...Congcong Cai1-53/+72
2024-04-16Fix UPCAddressofArraySubscriptGadget::getClaimedVarUseSites() (#88406)juan.vazquez1-1/+1
2024-04-16[clang][dataflow] Expose getReferencedDecls and relocate free functions. (#88...Samira Bazuzi5-224/+258
2024-04-16[clang][dataflow] Fix result object location for builtin `<=>`. (#88726)martinboehme1-0/+5
2024-04-15Revert "[clang analysis] ExprMutationAnalyzer avoid infinite recursion for re...Florian Mayer1-14/+8
2024-04-15[clang analysis] ExprMutationAnalyzer avoid infinite recursion for recursive ...Congcong Cai1-8/+14
2024-04-11[clang][dataflow] Reland #87320: Propagate locations from result objects to i...martinboehme3-228/+388
2024-04-11[NFC][Clang] Improve const correctness for IdentifierInfo (#79365)Bill Wendling1-2/+3
2024-04-10Revert "[clang][dataflow] Propagate locations from result objects to initiali...martinboehme3-388/+206
2024-04-10[clang][dataflow] Propagate locations from result objects to initializers. (#...martinboehme3-206/+388
generated by cgit v1.1 at 2024-10-10 10:45:44 +0000