summaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/Store.cpp
Commit message (Expand)AuthorAgeFilesLines
* Revert "[analyzer] A speculative attempt to avoid gcc-7 crashes..."Artem Dergachev2019-09-261-5/+2
* [analyzer] A speculative attempt to avoid gcc-7 crashes caused by r372942.Artem Dergachev2019-09-261-2/+5
* [analyzer] Avoid small vectors of non-default-constructibles.Artem Dergachev2019-09-261-1/+1
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [analyzer] pr38668: Do not attempt to cast loaded integers to floats.Artem Dergachev2018-12-221-0/+11
* Revert "[analyzer] pr38668: Do not attempt to cast loaded values..."Artem Dergachev2018-12-201-20/+6
* [analyzer] pr38668: Do not attempt to cast loaded values of non-scalar types.Artem Dergachev2018-12-191-6/+20
* Misc typos fixes in ./lib folderRaphael Isemann2018-12-101-1/+1
* [analyzer] Fix a crash on casting symbolic pointers to derived classes.Artem Dergachev2018-09-261-1/+11
* [analyzer] Support modeling no-op BaseToDerived casts in ExprEngine.Artem Dergachev2018-08-291-4/+18
* Remove trailing spaceFangrui Song2018-07-301-2/+2
* [analyzer] pr36458: Fix retrieved value cast for symbolic void pointers.Artem Dergachev2018-05-041-0/+14
* [analyzer] pr18953: Split C++ zero-initialization from default initialization.Artem Dergachev2018-05-041-4/+0
* [analyzer] NFC: Remove unused parameteer of StoreManager::CastRetrievedVal().Artem Dergachev2018-05-041-13/+1
* Fix typos in clangAlexander Kornienko2018-04-061-1/+1
* [StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warni...Eugene Zelenko2018-03-021-28/+36
* [analyzer] Fix handling of labels in getLValueElementAlexander Shaposhnikov2017-10-231-1/+4
* [analyzer] Improve suppression for inlined defensive checks before operator &.Artem Dergachev2017-04-241-3/+9
* [analyzer] Enforce super-region classes for various memory regions.Artem Dergachev2017-04-131-17/+18
* [analyzer] Model base to derived casts more precisely.Gabor Horvath2016-08-081-1/+1
* [analyzer] Fix SVal/SymExpr/MemRegion class and enum names for consistency.Artem Dergachev2016-01-131-4/+4
* Roll-back r250822.Angel Garcia Gomez2015-10-201-1/+1
* Apply modernize-use-default to clang.Angel Garcia Gomez2015-10-201-1/+1
* [analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek2015-09-081-7/+7
* [analyzer] Refactor and cleanup IsCompleteTypeAnna Zaks2014-10-031-12/+1
* [C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper2014-05-271-5/+5
* Fix static analyzer crash when casting from an incomplete typePavel Labath2013-06-201-1/+4
* [analyzer] Treat reinterpret_cast like a base cast in certain cases.Jordan Rose2013-04-221-34/+54
* [analyzer] Record whether a base object region represents a virtual base.Jordan Rose2013-02-211-4/+7
* Include llvm::Optional in clang/Basic/LLVM.hDavid Blaikie2013-02-201-3/+2
* Replace SVal llvm::cast support to be well-defined.David Blaikie2013-02-201-11/+14
* [analyzer] Don't assert when mixing reinterpret_cast and derived-to-base casts.Jordan Rose2013-02-151-0/+25
* Sort all of Clang's files under 'lib', and fix up the broken headersChandler Carruth2012-12-041-3/+3
* [analyzer] Push evalDynamicCast and evalDerivedToBase up to Store.Jordan Rose2012-10-031-0/+86
* [analyzer] A CXXBaseObjectRegion should correspond to a DIRECT base.Jordan Rose2012-08-091-0/+11
* [analyzer] Revamp RegionStore to distinguish regions with symbolic offsets.Jordan Rose2012-08-081-3/+0
* [analyzer] Let CallEvent decide what goes in an inital stack frame.Jordan Rose2012-07-311-28/+6
* [analyzer] Very simple ObjC instance method inliningAnna Zaks2012-07-301-0/+7
* [analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change.Jordan Rose2012-07-261-1/+1
* [analyzer] Construct stack variables directly in their VarDecl.Jordan Rose2012-07-101-1/+1
* [analyzer] Use CallEvent for building inlined stack frames.Jordan Rose2012-07-101-4/+31
* [analyser] Factor out FindUniqueBinding from RetainCount checker.Anna Zaks2012-03-211-0/+18
* [analyzer] teach analyzer about ObjC literals, thus trimming out a false posi...Ted Kremenek2012-02-281-0/+1
* StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers t...Benjamin Kramer2012-01-281-0/+5
* Change references to 'const ProgramState *' to typedef 'ProgramStateRef'.Ted Kremenek2012-01-261-1/+1
* [analyzer] fix inlining's handling of mapping actual to formal arguments and ...Ted Kremenek2012-01-121-1/+2
* [analyzer] Be less pessimistic about invalidation of global variablesAnna Zaks2012-01-041-2/+4
* Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_...David Blaikie2011-12-201-0/+2
* [analyzer] Address Jordy's comments for r145985.Anna Zaks2011-12-151-1/+0
* [analyzer] Propagate taint through NonLoc to NonLoc casts.Anna Zaks2011-12-061-7/+3
View Lorry Controller Status