Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 5a9bd1169347783112b1fb472a2d8a177529ba73 / lib / Analysis
  1. 28172a2 Remove ValueManager::getRegionValueSymbolValOrUnknown(). It was just extra veneer on top of getRegionValueSymbolVal(). by Ted Kremenek · 15 years ago
  2. 06159e8 update to match LLVM API change: by Chris Lattner · 15 years ago
  3. 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
  4. c768a0c Start the ball rolling on C++ support in the static analyzer. For by Ted Kremenek · 15 years ago
  5. 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
  6. 7fbb1ba Use insert to avoid destroying existing nodes. by Zhongxing Xu · 15 years ago
  7. d9c84c8 Add initial support for realloc() in MallocChecker. by Zhongxing Xu · 15 years ago
  8. 9f61aa9 Un-namespace-qualify llvm_unreachable. It's a macro, so the qualification gave by Jeffrey Yasskin · 15 years ago
  9. d8e494f Switch PathDiagnostic to StringRef. by Benjamin Kramer · 15 years ago
  10. 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
  11. a49c6b7 Completely evaluate malloc/free in MallocChecker.cpp. by Zhongxing Xu · 15 years ago
  12. 7fb1464 Use 'class' instead of 'struct'. by Zhongxing Xu · 15 years ago
  13. 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
  14. 1ec4e97 Refactor OSAtomic evaluation logic into OSAtomicChecker. by Zhongxing Xu · 15 years ago
  15. 78c98fa Use a temporary destination set such that we can clear fake auto transitions. by Zhongxing Xu · 15 years ago
  16. 2f4a6b2 OSAtomic simulation: use the original region as the location to load from, by Zhongxing Xu · 15 years ago
  17. a92bd30 remove dead code. by Zhongxing Xu · 15 years ago
  18. 9f68ea2 Insert instead of assign to the dest node set, since we use the dest node set by Zhongxing Xu · 15 years ago
  19. 17f4da8 Fix a horrid bug in GRExprEngine::CheckerVisit() that was identified by Ted Kremenek · 15 years ago
  20. 7c9624b Refactor builtin function evaluation into a checker. by Zhongxing Xu · 15 years ago
  21. 67d1287 Add analysis support for blocks. This includes a few key changes: by Ted Kremenek · 15 years ago
  22. 935ef90 Add EvalCallExpr interface to checker, and migrate the no-return function by Zhongxing Xu · 15 years ago
  23. 30a4534 Teach AnalysisContext::getBody() about BlockDecls. by Ted Kremenek · 15 years ago
  24. 4f1db53 Teach 'ExecutionContinues' (part of BugReporter's diagnostic generation) about BlockDecls. by Ted Kremenek · 15 years ago
  25. 224451b Include BlockDeclRefExprs in constructed CFGs. by Ted Kremenek · 15 years ago
  26. edeb5b6 Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion). by Ted Kremenek · 15 years ago
  27. 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
  28. 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
  29. 0ee4124 Refactor LocationContext creation logic into a single member template. by Ted Kremenek · 15 years ago
  30. 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
  31. b48ad64 constify MemRegion* returned by MemRegionManager::getXXXRegion() methods. by Ted Kremenek · 15 years ago
  32. bcd7f9f More template-logic for MemRegion construction out of MemRegion.h and into MemRegion.cpp. by Ted Kremenek · 15 years ago
  33. 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
  34. 1bf4056 Add security syntactic checker for mktemp. Patch by Lei Zhang! by Zhongxing Xu · 15 years ago
  35. 459cc23 Update CMake for CallGraph.cpp move. by Daniel Dunbar · 15 years ago
  36. 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
  37. 81cef58 Make BlockDataRegion::referenced_vars_iterator an actual class that enforces that all MemRegions iterated over are VarRegions. by Ted Kremenek · 15 years ago
  38. 8fd57fe Fix layering violation by moving Analysis/CallGraph to Index by Daniel Dunbar · 15 years ago
  39. 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
  40. 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
  41. a46e4d9 Hard bifurcate the state into nil receiver and non-nil receiver, so that by Zhongxing Xu · 15 years ago
  42. 02b1df6 Provide the correct vector size for referenced variables. by Ted Kremenek · 15 years ago
  43. 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
  44. 47491f8 Eliminate another VISIBILITY_HIDDEN by Douglas Gregor · 15 years ago
  45. 006b0eb Adapt to the DOTGraphTraits changes in LLVM. by Tobias Grosser · 15 years ago
  46. f017173 Port BugReporter and BugType to StringRef. by Benjamin Kramer · 15 years ago
  47. 4988a9a Kill some unnecessary calls to c_str(). by Benjamin Kramer · 15 years ago
  48. d4daa7c Fix null dereference in UndefResultChecker identified by running the analyzer over Postgresql. by Ted Kremenek · 15 years ago
  49. 5865288 Cleanup includes and forward decls. by Benjamin Kramer · 15 years ago
  50. 0c5db87 Remove unneeded includes. by Benjamin Kramer · 15 years ago
  51. ba5fb5a lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace by Kovarththanan Rajaratnam · 15 years ago
  52. a1c5716 Improve diagnostics in ReturnStackAddressChecker for returning a stack-allocated block. Implements the rest of <rdar://problem/7387385>. by Ted Kremenek · 15 years ago
  53. 38cc6bc Add a PostVisitBlockExpr() method to RetainReleaseChecker to query for by Ted Kremenek · 15 years ago
  54. a6d73af Teach RegionStoreManager::RemoveDeadBindings() about BlockDataRegions. Any VarRegion for a "captured" variable should also be considered live. by Ted Kremenek · 15 years ago
  55. 4240096 Add iterators to BlockDataRegion that allow clients to iterate over the VarRegions for "captured" variables for a block. by Ted Kremenek · 15 years ago
  56. 9dce71f Added batch versions of GRState::scanReachableSymbols() so that clients can scan a collection of SVals or MemRegions all at once. by Ted Kremenek · 15 years ago
  57. b1a7b65 Enhance LiveVariables to understand that blocks can extend the liveness of a variable by "capturing" them in a BlockExpr. by Ted Kremenek · 15 years ago
  58. bf0fe6c Add missing case in switch statement. by Ted Kremenek · 15 years ago
  59. 0a8112a Refine MemRegions for blocks. Add a new region called by Ted Kremenek · 15 years ago
  60. a44a590 Remove recently added FIXME. The appropriate FIXME is already in MemRegionManager::getVarRegion(). by Ted Kremenek · 15 years ago
  61. 3ad4104 Add FIXME. by Ted Kremenek · 15 years ago
  62. 6607861 Add post-visit Checker support in GRExprEngine for BlockExpr. by Ted Kremenek · 15 years ago
  63. d593eb9 Add a new RetainReleaseChecker class (that subclasses CheckerVisitor) to extend the functionality of the retain/release checker using the new Checker interface. Pieces of CFRefCount will gradually be migrated to this new class over time. by Ted Kremenek · 15 years ago
  64. d295bae Move RegisterChecks() to the end of the file. No functionality change. by Ted Kremenek · 15 years ago
  65. 32c4995 Make RegisterInternalChecks() part of GRExprEngine's private implementation by making it a static function within GRExprEngine.cpp. by Ted Kremenek · 15 years ago
  66. c80135b Register internal checks with GRExprEngine when it is constructed, not manually in AnalysisConsumer.cpp. by Ted Kremenek · 15 years ago
  67. b801b73 When dispatching to Checker objects in GRExprEngine::CheckerVisit(), by Ted Kremenek · 15 years ago
  68. 772250c Add really basic support for blocks in the retain/release checker. For now, anytime we pass a tracked object to a block call we stop tracking it. by Ted Kremenek · 15 years ago
  69. 721903e Allow building of CFGs for ASTs that contain BlockExprs. by Ted Kremenek · 15 years ago
  70. c95ad9f Add transfer function support for BlockExpr. by Ted Kremenek · 15 years ago
  71. eb1c7a0 Split CodeTextRegion into FunctionTextRegion and BlockTextRegion. This a precursor to having basic static analysis support for blocks. by Ted Kremenek · 15 years ago
  72. f81330c For the nil-receiver checker, take into account the behavioral changes that got introduced in Mac OS X 10.5 and later, notably return values of double, float, etc., will not be garbage. Fixes <rdar://problem/6829160>. by Ted Kremenek · 15 years ago
  73. fee96e0 Cleanups and fixes to the nil-receiver checker, some of it fallout the by Ted Kremenek · 15 years ago
  74. 6d901e3 We can remove this file now. by Zhongxing Xu · 15 years ago
  75. 668399b Refactor undefined result checker. This is the last one. by Zhongxing Xu · 15 years ago
  76. 2055eff Refactor NilReceiverStructRet and NilReceiverLargerThanVoidPtrRet into by Zhongxing Xu · 15 years ago
  77. d02174c rename UndefinedArgChecker to CallAndMessageChecker. by Zhongxing Xu · 15 years ago
  78. f253aa7 Rename: UndefinedArgChecker.cpp => CallAndMessageChecker.cpp by Zhongxing Xu · 15 years ago
  79. e576af2 Enhance null dereference diagnostics by indicating what variable (if any) was dereferenced. Addresses <rdar://problem/7039161>. by Ted Kremenek · 15 years ago
  80. c312076 After performing a bounds check in ArrayBoundChecker, record the fact that a bounds check succeeded by transitioning the ExplodedGraph. by Ted Kremenek · 15 years ago
  81. 19d67b5 Clean up the Checker API a little more, resolving some hidden bugs by Ted Kremenek · 15 years ago
  82. c6e11ff Provide out-of-line definition for destructor of Checker. by Ted Kremenek · 15 years ago
  83. 616cf05 Tweak UndefBranchChecker to register the most nested "undefined" expression with bugreporter::registerTrackNullOrUndefValue instead of the condition itself. by Ted Kremenek · 15 years ago
  84. 998c133 Cleanup title/description of "undefined branch" BugType and add some test cases for this check. by Ted Kremenek · 15 years ago
  85. 3e0c098 Fix CMake build by Douglas Gregor · 15 years ago
  86. f155dbf UndefBranchChecker: more bug reporter helper information emit. by Zhongxing Xu · 15 years ago
  87. 0835e4c Initial refactor of UndefBranchChecker. We still use GRBranchNodeBuilder by Zhongxing Xu · 15 years ago
  88. 93fab7c Change CheckDeadStores to use Expr::isNullPointerConstant, which will correctly determine whether an expression is a null pointer constant. by Ted Kremenek · 15 years ago
  89. 9787d0a Undefined compound assignment result is checked in UndefinedAssignmentChecker. So this check is redundant. by Zhongxing Xu · 15 years ago
  90. 23e3156 Remove invalid comments. The result is undefined only when operands are undefined. by Zhongxing Xu · 15 years ago
  91. f605aae Save and restore the HasGen flag in MallocChecker. by Zhongxing Xu · 15 years ago
  92. fce03cb Don't include a dead header. by Benjamin Kramer · 15 years ago
  93. c3372e0 Remove UndefinedAssignmentChecker's header. by Zhongxing Xu · 15 years ago
  94. 68c9ced Make FixedAddressChecker and experimental check; it currently produces a ton of false positives when analyzing some projects (e.g., Wine). by Ted Kremenek · 15 years ago
  95. 78d722f Restructure DereferenceChecker slightly to handle caching out when we would report a null dereference more than once. by Ted Kremenek · 15 years ago
  96. c79d7d4 Pull BadCallChecker int UndefinedArgChecker, and have UndefinedArgChecker also handled undefined receivers in message expressions. by Ted Kremenek · 15 years ago
  97. 64fa858 More checker refactoring. Passing undefined values in a message expression is now handled by UndefinedArgChecker. by Ted Kremenek · 15 years ago
  98. 921ddc4 Fix typo GCC 4.3 warned about. by Benjamin Kramer · 15 years ago
  99. 50e837b Add simple static analyzer checker to check for sending 'release', 'retain', etc. directly to a class. Fixes <rdar://problem/7252064>. by Ted Kremenek · 15 years ago
  100. b221e4f Unused ivar checker: ivars referenced by lexically nested functions should not be flagged as unused. Fixes <rdar://problem/7254495>. by Ted Kremenek · 15 years ago