aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/GRExprEngine.cpp
AgeCommit message (Expand)Author
2009-11-23Initial refactor of UndefBranchChecker. We still use GRBranchNodeBuilderZhongxing Xu
2009-11-22Undefined compound assignment result is checked in UndefinedAssignmentChecker...Zhongxing Xu
2009-11-22Remove invalid comments. The result is undefined only when operands are undef...Zhongxing Xu
2009-11-21Pull BadCallChecker int UndefinedArgChecker, and have UndefinedArgChecker als...Ted Kremenek
2009-11-21More checker refactoring. Passing undefined values in a message expression i...Ted Kremenek
2009-11-20Revert r89437 and add a comment.Zhongxing Xu
2009-11-20It's unnecessary to check for unknown at this point.Zhongxing Xu
2009-11-19Remove printf statement.Ted Kremenek
2009-11-17Add EvalEndPath interface to Checker. Now we can check memory leaked at theZhongxing Xu
2009-11-17Clear the dest set.Zhongxing Xu
2009-11-16* Do the same thing to the basicstore as in r84163.Zhongxing Xu
2009-11-16Remove an unused parameter.Zhongxing Xu
2009-11-14Move definition of GRExprEngine::ProcessEndPath() out-of-line.Ted Kremenek
2009-11-13Check in a new interface of Checker, which will soon be used.Zhongxing Xu
2009-11-13GRStateManager::CurrentStmt is not used. Remove it.Zhongxing Xu
2009-11-12Enhance Checker class (and GRExprEngine) to support PostVisitation for CallEx...Ted Kremenek
2009-11-12Remove GRExprEngine::EvalCall(). It had a single callsite in GRExprEngine, a...Ted Kremenek
2009-11-11Remove some stale ErrorNodes variables in GRExprEngine and the old buffer ove...Ted Kremenek
2009-11-11Add undefined array subscript checker.Zhongxing Xu
2009-11-11Remove the old out-of-bound checking code.Zhongxing Xu
2009-11-11Refactor DereferenceChecker to use only the new Checker API instead ofTed Kremenek
2009-11-10Fix clang's use of DenseMap iterators after r86636 fixed their constness.Jeffrey Yasskin
2009-11-09Remove stale FIXME.Ted Kremenek
2009-11-09Add checker for CWE-588: Attempt to Access Child of a Non-structure Pointer.Zhongxing Xu
2009-11-07Remove Checker::CheckType() (and instead using CheckerVisitor::PreVisitDeclSt...Ted Kremenek
2009-11-06static analyzer: refactor checking logic for returning the address of a stack...Ted Kremenek
2009-11-05Modify GRExprEngine::EvalBind() to take both a "store expression" andTed Kremenek
2009-11-04Catch uses of undefined values when they are used in assignment, thus catchin...Ted Kremenek
2009-11-04Refactor StoreManager::BindDecl() to take a VarRegion* instead of a VarDecl*,...Ted Kremenek
2009-11-03Change GRTransferFuncs::RegisterChecks() to take a GRExprEngine& instead of a...Ted Kremenek
2009-11-03Pull VLA size checker into its own files. Zhongxing Xu
2009-11-03Implement: <rdar://problem/6250216> Warn against using -[NSAutoreleasePool re...Ted Kremenek
2009-11-02Remove GRExprEngine::CheckerVisitLocation(). It was only called in one place...Ted Kremenek
2009-10-30Tighten computation of ExprVal using ?: expression. No functionality change.Ted Kremenek
2009-10-30Make checkers run in deterministic order.Ted Kremenek
2009-10-30Fix PR5316: make assignment expressions can be visited as lvalue. Then we Zhongxing Xu
2009-10-30Handle loading of field values from LazyCompoundVals in GRExprEngine::VisitMe...Ted Kremenek
2009-10-29Move NullDeref and UndefDeref into their own checker. Zhongxing Xu
2009-10-29[llvm up]Douglas Gregor
2009-10-26'error' is usually used as a noreturn function. This can suppress some falseZhongxing Xu
2009-10-23Eliminate QualifiedDeclRefExpr, which captured the notion of aDouglas Gregor
2009-10-21Simplify some code. No functionality change.Zhongxing Xu
2009-10-18PR5218: Replace IdentifierInfo::getName with StringRef version, now that clientsDaniel Dunbar
2009-10-18Move misc clients to IdentifierInfo StringRef API.Daniel Dunbar
2009-10-18Move clients to use IdentifierInfo::getNameStart() instead of getName()Daniel Dunbar
2009-10-14Remove dead code.Zhongxing Xu
2009-10-14* Remove unused GRState* parameterZhongxing Xu
2009-10-06Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer whenTed Kremenek
2009-09-27Fix:Ted Kremenek
2009-09-23Fix PR 4988 by removing an invalid assertion (a function can be referenced inTed Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-05-02 05:03:24 +0000