| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Hard bifurcate the state into nil receiver and non-nil receiver, so that | Zhongxing Xu | 2009-12-02 | 1 | -40/+58 |
| * | Eliminate another VISIBILITY_HIDDEN | Douglas Gregor | 2009-11-30 | 1 | -4/+1 |
| * | Adapt to the DOTGraphTraits changes in LLVM. | Tobias Grosser | 2009-11-30 | 1 | -1/+4 |
| * | lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespace | Kovarththanan Rajaratnam | 2009-11-28 | 1 | -2/+4 |
| * | Refine MemRegions for blocks. Add a new region called | Ted Kremenek | 2009-11-25 | 1 | -1/+3 |
| * | Add post-visit Checker support in GRExprEngine for BlockExpr. | Ted Kremenek | 2009-11-25 | 1 | -1/+7 |
| * | Make RegisterInternalChecks() part of GRExprEngine's private implementation b... | Ted Kremenek | 2009-11-25 | 1 | -30/+32 |
| * | Register internal checks with GRExprEngine when it is constructed, not manual... | Ted Kremenek | 2009-11-25 | 1 | -1/+5 |
| * | When dispatching to Checker objects in GRExprEngine::CheckerVisit(), | Ted Kremenek | 2009-11-25 | 1 | -4/+12 |
| * | Add transfer function support for BlockExpr. | Ted Kremenek | 2009-11-25 | 1 | -0/+12 |
| * | Cleanups and fixes to the nil-receiver checker, some of it fallout the | Ted Kremenek | 2009-11-24 | 1 | -7/+20 |
| * | Refactor undefined result checker. This is the last one. | Zhongxing Xu | 2009-11-24 | 1 | -14/+34 |
| * | Refactor NilReceiverStructRet and NilReceiverLargerThanVoidPtrRet into | Zhongxing Xu | 2009-11-24 | 1 | -86/+9 |
| * | Clean up the Checker API a little more, resolving some hidden bugs | Ted Kremenek | 2009-11-23 | 1 | -2/+6 |
| * | Initial refactor of UndefBranchChecker. We still use GRBranchNodeBuilder | Zhongxing Xu | 2009-11-23 | 1 | -40/+34 |
| * | Undefined compound assignment result is checked in UndefinedAssignmentChecker... | Zhongxing Xu | 2009-11-22 | 1 | -9/+0 |
| * | Remove invalid comments. The result is undefined only when operands are undef... | Zhongxing Xu | 2009-11-22 | 1 | -2/+0 |
| * | Pull BadCallChecker int UndefinedArgChecker, and have UndefinedArgChecker als... | Ted Kremenek | 2009-11-21 | 1 | -134/+121 |
| * | More checker refactoring. Passing undefined values in a message expression i... | Ted Kremenek | 2009-11-21 | 1 | -20/+0 |
| * | Revert r89437 and add a comment. | Zhongxing Xu | 2009-11-20 | 1 | -1/+2 |
| * | It's unnecessary to check for unknown at this point. | Zhongxing Xu | 2009-11-20 | 1 | -2/+1 |
| * | Remove printf statement. | Ted Kremenek | 2009-11-19 | 1 | -2/+0 |
| * | Add EvalEndPath interface to Checker. Now we can check memory leaked at the | Zhongxing Xu | 2009-11-17 | 1 | -0/+5 |
| * | Clear the dest set. | Zhongxing Xu | 2009-11-17 | 1 | -0/+1 |
| * | * Do the same thing to the basicstore as in r84163. | Zhongxing Xu | 2009-11-16 | 1 | -3/+10 |
| * | Remove an unused parameter. | Zhongxing Xu | 2009-11-16 | 1 | -3/+2 |
| * | Move definition of GRExprEngine::ProcessEndPath() out-of-line. | Ted Kremenek | 2009-11-14 | 1 | -0/+7 |
| * | Check in a new interface of Checker, which will soon be used. | Zhongxing Xu | 2009-11-13 | 1 | -1/+23 |
| * | GRStateManager::CurrentStmt is not used. Remove it. | Zhongxing Xu | 2009-11-13 | 1 | -4/+0 |
| * | Enhance Checker class (and GRExprEngine) to support PostVisitation for CallEx... | Ted Kremenek | 2009-11-12 | 1 | -10/+10 |
| * | Remove GRExprEngine::EvalCall(). It had a single callsite in GRExprEngine, a... | Ted Kremenek | 2009-11-12 | 1 | -13/+10 |
| * | Remove some stale ErrorNodes variables in GRExprEngine and the old buffer ove... | Ted Kremenek | 2009-11-11 | 1 | -0/+12 |
| * | Add undefined array subscript checker. | Zhongxing Xu | 2009-11-11 | 1 | -1/+4 |
| * | Remove the old out-of-bound checking code. | Zhongxing Xu | 2009-11-11 | 1 | -42/+0 |
| * | Refactor DereferenceChecker to use only the new Checker API instead of | Ted Kremenek | 2009-11-11 | 1 | -80/+96 |
| * | Fix clang's use of DenseMap iterators after r86636 fixed their constness. | Jeffrey Yasskin | 2009-11-10 | 1 | -1/+1 |
| * | Remove stale FIXME. | Ted Kremenek | 2009-11-09 | 1 | -3/+0 |
| * | Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer. | Zhongxing Xu | 2009-11-09 | 1 | -6/+9 |
| * | Remove Checker::CheckType() (and instead using CheckerVisitor::PreVisitDeclSt... | Ted Kremenek | 2009-11-07 | 1 | -16/+5 |
| * | static analyzer: refactor checking logic for returning the address of a stack... | Ted Kremenek | 2009-11-06 | 1 | -55/+29 |
| * | Modify GRExprEngine::EvalBind() to take both a "store expression" and | Ted Kremenek | 2009-11-05 | 1 | -25/+18 |
| * | Catch uses of undefined values when they are used in assignment, thus catchin... | Ted Kremenek | 2009-11-04 | 1 | -23/+71 |
| * | Refactor StoreManager::BindDecl() to take a VarRegion* instead of a VarDecl*,... | Ted Kremenek | 2009-11-04 | 1 | -20/+23 |
| * | Change GRTransferFuncs::RegisterChecks() to take a GRExprEngine& instead of a... | Ted Kremenek | 2009-11-03 | 1 | -1/+1 |
| * | Pull VLA size checker into its own files. | Zhongxing Xu | 2009-11-03 | 1 | -36/+17 |
| * | Implement: <rdar://problem/6250216> Warn against using -[NSAutoreleasePool re... | Ted Kremenek | 2009-11-03 | 1 | -6/+9 |
| * | Remove GRExprEngine::CheckerVisitLocation(). It was only called in one place... | Ted Kremenek | 2009-11-02 | 1 | -18/+10 |
| * | Tighten computation of ExprVal using ?: expression. No functionality change. | Ted Kremenek | 2009-10-30 | 1 | -5/+1 |
| * | Make checkers run in deterministic order. | Ted Kremenek | 2009-10-30 | 1 | -9/+15 |
| * | Fix PR5316: make assignment expressions can be visited as lvalue. Then we | Zhongxing Xu | 2009-10-30 | 1 | -25/+22 |
