summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* Eliminate another VISIBILITY_HIDDENDouglas Gregor2009-11-301-4/+1
* Adapt to the DOTGraphTraits changes in LLVM.Tobias Grosser2009-11-301-1/+4
* lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespaceKovarththanan Rajaratnam2009-11-281-2/+4
* Refine MemRegions for blocks. Add a new region calledTed Kremenek2009-11-251-1/+3
* Add post-visit Checker support in GRExprEngine for BlockExpr.Ted Kremenek2009-11-251-1/+7
* Make RegisterInternalChecks() part of GRExprEngine's private implementation b...Ted Kremenek2009-11-251-30/+32
* Register internal checks with GRExprEngine when it is constructed, not manual...Ted Kremenek2009-11-251-1/+5
* When dispatching to Checker objects in GRExprEngine::CheckerVisit(),Ted Kremenek2009-11-251-4/+12
* Add transfer function support for BlockExpr.Ted Kremenek2009-11-251-0/+12
* Cleanups and fixes to the nil-receiver checker, some of it fallout theTed Kremenek2009-11-241-7/+20
* Refactor undefined result checker. This is the last one.Zhongxing Xu2009-11-241-14/+34
* Refactor NilReceiverStructRet and NilReceiverLargerThanVoidPtrRet into Zhongxing Xu2009-11-241-86/+9
* Clean up the Checker API a little more, resolving some hidden bugsTed Kremenek2009-11-231-2/+6
* Initial refactor of UndefBranchChecker. We still use GRBranchNodeBuilderZhongxing Xu2009-11-231-40/+34
* Undefined compound assignment result is checked in UndefinedAssignmentChecker...Zhongxing Xu2009-11-221-9/+0
* Remove invalid comments. The result is undefined only when operands are undef...Zhongxing Xu2009-11-221-2/+0
* Pull BadCallChecker int UndefinedArgChecker, and have UndefinedArgChecker als...Ted Kremenek2009-11-211-134/+121
* More checker refactoring. Passing undefined values in a message expression i...Ted Kremenek2009-11-211-20/+0
* Revert r89437 and add a comment.Zhongxing Xu2009-11-201-1/+2
* It's unnecessary to check for unknown at this point.Zhongxing Xu2009-11-201-2/+1
* Remove printf statement.Ted Kremenek2009-11-191-2/+0
* Add EvalEndPath interface to Checker. Now we can check memory leaked at theZhongxing Xu2009-11-171-0/+5
* Clear the dest set.Zhongxing Xu2009-11-171-0/+1
* * Do the same thing to the basicstore as in r84163.Zhongxing Xu2009-11-161-3/+10
* Remove an unused parameter.Zhongxing Xu2009-11-161-3/+2
* Move definition of GRExprEngine::ProcessEndPath() out-of-line.Ted Kremenek2009-11-141-0/+7
* Check in a new interface of Checker, which will soon be used.Zhongxing Xu2009-11-131-1/+23
* GRStateManager::CurrentStmt is not used. Remove it.Zhongxing Xu2009-11-131-4/+0
* Enhance Checker class (and GRExprEngine) to support PostVisitation for CallEx...Ted Kremenek2009-11-121-10/+10
* Remove GRExprEngine::EvalCall(). It had a single callsite in GRExprEngine, a...Ted Kremenek2009-11-121-13/+10
* Remove some stale ErrorNodes variables in GRExprEngine and the old buffer ove...Ted Kremenek2009-11-111-0/+12
* Add undefined array subscript checker.Zhongxing Xu2009-11-111-1/+4
* Remove the old out-of-bound checking code.Zhongxing Xu2009-11-111-42/+0
* Refactor DereferenceChecker to use only the new Checker API instead ofTed Kremenek2009-11-111-80/+96
* Fix clang's use of DenseMap iterators after r86636 fixed their constness.Jeffrey Yasskin2009-11-101-1/+1
* Remove stale FIXME.Ted Kremenek2009-11-091-3/+0
* Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer.Zhongxing Xu2009-11-091-6/+9
* Remove Checker::CheckType() (and instead using CheckerVisitor::PreVisitDeclSt...Ted Kremenek2009-11-071-16/+5
* static analyzer: refactor checking logic for returning the address of a stack...Ted Kremenek2009-11-061-55/+29
* Modify GRExprEngine::EvalBind() to take both a "store expression" andTed Kremenek2009-11-051-25/+18
* Catch uses of undefined values when they are used in assignment, thus catchin...Ted Kremenek2009-11-041-23/+71
* Refactor StoreManager::BindDecl() to take a VarRegion* instead of a VarDecl*,...Ted Kremenek2009-11-041-20/+23
* Change GRTransferFuncs::RegisterChecks() to take a GRExprEngine& instead of a...Ted Kremenek2009-11-031-1/+1
* Pull VLA size checker into its own files. Zhongxing Xu2009-11-031-36/+17
* Implement: <rdar://problem/6250216> Warn against using -[NSAutoreleasePool re...Ted Kremenek2009-11-031-6/+9
* Remove GRExprEngine::CheckerVisitLocation(). It was only called in one place...Ted Kremenek2009-11-021-18/+10
* Tighten computation of ExprVal using ?: expression. No functionality change.Ted Kremenek2009-10-301-5/+1
* Make checkers run in deterministic order.Ted Kremenek2009-10-301-9/+15
* Fix PR5316: make assignment expressions can be visited as lvalue. Then we Zhongxing Xu2009-10-301-25/+22
* Handle loading of field values from LazyCompoundVals in GRExprEngine::VisitMe...Ted Kremenek2009-10-301-6/+19
OpenPOWER on IntegriCloud