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