aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive
AgeCommit message (Expand)Author
2009-08-02Remove RegionViews and RegionCasts. These are no longer used.Ted Kremenek
2009-08-02RegionStoreManager::RemoveDeadBindings() now removes dead 'default' bindings ...Ted Kremenek
2009-08-02Generalize the interface of 'StoreManager::RemoveDeadBindings()' to manipulat...Ted Kremenek
2009-08-01This is a fairly large patch, which resulted from a cascade of changesTed Kremenek
2009-07-31Fix use-after-release bug introduced in r77585 where the PathDiagnosticClientTed Kremenek
2009-07-30Make AnalysisManager into its own source file and a pure data management class. Zhongxing Xu
2009-07-30This patch collects all analysis context data into a new class Zhongxing Xu
2009-07-29Remove 'StoreManager::OldCastRegion()', TypedViewRegion (which onlyTed Kremenek
2009-07-29Make StoreManager::InvalidateRegion() virtual, move the current implementationTed Kremenek
2009-07-29Add 'MemRegion::getBaseRegion()', a utility method to strip ElementRegions withTed Kremenek
2009-07-29delete an undefined method.Zhongxing Xu
2009-07-28Add missing break statement.Ted Kremenek
2009-07-28Fix regression in attribute 'nonnull' checking when a transition nodeTed Kremenek
2009-07-27Update for LLVM API change.Owen Anderson
2009-07-24Mark destructor of Checker virtual.Ted Kremenek
2009-07-23Revert r76831, there are many Analyzer test failures on multiple platforms.Daniel Dunbar
2009-07-23Add 'previsit' Checker pass for ObjCMessageExprs.Ted Kremenek
2009-07-22Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'.Ted Kremenek
2009-07-22Use SaveAndRestore in 'clang/Analysis/Support/SaveAndRestore.h'Ted Kremenek
2009-07-22Add AssumeDual method.Ted Kremenek
2009-07-22Add support for registering 'Checker' objects with GRExprEngine.Ted Kremenek
2009-07-22Add new 'Checker' and 'CheckerVisitor' classes, which represent a more powerfulTed Kremenek
2009-07-22Add support for 'PreStmt' program points to GRCoreEngine and GRStmtNodeBuilder.Ted Kremenek
2009-07-22Implement operator= for ExplodedNodeSet.Ted Kremenek
2009-07-22Move bug reporter "visitors" to their own file and make them part of the publicTed Kremenek
2009-07-21Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCastTed Kremenek
2009-07-20Enhance GRBranchNodeBuilderImpl (part of GRCoreEngine) to understand the caseTed Kremenek
2009-07-19Improve debug pretty-printing for ObjCIVarRegions.Ted Kremenek
2009-07-17Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methodsTed Kremenek
2009-07-16Add member template 'Type::getAs<T>', which converts a Type* to a respective T*.Ted Kremenek
2009-07-16Move RegionStoreManager over to using newTed Kremenek
2009-07-16Two changes:Ted Kremenek
2009-07-15More test cases revealed that the logic in StoreManager::InvalidateRegion() n...Ted Kremenek
2009-07-15Introduced the notion of a "derived symbol" using the class SymbolDerived.Ted Kremenek
2009-07-14Introduce Type::isAnyPointerType() and convert all clients (suggested by Chris).Steve Naroff
2009-07-14Instead of recovering from a wrong invalidation, this patch aims to Zhongxing Xu
2009-07-13Tidy pretty-printing for SVals, using 'dump()' instead of 'printStdErr()', an...Ted Kremenek
2009-07-13Change pretty-printing API for SymExprs and MemRegions to use a naming conven...Ted Kremenek
2009-07-10This patch includes a conceptually simple, but very intrusive/pervasive change. Steve Naroff
2009-07-10Rename potentially ambiguous member template 'getRegion' to 'getSubRegion' to...Ted Kremenek
2009-07-10Switch BasicStoreManager to use the new CastRegion implementation by default,Ted Kremenek
2009-07-08Fix: <rdar://problem/7034511> ValueManager::makeIntVal(uint64_t X, QualType T...Ted Kremenek
2009-07-06Unbreak build by including header.Ted Kremenek
2009-07-06Make 'BasicStoreManager' + 'NewCastRegion' testable from the command line usi...Ted Kremenek
2009-07-06Move the new 'CastRegion' implementation from RegionStoreManager to StoreManagerTed Kremenek
2009-07-06Further cleanup of region invalidation code. No functionality change.Zhongxing Xu
2009-07-06AllocaRegion and SymbolicRegion are both boundable.Zhongxing Xu
2009-07-06Start to gradually move region invalidation code into store manager.Zhongxing Xu
2009-07-04CompoundLiteralRegion is boundable when it is not in the file scope.Zhongxing Xu
2009-07-04StringRegion is not boundable.Zhongxing Xu