summaryrefslogtreecommitdiffstats
path: root/clang/include/clang/Analysis/PathSensitive
Commit message (Expand)AuthorAgeFilesLines
* Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek2010-01-2529-6823/+0
* Process cast according to the cast kind. Prepare for more specific cast Zhongxing Xu2010-01-221-2/+2
* Speed up compilation by avoiding generating exceptional edges fromMike Stump2010-01-211-2/+9
* Fix a serious bug: Tmp3 is the wrong destination set. We should create a newZhongxing Xu2010-01-191-0/+5
* Add support for computing size in elements for symbolic regions obtained fromZhongxing Xu2010-01-181-1/+2
* Convert a few more uses of std::string& to llvm::StringRef.Ted Kremenek2010-01-151-3/+3
* Avoid use of deprecated functions (CStrInCStrNoCase and StringsEqualNoCase).Benjamin Kramer2010-01-111-1/+0
* Switch RegionStore over to using <BaseRegion+raw offset> to storeTed Kremenek2010-01-112-2/+5
* When binding an rvalue to a reference, create a temporary object. Use Zhongxing Xu2010-01-092-7/+12
* Make static analysis support for C++ 'this' expression context-sensitive. Es...Ted Kremenek2010-01-052-12/+41
* Remove references to 'Checker' and 'GRTransferFuncs' fromTed Kremenek2010-01-054-48/+29
* Let constraint manager inform checkers that some assumption logic has happend.Zhongxing Xu2009-12-313-3/+27
* As Ted suggested, record the callsite information with the StackFrameContext.Zhongxing Xu2009-12-242-7/+25
* Inter-procedural analysis: now we can return from the callee.Zhongxing Xu2009-12-241-1/+5
* Teach GRExprEngine to handle the initialization of the condition variable of ...Ted Kremenek2009-12-241-4/+4
* Migrate the call inliner to the Checker interface.Zhongxing Xu2009-12-232-4/+5
* Add CFG support for the condition variable that can appear in IfStmts in C++ ...Ted Kremenek2009-12-231-0/+5
* Add assertion to check for valid source ranges.Ted Kremenek2009-12-231-1/+4
* Add basic support for analyzing CastExprs as lvalues.Ted Kremenek2009-12-231-1/+1
* Add transfer functions support for visiting an Objective-C message expression...Ted Kremenek2009-12-222-5/+8
* Remove ';' after method definition. Noticed by clang++, which one would thinkDaniel Dunbar2009-12-194-4/+4
* Enhance GRExprEngine::VisitCallExpr() to be used in an lvalue context. Uncov...Ted Kremenek2009-12-181-1/+1
* Convert GRExprEngine::VisitCallExpr() to use a worklist instead of recursion ...Ted Kremenek2009-12-171-4/+0
* Completely remove ObjCObjectRegion (tests pass this time).Ted Kremenek2009-12-161-33/+0
* Add a new kind of region: CXXObjectRegion. Currently it has only one Zhongxing Xu2009-12-163-10/+48
* remove dead code.Zhongxing Xu2009-12-161-3/+0
* Teach CheckerVisitor about CXXOperatorCallExpr.Ted Kremenek2009-12-162-19/+28
* Make GRSubEngine.h standaloneDouglas Gregor2009-12-161-0/+1
* Add (initial?) static analyzer support for handling C++ references.Ted Kremenek2009-12-164-11/+15
* Remove ValueManager::getRegionValueSymbolValOrUnknown(). It was just extra v...Ted Kremenek2009-12-151-7/+0
* Remove displayProgress parameter.Zhongxing Xu2009-12-151-2/+1
* Fix: <rdar://problem/7468209> SymbolManager::isLive() should not crash on cap...Ted Kremenek2009-12-142-2/+8
* Add initial support for realloc() in MallocChecker.Zhongxing Xu2009-12-121-0/+4
* Enhance understanding of VarRegions referenced by a block whose declarations ...Ted Kremenek2009-12-112-5/+25
* Refactor OSAtomic evaluation logic into OSAtomicChecker.Zhongxing Xu2009-12-091-2/+22
* Make the BugType.h header self-contained so Daniel will stop bugging me ;)Anders Carlsson2009-12-081-0/+1
* Add analysis support for blocks. This includes a few key changes:Ted Kremenek2009-12-075-77/+198
* Add EvalCallExpr interface to checker, and migrate the no-return functionZhongxing Xu2009-12-072-0/+16
* Replace SymbolReaper::isLive(VarDecl) with SymbolReaper::isLive(VarRegion).Ted Kremenek2009-12-041-6/+5
* Rename instance variable to avoid name conflict with parameters, and modify a...Ted Kremenek2009-12-041-5/+4
* Revert r90546.Ted Kremenek2009-12-041-1/+2
* the assertion says state is not NULL. When state is not NULL, getState() Zhongxing Xu2009-12-041-2/+1
* Allow BlockInvocationContext to wrap either a BlockDecl* or a BlockDataRegion...Ted Kremenek2009-12-042-5/+24
* Refactor LocationContext creation logic into a single member template.Ted Kremenek2009-12-042-26/+36
* Refactor FoldingSet profiling code for LocationContexts, and add a new BlockI...Ted Kremenek2009-12-041-12/+40
* constify MemRegion* returned by MemRegionManager::getXXXRegion() methods.Ted Kremenek2009-12-041-25/+26
* More template-logic for MemRegion construction out of MemRegion.h and into Me...Ted Kremenek2009-12-041-157/+6
* Make BlockDataRegion::referenced_vars_iterator an actual class that enforces ...Ted Kremenek2009-12-031-1/+25
* Add batch version of 'StoreManager::InvalidateRegion()' for invalidating mult...Ted Kremenek2009-12-031-0/+6
* Hard bifurcate the state into nil receiver and non-nil receiver, so thatZhongxing Xu2009-12-023-19/+25
OpenPOWER on IntegriCloud