summaryrefslogtreecommitdiff
path: root/clang/lib/Analysis
Commit message (Expand)AuthorAgeFilesLines
* [clang][dataflow] Remove unused parameter from `diagnoseUnwrapCall()`.Martin Braenne2023-05-171-9/+8
* [clang][dataflow] Add `Strict` versions of `Value` and `StorageLocation` acce...Martin Braenne2023-05-173-25/+56
* [ClangTidy] Fix markup in commentsDmitri Gribenko2023-05-171-3/+3
* Migrate {starts,ends}with_insensitive to {starts,ends}_with_insensitive (NFC)Kazu Hirata2023-05-161-6/+6
* [clang][dataflow] Don't analyze templated declarations.Martin Braenne2023-05-153-7/+21
* [clang][dataflow] Eliminate `SkipPast::ReferenceThenPointer`.Martin Braenne2023-05-153-24/+79
* [NFC][Clang] Fix Coverity issues of copy without assignManna, Soumi2023-05-141-0/+2
* [clang][dataflow][NFC] Remove `SkipPast` param from `getValue(const ValueDecl...Martin Braenne2023-05-091-3/+1
* [clang][dataflow][NFC] Remove `SkipPast` parameter from `getStorageLocation(c...Martin Braenne2023-05-082-9/+6
* [clang] Replace None with std::nullopt in comments (NFC)Kazu Hirata2023-05-041-1/+1
* [clang][dataflow] Eliminate intermediate `ReferenceValue`s from `Environment:...Martin Braenne2023-05-043-101/+132
* [clang][dataflow][NFC] Eliminate unnecessary helper `stripReference()`.Martin Braenne2023-05-041-12/+8
* [clang][dataflow] Change PruneTriviallyFalseEdges for building CFGKinuko Yasuda2023-05-031-1/+1
* [clang][dataflow] Expose DataflowAnalysisContext from DataflowEnvironment.Samira Bazuzi2023-05-023-9/+11
* [dataflow] HTMLLogger - show the value of the current exprSam McCall2023-04-264-0/+156
* Reland "[-Wunsafe-buffer-usage] Bug fix: Handles the assertion violations for...MalavikaSamak2023-04-241-48/+91
* Revert "[-Wunsafe-buffer-usage] Bug fix: Handles the assertion violations for...MalavikaSamak2023-04-241-91/+48
* [clang] Fix -Wimplicit-fallthrough in UnsafeBufferUsage.cpp [NFC]Jie Fu2023-04-251-0/+1
* [-Wunsafe-buffer-usage] Bug fix: Handles the assertion violations for code wi...MalavikaSamak2023-04-241-48/+91
* [clang][dataflow] Use existing accessors to check for copy and move assignmen...Martin Braenne2023-04-241-3/+6
* [dataflow] HTMLLogger: fix off-by-one in the BB listingSam McCall2023-04-241-2/+8
* [dataflow] Don't crash in Environment::dump when decls have weird namesSam McCall2023-04-211-1/+1
* [dataflow] allow specifying path to dot with $GRAPHVIZ_DOTSam McCall2023-04-211-5/+11
* [dataflow] Try to fix missing order dependency in HTMLLoggerSam McCall2023-04-201-1/+2
* Revert "Revert "[-Wunsafe-buffer-usage] Handle unevaluated contexts that cont...MalavikaSamak2023-04-191-19/+69
* Revert "[-Wunsafe-buffer-usage] Handle unevaluated contexts that contain unsa...MalavikaSamak2023-04-191-69/+19
* [-Wunsafe-buffer-usage] Handle unevaluated contexts that contain unsafe buffe...MalavikaSamak2023-04-191-19/+69
* [dataflow] add missing clangLex dep after a443b3d18ef4d01e7Sam McCall2023-04-191-0/+1
* [dataflow] add HTML logger: browse code/cfg/analysis timeline/stateSam McCall2023-04-196-5/+906
* [dataflow] Extract arena for Value/StorageLocation out of DataflowAnalysisCon...Sam McCall2023-04-194-185/+100
* [clang][dataflow] Associate `FunctionToPointerDecay` nodes with a value.Martin Braenne2023-04-182-17/+51
* [clang][dataflow] Add support for new expressions.Martin Braenne2023-04-181-0/+14
* [NFC][Clang] Fix static analyzer tool remark about missing user-defined assig...Manna, Soumi2023-04-171-0/+1
* [clang][dataflow] Drop optional model's dependency on libc++ internals.Yitzhak Mandelbaum2023-04-171-28/+37
* [clang][dataflow] Refine matching of optional types to anchor at top level.Yitzhak Mandelbaum2023-04-171-7/+27
* [-Wunsafe-buffer-usage] Add a Fixable for pointer pre-incrementZiqing Luo2023-04-121-0/+75
* [-Wunsafe-buffer-usage] Match unsafe pointers being casted to bool or partici...Ziqing Luo2023-04-111-5/+21
* [clang][dataflow][NFC] Remove unused parameter from `insertIfGlobal()`.Martin Braenne2023-04-111-4/+3
* [-Wunsafe-buffer-usage] Improve fix-its for local variable declarations with ...ziqingluo-902023-04-101-7/+39
* [-Wunsafe-buffer-usage] FixableGadget for handling stand alone pointers under...MalavikaSamak2023-04-071-6/+71
* [clang][dataflow] Use `isRecordType()` where appropriate.Martin Braenne2023-04-062-4/+3
* [clang][dataflow] Eliminate code duplication in Environment::createValueUnles...Martin Braenne2023-04-061-20/+6
* Reland "[-Wunsafe-buffer-usage] Fix-Its transforming `&DRE[any]` to `&DRE.dat...Ziqing Luo2023-04-051-10/+124
* Revert "[-Wunsafe-buffer-usage] Fix-Its transforming `&DRE[any]` to `&DRE.dat...David Spickett2023-04-051-124/+10
* [-Wunsafe-buffer-usage] Fix-Its transforming `&DRE[any]` to `&DRE.data()[any]`ziqingluo-902023-04-041-10/+124
* [clang][dataflow] Fix -Wdeprecated-declarations after D147302 (NFC)Jie Fu2023-04-041-3/+3
* [clang-tidy] Allow bugprone-unchecked-optional-access to handle calls to `std...AMS212023-04-041-4/+37
* [clang][dataflow] Add `create<T>()` methods to `Environment` and `DataflowAna...Martin Braenne2023-04-045-40/+27
* [clang][dataflow][NFC] Share code between Environment ctor and pushCallIntern...Martin Braenne2023-04-031-46/+29
* [clang][dataflow][NFC] Put TransferVisitor in an unnamed namespace.Martin Braenne2023-03-281-0/+4