summaryrefslogtreecommitdiffstats
path: root/include/clang/StaticAnalyzer/Core/PathSensitive/MemRegion.h
Commit message (Expand)AuthorAgeFilesLines
* 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
* [analyzer] Fix FP warnings when binding a temporary to a local static variablePavel Labath2013-07-261-0/+5
* [analyzer] Ensure BugReporterTracking works on regions with pointer arithmeticAnna Zaks2013-04-201-1/+6
* [analyzer] Flip printPretty and printPrettyAsExpr as per suggestion from Jord...Anna Zaks2013-04-201-2/+2
* [analyzer] Add pretty printing to CXXBaseObjectRegion.Anna Zaks2013-04-151-0/+4
* [analyzer] Address code review for r179395Anna Zaks2013-04-151-4/+13
* [analyzer]Print field region even when the base region is not printableAnna Zaks2013-04-121-2/+6
* Silence a number of static analyzer warnings with assertions and such.Jordan Rose2013-03-051-0/+2
* [analyzer] tracking stores/constraints now works for ObjC ivars or struct fie...Ted Kremenek2013-02-241-0/+3
* [analyzer] Record whether a base object region represents a virtual base.Jordan Rose2013-02-211-9/+17
* Replace SVal llvm::cast support to be well-defined.David Blaikie2013-02-201-2/+2
* Change subexpressions to be visited in the CFG from left-to-right.Ted Kremenek2013-02-051-0/+4
* Only provide explicit getCapturedRegion() and getOriginalRegion() from refere...Ted Kremenek2012-12-061-13/+5
* Pull logic to map from VarDecl* to captured region using a helper function. ...Ted Kremenek2012-12-061-0/+2
* Sort #include lines for all files under include/...Chandler Carruth2012-12-041-1/+1
* Remove pointless classof()'s.Sean Silva2012-10-111-2/+0
* [analyzer] Teach the analyzer about implicit initialization of staticsAnna Zaks2012-09-171-8/+20
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-25 20:26:47 +0000