Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 097ebb3d8ce55d1f78a3f1e7a0978dbde5ee2898 / lib / StaticAnalyzer / Core
  1. 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
  2. 2dd17ab [analyzer] 'Looping back to the head of the loop' diagnostics are prunable. by Ted Kremenek · 13 years ago
  3. 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
  4. a81d3d4 Remove a recursive visitation in ExprEngine that is no longer needed because the CFG is fully linearized. by Erik Verbruggen · 13 years ago
  5. 4ba86bc [analyzer diagnostics] flush locations *before* popping the current path when visiting a CallEnter. by Ted Kremenek · 13 years ago
  6. 8235f9c [analyzer] Bound the size of the functions being inlined + provide by Anna Zaks · 13 years ago
  7. 77d0944 [analyzer diagnostics] Change CompactPathDiagnostic to recursively compact diagnostics in calls into macro pieces. by Ted Kremenek · 13 years ago
  8. cc2c4b2 Teach the analyzer to just ignore CXXBindTemporaryExpr. There's nothing special to do with it, since destructors are represented explicitly in the CFG. by Ted Kremenek · 13 years ago
  9. b2c60b0 Move llvm/ADT/SaveAndRestore.h -> llvm/Support/SaveAndRestore.h. by Argyrios Kyrtzidis · 13 years ago
  10. 3edf02f [analyzer] Diagnostics - do not try to cleanup the path with macros, it by Anna Zaks · 13 years ago
  11. 7251674 Change if...else if...else if... to a switch. by Ted Kremenek · 13 years ago
  12. 62ff528 [analyzer] when scanning FIDs in a PathDiagnostic, correctly recurse calls and macros. by Ted Kremenek · 13 years ago
  13. ca23eb2 [analyzer] Malloc: A pointer might escape through CFContainers APIs, by Anna Zaks · 13 years ago
  14. 4fafeb6 Remove a recursive visitiation in ExprEngine that is no longer needed by Erik Verbruggen · 13 years ago
  15. 56d8fd0 [analyzer diagnostics] Refactor filtration for PathDiagnosticConsumers that don't support cross-file diagnostics by Ted Kremenek · 13 years ago
  16. c89f4b0 [analyzer diagnostics] start prototyping stripping PathDiagnostics of unnecessary cruft caused by path inlining. by Ted Kremenek · 13 years ago
  17. c299428 [analyzer] Stats: Add the stats about remove dead bindings, correct the test. by Anna Zaks · 13 years ago
  18. 07d39a4 [analyzer] Fix Malloc False Positive (PR 12100) by Anna Zaks · 13 years ago
  19. 4c62b55 [analyzer] teach analyzer about ObjC literals, thus trimming out a false positive with the malloc() checker involving by Ted Kremenek · 13 years ago
  20. e739a29 [analyzer] Don't generate an explicit ExplodedNode for StringLiterals; have the SVal lazily generated from Environment::getSVal(). by Ted Kremenek · 13 years ago
  21. d45d361 Move "clang/Analysis/Support/SaveAndRestore.h" to "llvm/ADT/SaveAndRestore.h" by Argyrios Kyrtzidis · 13 years ago
  22. ff80afc [analyzer] Run remove dead bindings before each call. by Anna Zaks · 13 years ago
  23. e55b03a [analyzer] We were silently stopping exploring the path after by Anna Zaks · 13 years ago
  24. 4ca8ac2 Implement a new type trait __is_trivially_constructible(T, Args...) by Douglas Gregor · 13 years ago
  25. 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
  26. 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
  27. 68fbb3e Revert r151317 - Rework PathDiagnostics creation.. - to appease buildbots. by Chad Rosier · 13 years ago
  28. 4970ef8 Rework PathDiagnostic creation so that call stacks are captured by a nested PathDiagnosticCallPiece. by Ted Kremenek · 13 years ago
  29. ca8e36e [analyzer] Malloc: unique leak reports by allocation site. by Anna Zaks · 13 years ago
  30. 0d389b8 [analyzer] Invalidate the region passed to pthread_setspecific() call. by Anna Zaks · 13 years ago
  31. ac1303e Generate an AST for the conversion from a lambda closure type to a by Douglas Gregor · 13 years ago
  32. 7f9b1d9 Have ScanReachableSymbols reported reachable regions. Fixes a false positive with nested array literals. <rdar://problem/10686586> by Ted Kremenek · 13 years ago
  33. c93dc78 Basic: import IntrusiveRefCntPtr<> into clang namespace by Dylan Noblesmith · 13 years ago
  34. 99c06be Teach analyzer that blocks with no captures are globals. Fixes <rdar://problem/10348049>. by Ted Kremenek · 13 years ago
  35. b673a41 Adopt ExprEngine and checkers to ObjC property refactoring. Everything was working, but now diagnostics are aware of message expressions implied by uses of properties. Fixes <rdar://problem/9241180>. by Ted Kremenek · 13 years ago
  36. 3133f79 Have conjured symbols depend on LocationContext, to add context sensitivity for functions called more than once. by Ted Kremenek · 13 years ago
  37. 998e275 [analyzer] Generalize function name checking in CString checker. by Anna Zaks · 13 years ago
  38. bdd4c84 Add checker visitation hooks in ExprEngine::Visit() for common no-op expressions. To be used later. by Ted Kremenek · 13 years ago
  39. 2ac58b7 Revert "Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine. Also have it based on adding predecessors/successors, not node allocation. No measurable performance change." by Ted Kremenek · 13 years ago
  40. 437ee81 Move ExplodedNode reclaimation out of ExprEngine and into CoreEngine. Also have it based on adding predecessors/successors, not node allocation. No measurable performance change. by Ted Kremenek · 13 years ago
  41. 626719b Minor cleanup to node data structures in ExplodedGraph. No functionality change. by Ted Kremenek · 13 years ago
  42. 2aed8b8 Revert "Revert "Make CXXNewExpr contain only a single initialier, and not hold the used constructor itself."" by Sebastian Redl · 13 years ago
  43. 1548d14 Revert "Make CXXNewExpr contain only a single initialier, and not hold the used constructor itself." by Sebastian Redl · 13 years ago
  44. 5f688f4 Make CXXNewExpr contain only a single initialier, and not hold the used constructor itself. by Sebastian Redl · 13 years ago
  45. 5a0917d [analyzer] Diagnostics: Ensure that the default end of diagnostic path by Anna Zaks · 13 years ago
  46. 4d4e5c1 Split reinterpret_casts of member pointers out from CK_BitCast; this by John McCall · 13 years ago
  47. 66c4040 [analyzer] Make Malloc Checker optimistic in presence of inlining. by Anna Zaks · 13 years ago
  48. 9050e3a Remove recusive expression visitation in ExprEngine::VisitIncrementDecrementOperator(). by Ted Kremenek · 13 years ago
  49. a91ac5b Remove recursive visitation in ExprEngine for UO_Not, UO_Minus, UO_LNot. by Ted Kremenek · 13 years ago
  50. 224c489 Remove recursive visitation in ExprEngine for UO_Deref, UO_AddrOf, and UO_Extension. by Ted Kremenek · 13 years ago
  51. c1e08dc Remove ExprEngine recursive visitation of unary UO_Imag operation. by Ted Kremenek · 13 years ago
  52. 0193166 Further remove some recursive visitiation in ExprEngine that is no longer needed because the CFG is fully linearized. by Ted Kremenek · 13 years ago
  53. 10520d7 [analyzer] Proactively avoid inlining vararg functions and blocks until we properly support them. by Ted Kremenek · 13 years ago
  54. af84f8f Remove explicit delete of PathDiagnosticMacroPiece, as it is now reference counted. by Ted Kremenek · 13 years ago
  55. 802e024 Change PathDiagnosticPieces to be reference counted (simplifying their management), and introduce 'PathPieces' as a common container for PathDiagnosticPieces. by Ted Kremenek · 13 years ago
  56. eb2303c Refactor pieces of PathDiagnostic into its own data structure. No functionality change. by Ted Kremenek · 13 years ago
  57. d7a3e2c Revert my patches which removed Diagnostic.h includes by moving some operator overloads out of line. by Benjamin Kramer · 13 years ago
  58. a59d20b Print NamedDecls directly to a raw_ostream where possible. by Benjamin Kramer · 13 years ago
  59. 01d0801 Introduce basic ASTs for lambda expressions. This covers: by Douglas Gregor · 13 years ago
  60. a6215b9 Create PathDiagnosticCallEnter and PathDiagnosticCallExit, to remark calls in PathDiagnostics from other events. This will by Ted Kremenek · 13 years ago
  61. 5de4fdb Tweak BugReporter extensive diagnostics to not add edges between function calls. by Ted Kremenek · 13 years ago
  62. b9201d2 Quote name of function in path diagnostics. by Ted Kremenek · 13 years ago
  63. 0cf3d47 Add basic BugReporter support for CallEnter/CallExit. WIP. by Ted Kremenek · 13 years ago
  64. f7ccbad Basic: import SmallString<> into clang namespace by Dylan Noblesmith · 13 years ago
  65. 6f42b62 Basic: import OwningPtr<> into clang namespace by Dylan Noblesmith · 13 years ago
  66. 8fe83e1 Move a method from IdentifierTable.h out of line and remove the SmallString include. by Benjamin Kramer · 13 years ago
  67. fdd1560 Remove Diagnostic.h include from Preprocessor.h. by Benjamin Kramer · 13 years ago
  68. 00bd44d Move various diagnostic operator<< overloads out of line and remove includes of Diagnostic.h. by Benjamin Kramer · 13 years ago
  69. 84aac9a [analyzer] Fix a crash in CheckerContext::isCLibraryFunction for C++ by Anna Zaks · 13 years ago
  70. e00575f [analyzer] Add checks for common anti-patterns in strncat. by Anna Zaks · 13 years ago
  71. a5888f6 Reapply r149311 which I reverted by mistake. by Argyrios Kyrtzidis · 13 years ago
  72. b9b0f6f Revert r149311 which failed to compile. by Argyrios Kyrtzidis · 13 years ago
  73. 841c96a Minor refactor within ExplodedGraph::reclaimRecentlyAllocatedNodes(). No functionality change. by Ted Kremenek · 13 years ago
  74. 72e9306 Convert ProgramStateRef to a smart pointer for managing the reference counts of ProgramStates. This leads to a slight memory by Ted Kremenek · 13 years ago
  75. af5f550 [analyzer] Add index out of bounds check for CFArrayGetArrayAtIndex. by Anna Zaks · 13 years ago
  76. c35fb7d StaticAnalyzer: Move ObjC- and CXX-specific methods out of line so checkers that don't care about the language don't have to pull in all the headers. by Benjamin Kramer · 13 years ago
  77. 8bef823 Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. by Ted Kremenek · 13 years ago
  78. bac3413 Rework flushing of diagnostics to PathDiagnosticConsumer. Now all the reports are batched up before being flushed by Ted Kremenek · 13 years ago
  79. d2e7090 Post open source analyzer build checker-259. by Ted Kremenek · 13 years ago
  80. 9d0064e Reduce peak memory usage of the static analyzer on sqlite3 (when using inlining) by 30%. by Ted Kremenek · 13 years ago
  81. 3026348 More dead code removal (using -Wunreachable-code) by David Blaikie · 13 years ago
  82. be97b7e [analyzer] Skip casts when determining taint dependencies + pretty printing. by Anna Zaks · 13 years ago
  83. 461af1e [analyzer] Add a utility method that allows to find the macro name used by Anna Zaks · 13 years ago
  84. 9b0c749 [analyzer] Taint: add taint propagation rules for string and memory copy by Anna Zaks · 13 years ago
  85. 561d3ab Remove unnecessary default cases in switches over enums. by David Blaikie · 13 years ago
  86. 7a7ee30 Some improvements to the handling of C11 atomic types: by David Chisnall · 13 years ago
  87. 52e4c60 Refactor variables unused under non-assert builds. by David Blaikie · 13 years ago
  88. b71d157 [analyzer] Unwrap the pointers when ignoring the const cast. by Anna Zaks · 13 years ago
  89. ce8ef16 [analyzer] RegionStoreManager::getBinding() should not crash when by Anna Zaks · 13 years ago
  90. dba241d [analyzer] Fix a typo in a warning message. by Anna Zaks · 13 years ago
  91. 0849ade [analyzer] fix inlining's handling of mapping actual to formal arguments and limit the call stack depth. The analyzer can now accurately simulate factorial for limited depths. by Ted Kremenek · 13 years ago
  92. 1437425 [analyzer] Rename Store::Retrieve() -> getBinding(). by Anna Zaks · 13 years ago
  93. 256ef64 Remove '#if 0' from ExprEngine::InlineCall(), and start fresh by wiring up inlining for straight C calls. by Ted Kremenek · 13 years ago
  94. f660f4b Make PathDiagnosticLocation more resilient to null Stmt pointers. by Ted Kremenek · 13 years ago
  95. 9f03b62 [analyzer] Add basic format string vulnerability checking. by Anna Zaks · 13 years ago
  96. 3070e13 [analyzer] Remove CallEnterNodeBuilder and simplify ExprEngine::processCallEnter(). by Ted Kremenek · 13 years ago
  97. 242384d Correctly enqueue successors in ExprEngine::processCallExit(). by Ted Kremenek · 13 years ago
  98. 894212e [analyzer] Remove CallExitNodeBuilder, and have ExprEngine::processCallExit() do the work manually. This is a nice simplification. by Ted Kremenek · 13 years ago
  99. 5eca482 [analyzer] Make the entries in 'Environment' context-sensitive by making entries map from by Ted Kremenek · 13 years ago
  100. eb31a76 [analyzer] Be less pessimistic about invalidation of global variables by Anna Zaks · 13 years ago