Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 4d9985ab390079ccc8b05b6c349026f237567b8f / lib / Analysis / GRSimpleVals.cpp
  1. 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
  2. f496ee1 Fix transfer function logic in GRSimpleVals for integer casts: only support casts from integers to integers. by Ted Kremenek · 17 years ago
  3. 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
  4. 4323a57 Refactored most of the "Store" piece of ValueState into a Store type. The by Ted Kremenek · 17 years ago
  5. e207558 Unify the code path for the Dead Stores checker to always use the BugReporter interface. by Ted Kremenek · 17 years ago
  6. 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
  7. 04bc876 Added a simple static analysis check to look for improper uses of CFCreateNumber. by Ted Kremenek · 17 years ago
  8. 666de3b Support StringLiteralVal when comparing LVal types. by Ted Kremenek · 17 years ago
  9. 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
  10. 5c454ab When reporting branch conditions that evaluate to an uninitialized value, by Ted Kremenek · 17 years ago
  11. e8c2bde Support implicit casts from pointers to references. by Ted Kremenek · 17 years ago
  12. c0c3f5d Teach more of the static analyzer about ObjCQualifiedIdType. by Ted Kremenek · 17 years ago
  13. c3b7f0e Handle lval::ArrayOffset and lval::FieldOffset in EvalNE and EvalEQ. by Ted Kremenek · 17 years ago
  14. 186350f Fixed: <rdar://problem/5881148> by Ted Kremenek · 17 years ago
  15. a548846 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 17 years ago
  16. 95cc1ba Generalize caching mechanism for bugs reports. Now individual BugTypes by Ted Kremenek · 17 years ago
  17. 75840e1 Simplified internal logic of BugReporter, consolidating EmitWarning and by Ted Kremenek · 17 years ago
  18. e695e1c Added some comments to GRExprEngine. Reorder some of the method definitions by Ted Kremenek · 17 years ago
  19. afe1091 Fix a compiler error on MSVC (variable name 'E' clash). by Argyrios Kyrtzidis · 17 years ago
  20. d2f642b Hooked up the dead-store checker to the BugReporter interface. Now dead-store by Ted Kremenek · 17 years ago
  21. d71ed26 Refactored all logic to run the GRSimpleVals and CFRef checker into a common by Ted Kremenek · 17 years ago
  22. 4d35dac Fixed regressions in error reporting due to copy-paste errors (using the "begin" by Ted Kremenek · 17 years ago
  23. 50a6d0c Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter. by Ted Kremenek · 17 years ago
  24. 3ae30f8 templates can't be static. by Chris Lattner · 17 years ago
  25. a2fdbf5 Better range highlight for undefined-argument checks. by Ted Kremenek · 17 years ago
  26. a7bf7e7 When reporting "bad receiver" warnings, highlight the receiver. by Ted Kremenek · 17 years ago
  27. f1ae705 Hooked up GRSimpleAPICheck and the simple Objective-C Foundation checks to use by Ted Kremenek · 17 years ago
  28. 61f3e05 Created new path-sensitive bug-reporting scheme based on the classes by Ted Kremenek · 17 years ago
  29. 07b39fc 80 col violation by Ted Kremenek · 17 years ago
  30. 87abc03 Added more PathDiagnostic rendering for terminators: switch, goto, loops. by Ted Kremenek · 17 years ago
  31. 3cc9fdc Shorted bug-description. by Ted Kremenek · 17 years ago
  32. 423a3c9 simplify some code by using PointerLikeType. by Chris Lattner · 17 years ago
  33. dd59811 Beginning of some cleanups; start generating path diagnostics using objects by Ted Kremenek · 17 years ago
  34. 503d613 Added initial hacked support for display path diagnostics with by Ted Kremenek · 17 years ago
  35. a6fb4e0 Patch by Argiris Kirtzidis: Fix a dangling pointer error! by Ted Kremenek · 17 years ago
  36. 6bb205c Do not prepend the keyword "[CHECKER]" to checker messages when using by Ted Kremenek · 17 years ago
  37. 5297e5f Include ranges in GRSimpleVals diagnostics. by Ted Kremenek · 17 years ago
  38. 4dc41cc Inlined clang/Analysis/Analyses/GRSimpleVals.h into LocalCheckers.h and removed by Ted Kremenek · 17 years ago
  39. 02737ed Added path-sensitive check for return statements that return the address by Ted Kremenek · 17 years ago
  40. e5d5c20 Hooked up initial NSString interface checking to GRSimpleVals. by Ted Kremenek · 17 years ago
  41. 5275561 Add creation of BasicObjCFoundationChecks when running GRSimpleVals from the driver. by Ted Kremenek · 17 years ago
  42. dbfe41a GRSimple analysis now outputs additional diagnostic warnings about by Ted Kremenek · 17 years ago
  43. 0e561a3 Rename "Nodify" to "MakeNode" by Ted Kremenek · 17 years ago
  44. bda0b62 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 17 years ago[Renamed from Analysis/GRSimpleVals.cpp]
  45. d9d1cbf Added initialization to ErrorDiag to silence gcc's warning of the variable by Ted Kremenek · 17 years ago
  46. 1b9df4c Emit warnings for undefined control-flow. by Ted Kremenek · 17 years ago
  47. 63bbe53 Path-sensitive analyses no longer take a FunctionDecl, but any Decl representing by Ted Kremenek · 17 years ago
  48. 361fa8e Changed CallRetValSymbol to SymbolConjured to allow "conjured" symbols to be created for any expression, not just CallExprs. by Ted Kremenek · 17 years ago
  49. f923a91 In GRSimpleVals, added the generation of symbolic values for the return values by Ted Kremenek · 17 years ago
  50. 7ec07fd Improved ExplodedGraph::Trim to only show nodes reachable from a reverse BFS by Ted Kremenek · 17 years ago
  51. 00a3a5f Prototype (pre-alpha) implementation of CFRef checker. by Ted Kremenek · 17 years ago
  52. 8ce68d2 Fix "error: explicit template specialization cannot have a storage class" by Chris Lattner · 17 years ago
  53. dfbc957 Increased worklist limit for GRSimpleVals. by Ted Kremenek · 17 years ago
  54. ffe0f43 Added --trim-path-graph to the driver to trim paths from the ExplodedGraph by Ted Kremenek · 17 years ago
  55. 240f1f0 Renamed ValueManager to BasicValueFactory. by Ted Kremenek · 17 years ago
  56. 4d839b4 Refined divide-by-zero checking to distinguish between must and may by Ted Kremenek · 17 years ago
  57. 843e934 fix typos by Gabor Greif · 17 years ago
  58. 98be494 remove the source location arguments to various target query methods. by Chris Lattner · 17 years ago
  59. 330dddd Plug-in transfer function "EvalCall" now takes as an argument the current by Ted Kremenek · 17 years ago
  60. 65cfb73 Added preliminary transfer function support for references. by Ted Kremenek · 17 years ago
  61. 1e80aa4 Enhanced pretty-printing of undefined-argument errors. by Ted Kremenek · 17 years ago
  62. 2ded35a Added extra check for calls to functions where we pass undefined values by Ted Kremenek · 17 years ago
  63. 5e03fcb Add checks for function calls via a function pointer that is NULL, Undefined, by Ted Kremenek · 17 years ago
  64. 5c61e7a Added simple hack to reduce redundant warnings from the checker: by Ted Kremenek · 17 years ago
  65. 8cc13ea Added checking for undefined results of '<<' and '>>' (shifting by too many bits, etc.) by Ted Kremenek · 17 years ago
  66. aed9b6a Merged ValueState and ValueStateImpl into just ValueState, with GRExprEngine::StateTy just becoming ValueState*. by Ted Kremenek · 17 years ago
  67. 4a4e524 Renamed "Uninitialized" -> "Undefined" in path-sensitive value tracking engine. by Ted Kremenek · 17 years ago
  68. 2bebc40 Fixed use of an uninitialized variable. by Ted Kremenek · 17 years ago
  69. 5c06121 Added string "[CHECKER]" to the output diagnostics produced by the GRSimpleVals analysis. by Ted Kremenek · 17 years ago
  70. 0f5f059 Header file cleanups: reduce number of includes; move ValueState.h into include directory tree. by Ted Kremenek · 17 years ago
  71. 0674769 Added boilerplate for plug-in transfer function support for CallExprs. by Ted Kremenek · 17 years ago
  72. d87a321 Removed static analysis-specific diagnostics from DiagnosticKinds.def. by Ted Kremenek · 17 years ago
  73. f700df2 Punt on unifying symbolic lvalues. This won't be needed for many checkers. by Ted Kremenek · 17 years ago
  74. dc3936b Added "assumption" logic for lval::FuncVal and lval::GotoLabel, and simplified by Ted Kremenek · 17 years ago
  75. 9258a64 Remove incorrect casts from UnknownVal to NonLVal. by Ted Kremenek · 17 years ago
  76. 9ef1ec9 Simplified and generalized transfer function logic for casts, allowing by Ted Kremenek · 17 years ago
  77. aa1c4e5 Major cleanup of path-sensitive analysis engine and the current analysis by Ted Kremenek · 17 years ago
  78. 90e4203 Implemented transfer function logic for unary '+' by Ted Kremenek · 17 years ago
  79. e6ea2d5 Fixed bug classof() bug with RValues that could cause an UninitializedVal by Ted Kremenek · 17 years ago
  80. 9dca062 --grsimple now reports the number of nodes in the ExplodedGraph for by Ted Kremenek · 17 years ago
  81. 692416c Added more assertions and checks in transfer function logic to check for by Ted Kremenek · 17 years ago
  82. f0c8ef0 Temporary solution to push analysis through to analyzing PCRE. by Ted Kremenek · 17 years ago
  83. 7df3d71 A couple of msvc compile fixes from the ml; I haven't tested with msvc, by Eli Friedman · 17 years ago
  84. c6fbdcd Refactored code for transfer functions for binary operators involving two LValues. by Ted Kremenek · 17 years ago
  85. b640b3b Added boilerplate transfer function support for pointer arithmetic operations. by Ted Kremenek · 18 years ago
  86. d55fe52 Added --grsimple-view option to clang driver; this is the same as by Ted Kremenek · 18 years ago
  87. 546bded Don't analyze functions when we have parse errors. by Ted Kremenek · 18 years ago
  88. e01c987 Renamed GRConstants => GRSimpleVals. by Ted Kremenek · 18 years ago
  89. 6cb0b54 Migrated transfer functions for binary operators for simple value tracking by Ted Kremenek · 18 years ago
  90. c3f261d Migrated transfer functions for unary "~" and "-" to GRTransferFuncs/GRSimpleVals. by Ted Kremenek · 18 years ago
  91. d59cccc Started partitioning of transfer function logic (and thus the policy behind by Ted Kremenek · 18 years ago