Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 1de76babf4c7170a4c7106cdb845571ffd13d697 / lib / StaticAnalyzer
  1. 93a9d82 [analyzer] Introduce clang_analyzer_eval for regression test constraint checks. by Jordy Rose · 13 years ago
  2. 5ec351c [analyzer] Fix a regression in ObjCUnusedIVars checker. by Anna Zaks · 13 years ago
  3. 6e4244e [analyzer] strncpy: Special-case a length of 0 to avoid an incorrect warning. by Jordy Rose · 13 years ago
  4. 70fdbc3 [analyzer] RetainCountChecker: track ObjC boxed expression objects. by Jordy Rose · 13 years ago
  5. c8848f3 [analyzer] Do not walk the types for call graph construction. by Anna Zaks · 13 years ago
  6. df87558 The Lexer constructor expects a source location at the start of the by Argyrios Kyrtzidis · 13 years ago
  7. 51d18ca Include line that was meant to be in my last commit. by Ted Kremenek · 13 years ago
  8. 8667052 Fix insidious RegionStore bug where we (a) didn't handle vector types and (b) had by Ted Kremenek · 13 years ago
  9. b3b1ae8 [analyzer] Exit early if constraint solver is given a non-integer symbol by Anna Zaks · 13 years ago
  10. 88feba0 [analyzer] Do not highlight the range of the statement in case of leak. by Anna Zaks · 13 years ago
  11. 50b5a5c [analyzer] Simplify r156446, as per Ted's review. by Anna Zaks · 13 years ago
  12. caa62af [analyzer] Allow pointers to escape through selector callbacks. by Anna Zaks · 13 years ago
  13. a8f2362 [analyzer] We currently do not fully support CompoundLiterals in by Anna Zaks · 13 years ago
  14. 4213e38 Having RegionStore lower field bindings to raw offsets, just like ElementRegions. This is a bit by Ted Kremenek · 13 years ago
  15. 7dbbc21 When creating lazy bindings in RegionStore, propagate existing lazy bindings instead of creating new ones. by Ted Kremenek · 13 years ago
  16. 6341931 Include address of Store in graphviz output of ExplodedGraph. by Ted Kremenek · 13 years ago
  17. 6a2a186 [analyzer] SelfInit: Stop tracking self if it's assigned a value we by Anna Zaks · 13 years ago
  18. c319c58 Teach the analyzer about CXXScaleValueInitExpr. by Ted Kremenek · 13 years ago
  19. 2cbc12f [analyzer] BasicConstraintManager: drop NE-constraints once we have a value. by Jordy Rose · 13 years ago
  20. 1d8db49 [analyzer] Rework both constraint managers to handle mixed-type comparisons. by Jordy Rose · 13 years ago
  21. d3b6d99 [analyzer] Add an abstraction for the bit width and signedness of an APSInt. No functionality change. by Jordy Rose · 13 years ago
  22. c91fdf6 Teach the static analyzer that NSLog() and friends do not hold on to object references (thus extending their lifetime). by Ted Kremenek · 13 years ago
  23. ca11510 [analyzer]Turn on MallocSizeOfChecker by default; shorten the diagnostic by Anna Zaks · 13 years ago
  24. 6400f02 [analyzer] Fix a crash in triggered by OSAtomicChecker. by Anna Zaks · 13 years ago
  25. 41a669a [analyzer]Fixup r156215: use StopTracking summary instead of ScratchArgs by Anna Zaks · 13 years ago
  26. 3127d48 Remove variable made unused by r156270. by David Blaikie · 13 years ago
  27. c838fd2 [analyzer] Reduce parallel code paths in SimpleSValBuilder::evalBinOpNN, and handle mixed-type operations more generally. by Jordy Rose · 13 years ago
  28. 58822c4 [analyzer] RetainCountChecker: Allow objects to escape through callbacks by Anna Zaks · 13 years ago
  29. 85d87df Explicitly model capturing variables for blocks in the static analyzer. Fixes <rdar://problem/11125868>. by Ted Kremenek · 13 years ago
  30. 84d4384 [analyzer]Fixup r156134: Handle the case when FunctionDecl isn't avail. by Anna Zaks · 13 years ago
  31. b79d862 [analyzer] Assume pointer escapes when a callback is passed inside a struct. by Anna Zaks · 13 years ago
  32. aca0ac5 [analyzer] Allow pointers escape through calls containing callback args. by Anna Zaks · 13 years ago
  33. 90a7126 [analyzer] When promoting constant integers in a comparison, use the larger width of the two to avoid truncation. by Jordy Rose · 13 years ago
  34. dd160f3 [analyzer] CString Checker: Do not split the path unless the user by Anna Zaks · 13 years ago
  35. 14d20b1 [analyzer] Equality ops are like relational ops in that the arguments shouldn't be converted to the result type. Fixes PR12206 and dupe PR12510. by Jordy Rose · 13 years ago
  36. e55a14a [analyzer] Conjure a symbol to ensure we can identify pointer arithmetic by Anna Zaks · 13 years ago
  37. da39603 [analyzer] Do not assert on constructing SymSymExpr with diff types. by Anna Zaks · 13 years ago
  38. baeaa9a [analyzer] Add a complexity bound on history tracking. by Anna Zaks · 13 years ago
  39. 31595e2 [analyzer] Revert the functional part of r155944. by Anna Zaks · 13 years ago
  40. 11abcec Refine analyzer diagnostics by adding an expression "cone-of-influence" to reverse track interesting by Ted Kremenek · 13 years ago
  41. e7958da [analyzer] RetainRelease: Self assignment should not suppress a leak warning. by Anna Zaks · 13 years ago
  42. 2a6e30d [analyzer] Fix an assertion failure triggered by the analyzer buildbot. by Anna Zaks · 13 years ago
  43. 93c5a24 [analyzer] Fix the 'ptr = ptr' false negative in the Malloc checker. by Anna Zaks · 13 years ago
  44. 140d0c6 Teach SValBuilder to handle casts of symbolic pointer values to an integer twice. Fixes <rdar://problem/11212866>. by Ted Kremenek · 13 years ago
  45. e2241cb [analyzer] Construct a SymExpr even when the constraint solver cannot by Anna Zaks · 13 years ago
  46. 537dd3a Teach RetainCountchecker about IORegistryEntrySearchCFProperty returning retained objects. I know there is an SDK enhancement request for this to have the cf_returns_retained annotation, so this is just a stop gap. by Ted Kremenek · 13 years ago
  47. 88db6a2 malloc size checker: Ignore const'ness of pointer types when determining of a sizeof() type is compatible with a pointed type. by Ted Kremenek · 13 years ago
  48. 262bc18 Remove the ref/value inconsistency in filter_decl_iterator. by David Blaikie · 13 years ago
  49. d200187 [analyzer] Remove references to idx::TranslationUnit. Index is dead, cross-TU inlining never panned out. by Jordy Rose · 13 years ago
  50. 577f14a Use a deque instead of an ImmutableList in AnalysisConsumer to preserve the file order that functions are visited. Should fix the buildbots. by Ted Kremenek · 13 years ago
  51. cb0a503 Change FunctionSummary.h's definition of SetOfDecls to be an ImmutableList instead by Ted Kremenek · 13 years ago
  52. 8f40afb [analyzer] check lazy bindings in RegionStore first before looking for default values. Fixes <rdar://problem/11269741>. by Ted Kremenek · 13 years ago
  53. befc6d2 Teach RetainCountChecker that it doesn't quite understand pthread_setspecific and it should just give up when it sees it. Fixes <rdar://problem/11282706>. by Ted Kremenek · 13 years ago
  54. 0b3ade8 [analyzer] Run remove dead bindings right before leaving a function. by Anna Zaks · 13 years ago
  55. eb382ec Implements boxed expressions for Objective-C. <rdar://problem/10194391> by Patrick Beard · 13 years ago
  56. 01561d1 Change ExprEngine::shouldInlineDecl() to be defensive in checking if the CFG of the callee is valid. Fixes <rdar://problem/11257631>. by Ted Kremenek · 13 years ago
  57. 9a70cdd [analyzer] Fix a false alarm in SelfInitChecker (radar://11235991). by Anna Zaks · 13 years ago
  58. 534986f Add an AttributedStmt type to represent a statement with C++11 attributes by Richard Smith · 13 years ago
  59. 87e154c Remove the unused, unmaintained, incomplete 'Index' library. by Douglas Gregor · 13 years ago
  60. 6a86082 [analyzer] PCH deserialization optimization. by Anna Zaks · 13 years ago
  61. 7ea1c56 [analyzer] dynamic_cast Simplify null value generation. by Anna Zaks · 13 years ago
  62. 259052d [analyzer] Don't crash even when the system functions are redefined. by Anna Zaks · 13 years ago
  63. a2c8d2e [analyzer] dynamic_cast: Better model cast from a reference. by Anna Zaks · 13 years ago
  64. e19f86e [analyzer] Add support for C++ dynamic_cast. by Anna Zaks · 13 years ago
  65. bd61313 Rework ExprEngine::evalLoad and clients (e.g. VisitBinaryOperator) so that when we generate a new ExplodedNode by Ted Kremenek · 13 years ago
  66. f439e00 [analyzer] Check that the arguments to NSOrderedSet creation methods are valid ObjC objects. by Jordy Rose · 13 years ago
  67. 6fd4505 Require that all static analyzer issues have a category. As part of this change, by Ted Kremenek · 13 years ago
  68. b98b998 Handle symbolicating a reference in an initializer expression that we don't understand. by Ted Kremenek · 13 years ago
  69. 04a18c9 Teach ObjCContainersChecker that the array passed to CFArrayGetValueAtIndex might not be a symbolic value. by Ted Kremenek · 13 years ago
  70. 6b77ce8 [analyzer] Move stats calculation out of AnalysisConsumer destructor. by Anna Zaks · 13 years ago
  71. 907344e [analyzer] Change warding in a path diagnostic: by Anna Zaks · 13 years ago
  72. 4f4705f [analyzer] Remove redundant if statement (pointed out by Ted). by Anna Zaks · 13 years ago
  73. bb811ca Look through chains of 'x = y = z' when employing silencing heuristics in the DeadStoresChecker. by Ted Kremenek · 13 years ago
  74. 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
  75. 88fc181 Change BugReporter's usage of IsCachedDiagnostic to only impact pruning diagnostics emitted to the by Ted Kremenek · 13 years ago
  76. e62f048 [analyzer] Record the basic blocks covered by the analyzes run. by Anna Zaks · 13 years ago
  77. 31b5762 Fix another false positive in RegionStore involving doing loads from symbolic offsets. We still don't by Ted Kremenek · 13 years ago
  78. d9b7955 Fix potential null dereference in the static analyzer when inlining a call that has already been inlined. Unfortunately I have no test case. by Ted Kremenek · 13 years ago
  79. 4a5f724 Analyzer: Store BugReports directly in a ilist instead of adding another layer of inderection with std::list by Benjamin Kramer · 13 years ago
  80. 62a5c34 [analyzer]Malloc,RetainRelease: Allow pointer to escape via NSMapInsert. by Anna Zaks · 13 years ago
  81. 3bbd8cd [analyzer] Do not inline functions which previously reached max block count. by Anna Zaks · 13 years ago
  82. b47dbcb [analyzer] Enable retry exhausted without inlining by default. by Anna Zaks · 13 years ago
  83. 253955c [analyser] Stats checker: do not mark a node as exhausted if we will by Anna Zaks · 13 years ago
  84. 64ee9d0 [analyzer] Refactor: Use Decl when determining if the Block belongs to by Anna Zaks · 13 years ago
  85. 6488dc3 Fix suspicious comparison reported by PVS-Studio! by Ted Kremenek · 13 years ago
  86. 5903a37 [analyzer] Add an option to re-analyze a dead-end path without inlining. by Anna Zaks · 13 years ago
  87. 65552ca [analyzer] Stats checker: minor interprocedural tweaks. by Anna Zaks · 13 years ago
  88. 1f5171e [analyzer] Stats: Only count the number of times we run path sensitive analyzes. by Anna Zaks · 13 years ago
  89. de5b4fb Change RetainCountChecker to eagerly "escape" retained objects when they are by Ted Kremenek · 13 years ago
  90. 4cd7edf [analyzer] Malloc: Allow a pointer to escape through OSAtomicEnqueue. by Anna Zaks · 13 years ago
  91. b000fb5 [analyzer] Tighten up the realloc() failure path note generation...make sure we get the right realloc()! by Jordy Rose · 13 years ago
  92. 3bc75ca [analyzer] Restart path diagnostic generation if any of the visitors change the report configuration while walking the path. by Jordy Rose · 13 years ago
  93. 0115349 [analyzer] Add a clone() method to BugReporterVisitor, so that we'll be able to reset diagnostic generation. by Jordy Rose · 13 years ago
  94. 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
  95. e8018f2 corrected check::EndOfTranslationUnit checker name and added 'const' to declaration by Anton Yartsev · 13 years ago
  96. 5aac0b6 Fix static analyzer crash on code taking the address of a field. Fixes PR 11146. by Ted Kremenek · 13 years ago
  97. 638e2d3 [analyzer] Add the stat for the number of successfully explored paths. by Anna Zaks · 13 years ago
  98. 749bbe6 [analyzer] Add stats useful for coverage investigations. by Anna Zaks · 13 years ago
  99. 64394e2 [analyzer] Add inlining awareness to the block coverage computation by Anna Zaks · 13 years ago
  100. 06911d4 "Teach" RetainCountChecker about dispatch_set_context, which can indirectly free its argument later. Fixes <rdar://problem/11059275>. by Ted Kremenek · 13 years ago