aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis/GRExprEngine.cpp
AgeCommit message (Expand)Author
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek
2010-01-22Process cast according to the cast kind. Prepare for more specific cast Zhongxing Xu
2010-01-19Fix a serious bug: Tmp3 is the wrong destination set. We should create a newZhongxing Xu
2010-01-11Roll out ASTContext::getTypeSizeInChars(), replacing instances ofKen Dyck
2010-01-09Fix overzealous assertion in GRExprEngine::VisitLValue(). ATed Kremenek
2010-01-09When binding an rvalue to a reference, create a temporary object. Use Zhongxing Xu
2010-01-08Fix handling in GRExprEngine of 'default' branch in switch statementsTed Kremenek
2010-01-05Make static analysis support for C++ 'this' expression context-sensitive. Es...Ted Kremenek
2010-01-05Remove references to 'Checker' and 'GRTransferFuncs' fromTed Kremenek
2009-12-31Let constraint manager inform checkers that some assumption logic has happend.Zhongxing Xu
2009-12-25Remove some dead variables clang-analyzer found.Benjamin Kramer
2009-12-25Fix typo spotted by MSVC.Benjamin Kramer
2009-12-24Teach GRExprEngine to handle the initialization of the condition variable of ...Ted Kremenek
2009-12-24Teach GRExprEngine to handle the initialization of the condition variable of ...Ted Kremenek
2009-12-24Teach GRExprEngine to handle the initialization of the condition variable of ...Ted Kremenek
2009-12-23Add CFG support for the condition variable that can appear in IfStmts in C++ ...Ted Kremenek
2009-12-23Add stack trace pretty printing in GRExprEngine::VisitLValue().Ted Kremenek
2009-12-23Teach GRExprEngine::VisitLValue to ignore CXXExprWithTempories (for now).Ted Kremenek
2009-12-23Teach GRExprEngine::VisitLValue that we don't handle CXXZeroInitValueExprs yet.Ted Kremenek
2009-12-23Also treat the type of the subexpression as a pointer in GRExprEngine::VisitC...Ted Kremenek
2009-12-23Add basic support for analyzing CastExprs as lvalues.Ted Kremenek
2009-12-22Add transfer functions support for visiting an Objective-C message expression...Ted Kremenek
2009-12-18Enhance GRExprEngine::VisitCallExpr() to be used in an lvalue context. Uncov...Ted Kremenek
2009-12-17Tweak formatting and comments.Ted Kremenek
2009-12-17Convert GRExprEngine::VisitCallExpr() to use a worklist instead of recursion ...Ted Kremenek
2009-12-17Reduce nesting by using early exits. No functionality change.Ted Kremenek
2009-12-17Sort switch statement. No functionality change.Ted Kremenek
2009-12-17Fix check in GRExprEngine for the 'main' function to handle NULL IdentifierIn...Ted Kremenek
2009-12-16Add a new kind of region: CXXObjectRegion. Currently it has only one Zhongxing Xu
2009-12-16Add (initial?) static analyzer support for handling C++ references.Ted Kremenek
2009-12-15Start the ball rolling on C++ support in the static analyzer. ForTed Kremenek
2009-12-14Fix: <rdar://problem/7468209> SymbolManager::isLive() should not crash on cap...Ted Kremenek
2009-12-14Use insert to avoid destroying existing nodes.Zhongxing Xu
2009-12-09Refactor OSAtomic evaluation logic into OSAtomicChecker.Zhongxing Xu
2009-12-09Use a temporary destination set such that we can clear fake auto transitions.Zhongxing Xu
2009-12-09OSAtomic simulation: use the original region as the location to load from,Zhongxing Xu
2009-12-09remove dead code.Zhongxing Xu
2009-12-09Insert instead of assign to the dest node set, since we use the dest node setZhongxing Xu
2009-12-09Fix a horrid bug in GRExprEngine::CheckerVisit() that was identifiedTed Kremenek
2009-12-08Refactor builtin function evaluation into a checker.Zhongxing Xu
2009-12-07Add analysis support for blocks. This includes a few key changes:Ted Kremenek
2009-12-07Add EvalCallExpr interface to checker, and migrate the no-return functionZhongxing Xu
2009-12-02Hard bifurcate the state into nil receiver and non-nil receiver, so thatZhongxing Xu
2009-11-30Eliminate another VISIBILITY_HIDDENDouglas Gregor
2009-11-30Adapt to the DOTGraphTraits changes in LLVM.Tobias Grosser
2009-11-28lib/Analysis: Remove VISIBILITY_HIDDEN from definitions in anonymous namespaceKovarththanan Rajaratnam
2009-11-25Refine MemRegions for blocks. Add a new region calledTed Kremenek
2009-11-25Add post-visit Checker support in GRExprEngine for BlockExpr.Ted Kremenek
2009-11-25Make RegisterInternalChecks() part of GRExprEngine's private implementation b...Ted Kremenek
2009-11-25Register internal checks with GRExprEngine when it is constructed, not manual...Ted Kremenek