Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 78d5b5e738c81b596f20205437120d5f3d7c5d9e / lib / Analysis / GRSimpleVals.cpp
  1. 78d5b5e Do not invalidate unboundable regions in GRSimpleVals::EvalCall(). by Zhongxing Xu · 16 years ago
  2. 262fd03 * API change: we need to pass GRState to GRExprEngine::EvalBinOp() because by Zhongxing Xu · 16 years ago
  3. 25258f8 Fix <rdar://problem/6845148>. Signed integers compared against pointers should by Ted Kremenek · 16 years ago
  4. 65d80fd Fix false positive null dereference by unifying code paths in GRSimpleVals for by Ted Kremenek · 16 years ago
  5. 5fa93d5 Add corner case logic to BasicStoreManager and GRSimpleVals::EvalBinOp to enable by Ted Kremenek · 16 years ago
  6. 5cbe5f9 Remove loc::FuncVal. by Zhongxing Xu · 16 years ago
  7. fc3388d Move a few more NonLoc static functions to ValueManager. by Ted Kremenek · 16 years ago
  8. 3330dcb Finally nuke loc::SymbolVal. by Zhongxing Xu · 16 years ago
  9. 8d7f548 - Move ownership of MemRegionManager into ValueManager. by Ted Kremenek · 16 years ago
  10. c565b63 stop using loc::SymbolVal and clean up code with new API. by Zhongxing Xu · 16 years ago
  11. 021887e clean up code with new API. by Zhongxing Xu · 16 years ago
  12. 2a8d6b0 Fix regression in pointer comparison with NULL (e.g., 0 != ptr). This fixes by Ted Kremenek · 16 years ago
  13. 4b8f99b Simplify some code. No functionality change. by Zhongxing Xu · 16 years ago
  14. e0e4ebf analyzer infrastructure: make a bunch of changes to symbolic expressions that by Ted Kremenek · 16 years ago
  15. a129eb9 This patch adds two more SymbolData subclasses: SymIntExpr and SymSymExpr, for by Zhongxing Xu · 16 years ago
  16. 214c6cb Teach GRSimpleVals::EvalNE and GRSimplVals::EvalEQ about TypedRegionViews and by Ted Kremenek · 16 years ago
  17. 94aa6c1 Initial support for pointer arithmetic. Only support concrete indexes and by Zhongxing Xu · 16 years ago
  18. 3f34d80 Fix a crash in GRSimpleVals::EvalCast due not handling transparent unions. by Ted Kremenek · 17 years ago
  19. 2dabd43 Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the representation of symbolic values. by Ted Kremenek · 17 years ago
  20. 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 · 17 years ago
  21. 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 · 17 years ago
  22. 8cd5aae Rename: by Zhongxing Xu · 17 years ago
  23. d03eea0 Only loc::MemRegionVal can be modified. This avoids crashing in RegionStore when a function pointer is used as an argument. by Zhongxing Xu · 17 years ago
  24. 197fa58 Remove loc::StringLiteralVal. Now we allocate regions for string literals in the Store. by Zhongxing Xu · 17 years ago
  25. 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 · 17 years ago
  26. 1c96b24 This patch did the following renaming. There should be no functional changes. by Zhongxing Xu · 17 years ago
  27. d9bc33e Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regions. by Ted Kremenek · 17 years ago
  28. 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 · 17 years ago
  29. 2675875 When we have a binary expression 'int operator symbol', properly rewrite this as by Ted Kremenek · 17 years ago
  30. 4adc81e Rename ValueState -> GRState. Rename ValueStateManager -> GRStateManager. by Ted Kremenek · 17 years ago
  31. 78d4624 Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GRExprEngineInternalChecks.cpp. by Ted Kremenek · 17 years ago
  32. 584def7 Added path-sensitive checking for null pointer values passed to function arguments marked nonnull. by Ted Kremenek · 17 years ago
  33. 40fc5c7 Fix regression by explicitly checking if we are negating a SymIntConstantVal. by Ted Kremenek · 17 years ago
  34. 1e38f85 Improve path-sensitivity when using the logical not operator. by Ted Kremenek · 17 years ago
  35. ad8329e Renamed deterministic EvalBinOp to DetermEvalBinOpNN. This name mangling is unfortunately needed because virtual methods with the same name can be hidden by subclasses. by Ted Kremenek · 17 years ago
  36. 6297a8e Created ValueStateSet class to manage the creation of multiple states by a method. by Ted Kremenek · 17 years ago
  37. cd512dc Fix regression introduced by http://lists.cs.uiuc.edu/pipermail/cfe-commits/Week-of-Mon-20080714/006514.html. by Ted Kremenek · 17 years ago
  38. f496ee1 Fix transfer function logic in GRSimpleVals for integer casts: only support casts from integers to integers. by Ted Kremenek · 17 years ago
  39. bdb435d Refactored auditor interface within GRExprEngine and GRCoreEngine to use a "batch auditor" to dispatch to specialized auditors instead of having a separate vector for each audited Expr*. This not only provides a much cleaner implementation, but also allows us to install auditors for any expression. by Ted Kremenek · 17 years ago
  40. 4323a57 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 17 years ago
  41. e207558 Unify the code path for the Dead Stores checker to always use the BugReporter interface. by Ted Kremenek · 17 years ago
  42. c095997 Refactored some of the BugReporter interface so that data such as the ASTContext&, PathDiagnosticClient*, can be provided by an external source. by Ted Kremenek · 17 years ago
  43. 04bc876 Added a simple static analysis check to look for improper uses of CFCreateNumber. by Ted Kremenek · 17 years ago
  44. 666de3b Support StringLiteralVal when comparing LVal types. by Ted Kremenek · 17 years ago
  45. 0e470a5 Rename IsPointerType to LVal::IsLValType, and update CFRefCount::EvalSummary to use IsLValType when conjuring symbols for return values (this fixes a bug with an assertion firing in the analyzer when two qualified objective-c types were compared). by Ted Kremenek · 17 years ago
  46. 5c454ab When reporting branch conditions that evaluate to an uninitialized value, by Ted Kremenek · 17 years ago
  47. e8c2bde Support implicit casts from pointers to references. by Ted Kremenek · 17 years ago
  48. c0c3f5d Teach more of the static analyzer about ObjCQualifiedIdType. by Ted Kremenek · 17 years ago
  49. c3b7f0e Handle lval::ArrayOffset and lval::FieldOffset in EvalNE and EvalEQ. by Ted Kremenek · 17 years ago
  50. 186350f Fixed: <rdar://problem/5881148> by Ted Kremenek · 17 years ago
  51. a548846 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 17 years ago
  52. 95cc1ba Generalize caching mechanism for bugs reports. Now individual BugTypes by Ted Kremenek · 17 years ago
  53. 75840e1 Simplified internal logic of BugReporter, consolidating EmitWarning and by Ted Kremenek · 17 years ago
  54. e695e1c Added some comments to GRExprEngine. Reorder some of the method definitions by Ted Kremenek · 17 years ago
  55. afe1091 Fix a compiler error on MSVC (variable name 'E' clash). by Argyrios Kyrtzidis · 17 years ago
  56. d2f642b Hooked up the dead-store checker to the BugReporter interface. Now dead-store by Ted Kremenek · 17 years ago
  57. d71ed26 Refactored all logic to run the GRSimpleVals and CFRef checker into a common by Ted Kremenek · 17 years ago
  58. 4d35dac Fixed regressions in error reporting due to copy-paste errors (using the "begin" by Ted Kremenek · 17 years ago
  59. 50a6d0c Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter. by Ted Kremenek · 17 years ago
  60. 3ae30f8 templates can't be static. by Chris Lattner · 17 years ago
  61. a2fdbf5 Better range highlight for undefined-argument checks. by Ted Kremenek · 17 years ago
  62. a7bf7e7 When reporting "bad receiver" warnings, highlight the receiver. by Ted Kremenek · 17 years ago
  63. f1ae705 Hooked up GRSimpleAPICheck and the simple Objective-C Foundation checks to use by Ted Kremenek · 17 years ago
  64. 61f3e05 Created new path-sensitive bug-reporting scheme based on the classes by Ted Kremenek · 17 years ago
  65. 07b39fc 80 col violation by Ted Kremenek · 17 years ago
  66. 87abc03 Added more PathDiagnostic rendering for terminators: switch, goto, loops. by Ted Kremenek · 17 years ago
  67. 3cc9fdc Shorted bug-description. by Ted Kremenek · 17 years ago
  68. 423a3c9 simplify some code by using PointerLikeType. by Chris Lattner · 17 years ago
  69. dd59811 Beginning of some cleanups; start generating path diagnostics using objects by Ted Kremenek · 17 years ago
  70. 503d613 Added initial hacked support for display path diagnostics with by Ted Kremenek · 17 years ago
  71. a6fb4e0 Patch by Argiris Kirtzidis: Fix a dangling pointer error! by Ted Kremenek · 17 years ago
  72. 6bb205c Do not prepend the keyword "[CHECKER]" to checker messages when using by Ted Kremenek · 17 years ago
  73. 5297e5f Include ranges in GRSimpleVals diagnostics. by Ted Kremenek · 17 years ago
  74. 4dc41cc Inlined clang/Analysis/Analyses/GRSimpleVals.h into LocalCheckers.h and removed by Ted Kremenek · 17 years ago
  75. 02737ed Added path-sensitive check for return statements that return the address by Ted Kremenek · 17 years ago
  76. e5d5c20 Hooked up initial NSString interface checking to GRSimpleVals. by Ted Kremenek · 17 years ago
  77. 5275561 Add creation of BasicObjCFoundationChecks when running GRSimpleVals from the driver. by Ted Kremenek · 17 years ago
  78. dbfe41a GRSimple analysis now outputs additional diagnostic warnings about by Ted Kremenek · 17 years ago
  79. 0e561a3 Rename "Nodify" to "MakeNode" by Ted Kremenek · 17 years ago
  80. bda0b62 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 17 years ago[Renamed from Analysis/GRSimpleVals.cpp]
  81. d9d1cbf Added initialization to ErrorDiag to silence gcc's warning of the variable by Ted Kremenek · 17 years ago
  82. 1b9df4c Emit warnings for undefined control-flow. by Ted Kremenek · 17 years ago
  83. 63bbe53 Path-sensitive analyses no longer take a FunctionDecl, but any Decl representing by Ted Kremenek · 17 years ago
  84. 361fa8e Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be created for any expression, not just CallExprs. by Ted Kremenek · 17 years ago
  85. f923a91 In GRSimpleVals, added the generation of symbolic values for the return values by Ted Kremenek · 17 years ago
  86. 7ec07fd Improved ExplodedGraph::Trim to only show nodes reachable from a reverse BFS by Ted Kremenek · 17 years ago
  87. 00a3a5f Prototype (pre-alpha) implementation of CFRef checker. by Ted Kremenek · 17 years ago
  88. 8ce68d2 Fix "error: explicit template specialization cannot have a storage class" by Chris Lattner · 17 years ago
  89. dfbc957 Increased worklist limit for GRSimpleVals. by Ted Kremenek · 17 years ago
  90. ffe0f43 Added --trim-path-graph to the driver to trim paths from the ExplodedGraph by Ted Kremenek · 17 years ago
  91. 240f1f0 Renamed ValueManager to BasicValueFactory. by Ted Kremenek · 17 years ago
  92. 4d839b4 Refined divide-by-zero checking to distinguish between must and may by Ted Kremenek · 17 years ago
  93. 843e934 fix typos by Gabor Greif · 17 years ago
  94. 98be494 remove the source location arguments to various target query methods. by Chris Lattner · 17 years ago
  95. 330dddd Plug-in transfer function "EvalCall" now takes as an argument the current by Ted Kremenek · 17 years ago
  96. 65cfb73 Added preliminary transfer function support for references. by Ted Kremenek · 17 years ago
  97. 1e80aa4 Enhanced pretty-printing of undefined-argument errors. by Ted Kremenek · 17 years ago
  98. 2ded35a Added extra check for calls to functions where we pass undefined values by Ted Kremenek · 17 years ago
  99. 5e03fcb Add checks for function calls via a function pointer that is NULL, Undefined, by Ted Kremenek · 17 years ago
  100. 5c61e7a Added simple hack to reduce redundant warnings from the checker: by Ted Kremenek · 17 years ago