Gitiles
Code Review Sign In
gerrit-public.fairphone.software / fp2-dev / platform / external / clang / a6b0b96e5376cd9cf182a3e240e0537feed43cde / lib / StaticAnalyzer / Checkers / ExprEngine.cpp
  1. a6b0b96 Add basic support for pointer arithmetic in by Ted Kremenek · 15 years ago
  2. 2114258 Chris Lattner has strong opinions about directory layout. :) by Ted Kremenek · 15 years ago[Renamed (99%) from lib/EntoSA/Checkers/ExprEngine.cpp]
  3. 3a8f40e Rename headers: 'clang/GR' 'clang/EntoSA' and update Makefile. by Ted Kremenek · 15 years ago[Renamed (99%) from lib/GR/Checkers/ExprEngine.cpp]
  4. 9ef6537 Rename static analyzer namespace 'GR' to 'ento'. by Ted Kremenek · 15 years ago
  5. c6ed729 Change all self assignments X=X to (void)X, so that we can turn on a by Jeffrey Yasskin · 15 years ago
  6. e6913d3 Apparently I'm on a mission to break as many builds as possible. by Argyrios Kyrtzidis · 15 years ago
  7. efdda4c Move AnalysisConsumer.cpp and ExprEngine.cpp into the Checkers subdir temporarily by Argyrios Kyrtzidis · 15 years ago[Renamed from lib/GR/ExprEngine.cpp]
  8. d2592a3 [analyzer] Refactoring: Drop the 'GR' prefix. by Argyrios Kyrtzidis · 15 years ago[Renamed (94%) from lib/GR/GRExprEngine.cpp]
  9. 5a4f98f [analyzer] Refactoring: Move stuff into namespace 'GR'. by Argyrios Kyrtzidis · 15 years ago
  10. a7af5ea [analyzer] Refactoring: Move checkers into lib/GR/Checkers and their own library, libclangGRCheckers by Argyrios Kyrtzidis · 15 years ago
  11. bce30c5 [analyzer] Refactoring: lib/Checker -> lib/GR and libclangChecker -> libclangGRCore by Argyrios Kyrtzidis · 15 years ago[Renamed from lib/Checker/GRExprEngine.cpp]
  12. 98cabba [analyzer] Refactoring: include/clang/Checker -> include/clang/GR by Argyrios Kyrtzidis · 15 years ago
  13. 250704b If the unary operator is prefix and an lvalue (in C++), bind by Zhongxing Xu · 15 years ago
  14. 05e5391 After inlining the CXXConstructExpr, bind the temporary object region to it. by Zhongxing Xu · 15 years ago
  15. 342e907 Rename 'VisitLocation' to 'visitLocation'. by Ted Kremenek · 15 years ago
  16. d048c6e Rename 'Generate[Node,Sink]' to 'generate[Node,Sink]'. by Ted Kremenek · 15 years ago
  17. f45fbad If the initializer is an rvalue and the variable is a const reference, by Zhongxing Xu · 15 years ago
  18. 9c2bac0 The evaluation of dereference and address-of is identical. by Zhongxing Xu · 15 years ago
  19. 0a3ed31 Rename several methods/functions in the analyzer by Ted Kremenek · 15 years ago
  20. 892697d Start migration of static analyzer to using the by Ted Kremenek · 15 years ago
  21. 49f4e1c It's kindof silly that ExtQuals has an ASTContext&, and we can use that by John McCall · 15 years ago
  22. f187237 Remove the TypesCompatibleExprClass AST node. Merge its functionality into BinaryTypeTraitExpr. by Francois Pichet · 15 years ago
  23. 6ad6f28 Type traits intrinsic implementation: __is_base_of(T, U) by Francois Pichet · 15 years ago
  24. 4765fa0 Rename CXXExprWithTemporaries -> ExprWithCleanups; there's no theoretical by John McCall · 15 years ago
  25. 00eb3f9 More anonymous struct/union redesign. This one deals with anonymous field used in a constructor initializer list: by Francois Pichet · 15 years ago
  26. f6a1648 Although we currently have explicit lvalue-to-rvalue conversions, they're by John McCall · 15 years ago
  27. 8673a68 Also include the pointer address of the ExplodedNode by Ted Kremenek · 15 years ago
  28. c8413fd Merge ValueManager into SValBuilder. by Ted Kremenek · 15 years ago
  29. 12f78a6 Simplify the ASTs by consolidating ObjCImplicitGetterSetterExpr and ObjCPropertyRefExpr by John McCall · 15 years ago
  30. 28f47b9 Rename all 'AssumeXXX' methods in libChecker to 'assumeXXX'. by Ted Kremenek · 15 years ago
  31. 9c14953 Rename all 'EvalXXX' methods in libChecker to 'evalXXX'. by Ted Kremenek · 15 years ago
  32. 846eabd Rename 'SValuator' to 'SValBuilder'. The new name by Ted Kremenek · 15 years ago
  33. 0ae287a Restore the lvalue-to-rvalue conversion patch with a minimal fix. by John McCall · 15 years ago
  34. 20fbe7c L-value to r-value conversion is not ready for prime-time. by John McCall · 15 years ago
  35. 7e48579 Introduce an r-value to l-value cast kind. I'm not promising anything by John McCall · 15 years ago
  36. 4fd5681 Regionstore: support derived-to-base cast by creating a CXXBaseObjectRegion. by Zhongxing Xu · 15 years ago
  37. 2210490 For CFGAutomaticObjDtor, the type may be reference type, e.g., const A &c = A(); by Zhongxing Xu · 15 years ago
  38. 0e38d5d handle CXXFunctionalCastExpr in visitLValue and Environment. by Zhongxing Xu · 15 years ago
  39. d706434 Let StackFrameContext represent if the call expr is evaluated as lvalue. by Zhongxing Xu · 15 years ago
  40. 19b78d9 Use StackFrameContext directly in CallEnter program point. Then we don't need by Zhongxing Xu · 15 years ago
  41. cca8ab1 Add an assert() to catch errors using EvalLoad(). Reviewed by kremenek. by Zhanyong Wan · 15 years ago
  42. b13453b Handle CFGAutomaticObjDtor. by Zhongxing Xu · 15 years ago
  43. 6a02b60 Added method for handling CXXOperatorCallExpr differently from CallExpr if CXXOperatorCallExpr represents method call. by Marcin Swiderski · 15 years ago
  44. 4ffcb99 Add skeleton for handling various cfg dtors. by Zhongxing Xu · 15 years ago
  45. 9dc84c9 Handle member initializer in C++ ctor. by Zhongxing Xu · 15 years ago
  46. e2b7688 Kill CK_Unknown and flesh out the documentation for the existing CastKinds. by John McCall · 15 years ago
  47. 7cd7d1a Add a new expression kind, OpaqueValueExpr, which is useful for by John McCall · 15 years ago
  48. daa8e4e Assorted work leading towards the elimination of CK_Unknown. by John McCall · 15 years ago
  49. 9c6cd67 Add skeleton for handling other kinds of CFGElements. by Zhongxing Xu · 15 years ago
  50. f3ea8cf Add a few more complex-related cast kinds that arise due to arbitrary by John McCall · 15 years ago
  51. 2bb5d00 Introduce five new cast kinds for various conversions into and by John McCall · 15 years ago
  52. 404cd16 Introduce a null-to-pointer implicit cast kind. by John McCall · 15 years ago
  53. 7ce351d Now initializer of C++ record type is visited as block-level expr. by Zhongxing Xu · 15 years ago
  54. f093350 Remove obsolete GRAuditor and GRSimpleAPICheck, which have been completely subsumed by the Checker interface. by Ted Kremenek · 15 years ago
  55. 8ac2d44 Eliminate usage of ObjCSuperExpr used for by Fariborz Jahanian · 15 years ago
  56. 830a7fe Call PreVisitDeclStmt for C++ aggregate initializers. Patch by Jim Goodnow II. by Zhongxing Xu · 15 years ago
  57. c69c438 Refactor GRExprEngine::VisitCall() to use EvalArguments(), just like VisitCXXMemberCallExpr(). Ideally we should unify these code paths as much as possible, since they only differ by a few details. by Ted Kremenek · 15 years ago
  58. 212f6d3 Refactored BugReporter to refer to EndNode as ErrorNode. We currently make the assumption that EndNode == ErrorNode, but upcoming changes will break this. by Tom Care · 15 years ago
  59. b36cd3e Introduce new CFGElement hierarchy to support C++ CFG, based on Marcin's patch by Zhongxing Xu · 15 years ago
  60. 68625cf Rename 'MaxLoop' to 'MaxVisit' in AnalysisManager to more correctly reflect that we aborted analysis may not necessarily be due to a loop. by Tom Care · 15 years ago
  61. 6b219d0 Serialization support for CXXNoexceptExpr. by Sebastian Redl · 15 years ago
  62. 4f6aa77 Implement: <rdar://problem/6351970> rule request: warn if @synchronized mutex can be nil by Ted Kremenek · 15 years ago
  63. 4beaa9f Add ObjCAtSynchronizedStmt to the CFG and add GRExprEngine support (PreVisit for checkers). by Ted Kremenek · 15 years ago
  64. f0e34ed Remove unused variable. by Benjamin Kramer · 15 years ago
  65. 96ebad6 Rename GRState::getSVal() -> getRawSVal() and getSimplifiedSVal() -> getSVal(). by Ted Kremenek · 15 years ago
  66. 4d3175c Static analyzer fix: <rdar://problem/5880430> Switch on enum should not consider default case live if all enum values are covered by Ted Kremenek · 15 years ago
  67. 9be8840 Fix warnings caused by new CXXUuidofExprClass enumerator. by Francois Pichet · 15 years ago
  68. e2ca6d4 Eliminate CXXBindReferenceExpr, which was used in a ton of by Douglas Gregor · 15 years ago
  69. e8a4d7d update comments. by Zhongxing Xu · 15 years ago
  70. 79d7304 For GRExprEngine::EvalBind() (and called visitors), unifiy StoreE and AssignE. Now StoreE (const Stmt*) represents the expression where the store took place, which is the assignment expression if it takes place in an assignment. This removes some conceptual dissidence as well as removes an extra parameter from the Checker::PreVisitBind() visitor. It also improves ranges and source location information in analyzer diagnostics. by Ted Kremenek · 15 years ago
  71. 6cf7502 Revert my user-defined literal commits - r1124{58,60,67} pending by Sean Hunt · 15 years ago
  72. 0016d51 Implement C++0x user-defined string literals. by Sean Hunt · 15 years ago
  73. 34feff6 Fix horrible GRExprEngine bug where switch statements with no 'case:' statements would cause the path to get prematurely aborted. Fixes <rdar://problem/8360854>. by Ted Kremenek · 15 years ago
  74. 4127117 Remove redundant cast<...>. by Ted Kremenek · 15 years ago
  75. 2de56d1 GCC didn't care for my attempt at API compatibility, so brute-force everything by John McCall · 15 years ago
  76. a7e6845 Detabify. by Eli Friedman · 15 years ago
  77. c2b7dfa Add a callback for when region changes occur. Still somewhat of a work-in-progress, but working! Effect on clients: all changes to a store now go through GRState. by Jordy Rose · 15 years ago
  78. bd533aa Add a new metadata symbol type for checkers to use. Metadata symbols must be associated with a region and will be collected if the region dies or its checker fails to mark it as in use. by Jordy Rose · 15 years ago
  79. de7e662 Zap unused UnaryOperator::OffsetOf. by Eli Friedman · 15 years ago
  80. a205061 Actually use reduced set of checkers in EvalAssume. by Jordy Rose · 15 years ago
  81. 018220c MemRegion can refer to ASTContext without external help. by Zhongxing Xu · 15 years ago
  82. 569c316 Allow reference binding of a reference of Objective-C object type to by Douglas Gregor · 15 years ago
  83. 1fafd1d Removed IdempotentOperationChecker from default analysis and returned back to a flag (-analyzer-check-idempotent-operations) by Tom Care · 15 years ago
  84. 68df730 If all nodes are sunk, bail out early. This make the later check for checkersEvaluated really meaningful. by Zhongxing Xu · 15 years ago
  85. 9b44eaf Revert r110317, and add a comment why the assertion is not an invariant. by Ted Kremenek · 15 years ago
  86. f5072af Turn the predicate into an assertion. When could the unequal case happen? by Zhongxing Xu · 15 years ago
  87. 72905cf Change the checker callback cache in GRExprEngine to be more compact (and IMHO a little easier to understand), and add the same sort of caching for EvalAssume (tied for least-used callback), mostly as proof-of-concept. by Jordy Rose · 15 years ago
  88. ff59efd Makes GRState::makeWithStore private, to encourage clients to make store changes through GRState instead of directly accessing the StoreManager. Also adds cover methods for InvalidateRegion(s) and EnterStackFrame to GRState. by Jordy Rose · 15 years ago
  89. bc42c53 Changed GRExprEngine to pass down a reference to itself when checkers are doing postanalysis. This allows the checker to gather information about the state of the engine when it has finished. by Tom Care · 15 years ago
  90. 741b9be Teach GRExprEngine::VisitLValue() about FloatingLiteral, ImaginaryLiteral, and CharacterLiteral. Fixes an assertion failure reported in PR 7675. by Ted Kremenek · 15 years ago
  91. 0e82a93 Remove extraneous guards around the call to getConjuredSymbolVal(). These checks are already done within getConjuredSymbolVal() itself. by Ted Kremenek · 15 years ago
  92. 1f19124 Delete unnecessary const_cast. by Zhongxing Xu · 15 years ago
  93. b732791 AnalysisContext is not const. by Zhongxing Xu · 15 years ago
  94. 03509ae Constify all references to Stmt* and CFGBlock* in libChecker. by Zhongxing Xu · 15 years ago
  95. 3992a50 Constify. by Zhongxing Xu · 15 years ago
  96. c6238d2 Reapply r108617. by Zhongxing Xu · 15 years ago
  97. ee30965 Revert r108617, it broke the build. by Benjamin Kramer · 15 years ago
  98. 69b8194 Prepare the analyzer for the callee in another translation unit: by Zhongxing Xu · 15 years ago
  99. cb07788 Fix '<rdar://problem/8202272> __imag passed non-complex should not crash' by removing a bogus assertion. by Ted Kremenek · 15 years ago
  100. df4ca42 Improved false positive rate for the idempotent operations checker and moved it into the default path-sensitive analysis options. by Tom Care · 15 years ago