Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 45579f5e2904590ff9a4f48c7fbf2e60dccb0426 / lib / Analysis
  1. e1efd4d Add new GRWorkList class that uses two queues: by Ted Kremenek · 16 years ago
  2. 8c35475 ProgramPoint: by Ted Kremenek · 16 years ago
  3. 9c9ca08 Implement RegionStoreManager::Remove(). by Zhongxing Xu · 16 years ago
  4. 55f7bcb Fix regression in handling sizeof(void) in the static analyzer. by Ted Kremenek · 16 years ago
  5. 2ef9372 I think we should getRValueType here. The lvaluetype of an array region is 'pointer to array'. by Zhongxing Xu · 16 years ago
  6. 6eddeb1 MemRegion: by Ted Kremenek · 16 years ago
  7. abb042f A series of cleanups/fixes motivated by <rdar://problem/6442306>: by Ted Kremenek · 16 years ago
  8. e267ff3 Address some comments on the name lookup/DeclContext patch from Chris by Douglas Gregor · 16 years ago
  9. 44b4321 Unifies the name-lookup mechanisms used in various parts of the AST by Douglas Gregor · 16 years ago
  10. c545862 Identify AnonPointeeRegion by the symbol that is concretized. by Zhongxing Xu · 16 years ago
  11. 3bb662a AnonPointeeRegions are now identified by the MemRegion of the pointer pointing by Zhongxing Xu · 16 years ago
  12. 1d6c14b Fix to BasicStoreManager::getElementLValue: If the base region is a symbol, layer an AnonTypedRegion on top of it. by Ted Kremenek · 16 years ago
  13. 7d71b29 Have BasicStoreManager::getLValueElement() have logic similar to BasicStoreManager::getLValueField() (i.e., don't just return the 'base' as the SVal) by Ted Kremenek · 16 years ago
  14. bbfd07a In GRExprEngine treat @throw as an 'abort' that ends the current path. This is a temporary solution. by Ted Kremenek · 16 years ago
  15. 2fdf555 Add utility method. Remove an unused method. by Zhongxing Xu · 16 years ago
  16. 159d248 [static analyzer] Extend VLA size checking to look for undefined sizes. by Ted Kremenek · 16 years ago
  17. e0dbda1 Fixed LiveVariables bug where we didn't consider block-level expressions that functioned as the size of a VLA to be live. by Ted Kremenek · 16 years ago
  18. efd5994 Add checking for zero-sized VLAs. by Ted Kremenek · 16 years ago
  19. 2c61566 'self.myIvar = nil' (properties) only releases myIvar when the property has kind 'assign'. This fixes <rdar://problem/6380411>. by Ted Kremenek · 16 years ago
  20. 759623e Add bandaid transfer function support for assignments involving ObjCKVCRefExpr. by Ted Kremenek · 16 years ago
  21. 562731e Add SymbolRef::print() and have SymbolicRegion::print() use this method instead of calling SymbolRef::getNumber(). by Ted Kremenek · 16 years ago
  22. 6d0e2d2 Use trait-based profiling of SymbolRefs, avoiding calling getNumber() (which will soon be removed). by Ted Kremenek · 16 years ago
  23. 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 16 years ago
  24. f3d4162 Remove SymbolDataContentsOf (unused). by Ted Kremenek · 16 years ago
  25. 2ed14be StoreManager::Retrieve and StoreManager::RemoveDeadBindings now take a GRState* argument instead of a Store. This allows them to use the GDM for storing other data. by Ted Kremenek · 16 years ago
  26. c48ea6e Revamp RegionStoreManager::RemoveDeadBindings. This method now does a complete mark-and-sweep of the store, removing dead regions and recording the set of live and dead symbols appropriately. by Ted Kremenek · 16 years ago
  27. de63bdc Update comment. by Ted Kremenek · 16 years ago
  28. 0b242ec Add comments. by Zhongxing Xu · 16 years ago
  29. d7ff487 BasicConstraintManager: by Ted Kremenek · 16 years ago
  30. 73abd13 BasicConstraintManager: by Ted Kremenek · 16 years ago
  31. 5003861 Make RegionStoreManager::InitializeArray safe against array sizes that don't have pointer width. by Sebastian Redl · 16 years ago
  32. 04f9d46 Add FIXME. by Ted Kremenek · 16 years ago
  33. 6987c7b Add support for initializing array with string literal. by Zhongxing Xu · 16 years ago
  34. 0395b5d To be consistent, make the index of the ElementRegion always signed. by Zhongxing Xu · 16 years ago
  35. 96cb9fb Fix a serious bug. by Zhongxing Xu · 16 years ago
  36. d5b499d Code cleanup. No functional change. by Zhongxing Xu · 16 years ago
  37. 353cbe1 Use std::make_pair instead of std::pair's ctor. by Zhongxing Xu · 16 years ago
  38. f0bc50e Factory objects should not be temporary. It caches all objects in the set. by Zhongxing Xu · 16 years ago
  39. d548479 RegionViewMap factory is actually not used. All GDMs should use factories from by Zhongxing Xu · 16 years ago
  40. 8fd9b35 Add comments. by Zhongxing Xu · 16 years ago
  41. 22438a8 Add support for pluggable components of static analyzer. by Zhongxing Xu · 16 years ago
  42. 43d0ffd remove unused var by Nuno Lopes · 16 years ago
  43. ddee68b Fix the fix of revision 59974. Now array-struct.c passes too. by Sebastian Redl · 16 years ago
  44. e95db4f Fix crash of array bounds checking under 64-bit. by Sebastian Redl · 16 years ago
  45. a68c106 Remove FIXME comment. by Ted Kremenek · 16 years ago
  46. baf03a7 Add support for AllocaRegion extent with GDM. by Zhongxing Xu · 16 years ago
  47. 8b86273 Add utility methods. by Zhongxing Xu · 16 years ago
  48. 1ed8d4b Cleanup code with utility method. by Zhongxing Xu · 16 years ago
  49. d9d22dd Rename NamedDecl::getName() to getNameAsString(). Replace a bunch of by Chris Lattner · 16 years ago
  50. 4b89e03 Strings are NULL terminated. So the region size should plus one. by Zhongxing Xu · 16 years ago
  51. 39f34e9 Migrate some stuff from NamedDecl::getName() to by Chris Lattner · 16 years ago
  52. 077bf5e Rename Selector::getName() to Selector::getAsString(), and add by Chris Lattner · 16 years ago
  53. d0fd3b7 Add a comment about the signedness. by Zhongxing Xu · 16 years ago
  54. 6613d08 Add getSize() support for StringRegion. by Zhongxing Xu · 16 years ago
  55. 1c0c233 Add out-of-bound memory access warning report code. by Zhongxing Xu · 16 years ago
  56. 63123d8 Clean up code by using utility methods. by Zhongxing Xu · 16 years ago
  57. 32b939b remove a dead enum by Chris Lattner · 16 years ago
  58. 5daf570 New AST node to access "implicit" setter/getter using property dor syntax. by Fariborz Jahanian · 16 years ago
  59. 369f429 Remove debug code. by Zhongxing Xu · 16 years ago
  60. e8a964b Initial support for checking out of bound memory access. Only support by Zhongxing Xu · 16 years ago
  61. 5917d78 - Clean up transfer function logic for 'return' statements. by Ted Kremenek · 16 years ago
  62. c3a0599 Add support for symbolicating global structs and arrays in RegionStoreManager::getInitialStore(). by Zhongxing Xu · 16 years ago
  63. eabf776 Add SymbolData for array elements and struct fields. by Zhongxing Xu · 16 years ago
  64. f4c8396 rewrite FormatDiagnostic to be less gross and a lot more efficient. by Chris Lattner · 16 years ago
  65. ab7b32b Fix warning about RegionStoreManager::Retrieve() not always returning a value. by Ted Kremenek · 16 years ago
  66. 9b6ceb1 handle the case that the array element is of structure type when bind the whole array to a single value (for example, UnknownVal, UndefinedVal). by Zhongxing Xu · 16 years ago
  67. 0a14eee This reworks some of the Diagnostic interfaces a bit to change how diagnostics by Chris Lattner · 16 years ago
  68. 470e5fc eliminate dependence of strange "Diagnostic::Report" method, by Chris Lattner · 16 years ago
  69. 2383b7f Change the diagnostics interface to take an array of pointers to by Chris Lattner · 16 years ago
  70. e837f93 cleanups and simplifications. by Chris Lattner · 16 years ago
  71. 34265e7 Fold assertion into second valid else branch. This removes a compiler warning by Ted Kremenek · 16 years ago
  72. cb529b5 Enhance modularization: return a <state,loc> pair to let GRExprEngine modify the by Zhongxing Xu · 16 years ago
  73. dc0a25d Enhances SCA to process untyped region to typed region conversion. by Zhongxing Xu · 16 years ago
  74. 0adfbf6 Use the allocator of ExplodedGraph. The whole static analysis module uses it. by Zhongxing Xu · 16 years ago
  75. a09300a Improve zero value generation. by Zhongxing Xu · 16 years ago
  76. 0fb7c61 Reduce permissiveness of assertion. by Ted Kremenek · 16 years ago
  77. 60595da Reverted part of r59335: http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20081110/009243.html by Ted Kremenek · 16 years ago
  78. 5631a73 Re-enable an assertion that I mistakenly removed. by Ted Kremenek · 16 years ago
  79. d291c8c Use the correct QualType when creating the '0' constant. by Ted Kremenek · 16 years ago
  80. e04a5cb Implement FIXME in GRExprEngine::VisitUnaryOperator() to handle implicit conversions caused by the '!' operator. This required adding some logic to GRSimpleVals to reason about nonloc::LocAsInteger SVals. This code appears to work fine, but it should eventually be cleaned up. by Ted Kremenek · 16 years ago
  81. 96cbfd4 Flush llvm::errs() when printing out SVals. by Ted Kremenek · 16 years ago
  82. 06529ae Minor tweaks to liveness analysis: by Ted Kremenek · 16 years ago
  83. 06fb99f Second attempt at implementation transfer function support for ObjCForCollectionStmt. We now assume that the 'element' expression can be any lvalue. by Ted Kremenek · 16 years ago
  84. c2813f7 Flow-sensitive uninitialized values analysis: properly handle the 'element' expression of ObjCForCollectionStmt (can be anything). by Ted Kremenek · 16 years ago
  85. b460980 Add a new expression node, CXXOperatorCallExpr, which expresses a by Douglas Gregor · 16 years ago
  86. 37d682a Improve comments. by Zhongxing Xu · 16 years ago
  87. 8f64600 Handle the case where 'element' in ObjCforCollectionstmt is not a DeclStmt or DeclRefExpr. by Ted Kremenek · 16 years ago
  88. 8d798c7 Rename header file. Update include files. by Ted Kremenek · 16 years ago
  89. 82bd99f - Revert r59229 and r59232: AllocRegion should be immutable. by Ted Kremenek · 16 years ago
  90. e4d1393 Process array base expression of any type. by Zhongxing Xu · 16 years ago
  91. cc0d0ec Array index might be unsigned. We have to generate a temporary signed value for by Zhongxing Xu · 16 years ago
  92. a4f28ff Incomplete struct pointer can be used as a function argument. by Zhongxing Xu · 16 years ago
  93. 6d82f9d Lift the pointer to alloca'ed region to the pointer to its first element. by Zhongxing Xu · 16 years ago
  94. 56af977 Change AllocaRegion to subclass TypedRegion. We need to know ElementRegion's by Zhongxing Xu · 16 years ago
  95. 062e2f9 GRExprEngine/CFRefCount/GRSimpleVals: We don't do any special handling (yet) of vector types. Add explicit checks that when we process integers that they really are scalars. by Ted Kremenek · 16 years ago
  96. f8cce1d Fix uninitialized variable. by Ted Kremenek · 16 years ago
  97. 76dba7b GRExprEngine::VisitInitListExpr: by Ted Kremenek · 16 years ago
  98. bfcb712 Update CFGStmtVisitor to recognize that ObjCForCollectionStmts are special block-level "expressions". by Ted Kremenek · 16 years ago
  99. 116ed0a Shore up transfer function for ObjCForCollectionStmt. by Ted Kremenek · 16 years ago
  100. 8ded8d8 Use Stmt* instead of Expr* for block-level expression. by Ted Kremenek · 16 years ago