Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / bb5185c0ca3de4e7d91d011a83c902d7b02a2a1a / lib / StaticAnalyzer
  1. 54918ba [analyzer] Track if a region can be a subclass in the dynamic type info. by Anna Zaks · 13 years ago
  2. 3f558af [analyzer] Optimize dynamic dispatch bifurcation by detecting the cases by Anna Zaks · 13 years ago
  3. d1a4f68 Fix a couple of pedantic gcc warnings. by Benjamin Kramer · 13 years ago
  4. 5ad76c0 [analyzer] Merge RegionStore's KillStruct and CopyLazyBindings: BindAggregate. by Jordan Rose · 13 years ago
  5. 1e93443 [analyzer] Cluster bindings in RegionStore by base region. by Jordan Rose · 13 years ago
  6. 824e07a [analyzer] Cache the "concrete offset base" for regions with symbolic offsets. by Jordan Rose · 13 years ago
  7. 2c5f8d7 [analyzer] A CXXBaseObjectRegion should correspond to a DIRECT base. by Jordan Rose · 13 years ago
  8. d4fe57f [analyzer] Rename the function to better reflect what it actually does. by Anna Zaks · 13 years ago
  9. 6960f6e [analyzer] Clarify the values in Dyn. Dispatch Bifurcation map. by Anna Zaks · 13 years ago
  10. 5960f4a [analyzer] Improve readability of the dyn. dispatch bifurcation patch r161552. by Anna Zaks · 13 years ago
  11. fc05dec Unbreak the build. by Anna Zaks · 13 years ago
  12. 431e35c [analyzer] Cleanup of malloc checker. by Anna Zaks · 13 years ago
  13. e90d3f8 [analyzer] Bifurcate the path with dynamic dispatch. by Anna Zaks · 13 years ago
  14. 42f74f2 clang support for Bitrig (an OpenBSD fork); patch by David Hill. by Eli Friedman · 13 years ago
  15. 919e8a1 [analyzer] Clean up the printing of FieldRegions for leaks. by Jordan Rose · 13 years ago
  16. 0d53ab4 [analyzer] Track malloc'd regions stored in structs. by Jordan Rose · 13 years ago
  17. e0d24eb [analyzer] Revamp RegionStore to distinguish regions with symbolic offsets. by Jordan Rose · 13 years ago
  18. 8ed21ef [analyzer] Address Jordan's review of DynamicTypePropagation. by Anna Zaks · 13 years ago
  19. c4c647c [analyzer] Dynamic type info - propagate through implicit casts. by Anna Zaks · 13 years ago
  20. c7ecc43 [analyzer] Add a checker to manage dynamic type propagation. by Anna Zaks · 13 years ago
  21. 15d18e1 [analyzer] Ignore OS X 10.8's annotations for NSMakeCollectable. by Jordan Rose · 13 years ago
  22. 4d33286 [analyzer] Malloc: remove assert since is not valid as of r161248 by Anna Zaks · 13 years ago
  23. a869518 [analyzer] Use a more robust check for null in CallAndMessageChecker. by Jordan Rose · 13 years ago
  24. 522f46f [analyzer] Don't assume values bound to references are automatically non-null. by Jordan Rose · 13 years ago
  25. 563ea23 [analyzer] Update initializer assertion for delegating constructors. by Jordan Rose · 13 years ago
  26. 6853799 [analyzer] When a symbol is null, we should track its constraints. by Jordan Rose · 13 years ago
  27. b0e1bad [analyzer] Flatten path diagnostics for text output like we do for HTML. by Jordan Rose · 13 years ago
  28. 9da59a6 [analyzer] Track null/uninitialized C++ objects used in method calls. by Jordan Rose · 13 years ago
  29. 7ad4848 [analyzer] Provide useful PathDiagnosticLocations for CallEnter/Exit events. by Jordan Rose · 13 years ago
  30. 20165e7 [analyzer] FindLastStoreBRVisitor was not actually finding stores. by Jordan Rose · 13 years ago
  31. c1290e0 [analyzer] Fixup: remove the extra whitespace by Anna Zaks · 13 years ago
  32. 148fee9 [analyzer] ObjC Inlining: Start tracking dynamic type info in the GDM by Anna Zaks · 13 years ago
  33. 5b97851 [analyzer] Fix a typo. Thanks Jordan. by Anna Zaks · 13 years ago
  34. ede875b [analyzer] Malloc: track non-allocated but freed memory by Anna Zaks · 13 years ago
  35. d015f4f [analyzer] Solve another source of non-determinism in the diagnostic engine. by Anna Zaks · 13 years ago
  36. 9f3b9d5 [analyzer] Add a simple check for initializing reference variables with null. by Jordan Rose · 13 years ago
  37. 207c408 [analyzer] Also emit Prev/Next links for macros in HTML output. Oops. by Jordan Rose · 13 years ago
  38. b23b711 [analyzer] Add Prev/Next links to the HTML output. by Jordan Rose · 13 years ago
  39. 0eb6c37 [analyzer] Flush bug reports in deterministic order. by Anna Zaks · 13 years ago
  40. 2f9c40a [analyzer] Control C++ inlining with a macro in ExprEngineCallAndReturn.cpp. by Jordan Rose · 13 years ago
  41. e1ce783 [analyzer] Turn -cfg-add-initializers on by default, and remove the flag. by Jordan Rose · 13 years ago
  42. 4fe64ad [analyzer] Don't try to inline if there's no region for a message receiver. by Jordan Rose · 13 years ago
  43. 6d8ab45 [analyzer] Add a FIXME about devirtualization in ctors/dtors. by Jordan Rose · 13 years ago
  44. 6b4be2e [analyzer] Getting an lvalue for a reference field still requires a load. by Jordan Rose · 13 years ago
  45. ef15831 [analyzer] Let CallEvent decide what goes in an inital stack frame. by Jordan Rose · 13 years ago
  46. f0324d3 [analyzer] Handle inlining of instance calls to super. by Anna Zaks · 13 years ago
  47. 57c0336 [analyzer] Perform post-call checks for all inlined calls. by Jordan Rose · 13 years ago
  48. 2d18419 [analyzer] Very simple ObjC instance method inlining by Anna Zaks · 13 years ago
  49. e13056a [analyzer] Add -analyzer-ipa=dynamic option for inlining dynamically by Anna Zaks · 13 years ago
  50. d563d3f [analyzer] Only allow CallEvents to be created by CallEventManager. by Jordan Rose · 13 years ago
  51. 972a368 [analyzer] Introduce a CallEventManager to keep a pool of CallEvents. by Jordan Rose · 13 years ago
  52. 11abf2a clang/lib: [CMake] Update tblgen'd dependencies. by NAKAMURA Takumi · 13 years ago
  53. 69a0e50 [analyzer] Look through SubstNonTypeTemplateParmExprs. by Jordan Rose · 13 years ago
  54. 979f098 [analyzer] Use a stack-based local AGAIN to fix the build for real. by Jordan Rose · 13 years ago
  55. e3fd87c [analyzer] Use a stack-based local instead of a temporary to fix build. by Jordan Rose · 13 years ago
  56. 6da6049 Look at the preceding CFGBlock for the expression to load from in ExprEngine::VisitGuardedExpr by Ted Kremenek · 13 years ago
  57. 7c99aa3 [analyzer] CallEvent is no longer a value object. by Jordan Rose · 13 years ago
  58. f540c54 [analyzer] Rename Calls.{h,cpp} to CallEvent.{h,cpp}. No functionality change. by Jordan Rose · 13 years ago
  59. 1d3ca25 [analyzer] Don't crash on implicit statements inside initializers. by Jordan Rose · 13 years ago
  60. e460c46 [analyzer] Don't crash on array constructors and destructors. by Jordan Rose · 13 years ago
  61. 3a0a9e3 [analyzer] Handle C++ member initializers and destructors. by Jordan Rose · 13 years ago
  62. 075f6fb [analyzer] Use the CFG to see if a constructor is for a local variable. by Jordan Rose · 13 years ago
  63. 888c90a [analyzer] Handle base class initializers and destructors. by Jordan Rose · 13 years ago
  64. 183ba8e [analyzer] Show paths for destructor calls. by Jordan Rose · 13 years ago
  65. da5fc53 [analyzer] Inline ctors + dtors when the CFG is built for them. by Jordan Rose · 13 years ago
  66. df51fb9 [analyzer] PostImplicitCall can also occur between CFGElements. by Jordan Rose · 13 years ago
  67. 9dc5167 [analyzer] Inline ObjC class methods. by Anna Zaks · 13 years ago
  68. fc999ac Add static analyzer check for calling a C++ instance method with a null/uninitialized pointer. by Ted Kremenek · 13 years ago
  69. a2ad394 Remove the ability to stash arbitrary pointers into UndefinedVal (no longer needed). by Ted Kremenek · 13 years ago
  70. 829846b Remove ExprEngine::MarkBranch(), as it is no longer needed. by Ted Kremenek · 13 years ago
  71. 469841a Update ExprEngine's handling of ternary operators to find the ternary expression by Ted Kremenek · 13 years ago
  72. 5292718 Remove experimental invalid iterators checker from the codebase until we have the time by Ted Kremenek · 13 years ago
  73. c0a4377 Promote warn_unknown_analyzer_checker to an error. Addresses <rdar://problem/10987863>. by Ted Kremenek · 13 years ago
  74. bed28ac Fix a typo (the the => the) by Sylvestre Ledru · 13 years ago
  75. c9dce4d Remove unused private member variable uncovered by the recent changes to clang's -Wunused-private-field. by Benjamin Kramer · 13 years ago
  76. e81ce25 [analyzer] Refactor VisitObjCMessage and VisitCallExpr to rely on the by Anna Zaks · 13 years ago
  77. 7c30427 Silence another GCC warning. by Richard Smith · 13 years ago
  78. 8919e68 [analyzer] Combine all ObjC message CallEvents into ObjCMethodCall. by Jordan Rose · 13 years ago
  79. 4b3918e [analyzer] Rename addExtraInvalidatedRegions to get...Regions by Jordan Rose · 13 years ago
  80. b7a23e0 [analyzer] Make CallEvent a value object. by Jordan Rose · 13 years ago
  81. 4ccc4cc [analyzer] Remove obsolete ObjCPropRef SVal kind. by Jordan Rose · 13 years ago
  82. 7ff8f5e [analyzer] Remove unused ExprEngine::VisitCXXTemporaryObjectExpr. by Jordan Rose · 13 years ago
  83. 7373ead Remove trivial destructor from SVal. by Benjamin Kramer · 13 years ago
  84. 21625c6 Fix crash in RegionStoreManager::evalDerivedToBase() due to not handling references by Ted Kremenek · 13 years ago
  85. a6a1aba [analyzer] Remove stale result type lvalue code. by Jordan Rose · 13 years ago
  86. 89e5aaf [analyzer] Handle new-expressions with initializers for scalars. by Jordan Rose · 13 years ago
  87. f85f60a Prevent unused-variable warning in optimized builds. by Daniel Jasper · 13 years ago
  88. 3f635c0 Refine CFG so that '&&' and '||' don't lead to extra confluence points when used in a branch, but by Ted Kremenek · 13 years ago
  89. c36b30c [analyzer] Don't inline virtual calls unless we can devirtualize properly. by Jordan Rose · 13 years ago
  90. 0ffbfd1 [analyzer] Add debug.DumpCalls, which prints out any CallEvents it sees. by Jordan Rose · 13 years ago
  91. 5ef6e94 [analyzer] Guard against C++ member functions that look like system functions. by Jordan Rose · 13 years ago
  92. 48b6247 [analyzer] Construct stack variables directly in their VarDecl. by Jordan Rose · 13 years ago
  93. e54cfc7 [analyzer] Use CallEvent for building inlined stack frames. by Jordan Rose · 13 years ago
  94. 852aa0d [analyzer] Make CallEnter, CallExitBegin, and CallExitEnd not be StmtPoints by Jordan Rose · 13 years ago
  95. 8d276d3 [analyzer] Add a CXXDestructorCall CallEvent. by Jordan Rose · 13 years ago
  96. 28038f3 [analyzer] Add new PreImplicitCall and PostImplicitCall ProgramPoints. by Jordan Rose · 13 years ago
  97. 783db50 [analyzer] Remove redundant check (scalar type is a superset of integer) by Anna Zaks · 13 years ago
  98. ee158bc [analyzer] When inlining, make sure we use the definition decl. by Jordan Rose · 13 years ago
  99. 752bee2 [analyzer] Be careful about LazyCompoundVals, which may be for the first field. by Jordan Rose · 13 years ago
  100. 8d3ba23 Implement AST classes for comments, a real parser for Doxygen comments and a by Dmitri Gribenko · 13 years ago