Age | Commit message (Expand) | Author |
2009-11-13 | GRStateManager::CurrentStmt is not used. Remove it. | Zhongxing Xu |
2009-11-12 | Remove obsolete 'struct NullDerefTag'. | Ted Kremenek |
2009-11-07 | Remove Checker::CheckType() (and instead using CheckerVisitor::PreVisitDeclSt... | Ted Kremenek |
2009-11-04 | Refactor StoreManager::BindDecl() to take a VarRegion* instead of a VarDecl*,... | Ted Kremenek |
2009-10-26 | Update location of DataTypes.h to reflect move in LLVM with r85086. | Chandler Carruth |
2009-10-14 | * Remove unused GRState* parameter | Zhongxing Xu |
2009-10-06 | Fix: <rdar://problem/7275774> Static analyzer warns about NULL pointer when | Ted Kremenek |
2009-09-11 | Introduce "DefinedOrUnknownSVal" into the SVal class hierarchy, providing a way | Ted Kremenek |
2009-09-09 | Remove tabs, and whitespace cleanups. | Mike Stump |
2009-08-27 | Rename 'bindExpr' to 'BindExpr'. | Ted Kremenek |
2009-08-27 | Move the AnalysisContext* from GRState to Environment. | Ted Kremenek |
2009-08-27 | Simplify 'Environment' to contain only one map from 'const Stmt*' to SVals, g... | Ted Kremenek |
2009-08-25 | Remove CodeDecl and CFG from GRExprEngine and GRStateManager. | Zhongxing Xu |
2009-08-21 | Remove 'SelfRegion' field from both BasicStoreManager and RegionStoreManager. | Ted Kremenek |
2009-08-21 | Add LocationContext* field to VarRegion. This is needed for interprocedural ... | Ted Kremenek |
2009-08-17 | Remove unused variable. | Zhongxing Xu |
2009-08-17 | To make the analysis independent on the locally stored liveness and cfg | Zhongxing Xu |
2009-08-06 | Core analysis engine template cleanup step 2: | Zhongxing Xu |
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-07-22 | Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'. | Ted Kremenek |
2009-07-21 | Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast | Ted Kremenek |
2009-06-27 | Remove the last 'GetXXX' methods from GRStateManager. | Ted Kremenek |
2009-06-24 | Remove uses of std::ostream from libAnalysis. | Ted Kremenek |
2009-06-24 | Remove GRStateManager::GetSValAsScalarOrLoc()/GetSVal(). | Ted Kremenek |
2009-06-23 | Fix build. | Ted Kremenek |
2009-06-23 | Remove GRStateManager::getRegion/getSelfRegion(). | Ted Kremenek |
2009-06-23 | Remove GRStateManager::BindLoc() and GRStateManager::Unbind(). | Ted Kremenek |
2009-06-23 | Remove GRStateManager::BindDecl() and GRStateManager::BindDeclWithInit(). | Ted Kremenek |
2009-06-23 | Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemR... | Ted Kremenek |
2009-06-23 | API cleanup: move more methods from GRStateManager to GRState. | Ted Kremenek |
2009-06-23 | Move all factory methods from SVal to ValueManager. API cleanup! | Zhongxing Xu |
2009-06-23 | MemRegions: | Ted Kremenek |
2009-06-19 | Remove more GetSVal/GetLValue methods in GRExprEngine/GRState, instead | Ted Kremenek |
2009-06-18 | Move clients over from using GRStateManager::BindXXX and friends to | Ted Kremenek |
2009-06-18 | libAnalysis: | Ted Kremenek |
2009-06-18 | Remove GRStateRef. | Ted Kremenek |
2009-06-18 | Remove more dependencies on GRStateRef. As a consequence, we can now | Ted Kremenek |
2009-06-18 | Remove another dependency on GRStateRef. | Ted Kremenek |
2009-06-17 | Remove more uses of GRStateRef. | Ted Kremenek |
2009-06-17 | Start moving in the direction of removing GRStateRef. Now each | Ted Kremenek |
2009-06-16 | Add utility method GRStateRef::makeWithStore(). | Ted Kremenek |
2009-05-09 | As discussed with Ted, rename TypedRegion::getObjectType() to | Zhongxing Xu |
2009-05-09 | rename: MemRegion: | Zhongxing Xu |
2009-05-07 | Bug fix: Not all ConstraintManagers always return a null state when setting | Ted Kremenek |
2009-05-04 | Per conversations with Zhongxing, add an 'element type' to | Ted Kremenek |
2009-04-09 | - Move ownership of MemRegionManager into ValueManager. | Ted Kremenek |
2009-04-09 | analyzer: Introduce a new class, ValueManager, that serves as an aggregate | Ted Kremenek |
2009-03-30 | Implement a FIXME. | Zhongxing Xu |
2009-03-26 | analyzer infrastructure: make a bunch of changes to symbolic expressions that | Ted Kremenek |