summaryrefslogtreecommitdiff
path: root/lib/StaticAnalyzer/Core/MemRegion.cpp
Commit message (Expand)AuthorAgeFilesLines
* Update the file headers across all of the LLVM projects in the monorepoChandler Carruth2019-01-191-4/+3
* [AST] Remove ASTContext from getThisType (NFC)Brian Gesiak2019-01-111-3/+2
* [Analyzer] Iterator Checkers - Use the region of the topmost base class for i...Adam Balogh2018-12-041-0/+9
* [analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameterGeorge Karpenkov2018-09-281-2/+2
* [analyzer] Further printing improvements: use declarations,George Karpenkov2018-09-151-5/+5
* [analyzer] Support modeling no-op BaseToDerived casts in ExprEngine.Artem Dergachev2018-08-291-6/+47
* [analyzer] [NFC] A convenient getter for getting a current stack frameGeorge Karpenkov2018-06-271-5/+5
* [analyzer] Fix offset overflow check in MemRegionGeorge Karpenkov2018-06-131-42/+8
* [clang] Update uses of DEBUG macro to LLVM_DEBUG.Nicola Zaghen2018-05-151-2/+2
* [StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warni...Eugene Zelenko2018-04-031-90/+110
* [analyzer] Cache offset computation for MemRegionGeorge Karpenkov2018-03-311-31/+36
* [analyzer] Better pretty-printing of regions in exploded graphGeorge Karpenkov2018-03-291-2/+7
* Remove redundant casts. NFCGeorge Burgess IV2018-03-011-3/+3
* Revert "Revert "[analyzer] Quickfix: do not overflow in calculating offset in...George Karpenkov2018-02-271-0/+47
* Revert "[analyzer] Quickfix: do not overflow in calculating offset in RegionM...George Karpenkov2018-02-261-46/+0
* [analyzer] Quickfix: do not overflow in calculating offset in RegionManagerGeorge Karpenkov2018-02-261-0/+46
* [analyzer] Make isSubRegionOf reflexiveGeorge Karpenkov2018-01-171-3/+3
* [analyzer] Mark heap-based symbolic regions in debug dumps.Artem Dergachev2017-12-051-0/+2
* [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-26/+30
* [analyzer] Add numerous assertions to SVal, SymExpr, and MemRegion classes.Artem Dergachev2017-04-131-4/+2
* [analyzer] Fix MacOSXAPIChecker fp with static locals seen from nested blocks.Artem Dergachev2017-01-251-2/+4
* Revert "[analyzer] Fix memory space of static locals seen from nested blocks."Devin Coughlin2017-01-241-35/+19
* [analyzer] Fix memory space of static locals seen from nested blocks.Artem Dergachev2017-01-231-19/+35
* [StaticAnalyzer] Remove dead code.Benjamin Kramer2016-08-061-42/+0
* [analyzer] Add checker to verify the correct usage of the MPI APIDevin Coughlin2016-06-131-0/+59
* Revert "[analyzer] Reapply r271907 (2nd try)."Devin Coughlin2016-06-071-59/+0
* [analyzer] Reapply r271907 (2nd try).Devin Coughlin2016-06-071-0/+59
* Revert "Reapply "[analyzer] Add checker for correct usage of MPI API in C and...Devin Coughlin2016-06-061-59/+0
* Reapply "[analyzer] Add checker for correct usage of MPI API in C and C++."Devin Coughlin2016-06-061-0/+59
* Revert "[analyzer] Add checker for correct usage of MPI API in C and C++."Devin Coughlin2016-06-061-59/+0
* [analyzer] Add checker for correct usage of MPI API in C and C++.Devin Coughlin2016-06-061-0/+59
* Fix some Clang-tidy readability-redundant-control-flow warnings; other minor ...Eugene Zelenko2016-02-101-9/+0
* Minor cleanup to remove casts and improve some const correctness. NFC.Aaron Ballman2016-02-031-26/+26
* Annotate dump() methods with LLVM_DUMP_METHOD, addressing Richard Smith r2591...Yaron Keren2016-01-291-2/+2
* Removing unnecessary casts; NFC.Aaron Ballman2016-01-291-2/+2
* [analyzer] Fix SVal/SymExpr/MemRegion class and enum names for consistency.Artem Dergachev2016-01-131-28/+32
* [analyzer] Fix MemRegion crash casting non-struct to derived struct (PR25426).Devin Coughlin2015-12-051-12/+13
* [analyzer] Fix another crash when analyzing lambda functions.Gabor Horvath2015-10-271-1/+2
* [analyzer] Fixed a rare crash when analyzing lambda functions.Gabor Horvath2015-10-261-1/+1
* Roll-back r250822.Angel Garcia Gomez2015-10-201-4/+5
* Apply modernize-use-default to clang.Angel Garcia Gomez2015-10-201-5/+4
* [Static Analyzer] Lambda support.Gabor Horvath2015-09-111-2/+13
* [analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek2015-09-081-13/+13
* [analyzer] When forced to fake a block type, do it correctly.Jordan Rose2015-07-101-3/+6
* Update APIs that return a pair of iterators to return an iterator_range instead.Benjamin Kramer2015-02-061-7/+8
* [analyzer] Refactor and cleanup IsCompleteTypeAnna Zaks2014-10-031-13/+2
* Removing an "if (this == nullptr)" check from two print methods. The conditionRichard Trieu2014-06-091-0/+2
* [C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper2014-05-271-22/+22
* [C++11] Replacing CXXRecordDecl iterators bases_begin() and bases_end() with ...Aaron Ballman2014-03-131-8/+4
View Lorry Controller Status