Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 6b4f567109d76ce1f1de289554e35f2a7bbeff6b / lib / StaticAnalyzer
  1. 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 · 14 years ago
  2. 357f6ee Implements the strncmp() checker just like the strcmp() checker, but with bounds. Requires LLVM svn r129582. by Lenny Maiorani · 14 years ago
  3. 5526220 t/clang/expr-traits by John Wiegley · 14 years ago
  4. c69a505 Remove unused STL header includes. by Jay Foad · 14 years ago
  5. e970c60 Add static analyzer support for C++'0X nullptr. Patch by Jim Goodnow II. by Ted Kremenek · 14 years ago
  6. f05982b Make the VariadicMethodTypeChecker accept block pointers as Objective-C pointers. Fixes PR9746. by Anders Carlsson · 14 years ago
  7. 162e1c1 Support for C++11 (non-template) alias declarations. by Richard Smith · 14 years ago
  8. fc8f0e1 fix a bunch of comment typos found by codespell. Patch by by Chris Lattner · 14 years ago
  9. f111d93 C1X: implement generic selections by Peter Collingbourne · 14 years ago
  10. ad762fc Add support for C++0x's range-based for loops, as specified by the C++11 draft standard (N3291). by Richard Smith · 14 years ago
  11. 9281efe Teach VariadicMethodTypeChecker to not crash when processing methods declared in protocols. by Ted Kremenek · 14 years ago
  12. 1212f80 Fix another IdempotentOperationsChecker corner case when determining if an active block on the worklist by Ted Kremenek · 14 years ago
  13. 82cfc68 ArrayBoundCheckerV2: don't arbitrarily warn about indexing before the 0-index of a symbolic region. In many cases that isn't really the base offset. by Ted Kremenek · 14 years ago
  14. 318dd92 This patch adds modeling of strcmp() to the CString checker. Validates inputs are not NULL and are real C strings, then does the comparison and binds the proper return value. Unit tests included. by Lenny Maiorani · 14 years ago
  15. 9d5d308 static analyzer: invalidate by-ref arguments passed to constructors in a 'new' expression. by Ted Kremenek · 14 years ago
  16. 3bab50b Fix bug in SimpleSValBuilder where '--' pointer arithmetic was treated like '++' pointer arithmetic. by Ted Kremenek · 14 years ago
  17. bf1a667 RegionStoreManager::invalidateRegions: treat classes the same as structs. by Ted Kremenek · 14 years ago
  18. 755d849 After some discussion with Doug, we decided that it made a lot more sense by John McCall · 14 years ago
  19. 9fec9b1 C++ static analysis: also invalidate fields of objects that are the callees in C++ method calls. by Ted Kremenek · 14 years ago
  20. 379b515 More __unknown_anytype work. by John McCall · 14 years ago
  21. 575b374 Remove CK_DynamicToNull. by Anders Carlsson · 14 years ago
  22. 7d99bc3 As a first step towards fixing PR9641, add a CK_DynamicToNull cast kind which by Anders Carlsson · 14 years ago
  23. 067bbd0 strcat() and strncat() model additions to CStringChecker. by Lenny Maiorani · 14 years ago
  24. 5fe9872 Start overhauling static analyzer support for C++ constructors. The inlining support isn't complete, and needs by Ted Kremenek · 14 years ago
  25. 1de4d4e Basic, untested implementation for an "unknown any" type requested by LLDB. by John McCall · 14 years ago
  26. 98b8f16 When updating the retain summary based on {cf,ns}_consumed attributes, by John McCall · 14 years ago
  27. 9cb677e Add security syntax checker for strcat() which causes the Static Analyzer to generate a warning any time the strcat() function is used with a note suggesting to use a function which provides bounded buffers. CWE-119. by Lenny Maiorani · 14 years ago
  28. d40066b Fix PR 9626 (duplicated self-init warnings under -Wuninitialized) with numerous CFG and UninitializedValues analysis changes: by Ted Kremenek · 14 years ago
  29. c2dace1 Refactoring the security checker a little bit so that each CallExpr check doesn't get called for each CallExpr. Instead it does a switch and only runs the check for the proper identifier. Slight speed improvement (probably significant on very large ASTs), and should make it easier and more clear to add more checks for other CallExpr's later. by Lenny Maiorani · 14 years ago
  30. 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 · 14 years ago
  31. 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 · 14 years ago
  32. 2bfa301 Remove a redundant method. We have a const version. by Zhongxing Xu · 14 years ago
  33. 422ab7a Teach IdempotentOperationsChecker about paths aborted because ExprEngine didn't know how to handle a specific Expr type. by Ted Kremenek · 14 years ago
  34. 66750fa static analyzer: Rename 'BlocksAborted' to 'BlocksExhausted' to reflect that a given CFGBlock was analyzed too many times. by Ted Kremenek · 14 years ago
  35. 5b67a82 Add security syntax checker for strcpy() which causes the Static Analyzer to generate a warning any time the strcpy() function is used with a note suggesting to use a function which provides bounded buffers. by Lenny Maiorani · 14 years ago
  36. b8b875b Adding Static Analyzer checker for mempcpy(). by Lenny Maiorani · 14 years ago
  37. ea4411e Fix spelling in a comment. (test commit) by Lenny Maiorani · 14 years ago
  38. 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 · 14 years ago
  39. 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 · 14 years ago
  40. b277159 Begin reworking static analyzer support for C++ method calls. The current logic was divorced by Ted Kremenek · 14 years ago
  41. 1b02dcd [analyzer] Allow all checkers of a group to be enabled. by Argyrios Kyrtzidis · 14 years ago
  42. 9bc1afc [analyzer] For -analyzer-checker-help show all the info about groups, packages, and which packages/checkers are hidden. by Argyrios Kyrtzidis · 14 years ago
  43. 1293cda [analyzer] Checker Packages can now belong to a group. This requires llvm commit r128474. by Argyrios Kyrtzidis · 14 years ago
  44. 65b427f Don't add a symbolic region for 'this' if the member function is static. by Anders Carlsson · 14 years ago
  45. b803026 Tweak grammar in checker description. by Ted Kremenek · 14 years ago
  46. 5188507 Rework checker "packages" and groups to be more hierarchical. by Ted Kremenek · 14 years ago
  47. af13d5b Rename class 'CFGReachabilityAnalysis' to 'CFGReverseBlockReachabilityAnalysis'. by Ted Kremenek · 14 years ago
  48. f3f9293 Teach VariadicMethodTypeChecker about pointers attributed as 'NSObject'. by Ted Kremenek · 14 years ago
  49. 928c415 Teach VariadicMethodTypeChecker that CF references are valid arguments to variadic Objective-C methods. by Ted Kremenek · 14 years ago
  50. 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
  51. d5fde21 VariadicMethodTypeChecker: don't warn for null pointer constants passed to variadic Objective-C methods. by Ted Kremenek · 14 years ago
  52. cf995d3 Remove bogus assertion in IdempotentOperationsChecker. by Ted Kremenek · 14 years ago
  53. a5ce275 Sort by Joerg Sonnenberger · 14 years ago
  54. 6fb5c1f Tweak VariadicMethodTypeChecker to only create one ExplodedNode when issuing multiple warnings for the same message expression. by Ted Kremenek · 14 years ago
  55. 4597b7b Add an Objective-C checker that checks that arguments passed to some variadic Objective-C methods are of Objective-C pointer types. by Anders Carlsson · 14 years ago
  56. ade3195 Re-enable the IdempotentOperations checker for --analyze, and put it and the DeadStores checker into the "deadcode" group. by Ted Kremenek · 14 years ago
  57. 7084da3 Don't have side-effects (or rather non-trivial computation) in StringSwitch "cases." by Ted Kremenek · 14 years ago
  58. dd54de8 Add initial version of "IteratorsChecker", a checker to find misues uses of C++ iterators. by Ted Kremenek · 14 years ago
  59. e75f4c6 Fix comments, and force auto progagation in VisitAggExpr. by Ted Kremenek · 14 years ago
  60. 46fc3fa static analyzer: Handle 'ExprWithCleanups' in ExprEngine by essentially ignoring them. by Ted Kremenek · 14 years ago
  61. f4e3cfb Add support for the OpenCL vec_step operator, by generalising and by Peter Collingbourne · 14 years ago
  62. 2c0af35 #include Store.h into BasicValueFactory.cpp to provide definitions of StoreRef constructor. by Ted Kremenek · 14 years ago
  63. cf33333 static analyzer: Fix use-after-free bug in RegionStore involving LazyCompoundValueData not reference counting Store objects. by Ted Kremenek · 14 years ago
  64. b62bdce Make the Objective-C checker look for subclasses of NSString instead of just NSString and NSMutableString. by Anders Carlsson · 14 years ago
  65. 85f3d76 Move some of the logic about classifying Objective-C methods into by John McCall · 14 years ago
  66. e71f3d5 Teach CFGBuilder to prune trivially unreachable case statements. by Ted Kremenek · 14 years ago
  67. 3c0349e In preparation for fixing PR 6884, rework CFGElement to have getAs<> return pointers instead of fresh CFGElements. by Ted Kremenek · 14 years ago
  68. 4ba48c4 [analyzer] Also make sure that the parameter is coming from the current stack frame. by Argyrios Kyrtzidis · 14 years ago
  69. 25a792b [analyzer] Remove SVal::getAsVarDecl() and reason about MemRegions, not Decls. Suggestion by Ted! by Argyrios Kyrtzidis · 14 years ago
  70. 7636d88 [analyzer] Move lib/StaticAnalyzer/Checkers/ExprEngine.cpp -> lib/StaticAnalyzer/Core by Argyrios Kyrtzidis · 14 years ago
  71. ec8605f [analyzer] Rename CheckerV2 -> Checker. by Argyrios Kyrtzidis · 14 years ago
  72. d26a475 [analyzer] Remove Checker V1. by Argyrios Kyrtzidis · 14 years ago
  73. eb48bd1 [analyzer] Remove checker V1 registration and running from ExprEngine. by Argyrios Kyrtzidis · 14 years ago
  74. 9f8862a Improves the coding style in SValBuilder. This patch: by Zhanyong Wan · 14 years ago
  75. c367a87 [analyzer] Remove unused checker stuff from AnalysisConsumer and some unused headers. by Argyrios Kyrtzidis · 14 years ago
  76. c4d2c90 [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. by Argyrios Kyrtzidis · 14 years ago
  77. d655ab2 [analyzer] Run the ExprEngine depending on the CheckerManager having path-sensitive checkers. by Argyrios Kyrtzidis · 14 years ago
  78. 344500e [analyzer] The current UninitializedValuesChecker will go away, remove '-warn-uninit-values'. by Argyrios Kyrtzidis · 14 years ago
  79. b3d74da [analyzer] Migrate NSErrorChecker and DereferenceChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  80. deb6447 [analyzer] Introduce "event" mechanism in CheckerManager. by Argyrios Kyrtzidis · 14 years ago
  81. b742dfd [analyzer] Run AST checkers for ObjCMethodDecls. by Argyrios Kyrtzidis · 14 years ago
  82. 3b368dd Fix CMake build. by Anders Carlsson · 14 years ago
  83. d3bf3c0 [analyzer] Introduce SVal::getAsVarDecl(). by Argyrios Kyrtzidis · 14 years ago
  84. d84f422 [analzyer] Migrate CallAndMessageChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  85. 2b3ca9c [analyzer] ExprEngine should not depend on checkers for not crashing. by Argyrios Kyrtzidis · 14 years ago
  86. 139ca96 [analyzer] Migrate AdjustedReturnValueChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  87. bd90076 [analyzer] Migrate AttrNonNullChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  88. 73c498a [analyzer] ExprEngine should not depend on checkers for not crashing. by Argyrios Kyrtzidis · 14 years ago
  89. 3ce2b48 [analyzer] Migrate VLASizeChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  90. 919c9b9 [analyzer] Migrate DivZeroChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  91. 7f649d7 [analyzer] Migrate ReturnUndefChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  92. eb290ca [analyzer] Migrate UndefinedArraySubscriptChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  93. 267aa5c [analyzer] Migrate UndefinedAssignmentChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  94. cc05d51 [analyzer] Migrate UndefBranchChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  95. 265c674 [analyzer] Migrate UndefCapturedBlockVarChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  96. 180e03f [analyzer] Migrate UndefResultChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  97. 3267d95 [analyzer] Migrate NoReturnFunctionChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  98. a676d50 [analyzer] Move the DeadStores checker out of the 'core' package. by Argyrios Kyrtzidis · 14 years ago
  99. 1034870 [analyzer] Migrate BuiltinFunctionChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  100. f029366 [analyzer] Migrate OSAtomicChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago