Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / c4385b49a77bc8d51b9ac0d58f4764695aebb96e / lib / Analysis
  1. c4385b4 Add lval::ArrayOffset, which represent the locations of entries in an array. by Ted Kremenek · 17 years ago
  2. 465f25a Added lval::FieldOffset, which represents symbolic lvalues for field offsets from other Lvalues. by Ted Kremenek · 17 years ago
  3. 5f6b442 Major rewrite/refactoring of static analysis engine. We now use by Ted Kremenek · 17 years ago
  4. e2dd957 Update typestate logic to support GC-mode. by Ted Kremenek · 17 years ago
  5. 9b0c09c Implement semantics of CFMakeCollectable for the CF-reference count checker. by Ted Kremenek · 17 years ago
  6. 102d42e Provide the option to run the CF-retain checker in GC enabled mode. by Ted Kremenek · 17 years ago
  7. a53d553 Make assertions for all addresses passed to ProgramPoint that they have at least an 8-byte alignment. by Argiris Kirtzidis · 17 years ago
  8. e90e323 Fix bug in BugReporter where we didn't handle emitting diagnostics for by Ted Kremenek · 17 years ago
  9. db47c0e Handle dereferences of function pointers (which return a handle to the function). by Ted Kremenek · 17 years ago
  10. 2d25638 Don't abort on GetRVal when the LVal is a StringLiteralVal. by Ted Kremenek · 17 years ago
  11. 3fb7296 Don't emit empty strings for path diagnostics when taking the default branch of a switch statement that has no label. by Ted Kremenek · 17 years ago
  12. ac91ce9 Do a better job at computing dead symbols. by Ted Kremenek · 17 years ago
  13. 541db37 Add preliminary support for flagging leaks around when they happen (doesn't work yet). by Ted Kremenek · 17 years ago
  14. fa7be36 More boilerplate for handling specialized-transfer function logic for dead symbols. by Ted Kremenek · 17 years ago
  15. 7487f94 Added initial boilerplate in GRExprEngine to allow checker-specific transfer by Ted Kremenek · 17 years ago
  16. ae855d4 CF reference count checker: handle variadic functions that allocate CF objects. by Ted Kremenek · 17 years ago
  17. 854b776 For case statements involving enums, BugReporter now generates PathDiagnostics by Ted Kremenek · 17 years ago
  18. 8b33566 Fix minor regression in bug report generation. by Ted Kremenek · 17 years ago
  19. b9b15bf When building PathDiagnostics for bug reports, generate a trimmed ExplodedGraph with a single path that BugReport objects can safely walk and introspect. by Ted Kremenek · 17 years ago
  20. 0a6a80b Fixed: <rdar://problem/5881148> by Ted Kremenek · 17 years ago
  21. df3aaa1 Remove false path where the default branch in a switch statement would by Ted Kremenek · 17 years ago
  22. cbdc0ed Added panic function "assfail". by Ted Kremenek · 17 years ago
  23. 47e6138 For default branches in switch statements with no default label, print out by Ted Kremenek · 17 years ago
  24. cfbc56a Rewrote VisitDeclStmt to properly handle initializers that can do anything. by Ted Kremenek · 17 years ago
  25. be62129 Added lval type (and tracking) for StringLiterals. by Ted Kremenek · 17 years ago
  26. fe1a0b1 Added "nonlval::LValAsInteger" to represent abstract LVals casted to integers, allowing us to track lvals when they are casted back to pointers. by Ted Kremenek · 17 years ago
  27. f309cf9 PathDiagnosticClients now retain ownership of passed PathDiagnostics, requiring by Ted Kremenek · 17 years ago
  28. efb4bd0 Use back() instead of end()-1 by Argiris Kirtzidis · 17 years ago
  29. 0d9ff34 Added panic function "dtrace_assfail". by Ted Kremenek · 17 years ago
  30. 23271be Hardcode "Assert" as a no-return function (panic). by Ted Kremenek · 17 years ago
  31. bb7c156 Added null-dereference check for ArraySubscriptExpr. by Ted Kremenek · 17 years ago
  32. d0d8620 Added support for detected bad dereferences involving MemberExprs, e.g. x->f where "x" is NULL. by Ted Kremenek · 17 years ago
  33. d1b6ef6 Fix improper dereference of end() iterator. Patch by Argiris Kirtzidis! by Ted Kremenek · 17 years ago
  34. bfc6cce Gracefully handle when the receiver of a message expression is not a pointer type. by Ted Kremenek · 17 years ago
  35. 5814310 Another bug fix in emitting warnings without a path: construct a unit PathDiagnostic as we did by Ted Kremenek · 17 years ago
  36. 4c94eb9 Reenable using the PathDiagnosticClient for BugReports without paths. by Ted Kremenek · 17 years ago
  37. e376985 Generalize caching mechanism for bugs reports. Now individual BugTypes by Ted Kremenek · 17 years ago
  38. 0b03c6e Fixed more caching bugs related to the one fixed in r49914. Silence by Ted Kremenek · 17 years ago
  39. 3226570 Fixed elusive caching bug that led to false positives. by Ted Kremenek · 17 years ago
  40. eef8f1e Added "GetErrorNodes()" to BugType so that -trim-egraph can recognize errors by Ted Kremenek · 17 years ago
  41. 6da0f5a Added "EvalAssume" virtual method to GRTransferFuncs; this is for evaluating by Ted Kremenek · 17 years ago
  42. cfc909d Fixed bug in GREndPathNodeBuilder: only return a node if it wasn't in the node cache. by Ted Kremenek · 17 years ago
  43. 752b584 More grammar fixes. by Ted Kremenek · 17 years ago
  44. 0d9c17a Fix plurality debacle. by Ted Kremenek · 17 years ago
  45. a850395 Added path diagnostics for reference counts. by Ted Kremenek · 17 years ago
  46. 2be7ddb BugReport::VisitNode now takes BugReporter& instead of ASTContext&. by Ted Kremenek · 17 years ago
  47. ac5e982 Added null check. by Ted Kremenek · 17 years ago
  48. 270ab7d Simplified internal logic of BugReporter, consolidating EmitWarning and by Ted Kremenek · 17 years ago
  49. 215d9fb Modified BugReport::getEndPath() to handle the case where end path is at by Ted Kremenek · 17 years ago
  50. 7f3f41a Hook up reporting reference count memory leaks to the BugReporter mechanism. by Ted Kremenek · 17 years ago
  51. d9ccf68 Added transfer function support for ReturnStmt to support detecting leaks by Ted Kremenek · 17 years ago
  52. 2d22f4e Fix MSVC compiler error: "initialization of 'VD' is skipped by 'case' label" by Argiris Kirtzidis · 17 years ago
  53. c208f4e Handle ReturnStmts by dispatching to "EvalReturn" in the transfer function object. by Ted Kremenek · 17 years ago
  54. 3f3c9c8 CF ref. count checker: Register memory leaks at the end of a path. by Ted Kremenek · 17 years ago
  55. 1e54cc5 Bug fix in GREndPathNodeBuilderImpl: Use the specified state to construct by Ted Kremenek · 17 years ago
  56. 79f0a63 Added CFGBlock::getTerminatorCondition() to get the Expr* of the condition a block's terminator. by Ted Kremenek · 17 years ago
  57. 7aef484 Small tweaks to EvalStore: pass an "RVal" instead of "LVal" for the TargetLV to by Ted Kremenek · 17 years ago
  58. 36cf32c Add missing file. by Ted Kremenek · 17 years ago
  59. 4d22f0e Hook up "EvalStore" from GRTransferFuncs to GRExprEngine. by Ted Kremenek · 17 years ago
  60. f506958 Take first step to migrating handling of "stores" to values from GRExprEngine by Ted Kremenek · 17 years ago
  61. 5ae4e83 LiveVariables now updates the liveness state of block-level expressions that by Ted Kremenek · 17 years ago
  62. 31aeb1e In ExplodedGraphImpl::Trim, prioritize for paths that don't span loops by using by Ted Kremenek · 17 years ago
  63. 1feab29 Implemented toll-free bridging support for CF Reference count checker. by Ted Kremenek · 17 years ago
  64. 947fdb8 Simplify some code. by Ted Kremenek · 17 years ago
  65. 4b4738b Added initial boilerplate to support toll-free bridging in the ref-count checker. by Ted Kremenek · 17 years ago
  66. ca5f620 Added some comments to GRExprEngine. Reorder some of the method definitions by Ted Kremenek · 17 years ago
  67. da67f2f Change "VisitBlockVarDecl" to "VisitVarDecl". UninitializedValues now works by Ted Kremenek · 17 years ago
  68. 72a6ebc Remove FileVarDecl and BlockVarDecl. They are replaced by VarDecl::isBlockVarDecl() and VarDecl::isFileVarDecl(). by Steve Naroff · 17 years ago
  69. 9ea943f Fix bug in terminator processing for uninitialized-values: simply ignore the terminator, don't reprocess it. by Ted Kremenek · 17 years ago
  70. 3b60f17 Fix a compiler error on MSVC (variable name 'E' clash). by Argiris Kirtzidis · 17 years ago
  71. ba6eb42 Improve dead store diagnostic. by Ted Kremenek · 17 years ago
  72. a0aa0b1 Added initial support into the flow-sensitive dataflow solver to visit the Block-level expression by Ted Kremenek · 17 years ago
  73. 1dbfdae Bug fix in dead stores: don't always check the liveness of the first decl by Ted Kremenek · 17 years ago
  74. 9671513 ++/-- makes a variable live since it is used; thus the liveness state is by Ted Kremenek · 17 years ago
  75. 1174f0f Bug fix in LiveVariables: Operators ++/-- may kill a value, but the variable by Ted Kremenek · 17 years ago
  76. 0389e1d Don't flag dead stores that occur in macros. by Ted Kremenek · 17 years ago
  77. 05d5da8 Have BugReporter::EmitWarning use the PathDiagnosticClient if it is available. by Ted Kremenek · 17 years ago
  78. 92770f2 Bug fix in dead-store checker when walking the Decls in a DeclStmt: don't by Ted Kremenek · 17 years ago
  79. 73ba047 Treat calls to unresolved functions in the CF-ref count checker as calls by Ted Kremenek · 17 years ago
  80. e3ef1c7 Hooked up the dead-store checker to the BugReporter interface. Now dead-store by Ted Kremenek · 17 years ago
  81. ffefc35 Add some boilerplate to report memory leaks at the end of an analyzed function. by Ted Kremenek · 17 years ago
  82. db4412d Added "GREndPathNodeBuilder", a new node builder that will be used for by Ted Kremenek · 17 years ago
  83. e492420 Added FIXME by Ted Kremenek · 17 years ago
  84. 455dd86 Fix regression introduced by my last commit. by Ted Kremenek · 17 years ago
  85. d4244d4 Changed behavior of how we handle "NULL" summaries: just call by Ted Kremenek · 17 years ago
  86. 99b0ecb Use RangedBugReport to report better ranges for reference count errors. by Ted Kremenek · 17 years ago
  87. 965c2fd Added "RangedBugReport". by Ted Kremenek · 17 years ago
  88. ab2fa2a Fixed some logic errors in the CF ref count checker; we now can detect simple by Ted Kremenek · 17 years ago
  89. c4f8102 Simplify CF ref. count checker state machine. by Ted Kremenek · 17 years ago
  90. a4c7429 Fix some bonehead bugs in summary generation in CFRefCount. by Ted Kremenek · 17 years ago
  91. b1983ba Refactored all logic to run the GRSimpleVals and CFRef checker into a common by Ted Kremenek · 17 years ago
  92. d39b03f CFRefCount analysis now properly calls "EmitWarnings" after analyzing a function. by Ted Kremenek · 17 years ago
  93. 651f285 When not emitting path diagnostics in BugReporter::EmitWarning(), use the by Ted Kremenek · 17 years ago
  94. 128d65f Fixed regressions in error reporting due to copy-paste errors (using the "begin" by Ted Kremenek · 17 years ago
  95. 7d421f3 Hooked up initial reference-count checks to the BugReporter interface. by Ted Kremenek · 17 years ago
  96. 0e80dea Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter. by Ted Kremenek · 17 years ago
  97. 10fe66d Added some boilerplate for emitting warnings from the CF-reference count checker. by Ted Kremenek · 17 years ago
  98. 4067480 Added new "BugReporterHelper" class which is used by BugReporter to emit by Ted Kremenek · 17 years ago
  99. b121764 Improve BugReport diagnostics for loops and ? operator. by Ted Kremenek · 17 years ago
  100. 478db0c templates can't be static. by Chris Lattner · 17 years ago