summaryrefslogtreecommitdiffstats
path: root/clang/lib/Analysis/GRExprEngine.cpp
Commit message (Expand)AuthorAgeFilesLines
* 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
* Move NullDeref and UndefDeref into their own checker. Zhongxing Xu2009-10-291-61/+29
* [llvm up]Douglas Gregor2009-10-291-62/+25
* 'error' is usually used as a noreturn function. This can suppress some falseZhongxing Xu2009-10-261-11/+4
* Eliminate QualifiedDeclRefExpr, which captured the notion of aDouglas Gregor2009-10-231-2/+0
* Simplify some code. No functionality change.Zhongxing Xu2009-10-211-55/+43
* PR5218: Replace IdentifierInfo::getName with StringRef version, now that clientsDaniel Dunbar2009-10-181-1/+1
* Move misc clients to IdentifierInfo StringRef API.Daniel Dunbar2009-10-181-1/+1
* Move clients to use IdentifierInfo::getNameStart() instead of getName()Daniel Dunbar2009-10-181-3/+2
* Remove dead code.Zhongxing Xu2009-10-141-13/+0
* * Remove unused GRState* parameterZhongxing Xu2009-10-141-3/+3
* Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer whenTed Kremenek2009-10-061-1/+1
* Fix:Ted Kremenek2009-09-271-4/+5
* Fix PR 4988 by removing an invalid assertion (a function can be referenced inTed Kremenek2009-09-231-1/+1
* Fix: <rdar://problem/7242006> [RegionStore] compound literal assignment with ...Ted Kremenek2009-09-221-0/+1
* Change all the Type::getAsFoo() methods to specializations of Type::getAs().John McCall2009-09-211-1/+1
* Remove ImplicitBadDivides/ExplicitBadDivides node sets. This checking is now...Ted Kremenek2009-09-161-6/+0
* Per feedback from Eli, recognize in the transfer function logic forTed Kremenek2009-09-151-6/+12
* Add static analyzer transfer function support for __builtin_offsetof.Ted Kremenek2009-09-151-3/+8
* Remove unnecessary ASTContext parameter from FunctionDecl::isBuiltinIDDouglas Gregor2009-09-121-1/+1
* Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a wayTed Kremenek2009-09-111-130/+107
* Make AnalysisManager stateless. Now other analyzer components only depends onZhongxing Xu2009-09-101-12/+14
OpenPOWER on IntegriCloud