aboutsummaryrefslogtreecommitdiff
path: root/clang/lib/Analysis
AgeCommit message (Expand)AuthorFilesLines
2022-07-26Inline function calls.Weverything1-4/+2
2022-07-26[clang][dataflow] Analyze calls to in-TU functionsSam Estep3-9/+85
2022-07-26Revert "[clang][dataflow] Analyze calls to in-TU functions"Sam Estep3-85/+9
2022-07-26[clang][dataflow] Analyze calls to in-TU functionsSam Estep3-9/+85
2022-07-26[clang][dataflow] Add explicit "AST" nodes for implications and iffDmitri Gribenko3-6/+101
2022-07-26[clang][dataflow] Fix SAT solver crashes on `X ^ X` and `X v X`Dmitri Gribenko1-19/+41
2022-07-26[analyzer] Structured binding to tuple-like typesisuckatcs2-3/+38
2022-07-26[analyzer] Lambda capture non-POD type arrayisuckatcs2-1/+29
2022-07-26[analyzer] ArrayInitLoopExpr with array of non-POD typeisuckatcs1-2/+10
2022-07-25[clang][dataflow] Rename iterators from IT to ItDmitri Gribenko4-27/+27
2022-07-24[clang-tidy] implement new check 'misc-const-correctness' to add 'const' to u...Jonas Toth1-8/+10
2022-07-23[clang][dataflow] Add DataflowEnvironment::dump()Dmitri Gribenko3-3/+41
2022-07-23[clang][dataflow] Expose stringification functions for SAT solver enumsDmitri Gribenko1-26/+24
2022-07-23[clang][dataflow] ArrayRef'ize debugString()Dmitri Gribenko1-3/+2
2022-07-15Modernize Optional::{getValueOr,hasValue}Fangrui Song1-2/+1
2022-07-14Revert "[clang] Implement ElaboratedType sugaring for types written bare"Jonas Devlieghere1-1/+1
2022-07-15[clang] Implement ElaboratedType sugaring for types written bareMatheus Izvekov1-1/+1
2022-07-14Thread safety analysis: Support builtin pointer-to-member operatorsAaron Puchert1-0/+11
2022-07-13[clang] Use value instead of getValue (NFC)Kazu Hirata6-11/+11
2022-07-13Revert "[clang] Implement ElaboratedType sugaring for types written bare"Jonas Devlieghere1-1/+1
2022-07-13[clang][dataflow] Generate readable form of input and output of satisfiabilit...Wei Yi Tee1-0/+91
2022-07-13[clang][dataflow] Generate readable form of boolean values.Wei Yi Tee2-0/+107
2022-07-13[clang] Implement ElaboratedType sugaring for types written bareMatheus Izvekov1-1/+1
2022-07-07[clang][dataflow] Return a solution from the solver when `Constraints` are `S...Wei Yi Tee1-12/+54
2022-07-07Revert "[clang][dataflow] Return a solution from the solver when `Constraints...Dmitri Gribenko1-53/+12
2022-07-07[clang][dataflow] Return a solution from the solver when `Constraints` are `S...Wei Yi Tee1-12/+53
2022-07-05[clang][dataflow] Handle null pointers of type std::nullptr_tEric Li1-4/+4
2022-07-03[FPEnv] Allow CompoundStmt to keep FP optionsSerge Pavlov1-1/+2
2022-07-01Revert "[FPEnv] Allow CompoundStmt to keep FP options"Serge Pavlov1-2/+1
2022-07-01[FPEnv] Allow CompoundStmt to keep FP optionsSerge Pavlov1-1/+2
2022-06-30Correct -Winfinite-recursion warning on potentially-unevaluated operandPrathit Aswar1-0/+23
2022-06-30[clang][dataflow] Handle `for` statements without conditionsStanislav Gatev1-2/+2
2022-06-29[clang][dataflow] Delete SourceLocationsLatticeSam Estep2-52/+0
2022-06-29[clang][dataflow] Use NoopLattice in optional modelSam Estep1-17/+4
2022-06-29Revert "[clang][dataflow] Use NoopLattice in optional model"Sam Estep1-4/+17
2022-06-29[clang][dataflow] Use NoopLattice in optional modelSam Estep1-17/+4
2022-06-29[clang][dataflow] Add API to separate analysis from diagnosisSam Estep2-11/+90
2022-06-27[clang][dataflow] Do not allow substitution of true/false boolean literals in...Wei Yi Tee1-0/+8
2022-06-27[clang][dataflow] Singleton pointer values for null pointers.Wei Yi Tee3-0/+27
2022-06-27[clang][dataflow] Implement functionality for flow condition variable substit...Wei Yi Tee1-0/+70
2022-06-27[clang][dataflow] Move logic for `createStorageLocation` from `DataflowEnviro...Wei Yi Tee2-44/+60
2022-06-25[clang] Don't use Optional::hasValue (NFC)Kazu Hirata5-12/+12
2022-06-25Revert "Don't use Optional::hasValue (NFC)"Kazu Hirata5-23/+26
2022-06-25Don't use Optional::hasValue (NFC)Kazu Hirata5-26/+23
2022-06-25[clang][dataflow] Implement functionality to compare if two boolean values ar...Wei Yi Tee1-0/+7
2022-06-25[clang][dataflow] Refactor function that queries the solver for satisfiabilit...Wei Yi Tee1-13/+11
2022-06-24[clang][dataflow] Move logic for creating implication and iff expressions int...Wei Yi Tee1-20/+27
2022-06-24[clang][dataflow] Store flow condition constraints in a single `FlowCondition...Wei Yi Tee1-18/+21
2022-06-20[clang] Don't use Optional::getValue (NFC)Kazu Hirata3-5/+5
2022-06-20[clang] Don't use Optional::hasValue (NFC)Kazu Hirata1-1/+1
generated by cgit v1.1 at 2024-10-10 12:32:59 +0000