Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / c50e6df965ff264952d8d5805d151f89c89af302 / lib / Analysis
  1. c50e6df Switch RegionStore over to using <BaseRegion+raw offset> to store by Ted Kremenek · 15 years ago
  2. 1c1ae6b Preliminary reworking of value-binding logic in RegionStore: by Ted Kremenek · 15 years ago
  3. 4a749b9 Fix overzealous assertion in GRExprEngine::VisitLValue(). A by Ted Kremenek · 15 years ago
  4. 7960ec3 Fix broken diagnostic when returning the address of a stack-allocated array. by Ted Kremenek · 15 years ago
  5. bc37b8d When binding an rvalue to a reference, create a temporary object. Use by Zhongxing Xu · 15 years ago
  6. 48569f9 Fix handling in GRExprEngine of 'default' branch in switch statements by Ted Kremenek · 15 years ago
  7. 5ea95fc Revert r92318. Instead fix the analyzer: do not call by Zhongxing Xu · 15 years ago
  8. de0d263 Make static analysis support for C++ 'this' expression context-sensitive. Essentially treat 'this' as a implicit parameter to the method call, and associate a region with it. by Ted Kremenek · 15 years ago
  9. 32a5808 Remove references to 'Checker' and 'GRTransferFuncs' from by Ted Kremenek · 15 years ago
  10. b94b81a Let constraint manager inform checkers that some assumption logic has happend. by Zhongxing Xu · 15 years ago
  11. 84eaeff Simplify code by using an equivalent template class. by Zhongxing Xu · 15 years ago
  12. 54d76db Remove some dead variables clang-analyzer found. by Benjamin Kramer · 15 years ago
  13. 9c825c3 Fix typo spotted by MSVC. by Benjamin Kramer · 15 years ago
  14. 62d399e As Ted suggested, record the callsite information with the StackFrameContext. by Zhongxing Xu · 15 years ago
  15. bfbcefb Enhance dataflow analyses to recognize branch statements in the CFG used as hooks for the initialization of condition variables. by Ted Kremenek · 15 years ago
  16. 598278b Inter-procedural analysis: now we can return from the callee. by Zhongxing Xu · 15 years ago
  17. 919f066 Teach GRExprEngine to handle the initialization of the condition variable of a ForStmt. by Ted Kremenek · 15 years ago
  18. 58b87fe Add CFG support for the initializer of the condition variable of a ForStmt. by Ted Kremenek · 15 years ago
  19. 4ec010a CFG tweak: in a WhileStmt, the condition variable initializer is evaluated every time the condition is checked. by Ted Kremenek · 15 years ago
  20. 4c508a1 Teach GRExprEngine to handle the initialization of the condition variable of a WhileStmt. by Ted Kremenek · 15 years ago
  21. 7652546 Add CFG support for the initializer of the condition variable of a WhileStmt. by Ted Kremenek · 15 years ago
  22. fcfb503 Teach GRExprEngine to handle the initialization of the condition variable of a SwitchStmt. by Ted Kremenek · 15 years ago
  23. 6b501eb Add CFG support for the initializer of the condition variable of a SwitchStmt. by Ted Kremenek · 15 years ago
  24. 8a69366 Tidy up FindSubExprAssignments to not deference the child_iterator multiple times. by Ted Kremenek · 15 years ago
  25. 2550d70 move a few more symbols to .rodata/.data.rel.ro by Nuno Lopes · 15 years ago
  26. 3ff8481 Migrate the call inliner to the Checker interface. by Zhongxing Xu · 15 years ago
  27. cb74d72 For inter-procedural analysis, predecessor node may be in another function. by Zhongxing Xu · 15 years ago
  28. 61dfbec Add CFG support for the condition variable that can appear in IfStmts in C++ mode. by Ted Kremenek · 15 years ago
  29. 604d939 Suppress dead store warnings involving objects initialized with CXXExprTemporaries. by Ted Kremenek · 15 years ago
  30. e59df87 Add stack trace pretty printing in GRExprEngine::VisitLValue(). by Ted Kremenek · 15 years ago
  31. c8be365 Teach GRExprEngine::VisitLValue to ignore CXXExprWithTempories (for now). by Ted Kremenek · 15 years ago
  32. 5bbc8e7 Fix PR 5857. When casting from a symbolic region to an integer back to a pointer value, we were not correctly layering the correct ElementRegion on the original SymbolicRegion. by Ted Kremenek · 15 years ago
  33. 7931c93 Teach GRExprEngine::VisitLValue that we don't handle CXXZeroInitValueExprs yet. by Ted Kremenek · 15 years ago
  34. 077a40d Also treat the type of the subexpression as a pointer in GRExprEngine::VisitCast when the expression is handled as an lvalue. by Ted Kremenek · 15 years ago
  35. 949bdb4 Add basic support for analyzing CastExprs as lvalues. by Ted Kremenek · 15 years ago
  36. 38ac4f5 Add transfer functions support for visiting an Objective-C message expression as an lvalue when the return type is a C++ reference. by Ted Kremenek · 15 years ago
  37. 944ebc6 Add comments. by Zhongxing Xu · 15 years ago
  38. 910e408 Use the FunctionDecl's result type to know exactly if it returns a reference. by Zhongxing Xu · 15 years ago
  39. 5328751 Enhance GRExprEngine::VisitCallExpr() to be used in an lvalue context. Uncovered a new failing test case along the way, but we're making progress on handling C++ references in the analyzer. by Ted Kremenek · 15 years ago
  40. 7f14e6f Tweak formatting and comments. by Ted Kremenek · 15 years ago
  41. 3cead90 Convert GRExprEngine::VisitCallExpr() to use a worklist instead of recursion to evaluate the arguments of a CallExpr. This simplifies the logic and makes it easier to read. (it also avoids any issues with blowing out the stack if the CallExpr had a ridiculous number of arguments) by Ted Kremenek · 15 years ago
  42. 5974ec5 Reduce nesting by using early exits. No functionality change. by Ted Kremenek · 15 years ago
  43. 82a64e5 Sort switch statement. No functionality change. by Ted Kremenek · 15 years ago
  44. 5f75f92 Fix check in GRExprEngine for the 'main' function to handle NULL IdentifierInfo*'s. by Ted Kremenek · 15 years ago
  45. c410d4d Completely remove ObjCObjectRegion (tests pass this time). by Ted Kremenek · 15 years ago
  46. a07cb93 Temporarily revert 91553. by Ted Kremenek · 15 years ago
  47. bc73b59 Remove use of ObjCObjectRegion from BasicStoreManager. by Ted Kremenek · 15 years ago
  48. bb14121 Add a new kind of region: CXXObjectRegion. Currently it has only one by Zhongxing Xu · 15 years ago
  49. 48c6d18 Teach RetainSummaryManager::getSummary(FunctionDecl* FD) that 'FD->getIdentifier()' will not always return a non-null IdentifierInfo*. by Ted Kremenek · 15 years ago
  50. a0f7727 Teach OSAtomicChecker that a FunctionDecl's name isn't always a simple IdentifierInfo*. by Ted Kremenek · 15 years ago
  51. b01a322 Teach NoReturnFunctionChecker that FunctionDecl::getIdentifier() is not guaranteed to return a non-null IdentifierInfo*. by Ted Kremenek · 15 years ago
  52. 852274d Add (initial?) static analyzer support for handling C++ references. by Ted Kremenek · 15 years ago
  53. 28172a2 Remove ValueManager::getRegionValueSymbolValOrUnknown(). It was just extra veneer on top of getRegionValueSymbolVal(). by Ted Kremenek · 15 years ago
  54. 06159e8 update to match LLVM API change: by Chris Lattner · 15 years ago
  55. 43f19e3 Until we can make the dead stores checker smarter, dont' emit dead store warnings for C++ objects (whose constructors/destructors have possible side-effects). by Ted Kremenek · 15 years ago
  56. c768a0c Start the ball rolling on C++ support in the static analyzer. For by Ted Kremenek · 15 years ago
  57. 5348f94 Fix: <rdar://problem/7468209> SymbolManager::isLive() should not crash on captured block variables that are passed by reference by Ted Kremenek · 15 years ago
  58. 7fbb1ba Use insert to avoid destroying existing nodes. by Zhongxing Xu · 15 years ago
  59. d9c84c8 Add initial support for realloc() in MallocChecker. by Zhongxing Xu · 15 years ago
  60. 9f61aa9 Un-namespace-qualify llvm_unreachable. It's a macro, so the qualification gave by Jeffrey Yasskin · 15 years ago
  61. d8e494f Switch PathDiagnostic to StringRef. by Benjamin Kramer · 15 years ago
  62. 2b87ae4 Enhance understanding of VarRegions referenced by a block whose declarations are outside the current stack frame. Fixes <rdar://problem/7462324>. by Ted Kremenek · 15 years ago
  63. a49c6b7 Completely evaluate malloc/free in MallocChecker.cpp. by Zhongxing Xu · 15 years ago
  64. 7fb1464 Use 'class' instead of 'struct'. by Zhongxing Xu · 15 years ago
  65. 6bcd5a0 Fix null dereference in OSAtomicChecker and special case SymbolicRegions. We still aren't handling them correctly; I've added to failing test cases to test/Analysis/NSString-failed-cases.m that should pass and then be merged in to test/Analysis/NSString.m. by Ted Kremenek · 15 years ago
  66. 1ec4e97 Refactor OSAtomic evaluation logic into OSAtomicChecker. by Zhongxing Xu · 15 years ago
  67. 78c98fa Use a temporary destination set such that we can clear fake auto transitions. by Zhongxing Xu · 15 years ago
  68. 2f4a6b2 OSAtomic simulation: use the original region as the location to load from, by Zhongxing Xu · 15 years ago
  69. a92bd30 remove dead code. by Zhongxing Xu · 15 years ago
  70. 9f68ea2 Insert instead of assign to the dest node set, since we use the dest node set by Zhongxing Xu · 15 years ago
  71. 17f4da8 Fix a horrid bug in GRExprEngine::CheckerVisit() that was identified by Ted Kremenek · 15 years ago
  72. 7c9624b Refactor builtin function evaluation into a checker. by Zhongxing Xu · 15 years ago
  73. 67d1287 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 15 years ago
  74. 935ef90 Add EvalCallExpr interface to checker, and migrate the no-return function by Zhongxing Xu · 15 years ago
  75. 30a4534 Teach AnalysisContext::getBody() about BlockDecls. by Ted Kremenek · 15 years ago
  76. 4f1db53 Teach 'ExecutionContinues' (part of BugReporter's diagnostic generation) about BlockDecls. by Ted Kremenek · 15 years ago
  77. 224451b Include BlockDeclRefExprs in constructed CFGs. by Ted Kremenek · 15 years ago
  78. edeb5b6 Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion). by Ted Kremenek · 15 years ago
  79. bfb4fc9 Rename instance variable to avoid name conflict with parameters, and modify addTransition() to compare the correct state values. by Ted Kremenek · 15 years ago
  80. d02e83a Allow BlockInvocationContext to wrap either a BlockDecl* or a BlockDataRegion*, giving us choice in our degree of context-sensitivity. by Ted Kremenek · 15 years ago
  81. 0ee4124 Refactor LocationContext creation logic into a single member template. by Ted Kremenek · 15 years ago
  82. dc0d909 Refactor FoldingSet profiling code for LocationContexts, and add a new BlockInvocationContext to represent the invocation of a block. by Ted Kremenek · 15 years ago
  83. b48ad64 constify MemRegion* returned by MemRegionManager::getXXXRegion() methods. by Ted Kremenek · 15 years ago
  84. bcd7f9f More template-logic for MemRegion construction out of MemRegion.h and into MemRegion.cpp. by Ted Kremenek · 15 years ago
  85. a7a8dfd Tweak handling of BlockDataRegions in RegionStoreManager::RemoveDeadBindings(): only the VarRegions for variables marked with the '__block' annotation should have their lifetime extended by a BlockDataRegion. by Ted Kremenek · 15 years ago
  86. 1bf4056 Add security syntactic checker for mktemp. Patch by Lei Zhang! by Zhongxing Xu · 15 years ago
  87. 459cc23 Update CMake for CallGraph.cpp move. by Daniel Dunbar · 15 years ago
  88. 2ffbfd9 Add value invalidation logic for block-captured variables. Conceptually invoking a block (without specific reasoning of what the block does) can invalidate any value to it by reference when the block was created. by Ted Kremenek · 15 years ago
  89. 81cef58 Make BlockDataRegion::referenced_vars_iterator an actual class that enforces that all MemRegions iterated over are VarRegions. by Ted Kremenek · 15 years ago
  90. 8fd57fe Fix layering violation by moving Analysis/CallGraph to Index by Daniel Dunbar · 15 years ago
  91. 81a9583 Add batch version of 'StoreManager::InvalidateRegion()' for invalidating multiple regions as once. After adopting this in the CFRefCount::EvalCall(), we see a reduction in analysis time of 1.5% when analyzing all of SQLite3. by Ted Kremenek · 15 years ago
  92. 74635d8 Add a heuristic to the dead stores checker to prune dead stores for variables annotated with '__block'. This is overly conservative, but now the analyzer doesn't report dead stores for variables that can be updated by a block call. by Ted Kremenek · 15 years ago
  93. a46e4d9 Hard bifurcate the state into nil receiver and non-nil receiver, so that by Zhongxing Xu · 15 years ago
  94. 02b1df6 Provide the correct vector size for referenced variables. by Ted Kremenek · 15 years ago
  95. 43f19f7 Fix early-return logic in scanReachableSymbols() to match the rest of the recursive logic in the methods of ScanReachableSymbols. by Ted Kremenek · 15 years ago
  96. 47491f8 Eliminate another VISIBILITY_HIDDEN by Douglas Gregor · 15 years ago
  97. 006b0eb Adapt to the DOTGraphTraits changes in LLVM. by Tobias Grosser · 15 years ago
  98. f017173 Port BugReporter and BugType to StringRef. by Benjamin Kramer · 15 years ago
  99. 4988a9a Kill some unnecessary calls to c_str(). by Benjamin Kramer · 15 years ago
  100. d4daa7c Fix null dereference in UndefResultChecker identified by running the analyzer over Postgresql. by Ted Kremenek · 15 years ago