Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 176edba5311f6eff0cad2631449885ddf4fbc9ea / include / clang / StaticAnalyzer / Core / PathSensitive / SVals.h
  1. 176edba Update aosp/master Clang for rebase to r222490. by Stephen Hines · 10 years ago
  2. 6bcf27b Update Clang for 3.5 rebase (r209713). by Stephen Hines · 10 years ago
  3. 78c2ec4 [analyzer] Treat nullPtrType as a location type. by Anna Zaks · 11 years ago
  4. 8ef064d [analyzer] Ensure BugReporterTracking works on regions with pointer arithmetic by Anna Zaks · 11 years ago
  5. 658a284 [analyzer] Teach invalidateRegions that regions within LazyCompoundVal need to be invalidated by Anna Zaks · 11 years ago
  6. a19dc41 [analyzer] Mark the root SVal class as isPodLike. by Jordan Rose · 11 years ago
  7. 0dd15d7 Add "KnownSVal" to represent SVals that cannot be UnknownSVal. by Ted Kremenek · 11 years ago
  8. 66874fb Use None rather than Optional<T>() where possible. by David Blaikie · 11 years ago
  9. 4640118 Doxycomment SVal's getAs/castAs. by David Blaikie · 11 years ago
  10. dc84cd5 Include llvm::Optional in clang/Basic/LLVM.h by David Blaikie · 11 years ago
  11. 3bc7b6b Rename SVal::isType functions to SVal::isKind by David Blaikie · 11 years ago
  12. 5251abe Replace SVal llvm::cast support to be well-defined. by David Blaikie · 11 years ago
  13. 9ef9b85 Use LLVM_DELETED_FUNCTION rather than '// do not implement' comments. by David Blaikie · 11 years ago
  14. 978aeac [analyzer] Reuse a LazyCompoundVal if its type matches the new region. by Jordan Rose · 11 years ago
  15. cfa88f8 Remove useless 'llvm::' qualifier from names like StringRef and others that are by Dmitri Gribenko · 11 years ago
  16. 30a2e16 Sort #include lines for all files under include/... by Chandler Carruth · 12 years ago
  17. 48a7345 Remove copy ctor that provides no value over the default. by Benjamin Kramer · 12 years ago
  18. b43d87b Remove pointless classof()'s. by Sean Silva · 12 years ago
  19. 8cd3f15 [analyzer] Remove unused. by Anna Zaks · 12 years ago
  20. fd11957 Revert "[analyzer] Treat all struct values as regions (even rvalues)." by Jordan Rose · 12 years ago
  21. 02df4f0 [analyzer] Treat all struct values as regions (even rvalues). by Jordan Rose · 12 years ago
  22. b11a3ad [analyzer] Don't strip CXXBaseObjectRegions when checking dynamic_casts. by Jordan Rose · 12 years ago
  23. a2ad394 Remove the ability to stash arbitrary pointers into UndefinedVal (no longer needed). by Ted Kremenek · 12 years ago
  24. 4ccc4cc [analyzer] Remove obsolete ObjCPropRef SVal kind. by Jordan Rose · 12 years ago
  25. 7373ead Remove trivial destructor from SVal. by Benjamin Kramer · 12 years ago
  26. 19e88c0 Fixup for r160345 - uintptr_t is not always unsigned by Alexey Samsonov · 12 years ago
  27. e4ed215 Fixed few warnings. by Galina Kistanova · 12 years ago
  28. ffce11b [analyzer] +comments by Anna Zaks · 12 years ago
  29. 8bef823 Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. by Ted Kremenek · 12 years ago
  30. 1d1d515 [analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use it by Anna Zaks · 12 years ago
  31. aace9ef [analyzer] Propagate taint through NonLoc to NonLoc casts. by Anna Zaks · 12 years ago
  32. 5344baa [analyzer] Unify SymbolVal and SymExprVal under a single SymbolVal class. by Anna Zaks · 13 years ago
  33. 76462f0 [analyzer] Remove all uses of ConstraintManager::canResonAbout() from by Anna Zaks · 13 years ago
  34. 3cdf584 [analyzer] First step toward removing by Anna Zaks · 13 years ago
  35. 64595fa [analyzer] Add a helper method. by Anna Zaks · 13 years ago
  36. fc06f98 [analyzer] Cleanup (NULL -> 0, no doxygen in cpp). by Anna Zaks · 13 years ago
  37. 18c66fd Rename GRState to ProgramState, and cleanup some code formatting along the way. by Ted Kremenek · 13 years ago
  38. 9c378f7 Cleanup various declarations of 'Stmt*' to be 'Stmt *', etc. in libAnalyzer and libStaticAnalyzer[*]. It was highly inconsistent, and very ugly to look at. by Ted Kremenek · 13 years ago
  39. d47d3b0 clean up forward declarations of raw_ostream to use the new LLVM.h by Chris Lattner · 13 years ago
  40. 8cc488f add raw_ostream and Twine to LLVM.h, eliminating a ton of llvm:: qualifications. by Chris Lattner · 13 years ago
  41. 686775d now that we have a centralized place to do so, add some using declarations for by Chris Lattner · 13 years ago
  42. 25a792b [analyzer] Remove SVal::getAsVarDecl() and reason about MemRegions, not Decls. Suggestion by Ted! by Argyrios Kyrtzidis · 13 years ago
  43. d3bf3c0 [analyzer] Introduce SVal::getAsVarDecl(). by Argyrios Kyrtzidis · 13 years ago
  44. ad8dcf4 Step #1/N of implementing support for __label__: split labels into by Chris Lattner · 13 years ago
  45. 7dfc942 Makes most methods in SVals.h conform to the naming guide. Reviewed by Zhanyong Wan · 13 years ago
  46. 9b66371 Split 'include/clang/StaticAnalyzer' into 'include/clang/StaticAnalyzer/Core' and 'include/clang/StaticAnalyzer/Checkers'. by Ted Kremenek · 13 years ago[Renamed (99%) from include/clang/StaticAnalyzer/PathSensitive/SVals.h]
  47. 14429b9 [analyzer] Handle the dot syntax for properties in the ExprEngine. by Argyrios Kyrtzidis · 13 years ago
  48. 2114258 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 13 years ago[Copied (99%) from include/clang/EntoSA/PathSensitive/SVals.h]
  49. 3a8f40e Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 13 years ago[Renamed (99%) from include/clang/GR/PathSensitive/SVals.h]
  50. 9ef6537 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 13 years ago
  51. 5a4f98f [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 13 years ago
  52. 98cabba [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 13 years ago[Renamed (99%) from include/clang/Checker/PathSensitive/SVals.h]
  53. 0074b48 Mark SVal constructors 'explicit'. by Ted Kremenek · 14 years ago
  54. c8413fd Merge ValueManager into SValBuilder. by Ted Kremenek · 14 years ago
  55. 9c14953 Rename all 'EvalXXX' methods in libChecker to 'evalXXX'. by Ted Kremenek · 14 years ago
  56. 834f9de Improve comments in Clang static analyzer, based on kremenek's by Zhanyong Wan · 14 years ago
  57. 03509ae Constify all references to Stmt* and CFGBlock* in libChecker. by Zhongxing Xu · 14 years ago
  58. db2fa8a Added a path-sensitive idempotent operation checker (-analyzer-idempotent-operation). Finds idempotent and/or tautological operations in a path sensitive context, flagging operations that have no effect or a predictable effect. by Tom Care · 14 years ago
  59. d6db976 Test commit: fix method summary comment by Jordy Rose · 14 years ago
  60. c802378 Add use-after-free check to MallocChecker. by Zhongxing Xu · 14 years ago
  61. bfcaf80 Change LazyCompoundVal to a <Store, MemRegion*> pair. We really don't need to by Zhongxing Xu · 14 years ago
  62. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 14 years ago[Renamed (99%) from include/clang/Analysis/PathSensitive/SVals.h]
  63. 7177dee Remove ';' after method definition. Noticed by clang++, which one would think by Daniel Dunbar · 14 years ago
  64. 852274d Add (initial?) static analyzer support for handling C++ references. by Ted Kremenek · 14 years ago
  65. 479529e Rename: StripCasts describes what it does better. by Zhongxing Xu · 15 years ago
  66. b10a7c2 Add checker for CWE-587: Assignment of a Fixed Address to a Pointer. by Zhongxing Xu · 15 years ago
  67. 5b9bd21 Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way by Ted Kremenek · 15 years ago
  68. 1eb4433 Remove tabs, and whitespace cleanups. by Mike Stump · 15 years ago
  69. 0878007 ConstraintManager::AssumeDual now accepts a 'DefinedSVal' instead of 'SVal' for by Ted Kremenek · 15 years ago
  70. c3a9415 Introduce 'DefinedSVal', an intermediate parent class between Loc/NonLoc and by Ted Kremenek · 15 years ago
  71. 451ac09 Refactor RegionStoreManager::RemoveDeadBindings to also scan the bindings of LazyCompoundSVals. by Ted Kremenek · 15 years ago
  72. a5e81f1 Implement lazy "copying" of structures and arrays in RegionStore. While by Ted Kremenek · 15 years ago
  73. 0e3ec3f Add 'MemRegion::getBaseRegion()', a utility method to strip ElementRegions with by Ted Kremenek · 15 years ago
  74. 58f9f2c Introduce Type::isAnyPointerType() and convert all clients (suggested by Chris). by Steve Naroff · 15 years ago
  75. 6f9b3a4 Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', and implementing operator<< support for llvm::raw_ostream. by Ted Kremenek · 15 years ago
  76. 14108da This patch includes a conceptually simple, but very intrusive/pervasive change. by Steve Naroff · 15 years ago
  77. edb883c add utility method. by Zhongxing Xu · 15 years ago
  78. 6c07bdb Introduce a new concept to the static analyzer: SValuator. by Ted Kremenek · 15 years ago
  79. 53ba0b6 Remove uses of std::ostream from libAnalysis. by Ted Kremenek · 15 years ago
  80. d91ee27 Move all factory methods from SVal to ValueManager. API cleanup! by Zhongxing Xu · 15 years ago
  81. 23ec48c Move clients over from using GRStateManager::BindXXX and friends to by Ted Kremenek · 15 years ago
  82. 264e937 Add logic for invalidating array region to CFRefCount.cpp. When invalidating by Zhongxing Xu · 15 years ago
  83. 5cbe5f9 Remove loc::FuncVal. by Zhongxing Xu · 15 years ago
  84. 369f447 get a CodeTextRegion when visiting FunctionDecl reference. by Zhongxing Xu · 15 years ago
  85. fc3388d Move a few more NonLoc static functions to ValueManager. by Ted Kremenek · 15 years ago
  86. 3330dcb Finally nuke loc::SymbolVal. by Zhongxing Xu · 15 years ago
  87. 8d7f548 - Move ownership of MemRegionManager into ValueManager. by Ted Kremenek · 15 years ago
  88. 8e5fb28 Remove SVal::MakeZero and replace it with ValueManager::makeZeroVal. by Ted Kremenek · 15 years ago
  89. c565b63 stop using loc::SymbolVal and clean up code with new API. by Zhongxing Xu · 15 years ago
  90. fe1635b Add a new method because sometimes the type of the conjured symbol is not the by Zhongxing Xu · 15 years ago
  91. 867418f Create a symbolic region instead of a loc::SymbolVal. This is a continued step by Zhongxing Xu · 15 years ago
  92. da9ae60 Enhance analyzer reasoning about sending messages to nil. A nil receiver returns 0 for scalars of size <= sizeof(void*). by Ted Kremenek · 15 years ago
  93. a1718c7 This is the first step to gradually remove the use of loc::SymbolVal. Now by Zhongxing Xu · 15 years ago
  94. be65d90 Remove dead code. by Ted Kremenek · 15 years ago
  95. e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 15 years ago
  96. a129eb9 This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for by Zhongxing Xu · 15 years ago
  97. bb9b271 GRExprEngine: by Ted Kremenek · 15 years ago
  98. 94c9698 Rework use of loc::SymbolVal in the retain/release checker to use the new method by Ted Kremenek · 15 years ago
  99. 14553ab Fix a couple bugs: by Ted Kremenek · 15 years ago
  100. 9ab6b9c Static analyzer: Remove a bunch of outdated SymbolData objects and by Ted Kremenek · 15 years ago