Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / 402785357ab053dd53f4fdd858b9630a5e0f8bad / lib / StaticAnalyzer / Core
  1. 4027853 Mechanically rename SourceManager::getInstantiationLoc and by Chandler Carruth · 13 years ago
  2. 5f9e272 remove unneeded llvm:: namespace qualifiers on some core types now that LLVM.h imports by Chris Lattner · 13 years ago
  3. 6c2c250 In Objective-C, pull arbitrary attributes from overridden by John McCall · 13 years ago
  4. 4fed22c Move AnalysisManager constructor out of line. No functionality change (yet). by Ted Kremenek · 13 years ago
  5. bc5cb8a Simplify passing of CFGBuildOptions around for AnalysisContext. No functionality change. by Ted Kremenek · 13 years ago
  6. 0556048 [analyzer] Place checking for Core Foundation "Create" rule into a proper API. No functionality change. by Ted Kremenek · 13 years ago
  7. 5b5402b Add tests for CFRefReport's path notes, and fix a few typos and non-standard terminology ('+0 retain counts') caught by the tests. by Jordy Rose · 13 years ago
  8. 8f08426 [analyzer] GNU __null is a pointer-sized integer, not a pointer. Fixes PR10372. by Jordy Rose · 13 years ago
  9. 91a5755 Create a new expression node, SubstNonTypeTemplateParmExpr, by John McCall · 13 years ago
  10. 7e5e5f4 In ARC, reclaim all return values of retainable type, not just those by John McCall · 13 years ago
  11. 786dcd9 Teach the static analyzer's interpretation of Cocoa conventions to by Douglas Gregor · 13 years ago
  12. eda3687 [analyzer] Use UnknownVal when default-initializing arrays whose element types we don't model, to distinguish them from uninitialized arrays (PR10163). by Jordy Rose · 13 years ago
  13. 03e8003 Introduce a new AST node describing reference binding to temporaries. by Douglas Gregor · 13 years ago
  14. 71c482c Initialize a couple of variables to shut GCC up. by John McCall · 13 years ago
  15. f85e193 Automatic Reference Counting. by John McCall · 13 years ago
  16. a9af8e7 [analyzer] When performing a binary operation on symbolic operands, we convert the symbol values to a common type. But in a relational operation, the result is an 'int' or 'bool', which may not be the appropriate type to convert the operands to. In these cases, use the left-hand operand's type as the conversion type. by Jordy Rose · 13 years ago
  17. ac73ea8 [analyzer] PR8962 again. Ban ParenExprs (and friends) from block-level expressions (by calling IgnoreParens before adding expressions to blocks). Undo 132769 (LiveVariables' local IgnoreParens), since it's no longer necessary. by Jordy Rose · 13 years ago
  18. 22043b5 [analyzer] Look through __extension__ expressions in a GRState's Environment. Fixes PR8962. by Jordy Rose · 13 years ago
  19. 61eee0c Add support for builtin astype: by Tanya Lattner · 13 years ago
  20. f136546 Tighen analyzer diagnostics w.r.t ObjC/CF leaks. by Ted Kremenek · 13 years ago
  21. e5cfd52 static analyzer: when conservatively evaluating functions, don't invalidate the values of globals when the called function is strlen. by Ted Kremenek · 13 years ago
  22. d1e015e Teach analyzer about cf_returns_not_retained for C functions. by Ted Kremenek · 13 years ago
  23. d368d71 Enhance retain/release checker to flag warnings when functions returning CG types do not follow the Core Foundation naming conventions. by Ted Kremenek · 13 years ago
  24. 5e9ebb3 A few more is(Un)signedIntegerType/is(Un)signedOrEnumerationType cleanups. by Douglas Gregor · 13 years ago
  25. ce30688 Fix regression in static analyzer's handling of prefix '--' operator. It was being treated as postfix '--' in C mode. by Ted Kremenek · 13 years ago
  26. 575a1c9 Introduce Type::isSignedIntegerOrEnumerationType() and by Douglas Gregor · 13 years ago
  27. c46d641 Teach RegionStore not to symbolic array values whose indices it cannot reason about. by Ted Kremenek · 13 years ago
  28. 10620eb Modify some deleted function methods to better reflect reality: by Sean Hunt · 13 years ago
  29. 9be6e7c Add Checker callback for running a checker at the end of processing an entire TranslationUnit. Patch by Lei Zhang. by Ted Kremenek · 13 years ago
  30. 9ca2851 Tweak the retain/release checker to not stop tracking retained objects when calling C++ methods. This is a temporary solution to prune false positives until we have a general story using annotations. by Ted Kremenek · 13 years ago
  31. 35bdbf4 Augment retain/release checker to not warn about tracked objects passed as arguments to C++ constructors. This is a stop-gap measure for Objective-C++ code that uses smart pointers to manage reference counts. by Ted Kremenek · 13 years ago
  32. 28bbe4b Parsing/AST support for Structured Exception Handling by John Wiegley · 13 years ago
  33. 21ff2e5 Implementation of Embarcadero array type traits by John Wiegley · 13 years ago
  34. 6b4f567 Allow 'Environment::getSVal()' to allow an optional way for checkers to do a direct lookup to values bound to expressions, without by Ted Kremenek · 13 years ago
  35. 5526220 t/clang/expr-traits by John Wiegley · 13 years ago
  36. c69a505 Remove unused STL header includes. by Jay Foad · 13 years ago
  37. e970c60 Add static analyzer support for C++'0X nullptr. Patch by Jim Goodnow II. by Ted Kremenek · 13 years ago
  38. fc8f0e1 fix a bunch of comment typos found by codespell. Patch by by Chris Lattner · 13 years ago
  39. f111d93 C1X: implement generic selections by Peter Collingbourne · 13 years ago
  40. ad762fc Add support for C++0x's range-based for loops, as specified by the C++11 draft standard (N3291). by Richard Smith · 13 years ago
  41. 9d5d308 static analyzer: invalidate by-ref arguments passed to constructors in a 'new' expression. by Ted Kremenek · 13 years ago
  42. 3bab50b Fix bug in SimpleSValBuilder where '--' pointer arithmetic was treated like '++' pointer arithmetic. by Ted Kremenek · 13 years ago
  43. bf1a667 RegionStoreManager::invalidateRegions: treat classes the same as structs. by Ted Kremenek · 13 years ago
  44. 755d849 After some discussion with Doug, we decided that it made a lot more sense by John McCall · 13 years ago
  45. 9fec9b1 C++ static analysis: also invalidate fields of objects that are the callees in C++ method calls. by Ted Kremenek · 13 years ago
  46. 379b515 More __unknown_anytype work. by John McCall · 13 years ago
  47. 575b374 Remove CK_DynamicToNull. by Anders Carlsson · 13 years ago
  48. 7d99bc3 As a first step towards fixing PR9641, add a CK_DynamicToNull cast kind which by Anders Carlsson · 13 years ago
  49. 5fe9872 Start overhauling static analyzer support for C++ constructors. The inlining support isn't complete, and needs by Ted Kremenek · 13 years ago
  50. 1de4d4e Basic, untested implementation for an "unknown any" type requested by LLDB. by John McCall · 13 years ago
  51. 98b8f16 When updating the retain summary based on {cf,ns}_consumed attributes, by John McCall · 13 years ago
  52. d40066b Fix PR 9626 (duplicated self-init warnings under -Wuninitialized) with numerous CFG and UninitializedValues analysis changes: by Ted Kremenek · 13 years ago
  53. 8083414 static analyzer: Add a new ProgramPoint PostCondition to represent the post position of a branch condition, and a new generateNode method to BranchNodeBuilder using PostCondition ProgramPoint. This method generates a new ExplodedNode but not a new block edge. by Ted Kremenek · 13 years ago
  54. 45fa623 Fix RegionStore bug when doing a field load whose parent is also a field assigned a LazyCompoundValue. Fixes <rdar://problem/9163742> and PR 9522. by Ted Kremenek · 13 years ago
  55. 422ab7a Teach IdempotentOperationsChecker about paths aborted because ExprEngine didn't know how to handle a specific Expr type. by Ted Kremenek · 13 years ago
  56. 66750fa static analyzer: Rename 'BlocksAborted' to 'BlocksExhausted' to reflect that a given CFGBlock was analyzed too many times. by Ted Kremenek · 13 years ago
  57. 94ae8fd Static analyzer: fix bug in handling of dynamic_cast<>. The sink node wouldn't always be the final node, thus causing the state to continue propagating. Instead, by Ted Kremenek · 13 years ago
  58. 41c5f49 Teach static analyzer about the basics of handling new[]. We still don't simulate constructors, but at least the analyzer doesn't think the return value is uninitialized. by Ted Kremenek · 13 years ago
  59. b277159 Begin reworking static analyzer support for C++ method calls. The current logic was divorced by Ted Kremenek · 13 years ago
  60. 65b427f Don't add a symbolic region for 'this' if the member function is static. by Anders Carlsson · 13 years ago
  61. 6137441 Tweak RegionStore's handling of lazy compound values to use the 'Default' versus 'Direct' binding key, thus allowing specific elements of an array/struct to be overwritten without by Ted Kremenek · 14 years ago
  62. a5ce275 Sort by Joerg Sonnenberger · 14 years ago
  63. e75f4c6 Fix comments, and force auto progagation in VisitAggExpr. by Ted Kremenek · 14 years ago
  64. 46fc3fa static analyzer: Handle 'ExprWithCleanups' in ExprEngine by essentially ignoring them. by Ted Kremenek · 14 years ago
  65. f4e3cfb Add support for the OpenCL vec_step operator, by generalising and by Peter Collingbourne · 14 years ago
  66. 2c0af35 #include Store.h into BasicValueFactory.cpp to provide definitions of StoreRef constructor. by Ted Kremenek · 14 years ago
  67. cf33333 static analyzer: Fix use-after-free bug in RegionStore involving LazyCompoundValueData not reference counting Store objects. by Ted Kremenek · 14 years ago
  68. 85f3d76 Move some of the logic about classifying Objective-C methods into by John McCall · 14 years ago
  69. e71f3d5 Teach CFGBuilder to prune trivially unreachable case statements. by Ted Kremenek · 14 years ago
  70. 3c0349e In preparation for fixing PR 6884, rework CFGElement to have getAs<> return pointers instead of fresh CFGElements. by Ted Kremenek · 14 years ago
  71. 25a792b [analyzer] Remove SVal::getAsVarDecl() and reason about MemRegions, not Decls. Suggestion by Ted! by Argyrios Kyrtzidis · 14 years ago
  72. 7636d88 [analyzer] Move lib/StaticAnalyzer/Checkers/ExprEngine.cpp -> lib/StaticAnalyzer/Core by Argyrios Kyrtzidis · 14 years ago
  73. ec8605f [analyzer] Rename CheckerV2 -> Checker. by Argyrios Kyrtzidis · 14 years ago
  74. d26a475 [analyzer] Remove Checker V1. by Argyrios Kyrtzidis · 14 years ago
  75. eb48bd1 [analyzer] Remove checker V1 registration and running from ExprEngine. by Argyrios Kyrtzidis · 14 years ago
  76. 9f8862a Improves the coding style in SValBuilder. This patch: by Zhanyong Wan · 14 years ago
  77. d655ab2 [analyzer] Run the ExprEngine depending on the CheckerManager having path-sensitive checkers. by Argyrios Kyrtzidis · 14 years ago
  78. deb6447 [analyzer] Introduce "event" mechanism in CheckerManager. by Argyrios Kyrtzidis · 14 years ago
  79. d3bf3c0 [analyzer] Introduce SVal::getAsVarDecl(). by Argyrios Kyrtzidis · 14 years ago
  80. 73c498a [analyzer] ExprEngine should not depend on checkers for not crashing. by Argyrios Kyrtzidis · 14 years ago
  81. cc05d51 [analyzer] Migrate UndefBranchChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  82. 312dbec [analyzer] Migrate MallocChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  83. 9c0d689 [analyzer] Don't pass a GRState to CheckerManager::runCheckersForLocation, terrible mistake. by Argyrios Kyrtzidis · 14 years ago
  84. f226d18 Fix tiny error in CFG construction for BinaryConditionalOperators, making sure the branch always has two successors. Also teach Environment::getSVal() about OpaqueValueExprs. by Ted Kremenek · 14 years ago
  85. 64be137 [analyzer] Remove unused functions from CheckerManager. by Argyrios Kyrtzidis · 14 years ago
  86. 183ff98 [analyzer] Migrate CStringChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  87. af5800a [analyzer] Migrate StackAddrLeakChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  88. f178ac8 [analyzer] Refactor EndOfFunctionNodeBuilder. by Argyrios Kyrtzidis · 14 years ago
  89. cd50e13 [analyzer] const goodness. by Argyrios Kyrtzidis · 14 years ago
  90. c2e0db8 [analyzer] Rename runPathSensitiveCheckers -> expandGraphWithCheckers. by Argyrios Kyrtzidis · 14 years ago
  91. e1bfb7a [analyzer] Migrate ChrootChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  92. 30726c6 [analyzer] Migrate UnreachableCodeChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  93. 3f82127 [analyzer] Fix CheckerManager::runCheckersForObjCMessage. by Argyrios Kyrtzidis · 14 years ago
  94. 404fc3a [analyzer] Refactor BugTypes and their ownership model. by Argyrios Kyrtzidis · 14 years ago
  95. 769ce3e [analyzer] Start moving the path-sensitive checkers to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  96. b14175a [analyzer] Fix crash when analyzing C++ code. by Argyrios Kyrtzidis · 14 years ago
  97. 09fe4a5 Change 'StoreRef' back to 'Store' in GRState, shrinking the size of GRState back by one pointer. by Ted Kremenek · 14 years ago
  98. 370e6e9 [analyzer] Fix crash when analyzing C++ code. by Argyrios Kyrtzidis · 14 years ago
  99. 77a4d56 Add 'StoreRef' smart pointer to allow more fine-grain memory lifetime control of Store objects. by Ted Kremenek · 14 years ago
  100. 7ff07dc [analyzer] Fix crash when analyzing C++ code. by Argyrios Kyrtzidis · 14 years ago