Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 75840e1501563fe7c3dcb5600b75965ba1fe1bc4 / lib / Analysis
  1. 75840e1 Simplified internal logic of BugReporter, consolidating EmitWarning and by Ted Kremenek · 17 years ago
  2. bd7efa8 Modified BugReport::getEndPath() to handle the case where end path is at by Ted Kremenek · 17 years ago
  3. 989d519 Hook up reporting reference count memory leaks to the BugReporter mechanism. by Ted Kremenek · 17 years ago
  4. 4fd8897 Added transfer function support for ReturnStmt to support detecting leaks by Ted Kremenek · 17 years ago
  5. 5da6b25 Fix MSVC compiler error: "initialization of 'VD' is skipped by 'case' label" by Argyrios Kyrtzidis · 17 years ago
  6. 6b31e8e Handle ReturnStmts by dispatching to "EvalReturn" in the transfer function object. by Ted Kremenek · 17 years ago
  7. db86371 CF ref. count checker: Register memory leaks at the end of a path. by Ted Kremenek · 17 years ago
  8. 5eb1044 Bug fix in GREndPathNodeBuilderImpl: Use the specified state to construct by Ted Kremenek · 17 years ago
  9. 411cdee Added CFGBlock::getTerminatorCondition() to get the Expr* of the condition a block's terminator. by Ted Kremenek · 17 years ago
  10. 1392261 Small tweaks to EvalStore: pass an "RVal" instead of "LVal" for the TargetLV to by Ted Kremenek · 17 years ago
  11. 2798e17 Add missing file. by Ted Kremenek · 17 years ago
  12. ec96a2d Hook up "EvalStore" from GRTransferFuncs to GRExprEngine. by Ted Kremenek · 17 years ago
  13. e38718e Take first step to migrating handling of "stores" to values from GRExprEngine by Ted Kremenek · 17 years ago
  14. 5cd2438 LiveVariables now updates the liveness state of block-level expressions that by Ted Kremenek · 17 years ago
  15. 33c6369 In ExplodedGraphImpl::Trim, prioritize for paths that don't span loops by using by Ted Kremenek · 17 years ago
  16. 9ed18e6 Implemented toll-free bridging support for CF Reference count checker. by Ted Kremenek · 17 years ago
  17. 2f868c0 Simplify some code. by Ted Kremenek · 17 years ago
  18. 8534820 Added initial boilerplate to support toll-free bridging in the ref-count checker. by Ted Kremenek · 17 years ago
  19. e695e1c Added some comments to GRExprEngine. Reorder some of the method definitions by Ted Kremenek · 17 years ago
  20. 606ceee Change "VisitBlockVarDecl" to "VisitVarDecl". UninitializedValues now works by Ted Kremenek · 17 years ago
  21. 248a753 Remove FileVarDecl and BlockVarDecl. They are replaced by VarDecl::isBlockVarDecl() and VarDecl::isFileVarDecl(). by Steve Naroff · 17 years ago
  22. 7deed0c Fix bug in terminator processing for uninitialized-values: simply ignore the terminator, don't reprocess it. by Ted Kremenek · 17 years ago
  23. afe1091 Fix a compiler error on MSVC (variable name 'E' clash). by Argyrios Kyrtzidis · 17 years ago
  24. 1d5d1da Improve dead store diagnostic. by Ted Kremenek · 17 years ago
  25. 3762208 Added initial support into the flow-sensitive dataflow solver to visit the Block-level expression by Ted Kremenek · 17 years ago
  26. 9d7af51 Bug fix in dead stores: don't always check the liveness of the first decl by Ted Kremenek · 17 years ago
  27. dace4c9 ++/-- makes a variable live since it is used; thus the liveness state is by Ted Kremenek · 17 years ago
  28. c8e00b2 Bug fix in LiveVariables: Operators ++/-- may kill a value, but the variable by Ted Kremenek · 17 years ago
  29. 1c86b15 Don't flag dead stores that occur in macros. by Ted Kremenek · 17 years ago
  30. 5fcca68 Have BugReporter::EmitWarning use the PathDiagnosticClient if it is available. by Ted Kremenek · 17 years ago
  31. c967c9d Bug fix in dead-store checker when walking the Decls in a DeclStmt: don't by Ted Kremenek · 17 years ago
  32. 7ded73c Treat calls to unresolved functions in the CF-ref count checker as calls by Ted Kremenek · 17 years ago
  33. d2f642b Hooked up the dead-store checker to the BugReporter interface. Now dead-store by Ted Kremenek · 17 years ago
  34. e7bd9c2 Add some boilerplate to report memory leaks at the end of an analyzed function. by Ted Kremenek · 17 years ago
  35. 11062b1 Added "GREndPathNodeBuilder", a new node builder that will be used for by Ted Kremenek · 17 years ago
  36. b887355 Added FIXME by Ted Kremenek · 17 years ago
  37. f9561e5 Fix regression introduced by my last commit. by Ted Kremenek · 17 years ago
  38. a0df99f Changed behavior of how we handle "NULL" summaries: just call by Ted Kremenek · 17 years ago
  39. bcf50ad Use RangedBugReport to report better ranges for reference count errors. by Ted Kremenek · 17 years ago
  40. 5e55cda Added "RangedBugReport". by Ted Kremenek · 17 years ago
  41. 940b1d8 Fixed some logic errors in the CF ref count checker; we now can detect simple by Ted Kremenek · 17 years ago
  42. 61b9f87 Simplify CF ref. count checker state machine. by Ted Kremenek · 17 years ago
  43. 3ea0b6a Fix some bonehead bugs in summary generation in CFRefCount. by Ted Kremenek · 17 years ago
  44. d71ed26 Refactored all logic to run the GRSimpleVals and CFRef checker into a common by Ted Kremenek · 17 years ago
  45. f84afb7 CFRefCount analysis now properly calls "EmitWarnings" after analyzing a function. by Ted Kremenek · 17 years ago
  46. 4bb6ac2 When not emitting path diagnostics in BugReporter::EmitWarning(), use the by Ted Kremenek · 17 years ago
  47. 4d35dac Fixed regressions in error reporting due to copy-paste errors (using the "begin" by Ted Kremenek · 17 years ago
  48. 05cbe1a Hooked up initial reference-count checks to the BugReporter interface. by Ted Kremenek · 17 years ago
  49. 50a6d0c Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter. by Ted Kremenek · 17 years ago
  50. fa34b33 Added some boilerplate for emitting warnings from the CF-reference count checker. by Ted Kremenek · 17 years ago
  51. 6837faa Added new "BugReporterHelper" class which is used by BugReporter to emit by Ted Kremenek · 17 years ago
  52. 706e3cf Improve BugReport diagnostics for loops and ? operator. by Ted Kremenek · 17 years ago
  53. 3ae30f8 templates can't be static. by Chris Lattner · 17 years ago
  54. 7956f75 Added investigate patch for an occasionally failing assertion (heisenbug?) by Ted Kremenek · 17 years ago
  55. a2fdbf5 Better range highlight for undefined-argument checks. by Ted Kremenek · 17 years ago
  56. a7bf7e7 When reporting "bad receiver" warnings, highlight the receiver. by Ted Kremenek · 17 years ago
  57. de7161f Use "getRanges" in default implementation of "getEndPath" to determine by Ted Kremenek · 17 years ago
  58. f1ae705 Hooked up GRSimpleAPICheck and the simple Objective-C Foundation checks to use by Ted Kremenek · 17 years ago
  59. 70d1722 Handle the case when getEndPath() returns NULL. by Ted Kremenek · 17 years ago
  60. 1c19245 Add back bug name to PathDiagnostic. by Ted Kremenek · 17 years ago
  61. 94826a7 When creating PathDiagnostics, created a trimmed graph first and report the 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. 8730e13 Added skeleton checking for NSString's method initWithFormat: (do not pass nil). This won't be useful in most cases right now by Ted Kremenek · 17 years ago
  75. 4ba6283 Expanded NSString checking to check for nil for a few more methods. by Ted Kremenek · 17 years ago
  76. 9b3fdea Add line SourceLocation to NSString checks. by Ted Kremenek · 17 years ago
  77. e5d5c20 Hooked up initial NSString interface checking to GRSimpleVals. by Ted Kremenek · 17 years ago
  78. 5275561 Add creation of BasicObjCFoundationChecks when running GRSimpleVals from the driver. by Ted Kremenek · 17 years ago
  79. 99c6ad3 Added "GRAuditor" and "GRSimpleAPICheck" interface to allow simple stateless checkers to be injected into the analyzer. by Ted Kremenek · 17 years ago
  80. 120187d PathDiagnosticPiece no longer contains a vector of strings; just one string. by Ted Kremenek · 17 years ago
  81. d3abcdf Added classes "PathDiagnosticPiece", "PathDiagnostic", and "PathDiagnosticClient", which encapsulate diagnostic reporting for paths. by Ted Kremenek · 17 years ago
  82. a056b4f Bug fix: use GetRVal instead of GetLVal (were getting the value of a DeclRefExpr, not it's address). by Ted Kremenek · 17 years ago
  83. 5af373a Bug fix in transfer function for ObjCMessageExpr: Visit the receiver expression as an ordinary expression, not using VisitLVal. by Ted Kremenek · 17 years ago
  84. dbfe41a GRSimple analysis now outputs additional diagnostic warnings about by Ted Kremenek · 17 years ago
  85. b930837 Tweak to transfer function for ObjCMessageExpr: handle both instance methods by Ted Kremenek · 17 years ago
  86. 23a4f91 Added logic to check for uninitialized values as the receivers for message expressions by Ted Kremenek · 17 years ago
  87. 55deb97 Added initial transfer function support for ObjCMessageExpr. by Ted Kremenek · 17 years ago
  88. 5fb5c6a Changed merge operation for uninitialized values analysis to "intersect" (previous union). by Ted Kremenek · 17 years ago
  89. 0e561a3 Rename "Nodify" to "MakeNode" by Ted Kremenek · 17 years ago
  90. fa59f1f LiveVariables analysis now uses intersect for the merge of block-level expression liveness information. by Ted Kremenek · 17 years ago
  91. 58cda6f Fix assertion. by Ted Kremenek · 17 years ago
  92. 14a1140 Fix integer overflow bug when processing switch statements. by Ted Kremenek · 17 years ago
  93. 7ffa0aa Properly hook up inline asm transfer function logic to the main GRExprEngine logic. by Ted Kremenek · 17 years ago
  94. ef44bfb Added initial transfer function support for inline asm. by Ted Kremenek · 17 years ago
  95. bda0b62 Make a major restructuring of the clang tree: introduce a top-level by Chris Lattner · 17 years ago