Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / f69fcaeb3843297757251a19f0a6f5bbffed7f32 / lib / Analysis / GRExprEngine.cpp
  1. 16f0049 split ObjC and C++ Statements out into their own headers. by Chris Lattner · 16 years ago
  2. b3cfd58 Fix PR 4033: the analyzer shouldn't crash on computed gotos involving symbolic by Ted Kremenek · 16 years ago
  3. 868210e Fix crash reported in PR 3991. The analyzer doesn't reason about ObjCKVCExpr. by Ted Kremenek · 16 years ago
  4. af48fdd Fix: <rdar://problem/6777209> false Dereference of null pointer in loop: pointer increment/decrement preserves non-nullness by Ted Kremenek · 16 years ago
  5. 369f447 get a CodeTextRegion when visiting FunctionDecl reference. by Zhongxing Xu · 16 years ago
  6. b3bf76f Add analyzer support for objc_atomicCompareAndSwap() by Ted Kremenek · 16 years ago
  7. 1670e40 Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" by Ted Kremenek · 16 years ago
  8. 3330dcb Finally nuke loc::SymbolVal. by Zhongxing Xu · 16 years ago
  9. 52e5602 Fix: <rdar://problem/6776949> Branch condition evaluates to an uninitialized value (argc is guaranteed to be >= 1) by Ted Kremenek · 16 years ago
  10. b725232 Implement attribute "analyzer_noreturn" (<rdar://problem/6777003>). This allows by Ted Kremenek · 16 years ago
  11. 8d7f548 - Move ownership of MemRegionManager into ValueManager. by Ted Kremenek · 16 years ago
  12. 8e5fb28 Remove SVal::MakeZero and replace it with ValueManager::makeZeroVal. by Ted Kremenek · 16 years ago
  13. caf8ce1 clean up code with new API. by Zhongxing Xu · 16 years ago
  14. 9cafcd5 clean up code with new API. by Zhongxing Xu · 16 years ago
  15. cfe2991 clean up code with new API. by Zhongxing Xu · 16 years ago
  16. ea7c5ce stop using loc::SymbolVal. by Zhongxing Xu · 16 years ago
  17. f8769c8 Fix a null pointer dereference error due to state caching in a loop involving by Ted Kremenek · 16 years ago
  18. 867418f Create a symbolic region instead of a loc::SymbolVal. This is a continued step by Zhongxing Xu · 16 years ago
  19. fe630b9 GRExprEngine: Don't try to reason about the size of 'void' for the return type by Ted Kremenek · 16 years ago
  20. e644939 Fix another regression introduced by changes to the analyzer's reasoning about by Ted Kremenek · 16 years ago
  21. e8dbf06 Refactor/cleanup reasoning of nil receivers in message expressions. by Ted Kremenek · 16 years ago
  22. da9ae60 Enhance analyzer reasoning about sending messages to nil. A nil receiver returns 0 for scalars of size <= sizeof(void*). by Ted Kremenek · 16 years ago
  23. 899b3de New static analyzer check by Nikita Zhuk! by Ted Kremenek · 16 years ago
  24. a1718c7 This is the first step to gradually remove the use of loc::SymbolVal. Now by Zhongxing Xu · 16 years ago
  25. b930d7a Fix: <rdar://problem/6740387>. Sending nil to an object that returns a struct by Ted Kremenek · 16 years ago
  26. 536aa02 Add version of GRExprEngine::AddCheck that registered a GRSimpleAPICheck that by Ted Kremenek · 16 years ago
  27. f1d537f Implement a FIXME. by Zhongxing Xu · 16 years ago
  28. 7e24e82 rename some methods. by Chris Lattner · 16 years ago
  29. ab3a852 Change compound assignment operators to keep track of both the promoted by Eli Friedman · 16 years ago
  30. e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 16 years ago
  31. bb9b271 GRExprEngine: by Ted Kremenek · 16 years ago
  32. 7237459 Fix PR 3836 by eagerly assuming symbolic constraints returned by unary '!'. by Ted Kremenek · 16 years ago
  33. 6ae8a36 Add a hack in the analyzer to recover some path-sensitivity at branch by Ted Kremenek · 16 years ago
  34. 21028dd GRExprEngine::ProcessBranch: Don't register a "pretty-stack printer" when the Condition is null. by Ted Kremenek · 16 years ago
  35. 0bed8a1 GRExprEngine: Add pretty-stack trace printing for crashes and assertion failures. by Ted Kremenek · 16 years ago
  36. 276c6ac GRExprEngine: For places we might conjure up a new symbol to recover by Ted Kremenek · 16 years ago
  37. 940abcc Use the BugReports in BugReporter to determine the root nodes for "trim-egraph". by Ted Kremenek · 16 years ago
  38. fda79d1 Remove some dead spacing. No functionality change. by Ted Kremenek · 16 years ago
  39. 5c42f9b Fix another GRExprEngine::VisitCast regression: handle casts of void* to function pointers. by Ted Kremenek · 16 years ago
  40. c530291 Fix regression in GRExprEngine::VisitCast: Do not wrap symbolic function pointers with TypedViewRegions. by Ted Kremenek · 16 years ago
  41. ac78d6b Add 'cast<>' to remove an extra function call and dynamic cast. by Ted Kremenek · 16 years ago
  42. e121da4 More fixes in cast logic. by Ted Kremenek · 16 years ago
  43. efcfcc0 GRExprEngine: Polish up handling of casting integer constants to pointers and back. by Ted Kremenek · 16 years ago
  44. 16aac32 Fix regression in transparent translation of nonloc::ConcreteInto to loc::ConcreteInt. by Ted Kremenek · 16 years ago
  45. a4cb9d3 GRExprEngine::VisitCast: Just pass through function and block pointers. by Ted Kremenek · 16 years ago
  46. dc40290 Create "TypedViewRegions" that layer on top of SymbolicRegions when handling by Ted Kremenek · 16 years ago
  47. f5cae63 Revert 65707 (causes stack memory to be referenced after it is released). by Ted Kremenek · 16 years ago
  48. 56627e6 remove static ctor. by Chris Lattner · 16 years ago
  49. 161d36d improve compatibility with the VC++'08 C++ compiler. Patch by Niklas Larsson! by Chris Lattner · 16 years ago
  50. 72564e7 Create a new TypeNodes.def file that enumerates all of the types, by Douglas Gregor · 16 years ago
  51. b293902 Fix subtle bug in EvalEagerlyAssume: Check if the previous node was at the same statement. by Ted Kremenek · 16 years ago
  52. 48af2a9 Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handle by Ted Kremenek · 16 years ago
  53. 265a305 Fix <rdar://problem/6611677>: Add basic transfer function support in the static by Ted Kremenek · 16 years ago
  54. 21fe837 Implemented simple check in <rdar://problem/6600344>: When the receiver of a by Ted Kremenek · 16 years ago
  55. 40bbff0 Add panic function. by Ted Kremenek · 16 years ago
  56. 29ba6b4 Add '_assert' to list of known panic functions. by Ted Kremenek · 16 years ago
  57. 3c385e5 Add hook to add attributes to function declarations that we know by Douglas Gregor · 16 years ago
  58. a3d1eb8 GRExprEngine: Handle empty statement expressions. by Ted Kremenek · 16 years ago
  59. 5b8d901 Use GRTransferFuncs::EvalBind when processing variable initializations. by Ted Kremenek · 16 years ago
  60. 41573eb Static analyzer: by Ted Kremenek · 16 years ago
  61. 3e41d60 Implicitly declare certain C library functions (malloc, strcpy, memmove, by Douglas Gregor · 16 years ago
  62. a8538d9 GRExprEngine: by Ted Kremenek · 16 years ago
  63. cad2996 GRExprEngine: When processing compound assignments, do a switch table lookup to get the non-compound opcode from the compound opcode instead of relying on the order of BinaryOperator::opcode values. This unbreaks the misc-ps.c test. by Ted Kremenek · 16 years ago
  64. cf118d4 Overhaul BugReporter interface and implementation. The new interface cleans up by Ted Kremenek · 16 years ago
  65. 97c4d47 Remove dead code. by Zhongxing Xu · 16 years ago
  66. 7da5aea make SM::getColumnNumber take a predecomposed FileID/offset, which by Chris Lattner · 16 years ago
  67. 1e2b1fc Move method out-of-line. by Ted Kremenek · 16 years ago
  68. d7eb846 Switch Type::isAggregateType to use the C++ definition of "aggregate by Douglas Gregor · 16 years ago
  69. 241677a Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object called "SymbolReaper". Right now it just consolidates the two and cleans up some client code, but shortly it will be used to enable "lazy computation" of live symbols for use with RegionStore. by Ted Kremenek · 16 years ago
  70. 4afa39d Remove ScopedDecl, collapsing all of its functionality into Decl, so by Douglas Gregor · 16 years ago
  71. 72afb37 Fix analyzer crash found when scanning Wine sources where the analyzer used old logic to determine the value of a switch 'case' label. by Ted Kremenek · 16 years ago
  72. e1c2a67 static analyzer: Handle casts from arrays to integers. This fixes PR 3297. by Ted Kremenek · 16 years ago
  73. 1a49af9 Add QualifiedDeclRefExpr, which retains additional source-location by Douglas Gregor · 16 years ago
  74. a5a4166 Fix initialization order. by Zhongxing Xu · 16 years ago
  75. ff944a8 Add an option to make 'RemoveDeadBindings' a configurable behavior. This enables by Zhongxing Xu · 16 years ago
  76. 86f1940 Add support for member references (E1.E2, E1->E2) with C++ semantics, by Douglas Gregor · 16 years ago
  77. 4193eca Lazy bingding for region-store manager. by Zhongxing Xu · 16 years ago
  78. 8c35475 ProgramPoint: by Ted Kremenek · 16 years ago
  79. 55f7bcb Fix regression in handling sizeof(void) in the static analyzer. by Ted Kremenek · 16 years ago
  80. 6eddeb1 MemRegion: by Ted Kremenek · 16 years ago
  81. abb042f A series of cleanups/fixes motivated by <rdar://problem/6442306>: by Ted Kremenek · 16 years ago
  82. bbfd07a In GRExprEngine treat @throw as an 'abort' that ends the current path. This is a temporary solution. by Ted Kremenek · 16 years ago
  83. 159d248 [static analyzer] Extend VLA size checking to look for undefined sizes. by Ted Kremenek · 16 years ago
  84. efd5994 Add checking for zero-sized VLAs. by Ted Kremenek · 16 years ago
  85. 759623e Add bandaid transfer function support for assignments involving ObjCKVCRefExpr. by Ted Kremenek · 16 years ago
  86. 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 16 years ago
  87. 6987c7b Add support for initializing array with string literal. by Zhongxing Xu · 16 years ago
  88. d5b499d Code cleanup. No functional change. by Zhongxing Xu · 16 years ago
  89. 22438a8 Add support for pluggable components of static analyzer. by Zhongxing Xu · 16 years ago
  90. a68c106 Remove FIXME comment. by Ted Kremenek · 16 years ago
  91. baf03a7 Add support for AllocaRegion extent with GDM. by Zhongxing Xu · 16 years ago
  92. 1ed8d4b Cleanup code with utility method. by Zhongxing Xu · 16 years ago
  93. 1c0c233 Add out-of-bound memory access warning report code. by Zhongxing Xu · 16 years ago
  94. e8a964b Initial support for checking out of bound memory access. Only support by Zhongxing Xu · 16 years ago
  95. 5917d78 - Clean up transfer function logic for 'return' statements. by Ted Kremenek · 16 years ago
  96. cb529b5 Enhance modularization: return a <state,loc> pair to let GRExprEngine modify the by Zhongxing Xu · 16 years ago
  97. dc0a25d Enhances SCA to process untyped region to typed region conversion. by Zhongxing Xu · 16 years ago
  98. 0fb7c61 Reduce permissiveness of assertion. by Ted Kremenek · 16 years ago
  99. 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
  100. 5631a73 Re-enable an assertion that I mistakenly removed. by Ted Kremenek · 16 years ago