Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / external / clang / 8c9fe200890663e1026be25d66f0929caa87a0ca / test / Analysis / misc-ps-region-store.cpp
  1. 60a4481 Fix typo. by Ted Kremenek · 13 years ago
  2. 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
  3. 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
  4. e42a0ab Fixed crash with initializer lists and unnamed bitfields in the RegionStore by Jim Goodnow II · 13 years ago
  5. e4c6675 Fix crash when analyzing C++ code involving constant enums and switch statements (<rdar://problem/10202899>). by Ted Kremenek · 13 years ago
  6. 5bd0495 [analyzer] teach ExprEngine about loads from static C++ class fields. Fixes <rdar://problem/9948787>. by Ted Kremenek · 14 years ago
  7. 033a07e [analyzer] rename all experimental checker packages to have 'experimental' be the common root package. by Ted Kremenek · 14 years ago
  8. c46d641 Teach RegionStore not to symbolic array values whose indices it cannot reason about. by Ted Kremenek · 14 years ago
  9. 9d5d308 static analyzer: invalidate by-ref arguments passed to constructors in a 'new' expression. by Ted Kremenek · 14 years ago
  10. 3bab50b Fix bug in SimpleSValBuilder where '--' pointer arithmetic was treated like '++' pointer arithmetic. by Ted Kremenek · 14 years ago
  11. bf1a667 RegionStoreManager::invalidateRegions: treat classes the same as structs. by Ted Kremenek · 14 years ago
  12. 235c02f Teach GRState::getSValAsScalarOrLoc() about C++ references. by Ted Kremenek · 14 years ago
  13. 9fec9b1 C++ static analysis: also invalidate fields of objects that are the callees in C++ method calls. by Ted Kremenek · 14 years ago
  14. 5fe9872 Start overhauling static analyzer support for C++ constructors. The inlining support isn't complete, and needs by Ted Kremenek · 14 years ago
  15. 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
  16. 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
  17. b277159 Begin reworking static analyzer support for C++ method calls. The current logic was divorced by Ted Kremenek · 14 years ago
  18. c4d2c90 [analyzer] Remove '-analyzer-check-objc-mem' flag, the nominee for best misnomer award. by Argyrios Kyrtzidis · 14 years ago
  19. b3d74da [analyzer] Migrate NSErrorChecker and DereferenceChecker to CheckerV2. by Argyrios Kyrtzidis · 14 years ago
  20. 65d3925 [analyzer] Remove '-analyzer-experimental-internal-checks' flag, it doesn't have any checkers associated with it anymore. by Argyrios Kyrtzidis · 14 years ago
  21. b8b07b1 Handle 'UsingDirective' in CFGRecStmtDeclVisitor. by Ted Kremenek · 14 years ago
  22. 250704b If the unary operator is prefix and an lvalue (in C++), bind by Zhongxing Xu · 14 years ago
  23. 892697d Start migration of static analyzer to using the by Ted Kremenek · 14 years ago
  24. 99cae5b Fix PR8419. Reviewed by kremenek and xuzhongxing. by Zhanyong Wan · 14 years ago
  25. 739830d Make Clang static analyzer skip function template definitions. This fixes Clang PR 8426, 8427, & 8433. Reviewed by Ted Kremenek and Doug Gregor. by Zhanyong Wan · 14 years ago
  26. a427f1d Explicitly handle CXXOperatorCallExpr when building CFGs. We should treat it the same as CallExprs. by Ted Kremenek · 15 years ago
  27. 741b9be Teach GRExprEngine::VisitLValue() about FloatingLiteral, ImaginaryLiteral, and CharacterLiteral. Fixes an assertion failure reported in PR 7675. by Ted Kremenek · 15 years ago
  28. 565e465 Rename -cc1 option '-checker-cfref' to '-analyzer-check-objc-mem'. by Ted Kremenek · 15 years ago
  29. 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
  30. dd8b441 Add analyzer test case for 'ForStmt' with condition variable. by Ted Kremenek · 15 years ago
  31. 4ec010a CFG tweak: in a WhileStmt, the condition variable initializer is evaluated every time the condition is checked. by Ted Kremenek · 15 years ago
  32. 4c508a1 Teach GRExprEngine to handle the initialization of the condition variable of a WhileStmt. by Ted Kremenek · 15 years ago
  33. fcfb503 Teach GRExprEngine to handle the initialization of the condition variable of a SwitchStmt. by Ted Kremenek · 15 years ago
  34. 61dfbec Add CFG support for the condition variable that can appear in IfStmts in C++ mode. by Ted Kremenek · 15 years ago
  35. 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
  36. 949bdb4 Add basic support for analyzing CastExprs as lvalues. by Ted Kremenek · 15 years ago
  37. 910e408 Use the FunctionDecl's result type to know exactly if it returns a reference. by Zhongxing Xu · 15 years ago
  38. 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
  39. d87682e Add failing test case for C++ static analysis. by Ted Kremenek · 15 years ago