1. 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
  2. dd8b441 Add analyzer test case for 'ForStmt' with condition variable. by Ted Kremenek · 15 years ago
  3. 4ec010a CFG tweak: in a WhileStmt, the condition variable initializer is evaluated every time the condition is checked. by Ted Kremenek · 15 years ago
  4. 4c508a1 Teach GRExprEngine to handle the initialization of the condition variable of a WhileStmt. by Ted Kremenek · 15 years ago
  5. fcfb503 Teach GRExprEngine to handle the initialization of the condition variable of a SwitchStmt. by Ted Kremenek · 15 years ago
  6. 61dfbec Add CFG support for the condition variable that can appear in IfStmts in C++ mode. by Ted Kremenek · 15 years ago
  7. 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
  8. 949bdb4 Add basic support for analyzing CastExprs as lvalues. by Ted Kremenek · 15 years ago
  9. 910e408 Use the FunctionDecl's result type to know exactly if it returns a reference. by Zhongxing Xu · 15 years ago
  10. 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
  11. d87682e Add failing test case for C++ static analysis. by Ted Kremenek · 15 years ago