aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive
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-21Speed up compilation by avoiding generating exceptional edges fromMike Stump
2010-01-19Fix a serious bug: Tmp3 is the wrong destination set. We should create a newZhongxing Xu
2010-01-18Add support for computing size in elements for symbolic regions obtained fromZhongxing Xu
2010-01-15Convert a few more uses of std::string& to llvm::StringRef.Ted Kremenek
2010-01-11Avoid use of deprecated functions (CStrInCStrNoCase and StringsEqualNoCase).Benjamin Kramer
2010-01-11Switch RegionStore over to using <BaseRegion+raw offset> to storeTed Kremenek
2010-01-09When binding an rvalue to a reference, create a temporary object. Use Zhongxing Xu
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-24As Ted suggested, record the callsite information with the StackFrameContext.Zhongxing Xu
2009-12-24Inter-procedural analysis: now we can return from the callee.Zhongxing Xu
2009-12-24Teach GRExprEngine to handle the initialization of the condition variable of ...Ted Kremenek
2009-12-23Migrate the call inliner to the Checker interface.Zhongxing Xu
2009-12-23Add CFG support for the condition variable that can appear in IfStmts in C++ ...Ted Kremenek
2009-12-23Add assertion to check for valid source ranges.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-19Remove ';' after method definition. Noticed by clang++, which one would thinkDaniel Dunbar
2009-12-18Enhance GRExprEngine::VisitCallExpr() to be used in an lvalue context. Uncov...Ted Kremenek
2009-12-17Convert GRExprEngine::VisitCallExpr() to use a worklist instead of recursion ...Ted Kremenek
2009-12-16Completely remove ObjCObjectRegion (tests pass this time).Ted Kremenek
2009-12-16Add a new kind of region: CXXObjectRegion. Currently it has only one Zhongxing Xu
2009-12-16remove dead code.Zhongxing Xu
2009-12-16Teach CheckerVisitor about CXXOperatorCallExpr.Ted Kremenek
2009-12-16Make GRSubEngine.h standaloneDouglas Gregor
2009-12-16Add (initial?) static analyzer support for handling C++ references.Ted Kremenek
2009-12-15Remove ValueManager::getRegionValueSymbolValOrUnknown(). It was just extra v...Ted Kremenek
2009-12-15Remove displayProgress parameter.Zhongxing Xu
2009-12-14Fix: <rdar://problem/7468209> SymbolManager::isLive() should not crash on cap...Ted Kremenek
2009-12-12Add initial support for realloc() in MallocChecker.Zhongxing Xu
2009-12-11Enhance understanding of VarRegions referenced by a block whose declarations ...Ted Kremenek
2009-12-09Refactor OSAtomic evaluation logic into OSAtomicChecker.Zhongxing Xu
2009-12-08Make the BugType.h header self-contained so Daniel will stop bugging me ;)Anders Carlsson
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-04Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion).Ted Kremenek
2009-12-04Rename instance variable to avoid name conflict with parameters, and modify a...Ted Kremenek
2009-12-04Revert r90546.Ted Kremenek
2009-12-04the assertion says state is not NULL. When state is not NULL, getState() Zhongxing Xu
2009-12-04Allow BlockInvocationContext to wrap either a BlockDecl* or a BlockDataRegion...Ted Kremenek
2009-12-04Refactor LocationContext creation logic into a single member template.Ted Kremenek
2009-12-04Refactor FoldingSet profiling code for LocationContexts, and add a new BlockI...Ted Kremenek
2009-12-04constify MemRegion* returned by MemRegionManager::getXXXRegion() methods.Ted Kremenek
2009-12-04More template-logic for MemRegion construction out of MemRegion.h and into Me...Ted Kremenek
2009-12-03Make BlockDataRegion::referenced_vars_iterator an actual class that enforces ...Ted Kremenek
2009-12-03Add batch version of 'StoreManager::InvalidateRegion()' for invalidating mult...Ted Kremenek
2009-12-02Hard bifurcate the state into nil receiver and non-nil receiver, so thatZhongxing Xu
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-07-01 12:18:47 +0000