Commit History

Author SHA1 Message Date
  Anna Zaks 85570ac22c [analyzer] Add LocationContext as a parameter to checkRegionChanges 8 years ago
  Dominic Chen 54fc8a05d1 [analyzer] Refactor recursive symbol reachability check to use symbol_iterator 8 years ago
  Yaron Keren dcbc03e446 Annotate dump() methods with LLVM_DUMP_METHOD, addressing Richard Smith r259192 post commit comment. 9 years ago
  Artem Dergachev 3e7cbba83d [analyzer] Fix SVal/SymExpr/MemRegion class and enum names for consistency. 9 years ago
  Gabor Horvath 5dc670a09e [Static Analyzer] Properly clean up the dynamic type information for dead regions. 10 years ago
  Ted Kremenek 99bb39afb4 [analyzer] Apply whitespace cleanups by Honggyu Kim. 10 years ago
  Alexander Kornienko 8ca7705aa3 Revert r240270 ("Fixed/added namespace ending comments using clang-tidy"). 10 years ago
  Alexander Kornienko ac58acc7f2 Fixed/added namespace ending comments using clang-tidy. NFC 10 years ago
  David Blaikie bb458b61c5 unique_ptrify the result of ConstraintManagerCreator and StoreManagerCreator 11 years ago
  Craig Topper 1843a2095a [C++11] Use 'nullptr'. StaticAnalyzer edition. 11 years ago
  Alp Toker 0650de4fc1 Remove a whole lot of unused variables 11 years ago
  Anton Yartsev da8d37ce42 [analyzer] This patch removes passing around of const-invalidation vs regular-invalidation info by passing around a datastructure that maps regions and symbols to the type of invalidation they experience. This simplifies the code and would allow to associate more different invalidation types in the future. 12 years ago
  Pavel Labath d207f55cd5 [analyzer] Fix inefficiency in dead symbol removal 12 years ago
  Jordan Rose 00ffb8079b [analyzer] Remove now-unused bindCompoundLiteral helper function. 12 years ago
  Anna Zaks 8ef064d53f [analyzer] Ensure BugReporterTracking works on regions with pointer arithmetic 12 years ago
  Jordan Rose a5796f8722 [analyzer] Replace isIntegerType() with isIntegerOrEnumerationType(). 12 years ago
  Anna Zaks c1bef5671e [analyzer] Properly handle the ternary operator in trackNullOrUndefValue 12 years ago
  Aaron Ballman 77e2788803 Silencing warnings in MSVC due to duplicate identifiers. 12 years ago
  Anna Zaks 658a28479d [analyzer] Teach invalidateRegions that regions within LazyCompoundVal need to be invalidated 12 years ago
  Anna Zaks 41988f331a [analyzer] Add support for escape of const pointers and use it to allow “newed” pointers to escape 12 years ago
  Jordan Rose f8ddc09898 [analyzer] Invalidate regions indirectly accessible through const pointers. 12 years ago
  Anna Zaks cc5dbdae70 [analyzer] Simple inline defensive checks suppression 12 years ago
  David Blaikie dc84cd5efd Include llvm::Optional in clang/Basic/LLVM.h 12 years ago
  David Blaikie 5251abea41 Replace SVal llvm::cast support to be well-defined. 12 years ago
  Jordan Rose ef9e6d6657 [analyzer] Scan the correct store when finding symbols in a LazyCompoundVal. 12 years ago
  Anna Zaks 1655bcd052 [analyzer] Address Jordan's nitpicks as per code review of r170625. 12 years ago
  Anna Zaks bf53dfac81 [analyzer] Add the pointer escaped callback. 12 years ago
  Jordan Rose 7affe151f5 [analyzer] Remove bindExprAndLocation, which does extra work for no gain. 12 years ago
  Chandler Carruth 55fc873017 Sort all of Clang's files under 'lib', and fix up the broken headers 12 years ago
  Jordan Rose 40d8551890 [analyzer] Move convenience REGISTER_*_WITH_PROGRAMSTATE to CheckerContext.h 12 years ago