Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 802e02463b880f53a6e645bde78cc412481ce9e0 / lib / StaticAnalyzer / Core
  1. 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
  2. eb2303c Refactor pieces of PathDiagnostic into its own data structure. No functionality change. by Ted Kremenek · 13 years ago
  3. d7a3e2c Revert my patches which removed Diagnostic.h includes by moving some operator overloads out of line. by Benjamin Kramer · 13 years ago
  4. a59d20b Print NamedDecls directly to a raw_ostream where possible. by Benjamin Kramer · 13 years ago
  5. 01d0801 Introduce basic ASTs for lambda expressions. This covers: by Douglas Gregor · 13 years ago
  6. a6215b9 Create PathDiagnosticCallEnter and PathDiagnosticCallExit, to remark calls in PathDiagnostics from other events. This will by Ted Kremenek · 13 years ago
  7. 5de4fdb Tweak BugReporter extensive diagnostics to not add edges between function calls. by Ted Kremenek · 13 years ago
  8. b9201d2 Quote name of function in path diagnostics. by Ted Kremenek · 13 years ago
  9. 0cf3d47 Add basic BugReporter support for CallEnter/CallExit. WIP. by Ted Kremenek · 13 years ago
  10. f7ccbad Basic: import SmallString<> into clang namespace by Dylan Noblesmith · 13 years ago
  11. 6f42b62 Basic: import OwningPtr<> into clang namespace by Dylan Noblesmith · 13 years ago
  12. 8fe83e1 Move a method from IdentifierTable.h out of line and remove the SmallString include. by Benjamin Kramer · 13 years ago
  13. fdd1560 Remove Diagnostic.h include from Preprocessor.h. by Benjamin Kramer · 13 years ago
  14. 00bd44d Move various diagnostic operator<< overloads out of line and remove includes of Diagnostic.h. by Benjamin Kramer · 13 years ago
  15. 84aac9a [analyzer] Fix a crash in CheckerContext::isCLibraryFunction for C++ by Anna Zaks · 13 years ago
  16. e00575f [analyzer] Add checks for common anti-patterns in strncat. by Anna Zaks · 13 years ago
  17. a5888f6 Reapply r149311 which I reverted by mistake. by Argyrios Kyrtzidis · 13 years ago
  18. b9b0f6f Revert r149311 which failed to compile. by Argyrios Kyrtzidis · 13 years ago
  19. 841c96a Minor refactor within ExplodedGraph::reclaimRecentlyAllocatedNodes(). No functionality change. by Ted Kremenek · 13 years ago
  20. 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
  21. af5f550 [analyzer] Add index out of bounds check for CFArrayGetArrayAtIndex. by Anna Zaks · 13 years ago
  22. 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
  23. 8bef823 Change references to 'const ProgramState *' to typedef 'ProgramStateRef'. by Ted Kremenek · 13 years ago
  24. bac3413 Rework flushing of diagnostics to PathDiagnosticConsumer. Now all the reports are batched up before being flushed by Ted Kremenek · 13 years ago
  25. d2e7090 Post open source analyzer build checker-259. by Ted Kremenek · 13 years ago
  26. 9d0064e Reduce peak memory usage of the static analyzer on sqlite3 (when using inlining) by 30%. by Ted Kremenek · 13 years ago
  27. 3026348 More dead code removal (using -Wunreachable-code) by David Blaikie · 13 years ago
  28. be97b7e [analyzer] Skip casts when determining taint dependencies + pretty printing. by Anna Zaks · 13 years ago
  29. 461af1e [analyzer] Add a utility method that allows to find the macro name used by Anna Zaks · 13 years ago
  30. 9b0c749 [analyzer] Taint: add taint propagation rules for string and memory copy by Anna Zaks · 13 years ago
  31. 561d3ab Remove unnecessary default cases in switches over enums. by David Blaikie · 13 years ago
  32. 7a7ee30 Some improvements to the handling of C11 atomic types: by David Chisnall · 13 years ago
  33. 52e4c60 Refactor variables unused under non-assert builds. by David Blaikie · 13 years ago
  34. b71d157 [analyzer] Unwrap the pointers when ignoring the const cast. by Anna Zaks · 13 years ago
  35. ce8ef16 [analyzer] RegionStoreManager::getBinding() should not crash when by Anna Zaks · 13 years ago
  36. dba241d [analyzer] Fix a typo in a warning message. by Anna Zaks · 13 years ago
  37. 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
  38. 1437425 [analyzer] Rename Store::Retrieve() -> getBinding(). by Anna Zaks · 13 years ago
  39. 256ef64 Remove '#if 0' from ExprEngine::InlineCall(), and start fresh by wiring up inlining for straight C calls. by Ted Kremenek · 13 years ago
  40. f660f4b Make PathDiagnosticLocation more resilient to null Stmt pointers. by Ted Kremenek · 13 years ago
  41. 9f03b62 [analyzer] Add basic format string vulnerability checking. by Anna Zaks · 13 years ago
  42. 3070e13 [analyzer] Remove CallEnterNodeBuilder and simplify ExprEngine::processCallEnter(). by Ted Kremenek · 13 years ago
  43. 242384d Correctly enqueue successors in ExprEngine::processCallExit(). by Ted Kremenek · 13 years ago
  44. 894212e [analyzer] Remove CallExitNodeBuilder, and have ExprEngine::processCallExit() do the work manually. This is a nice simplification. by Ted Kremenek · 13 years ago
  45. 5eca482 [analyzer] Make the entries in 'Environment' context-sensitive by making entries map from by Ted Kremenek · 13 years ago
  46. eb31a76 [analyzer] Be less pessimistic about invalidation of global variables by Anna Zaks · 13 years ago
  47. d1247c5 Extend ConditionBRVisitor to handle condition variable assignments. by Ted Kremenek · 13 years ago
  48. 80d4b55 Small refactoring and simplification of constant evaluation and some of its by Richard Smith · 13 years ago
  49. 2cbe791 [analyzer] Do not invalidate arguments when the parameter's by Anna Zaks · 13 years ago
  50. 6ae3257 Fix inversion of static analyzer path diagnostics for path conditions. by Ted Kremenek · 13 years ago
  51. 3ff53b3 Update the CMake build for r146959's new files. by Chandler Carruth · 13 years ago
  52. 99ba9e3 Unweaken vtables as per http://llvm.org/docs/CodingStandards.html#ll_virtual_anch by David Blaikie · 13 years ago
  53. 777d706 [analyzer] Minor: Simplify & assert. by Anna Zaks · 13 years ago
  54. d3d8548 [analyzer] Better stdin support. by Anna Zaks · 13 years ago
  55. bcb3b98 [analyzer] Address Jordy's comments for r145985. by Anna Zaks · 13 years ago
  56. 557a382 [analyzer] Ensure that the order in which checker callbacks are called by Anna Zaks · 13 years ago
  57. 28fd98d [analyzer] Minor refactor to addTaint. by Anna Zaks · 13 years ago
  58. e55a22b [analyzer] Mark getenv output as tainted. by Anna Zaks · 13 years ago
  59. e3d250e [analyzer] CStringChecker should not rely on the analyzer generating UndefOrUnknown value when it cannot reason about the expression. by Anna Zaks · 13 years ago
  60. 6d6a83c [analyzer]Fixup r146336. by Anna Zaks · 13 years ago
  61. 24d052c [analyzer] Introduce IntSymExpr, where the integer is on the lhs. by Anna Zaks · 13 years ago
  62. 432a455 [analyzer] Fix inconsistency on when SValBuilder assumes that 2 by Anna Zaks · 13 years ago
  63. 5fc7def [analyzer] If memory region is tainted mark data as tainted. + random comments by Anna Zaks · 13 years ago
  64. b39c5b4 [analyzer] Cleanup: use the variable. by Anna Zaks · 13 years ago
  65. dcf06fa [analyzer] Propagate taint through MemRegions. by Anna Zaks · 13 years ago
  66. a91efb1 [analyzer] Add comments related to symbol_iterator by Anna Zaks · 13 years ago
  67. 1d1d515 [analyzer] Refactor: Move symbol_iterator from SVal to SymExpr, use it by Anna Zaks · 13 years ago
  68. aace9ef [analyzer] Propagate taint through NonLoc to NonLoc casts. by Anna Zaks · 13 years ago
  69. eca4e6e [analyzer] Mark ConstraintManager::canReasonAbout as protected. by Anna Zaks · 13 years ago
  70. 084842d [analyzer] Simplify the condition. by Anna Zaks · 13 years ago
  71. 5344baa [analyzer] Unify SymbolVal and SymExprVal under a single SymbolVal class. by Anna Zaks · 13 years ago
  72. 76462f0 [analyzer] Remove all uses of ConstraintManager::canResonAbout() from by Anna Zaks · 13 years ago
  73. 3cdf584 [analyzer] First step toward removing by Anna Zaks · 13 years ago
  74. 1a00eef [analyzer] Minor improvements on RangeConstraint pretty-printing. by Anna Zaks · 13 years ago
  75. d016785 [analyzer] Add ability to do a simple ProgramState dump() without requiring CFG. by Anna Zaks · 13 years ago
  76. b805c8f [analyzer] Refactor checkers to use helper function for getting callee Decl and name. by Anna Zaks · 13 years ago
  77. a078ecf When analyzing a C++ method (without a specific caller), assume 'this' is non-null. Fixes <rdar://problem/10508787>. by Ted Kremenek · 13 years ago
  78. 214323b Relax RegionStore to allow loads from CodeTextRegions. Apparently you can actually write code that does this. This seems worthy of a checker, but the StoreManager should handle the memory abstraction without crashing. Fixes PR 11450. by Ted Kremenek · 13 years ago
  79. 426a16d [analyzer] Minor cleanup of SValBuilder: Comments + code reuse. by Anna Zaks · 13 years ago
  80. 8f4caf5 [analyzer] Warn when non pointer arguments are passed to scanf (only when running taint checker). by Anna Zaks · 13 years ago
  81. 0d339d0 [analyzer] Do not conjure a symbol when we need to propagate taint. by Anna Zaks · 13 years ago
  82. ee081c4 [analyzer] Minor tweaks to the ProgramState::isTainted(). by Anna Zaks · 13 years ago
  83. 64595fa [analyzer] Add a helper method. by Anna Zaks · 13 years ago
  84. eeea7c4 [analysis] Constify CheckerContext. by Anna Zaks · 13 years ago
  85. 8687397 [analyzer] Put CheckerConext::getCalleeName out of line. by Anna Zaks · 13 years ago
  86. e42a0ab Fixed crash with initializer lists and unnamed bitfields in the RegionStore by Jim Goodnow II · 13 years ago
  87. ceac1d6 [analyzer] Adding basic building blocks for taint propagation. by Anna Zaks · 13 years ago
  88. 57e156a [analyzer] Cleanup: Null->0, comments. by Anna Zaks · 13 years ago
  89. 729aa06 [analyzer;Regionstore] handle loads from StringLiteral elements for StringLiterals representing wide strings. Fixes PR 11294. by Ted Kremenek · 13 years ago
  90. 9e9a3e6 [static analyzer] be more specific when running removeDeadBindings. Instead of seeing if the predecessor node was a non-StmtPoint, check if it is specifically a BlockEntrance node. by Ted Kremenek · 13 years ago
  91. ce117a7 [static analyzer]: only call RemoveDeadBindings() when analyzing non-Expr stmts, entering a basic block, or analyzing non-consumed expressions. This sigificantly speeds up analysis time, and reduces analysis time down to 27% less than before we linearized the CFG. by Ted Kremenek · 13 years ago
  92. 7864435 Rip out CK_GetObjCProperty. by John McCall · 13 years ago
  93. 4b9c2d2 Change the AST representation of operations on Objective-C by John McCall · 13 years ago
  94. 92d3dda Remove unused variables. by Benjamin Kramer · 13 years ago
  95. 21a2516 Fix various minor issues find via unreachable code warnings, from Ahmed Charles! by Douglas Gregor · 13 years ago
  96. 2eba859 Remove virtually empty file. by Benjamin Kramer · 13 years ago
  97. 6800ba6 [analyzer] Make sink attribute part of the node profile. by Anna Zaks · 13 years ago
  98. 2d950b1 [analyzer] Fix PR11282 - an assert in markAsSink by Anna Zaks · 13 years ago
  99. 6889679 [analyzer] Make sure the child builder use temporary destination sets by Anna Zaks · 13 years ago
  100. cdcc653 [analyzer] BranchNodeBuilder should not generate autotransitions. by Anna Zaks · 13 years ago