Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 41a7e89183116ea89c71d78564a4a7fd7712c0f6 / test / Analysis
  1. c3fa98f [analyzer] Another dynamic_cast false positive/negative. by Anna Zaks · 13 years ago
  2. 06868aa [analyzer] Better test cases for explaining where tracking types of by Anna Zaks · 13 years ago
  3. a2c8d2e [analyzer] dynamic_cast: Better model cast from a reference. by Anna Zaks · 13 years ago
  4. e19f86e [analyzer] Add support for C++ dynamic_cast. by Anna Zaks · 13 years ago
  5. bd61313 Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that when we generate a new ExplodedNode by Ted Kremenek · 13 years ago
  6. f439e00 [analyzer] Check that the arguments to NSOrderedSet creation methods are valid ObjC objects. by Jordy Rose · 13 years ago
  7. b2f6820 Added a new attribute, objc_root_class, which informs the compiler when a root class is intentionally declared. by Patrick Beard · 13 years ago
  8. 7947bb1 [analyzer]Fix false positive: pointer might escape through CG*WithData. by Anna Zaks · 13 years ago
  9. b98b998 Handle symbolicating a reference in an initializer expression that we don't understand. by Ted Kremenek · 13 years ago
  10. 04a18c9 Teach ObjCContainersChecker that the array passed to CFArrayGetValueAtIndex might not be a symbolic value. by Ted Kremenek · 13 years ago
  11. bb3d20f Do not crash in the callgraph construction when encountering deleted function definitions. Fixes <rdar://problem/11178609>. by Ted Kremenek · 13 years ago
  12. e31b8fb Enable warn_impcast_literal_float_to_integer by default. by David Blaikie · 13 years ago
  13. bb811ca Look through chains of 'x = y = z' when employing silencing heuristics in the DeadStoresChecker. by Ted Kremenek · 13 years ago
  14. 0718952 Include the "issue context" (e.g. function or method) where a static analyzer issue occurred in the plist output. by Ted Kremenek · 13 years ago
  15. e62f048 [analyzer] Record the basic blocks covered by the analyzes run. by Anna Zaks · 13 years ago
  16. 31b5762 Fix another false positive in RegionStore involving doing loads from symbolic offsets. We still don't by Ted Kremenek · 13 years ago
  17. 62a5c34 [analyzer]Malloc,RetainRelease: Allow pointer to escape via NSMapInsert. by Anna Zaks · 13 years ago
  18. 4b81e74 [analyzer] Add a malloc cpp test file. by Anna Zaks · 13 years ago
  19. b47dbcb [analyzer] Enable retry exhausted without inlining by default. by Anna Zaks · 13 years ago
  20. 5903a37 [analyzer] Add an option to re-analyze a dead-end path without inlining. by Anna Zaks · 13 years ago
  21. de5b4fb Change RetainCountChecker to eagerly "escape" retained objects when they are by Ted Kremenek · 13 years ago
  22. 4cd7edf [analyzer] Malloc: Allow a pointer to escape through OSAtomicEnqueue. by Anna Zaks · 13 years ago
  23. 514f2c9 Avoid applying retain/release effects twice in RetainCountChecker when a function call was inlined (i.e., we do not need to apply summaries in such cases). by Ted Kremenek · 13 years ago
  24. 5aac0b6 Fix static analyzer crash on code taking the address of a field. Fixes PR 11146. by Ted Kremenek · 13 years ago
  25. 06911d4 "Teach" RetainCountChecker about dispatch_set_context, which can indirectly free its argument later. Fixes <rdar://problem/11059275>. by Ted Kremenek · 13 years ago
  26. f5aa3f5 [analyzer] Malloc: drop symbols captured by blocks. by Anna Zaks · 13 years ago
  27. 3d7c44e [analyzer] Malloc: Utter the name of the leaked variable. by Anna Zaks · 13 years ago
  28. 046c9e6 [analyzer] Re-enable the test disabled by r152969. by Anna Zaks · 13 years ago
  29. d967c6a Add test case for <rdar://problem/10553686>, which illustrates RetainCount checker working with inlined C++ template functions. by Ted Kremenek · 13 years ago
  30. 393f98b [analyzer] Mark a failed-realloc's result as an interesting symbol between the realloc call and the null check, so we get nicer path notes. Fixes a regression introduced by the diagnostic pruning added in r152361. by Jordy Rose · 13 years ago
  31. 74b7b2b [analyzer] Don't claim an object was returned with +1 retain count before counting autoreleases. Fixes PR10376. by Jordy Rose · 13 years ago
  32. 7a4a9cd [analyzer] Add test case from PR10794 for using 'new' with Obj-C objects. by Jordy Rose · 13 years ago
  33. 9c20b75 [analyzer] This test is breaking windows bots, make it darwin-specific. by Anna Zaks · 13 years ago
  34. fbd5874 [analyzer] Shorten the stack hint diagnostic. by Anna Zaks · 13 years ago
  35. 56a938f [analyzer] Create symbol-aware stack hints (building upon r152837). by Anna Zaks · 13 years ago
  36. ce612f5 Fix analyzer crash on analyzing 'catch' with no condition variable. by Ted Kremenek · 13 years ago
  37. 2befa8c Add test case for <rdar://problem/8808566>, which is now fixed by inlining support. by Ted Kremenek · 13 years ago
  38. 7b204d6 Include full plist output in FileCheck test. by Ted Kremenek · 13 years ago
  39. 11e35b6 Include full plist output in FileCheck test. by Ted Kremenek · 13 years ago
  40. 76b85ac Do not truncate expected plist output in FileCheck test. by Ted Kremenek · 13 years ago
  41. 368a0d5 [analyzer] Allow checkers to supply call stack diagnostic hints for the by Anna Zaks · 13 years ago
  42. 95187bd Reapply r152745 (reverted in 152765) now that compiler-rt is fixed. by David Blaikie · 13 years ago
  43. 9ca33fd Revert r152745 as it's breaking the internal buildbots. by Chad Rosier · 13 years ago
  44. 47bfaf1 Provide -Wnull-conversion separately from -Wconversion. by David Blaikie · 13 years ago
  45. 9373937 [analyzer] Diagnostics: Supply Caller information even if the bug occurs by Anna Zaks · 13 years ago
  46. e711d7e [Analyser] Remove unnecessary recursive visits for ExprWithCleanups and by Erik Verbruggen · 13 years ago
  47. fc544e3 [analyzer] Call enter/exit diagnostic should refer to caller/callee, by Anna Zaks · 13 years ago
  48. b990d03 [analyzer] Change the order in which we analyze the functions under by Anna Zaks · 13 years ago
  49. aa56098 [analyzer] Use recursive AST visitor to drive simple visitation order in by Anna Zaks · 13 years ago
  50. e881efe [analyzer] Include inlining call stack depth in plist output. by Ted Kremenek · 13 years ago
  51. 337e4db [analyzer] fix regression in analyzer of NOT actually aborting on Stmts it doesn't understand. We registered by Ted Kremenek · 13 years ago
  52. 7acf23f Teach RetainCountChecker about mixing method families with explicit annotations. Fixes <rdar://problem/10824732>. by Ted Kremenek · 13 years ago
  53. 76aadc3 [analyzer] Implement basic path diagnostic pruning based on "interesting" symbols and regions. by Ted Kremenek · 13 years ago
  54. 6625335 [analyzer] Rework inlining related command line options. by Anna Zaks · 13 years ago
  55. 196b8cf Add a basic CallGraph to Analysis. by Anna Zaks · 13 years ago
  56. 1a45a5f Add static analyzer support for new NSArray/NSDictionary/NSNumber literals. by Ted Kremenek · 13 years ago
  57. 097ebb3 [analyzer] add a diagnostic event when entering a call via inlining, within the callee, and add an edge. by Ted Kremenek · 13 years ago
  58. e4d653b Teak CallAndMessageChecker to only warn about uninitialized struct fields in call arguments by Ted Kremenek · 13 years ago
  59. a99f874 Teach SimpleSValBuilder that (in the absence of more information) stack memory doesn't alias symbolic memory. This is a heuristic/hack, but works well in practice. Fixes <rdar://problem/10978247>. by Ted Kremenek · 13 years ago
  60. f420fe3 [analyzer] False positive in SelfInit - teach the checker about method by Anna Zaks · 13 years ago
  61. fb7f76f [analyzer] Malloc should assume that ownership is transfered when by Anna Zaks · 13 years ago
  62. a81d3d4 Remove a recursive visitation in ExprEngine that is no longer needed because the CFG is fully linearized. by Erik Verbruggen · 13 years ago
  63. 7e86783 [analyzer] do not warn about returning stack-allocated memory when it comes from an ancestor stack frame. by Ted Kremenek · 13 years ago
  64. 4ba86bc [analyzer diagnostics] flush locations *before* popping the current path when visiting a CallEnter. by Ted Kremenek · 13 years ago
  65. 8235f9c [analyzer] Bound the size of the functions being inlined + provide by Anna Zaks · 13 years ago
  66. 77d0944 [analyzer diagnostics] Change CompactPathDiagnostic to recursively compact diagnostics in calls into macro pieces. by Ted Kremenek · 13 years ago
  67. 278f1f8 [analyzer] Turn inlining on by default for better testing exposure. by Anna Zaks · 13 years ago
  68. b3d7275 [analyzer] Fix a regression introduced in malloc with by Anna Zaks · 13 years ago
  69. ca23eb2 [analyzer] Malloc: A pointer might escape through CFContainers APIs, by Anna Zaks · 13 years ago
  70. 4fafeb6 Remove a recursive visitiation in ExprEngine that is no longer needed by Erik Verbruggen · 13 years ago
  71. 28cd22d [analyzer] Tweak the UnreachableCode checker to not warning about unreachable default blocks. Patch by Cyril Roelandt! by Ted Kremenek · 13 years ago
  72. 13e6cb0 clang/test/Analysis/stats.c: Fix up r151656. by NAKAMURA Takumi · 13 years ago
  73. e7e0168 [analyzer] Leaks should be uniqued by the allocation point in the by Anna Zaks · 13 years ago
  74. 212000e [analyzer] Retain release: drop the line number info from the leak message. by Anna Zaks · 13 years ago
  75. c299428 [analyzer] Stats: Add the stats about remove dead bindings, correct the test. by Anna Zaks · 13 years ago
  76. 721aa37 [analyzer] Leaks should be uniqued by the allocation point in the by Anna Zaks · 13 years ago
  77. 07d39a4 [analyzer] Fix Malloc False Positive (PR 12100) by Anna Zaks · 13 years ago
  78. 4c62b55 [analyzer] teach analyzer about ObjC literals, thus trimming out a false positive with the malloc() checker involving by Ted Kremenek · 13 years ago
  79. 7752d29 [analyzer] Leaks should be uniqued by the allocation point in the by Anna Zaks · 13 years ago
  80. e2133c8 Fix a test case that was added in r151570. The redirect of output was broken by Richard Trieu · 13 years ago
  81. 3306ec1 After numerous requests, have Objective-C 'method declared here' notes mention the actual method. This looks better within an IDE, where text isn't always regurgitated in the presentation of a warning. Fixes radar 10914035. by Ted Kremenek · 13 years ago
  82. 81fb169 [analyzer] Add -analyzer-stats, which hooks up LLVM stats tracking. by Anna Zaks · 13 years ago
  83. e571578 RetainCountChecker: don't adjust the retain count when analyzing a ReturnStmt unless we are in the top-level call frame. We can do more later, but this makes the checker self-consistent (and fixes a crash). by Ted Kremenek · 13 years ago
  84. 3cd89ad [analyzer] Malloc: reason about the ObjC messages and C++. by Anna Zaks · 13 years ago
  85. ff80afc [analyzer] Run remove dead bindings before each call. by Anna Zaks · 13 years ago
  86. e55b03a [analyzer] We were silently stopping exploring the path after by Anna Zaks · 13 years ago
  87. 59950d3 Make PathDiagnosticBuilder sensitive to varying LocationContexts, thus fixing a bug in the inlining diagnostics where the wrong location could be used. by Ted Kremenek · 13 years ago
  88. 5b03c17 Remove stray path in test file. by Ted Kremenek · 13 years ago
  89. 2042fc1 Reapply r151317, but when computing the PathDiagnostic profile and size keep into account the nested structure. Also fix a problem with how by Ted Kremenek · 13 years ago
  90. d708bac [analyzer] KeyChainAPI: unique the leaks by allocation site. by Anna Zaks · 13 years ago
  91. f64bc20 objective-c++: Type of an objc string literal is NSString, not 'id'. by Fariborz Jahanian · 13 years ago
  92. ca8e36e [analyzer] Malloc: unique leak reports by allocation site. by Anna Zaks · 13 years ago
  93. 0d389b8 [analyzer] Invalidate the region passed to pthread_setspecific() call. by Anna Zaks · 13 years ago
  94. 87cb5be [analyzer] Malloc cleanup: by Anna Zaks · 13 years ago
  95. 60a1fa4 [analyzer] Malloc checker: mark 'strdup' and 'strndup' as allocators. by Anna Zaks · 13 years ago
  96. d9ab7bb [analyzer] Malloc: fix another false positive. by Anna Zaks · 13 years ago
  97. 5fdadf4 [analyzer] Change naming in bug reports "tainted" -> "untrusted" by Anna Zaks · 13 years ago
  98. 7f9b1d9 Have ScanReachableSymbols reported reachable regions. Fixes a false positive with nested array literals. <rdar://problem/10686586> by Ted Kremenek · 13 years ago
  99. 3620547 [analyzer] + a couple more malloc tests. by Anna Zaks · 13 years ago
  100. 9c1e1bd [analyzer] Make KeyChainAPI checker inlining-aware. by Anna Zaks · 13 years ago