| Age | Commit message (Expand) | Author |
|---|
| 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 | Add 'PreStmt' program point. This will be used to represent checking for | 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-22 | Add some documentation, to make it so the next person doens't select | Mike Stump |
| 2009-07-22 | Restructure ProgramPoint to have the 'Kind' value be its own instance | Ted Kremenek |
| 2009-07-21 | Update stale comment. | Ted Kremenek |
| 2009-07-21 | Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast | Ted Kremenek |
| 2009-07-21 | Remove the ASTContext parameter from Entity::getPrintableName(). | Argyrios Kyrtzidis |
| 2009-07-21 | Change the semantics for Entity. | Argyrios Kyrtzidis |
| 2009-07-20 | Add yet more analysis for CFGs involving conditionals that are actually const... | Mike Stump |
| 2009-07-20 | Remove an apparently unused forward class decl. | Mike Stump |
| 2009-07-20 | Update DataflowSolver to handle the case where a successor/predecessor block | 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-17 | Rename Entity::getName() to Entity::getPrintableName() to make its purpose | Zhongxing Xu |
| 2009-07-17 | CallGraph: | Zhongxing Xu |
| 2009-07-16 | Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. | Ted Kremenek |
| 2009-07-16 | Move the source-level CFG from libAST to libAnalysis. | Ted Kremenek |
| 2009-07-16 | Move RegionStoreManager over to using new | Ted Kremenek |
| 2009-07-16 | Two changes: | Ted Kremenek |
| 2009-07-16 | Commit the initial implementation of call graph building. | Zhongxing Xu |
| 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 |
| 2009-07-03 | remove utility methods that are not very useful. | Zhongxing Xu |
| 2009-07-02 | Replace guarded calls in RegionStoreManager to | Ted Kremenek |
| 2009-07-02 | StoreManagers: Use 'hasGlobalsStorage()' and 'hasParametersStorage()' instead of | Ted Kremenek |
| 2009-07-02 | Add a separate MemSpaceRegion for function/method arguments passed on the stack. | Ted Kremenek |
| 2009-07-02 | Remove commented methods. Add MemRegion::printStdErr(). | Ted Kremenek |
| 2009-06-30 | add utility method. | Zhongxing Xu |
| 2009-06-30 | add utility methods. | Zhongxing Xu |
