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