summaryrefslogtreecommitdiffstats
path: root/clang/lib/StaticAnalyzer/Core/RegionStore.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* [analyzer] Enforce super-region classes for various memory regions.Artem Dergachev2017-04-131-2/+3
* [analyzer] Extend taint propagation and checking to support LazyCompoundValAnna Zaks2017-03-091-0/+5
* [analyzer] Fix MacOSXAPIChecker fp with static locals seen from nested blocks.Artem Dergachev2017-01-251-0/+2
* Remove custom handling of array copies in lambda by-value array capture andRichard Smith2016-12-141-3/+2
* [analyzer] Fix a crash on accessing a field within a literal-initialized union.Artem Dergachev2016-11-221-1/+2
* [NFC] Header cleanupMehdi Amini2016-07-181-1/+0
* Apply clang-tidy's misc-move-constructor-init throughout Clang.Benjamin Kramer2016-05-271-4/+5
* Remove redundant conditions of the form (A || (!A && B)) -> (A || B)Benjamin Kramer2016-04-111-5/+4
* [analyzer] Fix symbolic element index lifetime.Artem Dergachev2015-12-101-1/+6
* [analyzer] Update RegionStoreManager::getBinding to handle BlockDataRegionsDevin Coughlin2015-11-051-0/+4
* [analyzer] Add TK_EntireMemSpace invalidation trait.Devin Coughlin2015-10-011-22/+46
* [analyzer] When memcpy'ing into a fixed-size array, do not invalidate entire ...Devin Coughlin2015-09-241-2/+85
* [analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek2015-09-081-21/+21
* Revert r246345 until an assertion is fixed.Gabor Horvath2015-08-311-81/+2
* [analyzer] When memcpy'ing into a fixed-size array, do not invalidate entire ...Devin Coughlin2015-08-281-2/+81
* Wdeprecated: RegionBindingsRef are copy constructed, make sure that's safe by...David Blaikie2015-08-131-21/+15
* Revert r240270 ("Fixed/added namespace ending comments using clang-tidy").Alexander Kornienko2015-06-221-5/+5
* Fixed/added namespace ending comments using clang-tidy. NFCAlexander Kornienko2015-06-221-5/+5
* Make helper functions static. NFC.Benjamin Kramer2015-03-091-1/+1
* Update for LLVM API change to make Small(Ptr)Set::insert return pair<iterator...David Blaikie2014-11-191-1/+1
* unique_ptrify the result of ConstraintManagerCreator and StoreManagerCreatorDavid Blaikie2014-09-041-4/+5
* [C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper2014-05-271-4/+4
* [C++11] Add 'override' keyword to virtual methods that override their base cl...Craig Topper2014-03-151-17/+18
* [C++11] Replacing RecordDecl iterators field_begin() and field_end() with ite...Aaron Ballman2014-03-081-4/+2
* [C++11] Replace llvm::tie with std::tie.Benjamin Kramer2014-03-021-1/+1
* [C++11] Switch from the llvm_move macro to directly calling std::move.Chandler Carruth2014-03-021-2/+2
* Only mark dump() function definitions 'used' in debug buildsAlp Toker2014-01-041-7/+3
* Replacing calls to getAttr with calls to hasAttr for clarity. No functional c...Aaron Ballman2013-12-191-1/+1
* [analyzer] Generate a LazyCompoundVal when loading from a union-typed region.Jordan Rose2013-10-231-1/+3
* StaticAnalyzer/Core/RegionStore.cpp: Prune one last "\param IsConst", as fixu...NAKAMURA Takumi2013-09-251-2/+0
* [analyzer] This patch removes passing around of const-invalidation vs regular...Anton Yartsev2013-09-241-51/+37
* [analyzer] Handle zeroing constructors for fields of structs with empty bases.Jordan Rose2013-09-111-4/+13
* [analyzer] Treat the rvalue of a forward-declared struct as Unknown.Jordan Rose2013-08-301-1/+1
* [analyzer] Fix handling of "empty" structs with base classesPavel Labath2013-08-291-1/+9
* [analyzer] Handle C string default values for const char * arguments.Jordan Rose2013-07-171-1/+1
* [analyzer] Use the expression’s type instead of region’s type in ArrayToP...Anna Zaks2013-05-281-16/+3
* [analyzer] Re-enable reasoning about CK_LValueBitCastAnna Zaks2013-05-281-1/+4
* [analyzer] Remove now-unused bindCompoundLiteral helper function.Jordan Rose2013-05-061-22/+0
* [analyzer] Consolidate constant evaluation logic in SValBuilder.Jordan Rose2013-05-011-22/+4
* [analyzer] Refactoring + explanatory comment.Anton Yartsev2013-04-241-9/+11
* [analyzer] "Force" LazyCompoundVals on bind when they are simple enough.Jordan Rose2013-04-181-7/+90
* [analyzer] Be lazy about struct/array global invalidation too.Jordan Rose2013-04-151-10/+7
* [analyzer] Re-enable using global regions as a symbolic base.Jordan Rose2013-04-151-10/+9
* [analyzer] Properly invalidate global regions on opaque function calls.Jordan Rose2013-04-151-21/+60
* [analyzer] Replace isIntegerType() with isIntegerOrEnumerationType().Jordan Rose2013-04-091-1/+1
* [analyzer] Fix typo.Anna Zaks2013-04-031-1/+1
* [analyzer] Teach invalidateRegions that regions within LazyCompoundVal need t...Anna Zaks2013-04-021-16/+55
* [analyzer] Add support for escape of const pointers and use it to allow “ne...Anna Zaks2013-03-281-8/+21
* [analyzer] micro optimization as per Jordan’s feedback on r177905.Anna Zaks2013-03-261-1/+1
* [analyzer] Set concrete offset bindings to UnknownVal when processing symboli...Anna Zaks2013-03-251-2/+10
OpenPOWER on IntegriCloud