Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 24194ef08ef3816d63686e2cac6d42795a015c68 / lib / Analysis
  1. 24194ef Add a bunch of dummy methods to make RegionStoreManager non-virtual. by Zhongxing Xu · 16 years ago
  2. b1d542a Added getLValueElement() to RegionStore. Only handle constant array for now. by Zhongxing Xu · 16 years ago
  3. 95c7b00 Make the analyzer store (memory model) a command line option. by Ted Kremenek · 16 years ago
  4. e564b52 Add an assertion to make our intention more clear. by Zhongxing Xu · 16 years ago
  5. e1911af Let StoreManager do different cast on arrays. BasicStore will just keep it intact. by Zhongxing Xu · 16 years ago
  6. 896cd9d Disable warning about potential leaks of returned values until we test it a little more (lots of noise). by Ted Kremenek · 16 years ago
  7. 3ad2cc8 Warn about potentially leaked objects that are returned from methods whose names do not follow the Cocoa Memory Management guidelines. by Ted Kremenek · 16 years ago
  8. 64e859a Enhance reference-count checker to correctly identify CG "release" functions. This fixes <rdar://problem/6303488>. by Ted Kremenek · 16 years ago
  9. c4bf72c Add a bunch of getLValue* methods to RegionStore. by Zhongxing Xu · 16 years ago
  10. c92e5fe Adjust parameter order to more natural one. by Zhongxing Xu · 16 years ago
  11. ed340f7 Exprs of function type is another special case for ImplicitCast. by Zhongxing Xu · 16 years ago
  12. 0944ccc When conjuring symbols for compound assignments, use the promoted type to determine if the symbolic value as a "loc::" or "nonloc::" value. by Ted Kremenek · 16 years ago
  13. 0165b0c Cosmetic patch from João Paulo Rechi Vita by Douglas Gregor · 16 years ago
  14. 8e9bebd Preliminary support for function overloading by Douglas Gregor · 16 years ago
  15. 6d34893 Handle [NSAutoreleasePool addObject:] (an alternative way to add objects to the current autorelease pool). by Ted Kremenek · 16 years ago
  16. 933c3e1 Localize the special processing of array variable inside by Zhongxing Xu · 16 years ago
  17. 8485ec6 Modify Store interface: GetSVal/SetSVal => Retrieve/Bind. by Zhongxing Xu · 16 years ago
  18. 22ab7a4 Rename: RValues.h/cpp => SVals.h/cpp by Zhongxing Xu · 16 years ago
  19. 53bcdd4 Process decls in RegionStore. Individual elements of fixed size arrays are by Zhongxing Xu · 16 years ago
  20. 511191c Add ElementRegion to represent memory chunks for array elements. by Zhongxing Xu · 16 years ago
  21. c13b6e2 Further improve path-sensitivity with divide-by-zero checking by assuming that a denominator cannot be zero even when the result of an '/' or '%' expression is unknown. by Ted Kremenek · 16 years ago
  22. 9ff267d Used conjured symbols to recover path-sensitivity when the result of a compound assignment is UnknownVal(). by Ted Kremenek · 16 years ago
  23. 6dfe2f5 Add support in GRExprEngine for UnaryOperator::AlignOf. This fixes one crash report in PR 2796. by Ted Kremenek · 16 years ago
  24. f8cd1b2 Generalize VisitLValue: not only can CallExprs and ObjCMessageExprs return aggregate temporaries, so can many other expressions. by Ted Kremenek · 16 years ago
  25. c7df6d2 Function calls and ObjC message expressions can be used in a lvalue context if they return a structure. E.g foo().x == 1. We don't really support, however, such temporaries yet in the environment or the store. by Ted Kremenek · 16 years ago
  26. a496d16 retain/release checker: Check if a tracked value escapes if we also try binding it to the store and the store doesn't support that binding (i.e., it cannot track it). This has the nice feature that the checker will automatically get more powerful if we use a more powerful store model. by Ted Kremenek · 16 years ago
  27. 5c456fe Use "VisitLValue" when processing the base for "x.f" field accesses, and "Visit" when processing the base for "x->f" field accesses. by Ted Kremenek · 16 years ago
  28. 134e749 Hack: have BasicStore::getLValueElement return the "Base" lvalue. This restores null dereference checking with array accesses. by Ted Kremenek · 16 years ago
  29. fd30194 When conjuring symbols to recover path-sensitivity, don't conjure symbols that represent an entire struct. We need to implement struct temporaries as an actual "region", and then bind symbols to the FieldRegion of those temporaries. by Ted Kremenek · 16 years ago
  30. c523471 Enhance "Assumption" logic in BasicConstraintManager when reasoning about regions and symbolic regions. When assuming whether or not a location is non-null, walk up the region hierarchy until we hit a symbolic region (and test it for null). This may not be the end all solution, as the notion of what a "symbolic region" is really belongs in the specific subclass of StoreManager. by Ted Kremenek · 16 years ago
  31. 4bd1eef Add pretty-printing support for FieldRegions. by Ted Kremenek · 16 years ago
  32. bf4e419 Fixed an elusive caching bug in ExplodedGraph construction when a PostStmtKind was used instead of a PostStoreKind. by Ted Kremenek · 16 years ago
  33. 993f1c7 - constify some uses of MemRegion* (MemRegion should be immutable). by Ted Kremenek · 16 years ago
  34. b6b81d1 "Implement" GRExprEngine::VisitLValue for ObjCPropertyRefExpr. This is only a bandid; we need to properly handle properties by using locv/nonloc objects and specially handling property assignments in the transfer function for BinaryOperator. by Ted Kremenek · 16 years ago
  35. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 16 years ago
  36. a758173 Get array's lvalue through standard interface. by Zhongxing Xu · 16 years ago
  37. ab9f1a2 Return the corresponding MemRegionVal for both rvalue and lvalue of array of by Zhongxing Xu · 16 years ago
  38. cb3a795 Array and struct variables do have lvalue. For example, by Zhongxing Xu · 16 years ago
  39. cd162cc Remove an untrue assertion: lval::FuncVals can be returned in both rvalue and lvalue contexts. by Ted Kremenek · 16 years ago
  40. d9bc33e Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regions. by Ted Kremenek · 16 years ago
  41. 97ed4f6 Add transfer function support for ObjCIvarRefExpr. by Ted Kremenek · 16 years ago
  42. 6d69b5d This is the first step to build a better evaluation model for GRExprEngine. A by Zhongxing Xu · 16 years ago
  43. 380277e Enhance dead store checker to not flag preincrements to dead variables where the preincrement is a subexpression, e.g. foo(++x); This can cause false negatives, but will remove a whole class of false positives. by Ted Kremenek · 16 years ago
  44. a90d56e Check some cases for previous patch. Make the code more robust. by Zhongxing Xu · 16 years ago
  45. 1789275 This is the first step to implement a field-sensitive store model. Other things are simplified: no heap shape assumption, no parameter alias assumption, etc. by Zhongxing Xu · 16 years ago
  46. bb316c5 Added a function call case that generates sink nodes. by Zhongxing Xu · 16 years ago
  47. bc678fd Migrate MemRegionManager from StateManager to StoreManager. by Zhongxing Xu · 16 years ago
  48. 8369a8b Don't use DeclStmt::getDecl(); this will eventually disappear. Just fetch the first decl using the DeclStmt::decl_iterator. by Ted Kremenek · 16 years ago
  49. f21a4b4 Use DeclStmt::decl_iterator instead of using Decl::getDecl(). Soon DeclStmts will wrap group of Decls. by Ted Kremenek · 16 years ago
  50. 722c288 Fix typos. by Zhongxing Xu · 16 years ago
  51. c1d1bbf Remove redundant parameter and rename StMgr to StateMgr. by Zhongxing Xu · 16 years ago
  52. 9e24049 This is a big patch, but the functionality change is small and the rest of the patch consists of deltas due to API changes. by Ted Kremenek · 16 years ago
  53. cc9ac41 Enhance NSError** checking with analogous checking for CFErrorRef*. by Ted Kremenek · 16 years ago
  54. 8da6ca9 Use LVal::IsLValType(T) instead of checking to see if the type is an "lvalue" type directly. by Ted Kremenek · 16 years ago
  55. 60a6e0c Add a QualType to ConjuredSymbol to represent the type and size of the symbol. by Ted Kremenek · 16 years ago
  56. 5a236cb Revert last patch, but add a fixme by Ted Kremenek · 16 years ago
  57. 855cd90 Within the transfer function of UnaryOperatorExpr, handle implicit promotions by Ted Kremenek · 16 years ago
  58. 062bae0 Revert 56735. The old bug categories were more informative. by Ted Kremenek · 16 years ago
  59. 3a7d1e9 Change "leaks" to have the category "Performance". by Ted Kremenek · 16 years ago
  60. fcd06f7 Move VLA processing logic from LiveVariables to CFG construction. This way all dataflow analyses "see" the VLA size expressions. by Ted Kremenek · 16 years ago
  61. 84fa6b9 Examine VLA size expressions when computing liveness information. by Ted Kremenek · 16 years ago
  62. a05131a Change casing of bug type. by Ted Kremenek · 16 years ago
  63. b344f91 The checks in BasicObjCFoundationChecks now have a category: "API Misuse (Apple)" by Ted Kremenek · 16 years ago
  64. 0b00785 The "unused ivar" check now has a category: "Optimization" by Ted Kremenek · 16 years ago
  65. 2713347 Built-in checks now have a category: "Logic Errors" by Ted Kremenek · 16 years ago
  66. 62059e8 Add a bug category for NSError** checks. by Ted Kremenek · 16 years ago
  67. 8c036c7 Add "category" to BugTypes, allowing bugs to be grouped. by Ted Kremenek · 16 years ago
  68. 82bae3f Add PostStore, a new ProgramPoint to distinguish between 'stores' and other PostStmts. by Ted Kremenek · 16 years ago
  69. a8fe39f Bug fix: for the base transfer function logic for casts, handle const casts as just propagating the value. by Ted Kremenek · 16 years ago
  70. 0a41e5a Fixed logic error in BasicConstraintManager pointed out by Zhongxing Xu. by Ted Kremenek · 16 years ago
  71. 2675875 When we have a binary expression 'int operator symbol', properly rewrite this as by Ted Kremenek · 16 years ago
  72. 94b8312 Add an omitted case for AssumeSymInt. by Zhongxing Xu · 16 years ago
  73. f968308 Add panic function "__assert_fail". by Ted Kremenek · 16 years ago
  74. 37fc826 Register the implicit null-dereferenced object as a notable symbol. by Ted Kremenek · 16 years ago
  75. 7360fda Implement second part of PR 2600: NSError** parameter may be null, and should be checked before being dereferenced. by Ted Kremenek · 16 years ago
  76. cfdf9b4 Change implementation of NSError** coding-style check to be invoked at the end of the retain/release analysis. by Ted Kremenek · 16 years ago
  77. f45d18c Implemented one of the checks requested in PR 2600: by Ted Kremenek · 16 years ago
  78. 8c3e7fb Minor pass-sensitivity improvement: by Ted Kremenek · 16 years ago
  79. d452758 ProgramPoint now takes the space of two pointers instead of one. This change was by Ted Kremenek · 16 years ago
  80. a95d375 Patch by Csaba Hruska! by Ted Kremenek · 16 years ago
  81. c3517eb Add missing spaces in path diagnostics. by Ted Kremenek · 16 years ago
  82. 60dbad8 Store: (static analyzer) by Ted Kremenek · 16 years ago
  83. 0e194dd Add newline at end of file. by Daniel Dunbar · 16 years ago
  84. d19e21b Added LLVM comment header. by Zhongxing Xu · 16 years ago
  85. 39cfed3 Migrate the rest symbolic analysis stuff to BasicConstraintManager. by Zhongxing Xu · 16 years ago
  86. d70900b Remove dead method. by Ted Kremenek · 16 years ago
  87. 2bc39c6 Added "getBindings" and "BindingAsString" to GRStateManager and StoreManager. by Ted Kremenek · 16 years ago
  88. c0637cf Remove BasicStore.h (migrated function prototype for CreateBasicStore() to Store.h) by Ted Kremenek · 16 years ago
  89. 05d0977 Remove Regions.h and Regions.cpp, since we are now using an even more abstract representation of "memory regions" in the static analyzer. by Ted Kremenek · 16 years ago
  90. 5f81c44 Make store "Regions" and "Bindings" more abstract instead of concrete variants. by Ted Kremenek · 16 years ago
  91. 982e674 Fixed analyzer caching bug involving the transfer function for loads. by Ted Kremenek · 16 years ago
  92. e6c62e3 Fixed analyzer caching bug in DeclStmt. by Ted Kremenek · 16 years ago
  93. 05125f1 Make the destructor of ConstraintManager virtual. by Ted Kremenek · 16 years ago
  94. 30ad167 Refactor Assume logic into a separate class ConstraintManager. by Zhongxing Xu · 16 years ago
  95. 2e28754 Added "Auditor" interface for auditing the construction of ExplodedGraphs. by Ted Kremenek · 16 years ago
  96. 45b8789 Make implementation of ExplodedNodeImpl::addPredecessor out-of-line. by Ted Kremenek · 16 years ago
  97. 38a23ba Remove default value for 'Pred' argument to GRCoreEngineImpl::GenerateNode(). by Ted Kremenek · 16 years ago
  98. d0c4b28 Added 'extents' for Regions. by Ted Kremenek · 16 years ago
  99. 405674c adjust to changes in various APIs from LLVM. We can't print by Chris Lattner · 16 years ago
  100. e53c069 Simplify interface to Store::AddDecl by Ted Kremenek · 16 years ago