| Age | Commit message (Expand) | Author |
|---|
| 2010-01-25 | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek |
| 2010-01-22 | Process cast according to the cast kind. Prepare for more specific cast | Zhongxing Xu |
| 2010-01-09 | When binding an rvalue to a reference, create a temporary object. Use | Zhongxing Xu |
| 2010-01-05 | Remove references to 'Checker' and 'GRTransferFuncs' from | Ted Kremenek |
| 2009-12-31 | Let constraint manager inform checkers that some assumption logic has happend. | Zhongxing Xu |
| 2009-12-24 | Teach GRExprEngine to handle the initialization of the condition variable of ... | Ted Kremenek |
| 2009-12-23 | Add CFG support for the condition variable that can appear in IfStmts in C++ ... | Ted Kremenek |
| 2009-12-23 | Add basic support for analyzing CastExprs as lvalues. | Ted Kremenek |
| 2009-12-22 | Add transfer functions support for visiting an Objective-C message expression... | Ted Kremenek |
| 2009-12-18 | Enhance GRExprEngine::VisitCallExpr() to be used in an lvalue context. Uncov... | Ted Kremenek |
| 2009-12-17 | Convert GRExprEngine::VisitCallExpr() to use a worklist instead of recursion ... | Ted Kremenek |
| 2009-12-16 | Add a new kind of region: CXXObjectRegion. Currently it has only one | Zhongxing Xu |
| 2009-12-16 | remove dead code. | Zhongxing Xu |
| 2009-12-16 | Add (initial?) static analyzer support for handling C++ references. | Ted Kremenek |
| 2009-12-07 | Add analysis support for blocks. This includes a few key changes: | Ted Kremenek |
| 2009-12-07 | Add EvalCallExpr interface to checker, and migrate the no-return function | Zhongxing Xu |
| 2009-12-02 | Hard bifurcate the state into nil receiver and non-nil receiver, so that | Zhongxing Xu |
| 2009-11-25 | Make RegisterInternalChecks() part of GRExprEngine's private implementation b... | Ted Kremenek |
| 2009-11-25 | UndefResults is not needed. | Zhongxing Xu |
| 2009-11-25 | Add transfer function support for BlockExpr. | Ted Kremenek |
| 2009-11-24 | Cleanups and fixes to the nil-receiver checker, some of it fallout the | Ted Kremenek |
| 2009-11-24 | Refactor NilReceiverStructRet and NilReceiverLargerThanVoidPtrRet into | Zhongxing Xu |
| 2009-11-21 | Pull BadCallChecker int UndefinedArgChecker, and have UndefinedArgChecker als... | Ted Kremenek |
| 2009-11-21 | More checker refactoring. Passing undefined values in a message expression i... | Ted Kremenek |
| 2009-11-19 | Fix 80 col. violation. | Ted Kremenek |
| 2009-11-16 | * Do the same thing to the basicstore as in r84163. | Zhongxing Xu |
| 2009-11-14 | Move definition of GRExprEngine::ProcessEndPath() out-of-line. | Ted Kremenek |
| 2009-11-12 | Remove GRExprEngine::EvalCall(). It had a single callsite in GRExprEngine, a... | Ted Kremenek |
| 2009-11-11 | Remove some stale ErrorNodes variables in GRExprEngine and the old buffer ove... | Ted Kremenek |
| 2009-11-11 | Refactor DereferenceChecker to use only the new Checker API instead of | Ted Kremenek |
| 2009-11-09 | Remove dead code. | Zhongxing Xu |
| 2009-11-06 | static analyzer: refactor checking logic for returning the address of a stack... | Ted Kremenek |
| 2009-11-05 | Modify GRExprEngine::EvalBind() to take both a "store expression" and | Ted Kremenek |
| 2009-11-04 | Catch uses of undefined values when they are used in assignment, thus catchin... | Ted Kremenek |
| 2009-11-04 | Refactor StoreManager::BindDecl() to take a VarRegion* instead of a VarDecl*,... | Ted Kremenek |
| 2009-11-02 | Remove GRExprEngine::CheckerVisitLocation(). It was only called in one place... | Ted Kremenek |
| 2009-10-30 | Make checkers run in deterministic order. | Ted Kremenek |
| 2009-10-30 | Fix PR5316: make assignment expressions can be visited as lvalue. Then we | Zhongxing Xu |
| 2009-10-29 | Move NullDeref and UndefDeref into their own checker. | Zhongxing Xu |
| 2009-10-06 | Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when | Ted Kremenek |
| 2009-09-16 | Remove ImplicitBadDivides/ExplicitBadDivides node sets. This checking is now... | Ted Kremenek |
| 2009-09-11 | Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way | Ted Kremenek |
| 2009-09-09 | Remove tabs, and whitespace cleanups. | Mike Stump |
| 2009-09-05 | Refactor builtin function evaluation code into its own function. | Zhongxing Xu |
| 2009-08-27 | Remove a unused member variable. Instead query the option from AnalysisManager. | Zhongxing Xu |
| 2009-08-25 | Move logic of GRExprEngine::EvalBinOp to SValuator::EvalBinOp. | Ted Kremenek |
| 2009-08-25 | Remove CodeDecl and CFG from GRExprEngine and GRStateManager. | Zhongxing Xu |
| 2009-08-25 | Remove Decl and CFG from ExplodedGraph. This leads to a series small changes. | Zhongxing Xu |
| 2009-08-21 | Remove 'AnalysisContext::setDecl()', as we the Decl associated with an | Ted Kremenek |
| 2009-08-17 | To make the analysis independent on the locally stored liveness and cfg | Zhongxing Xu |
