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