summaryrefslogtreecommitdiffstats
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h
Commit message (Expand)AuthorAgeFilesLines
* [analyzer] Canonicalize declarations within variable regions.Artem Dergachev2019-02-071-1/+1
* Revert "[analyzer] Remove the "postponed" hack, deal with derived symbols..."Artem Dergachev2019-02-061-3/+0
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* Fix header issues.Richard Trieu2019-01-111-0/+1
* [analyzer] Fix a minor typo.Gabor Horvath2018-12-111-1/+1
* [Analyzer] Iterator Checkers - Use the region of the topmost base class for i...Adam Balogh2018-12-041-0/+4
* [analyzer] Remove the "postponed" hack, deal with derived symbols using an ex...George Karpenkov2018-09-071-0/+3
* [analyzer] Document that pointer arithmetic is not represented by SymExprs.Artem Dergachev2018-08-291-1/+3
* [analyzer] Support modeling no-op BaseToDerived casts in ExprEngine.Artem Dergachev2018-08-291-1/+50
* Remove trailing spaceFangrui Song2018-07-301-21/+21
* [analyzer] Store ValueDecl in DeclRegionGeorge Karpenkov2018-07-301-3/+3
* Remove \brief commands from doxygen comments.Adrian Prantl2018-05-091-15/+15
* [StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warni...Eugene Zelenko2018-04-031-119/+116
* [analyzer] Cache offset computation for MemRegionGeorge Karpenkov2018-03-311-0/+1
* [analyzer] NFC: Forbid array elements of void type.Artem Dergachev2018-01-171-1/+6
* [analyzer] Make isSubRegionOf reflexiveGeorge Karpenkov2018-01-171-0/+1
* StaticAnalyzer: Modularize/fix ODR violations making functions inline but non...David Blaikie2017-10-271-9/+6
* [CSA] [NFC] Move AnalysisContext.h to AnalysisDeclContext.hGeorge Karpenkov2017-09-061-1/+1
* [analyzer] Enforce super-region classes for various memory regions.Artem Dergachev2017-04-131-39/+62
* [analyzer] Add numerous assertions to SVal, SymExpr, and MemRegion classes.Artem Dergachev2017-04-131-75/+125
* [StaticAnalyzer] Remove dead code.Benjamin Kramer2016-08-061-6/+0
* [analyzer] Add checker to verify the correct usage of the MPI APIDevin Coughlin2016-06-131-0/+22
* Revert "[analyzer] Reapply r271907 (2nd try)."Devin Coughlin2016-06-071-22/+0
* [analyzer] Reapply r271907 (2nd try).Devin Coughlin2016-06-071-0/+22
* Revert "Reapply "[analyzer] Add checker for correct usage of MPI API in C and...Devin Coughlin2016-06-061-22/+0
* Reapply "[analyzer] Add checker for correct usage of MPI API in C and C++."Devin Coughlin2016-06-061-0/+22
* Revert "[analyzer] Add checker for correct usage of MPI API in C and C++."Devin Coughlin2016-06-061-22/+0
* [analyzer] Add checker for correct usage of MPI API in C and C++.Devin Coughlin2016-06-061-0/+22
* Minor cleanup to remove casts and improve some const correctness. NFC.Aaron Ballman2016-02-031-2/+2
* [StaticAnalyzer] Pull SymExpr and SymbolData into its own header to avoid cyc...Benjamin Kramer2016-02-021-0/+1
* [analyzer] Provide .def-files and visitors for SVal/SymExpr/MemRegion, v2.Artem Dergachev2016-01-151-45/+6
* Revert "[analyzer] Provide .def-files and visitors for SVal/SymExpr/MemRegion."Artem Dergachev2016-01-131-6/+44
* [analyzer] Provide .def-files and visitors for SVal/SymExpr/MemRegion.Artem Dergachev2016-01-131-44/+6
* [analyzer] Fix SVal/SymExpr/MemRegion class and enum names for consistency.Artem Dergachev2016-01-131-53/+64
* [ptr-traits] Add #includes of headers rather than forward declarationsChandler Carruth2015-12-301-0/+1
* [analyzer] Add TK_EntireMemSpace invalidation trait.Devin Coughlin2015-10-011-1/+4
* [analyzer] When memcpy'ing into a fixed-size array, do not invalidate entire ...Devin Coughlin2015-09-241-2/+4
* Revert r246345 until an assertion is fixed.Gabor Horvath2015-08-311-3/+1
* [analyzer] When memcpy'ing into a fixed-size array, do not invalidate entire ...Devin Coughlin2015-08-281-1/+3
* Revert r240270 ("Fixed/added namespace ending comments using clang-tidy").Alexander Kornienko2015-06-221-2/+2
* Fixed/added namespace ending comments using clang-tidy. NFCAlexander Kornienko2015-06-221-2/+2
* Use 'override/final' instead of 'virtual' for overridden methodsAlexander Kornienko2015-04-111-1/+1
* fix typo; NFCSanjay Patel2015-04-071-1/+1
* Header guard canonicalization, clang part.Benjamin Kramer2014-08-131-2/+2
* [C++11] Use 'nullptr'Craig Topper2014-05-061-9/+10
* [Allocator] Remove forward declarations of BumpPtrAllocator. TheseChandler Carruth2014-03-301-4/+1
* [C++11] Add 'override' keyword to virtual methods that override their base cl...Craig Topper2014-03-151-106/+106
* [analyzer] Fix an infinite recursion in region invalidation by adding block c...Anna Zaks2013-11-201-3/+7
* [analyzer] Better modeling of memcpy by the CStringChecker (PR16731).Anton Yartsev2013-11-171-1/+3
* [analyzer] This patch removes passing around of const-invalidation vs regular...Anton Yartsev2013-09-241-0/+31
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-09 21:34:13 +0000