summaryrefslogtreecommitdiff
path: root/clang/lib/StaticAnalyzer/Core/MemRegion.cpp
AgeCommit message (Expand)Author
2018-09-28[analyzer] [NFC] Remove unused parameters, as found by -Wunused-parameterGeorge Karpenkov
2018-09-15[analyzer] Further printing improvements: use declarations,George Karpenkov
2018-08-29[analyzer] Support modeling no-op BaseToDerived casts in ExprEngine.Artem Dergachev
2018-06-27[analyzer] [NFC] A convenient getter for getting a current stack frameGeorge Karpenkov
2018-06-13[analyzer] Fix offset overflow check in MemRegionGeorge Karpenkov
2018-05-15[clang] Update uses of DEBUG macro to LLVM_DEBUG.Nicola Zaghen
2018-04-03[StaticAnalyzer] Fix some Clang-tidy modernize and Include What You Use warni...Eugene Zelenko
2018-03-31[analyzer] Cache offset computation for MemRegionGeorge Karpenkov
2018-03-29[analyzer] Better pretty-printing of regions in exploded graphGeorge Karpenkov
2018-03-01Remove redundant casts. NFCGeorge Burgess IV
2018-02-27Revert "Revert "[analyzer] Quickfix: do not overflow in calculating offset in...George Karpenkov
2018-02-26Revert "[analyzer] Quickfix: do not overflow in calculating offset in RegionM...George Karpenkov
2018-02-26[analyzer] Quickfix: do not overflow in calculating offset in RegionManagerGeorge Karpenkov
2018-01-17[analyzer] Make isSubRegionOf reflexiveGeorge Karpenkov
2017-12-05[analyzer] Mark heap-based symbolic regions in debug dumps.Artem Dergachev
2017-09-06[CSA] [NFC] Move AnalysisContext.h to AnalysisDeclContext.hGeorge Karpenkov
2017-04-13[analyzer] Enforce super-region classes for various memory regions.Artem Dergachev
2017-04-13[analyzer] Add numerous assertions to SVal, SymExpr, and MemRegion classes.Artem Dergachev
2017-01-25[analyzer] Fix MacOSXAPIChecker fp with static locals seen from nested blocks.Artem Dergachev
2017-01-24Revert "[analyzer] Fix memory space of static locals seen from nested blocks."Devin Coughlin
2017-01-23[analyzer] Fix memory space of static locals seen from nested blocks.Artem Dergachev
2016-08-06[StaticAnalyzer] Remove dead code.Benjamin Kramer
2016-06-13[analyzer] Add checker to verify the correct usage of the MPI APIDevin Coughlin
2016-06-07Revert "[analyzer] Reapply r271907 (2nd try)."Devin Coughlin
2016-06-07[analyzer] Reapply r271907 (2nd try).Devin Coughlin
2016-06-06Revert "Reapply "[analyzer] Add checker for correct usage of MPI API in C and...Devin Coughlin
2016-06-06Reapply "[analyzer] Add checker for correct usage of MPI API in C and C++."Devin Coughlin
2016-06-06Revert "[analyzer] Add checker for correct usage of MPI API in C and C++."Devin Coughlin
2016-06-06[analyzer] Add checker for correct usage of MPI API in C and C++.Devin Coughlin
2016-02-10Fix some Clang-tidy readability-redundant-control-flow warnings; other minor ...Eugene Zelenko
2016-02-03Minor cleanup to remove casts and improve some const correctness. NFC.Aaron Ballman
2016-01-29Annotate dump() methods with LLVM_DUMP_METHOD, addressing Richard Smith r2591...Yaron Keren
2016-01-29Removing unnecessary casts; NFC.Aaron Ballman
2016-01-13[analyzer] Fix SVal/SymExpr/MemRegion class and enum names for consistency.Artem Dergachev
2015-12-05[analyzer] Fix MemRegion crash casting non-struct to derived struct (PR25426).Devin Coughlin
2015-10-27[analyzer] Fix another crash when analyzing lambda functions.Gabor Horvath
2015-10-26[analyzer] Fixed a rare crash when analyzing lambda functions.Gabor Horvath
2015-10-20Roll-back r250822.Angel Garcia Gomez
2015-10-20Apply modernize-use-default to clang.Angel Garcia Gomez
2015-09-11[Static Analyzer] Lambda support.Gabor Horvath
2015-09-08[analyzer] Apply whitespace cleanups by Honggyu Kim.Ted Kremenek
2015-07-10[analyzer] When forced to fake a block type, do it correctly.Jordan Rose
2015-02-06Update APIs that return a pair of iterators to return an iterator_range instead.Benjamin Kramer
2014-10-03[analyzer] Refactor and cleanup IsCompleteTypeAnna Zaks
2014-06-09Removing an "if (this == nullptr)" check from two print methods. The conditionRichard Trieu
2014-05-27[C++11] Use 'nullptr'. StaticAnalyzer edition.Craig Topper
2014-03-13[C++11] Replacing CXXRecordDecl iterators bases_begin() and bases_end() with ...Aaron Ballman
2014-03-02[C++11] Replace llvm::tie with std::tie.Benjamin Kramer
2013-12-19Replacing calls to getAttr with calls to hasAttr for clarity. No functional c...Aaron Ballman
2013-11-20[analyzer] Fix an infinite recursion in region invalidation by adding block c...Anna Zaks
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-11 13:43:58 +0000