| Commit message (Expand) | Author | Age | Files | Lines |
* | Remove 'AnalysisContext::setDecl()', as we the Decl associated with an | Ted Kremenek | 2009-08-21 | 1 | -2/+2 |
* | Add LocationContext* field to VarRegion. This is needed for interprocedural ... | Ted Kremenek | 2009-08-21 | 1 | -9/+12 |
* | Get the code decl from the initial location context. | Zhongxing Xu | 2009-08-21 | 1 | -1/+1 |
* | Using "ObjCImplicitSetterGetterRefExpr" instead of "ObjCImplctSetterGetterRef... | Fariborz Jahanian | 2009-08-20 | 1 | -3/+3 |
* | Renamed ObjCKVCRefExpr to ObjCImplctSetterGetterRefExpr. | Fariborz Jahanian | 2009-08-18 | 1 | -3/+3 |
* | To make the analysis independent on the locally stored liveness and cfg | Zhongxing Xu | 2009-08-17 | 1 | -2/+2 |
* | Extend the ProgramPoint to include the context information LocationContext, | Zhongxing Xu | 2009-08-15 | 1 | -5/+8 |
* | Last step of template cleanup: merge *BuilderImpl to *Builder. | Zhongxing Xu | 2009-08-06 | 1 | -177/+177 |
* | As GRState seems general enough, it is time to merge some template classes | Zhongxing Xu | 2009-08-06 | 1 | -10/+10 |
* | If the UnaryOperator has non-location type, use its type to create the | Zhongxing Xu | 2009-08-05 | 1 | -2/+11 |
* | Temporarily disable out-of-bounds checking. The current checking logic will ... | Ted Kremenek | 2009-08-01 | 1 | -1/+6 |
* | Change uses of: | Ted Kremenek | 2009-07-29 | 1 | -2/+2 |
* | Fix PR 4631. The compound initializers of unions were not being evaluated, which | Ted Kremenek | 2009-07-28 | 1 | -8/+2 |
* | Revert r76831, there are many Analyzer test failures on multiple platforms. | Daniel Dunbar | 2009-07-23 | 1 | -16/+3 |
* | Add 'previsit' Checker pass for ObjCMessageExprs. | Ted Kremenek | 2009-07-23 | 1 | -3/+16 |
* | Refactor 'PostStmt' and 'PreStmt' to subclass a common parent 'StmtPoint'. | Ted Kremenek | 2009-07-22 | 1 | -5/+6 |
* | Add support for registering 'Checker' objects with GRExprEngine. | Ted Kremenek | 2009-07-22 | 1 | -5/+48 |
* | Fix PR 4594 by refactoring almost all casting logic from GRExprEngine::VisitCast | Ted Kremenek | 2009-07-21 | 1 | -162/+29 |
* | Enhance GRExprEngine::EvalBind to handle some implicit casts from nonlocs to | Ted Kremenek | 2009-07-20 | 1 | -1/+18 |
* | Add FIXME. | Ted Kremenek | 2009-07-20 | 1 | -0/+5 |
* | Enhance GRBranchNodeBuilderImpl (part of GRCoreEngine) to understand the case | Ted Kremenek | 2009-07-20 | 1 | -8/+12 |
* | Fix caching bug revealed by analyzing ClamAV using RegionStore. | Ted Kremenek | 2009-07-17 | 1 | -2/+1 |
* | Per offline discussion with Steve Naroff, add back Type::getAsXXXType() methods | Ted Kremenek | 2009-07-17 | 1 | -2/+2 |
* | Add member template 'Type::getAs<T>', which converts a Type* to a respective T*. | Ted Kremenek | 2009-07-16 | 1 | -2/+2 |
* | Two changes: | Ted Kremenek | 2009-07-16 | 1 | -5/+5 |
* | Instead of recovering from a wrong invalidation, this patch aims to | Zhongxing Xu | 2009-07-14 | 1 | -3/+3 |
* | Handle insidious corner case exposed by RegionStoreManager when handling void... | Ted Kremenek | 2009-07-11 | 1 | -0/+13 |
* | Remove the ASTContext parameter from the attribute-related methods of Decl. | Argyrios Kyrtzidis | 2009-06-30 | 1 | -2/+2 |
* | Key decisions about 'bool' vs '_Bool' to be based on a new flag in langoptions. | Chris Lattner | 2009-06-30 | 1 | -4/+7 |
* | Remove '#include <sstream>' from libAnalysis. | Ted Kremenek | 2009-06-26 | 1 | -1/+0 |
* | Introduce a new concept to the static analyzer: SValuator. | Ted Kremenek | 2009-06-26 | 1 | -47/+20 |
* | Remove uses of std::ostream from libAnalysis. | Ted Kremenek | 2009-06-24 | 1 | -13/+7 |
* | Update for LLVM API changes. | Owen Anderson | 2009-06-24 | 1 | -1/+2 |
* | Remove GRStateManager::getRegion/getSelfRegion(). | Ted Kremenek | 2009-06-23 | 1 | -2/+2 |
* | Remove GRStateManager::BindLoc() and GRStateManager::Unbind(). | Ted Kremenek | 2009-06-23 | 1 | -1/+1 |
* | Remove GRStateManager::BindDecl() and GRStateManager::BindDeclWithInit(). | Ted Kremenek | 2009-06-23 | 1 | -2/+2 |
* | Move 'hasStackStorage()' and 'hasHeapStorage()' from MemRegionManager to MemR... | Ted Kremenek | 2009-06-23 | 1 | -1/+1 |
* | Move all factory methods from SVal to ValueManager. API cleanup! | Zhongxing Xu | 2009-06-23 | 1 | -17/+20 |
* | ValueManager::makeNonLoc -> ValueManager::makeIntVal | Zhongxing Xu | 2009-06-23 | 1 | -2/+1 |
* | Remove more GetSVal/GetLValue methods in GRExprEngine/GRState, instead | Ted Kremenek | 2009-06-19 | 1 | -110/+106 |
* | Move clients over from using GRStateManager::BindXXX and friends to | Ted Kremenek | 2009-06-18 | 1 | -5/+3 |
* | libAnalysis: | Ted Kremenek | 2009-06-18 | 1 | -124/+70 |
* | Move the static DeclAttrs map into ASTContext. Fixes <rdar://problem/6983177>. | Douglas Gregor | 2009-06-18 | 1 | -1/+2 |
* | Remove more dependencies on GRStateRef. As a consequence, we can now | Ted Kremenek | 2009-06-18 | 1 | -10/+9 |
* | Sink the BuiltinInfo object from ASTContext into the | Chris Lattner | 2009-06-14 | 1 | -0/+1 |
* | * API change: we need to pass GRState to GRExprEngine::EvalBinOp() because | Zhongxing Xu | 2009-05-20 | 1 | -14/+16 |
* | As discussed with Ted, rename TypedRegion::getObjectType() to | Zhongxing Xu | 2009-05-09 | 1 | -1/+1 |
* | rename: MemRegion: | Zhongxing Xu | 2009-05-09 | 1 | -1/+1 |
* | analyzer: Add ProgramPoint 'PostLValue' just to distinguish (for | Ted Kremenek | 2009-05-07 | 1 | -5/+21 |
* | Per conversations with Zhongxing, add an 'element type' to | Ted Kremenek | 2009-05-04 | 1 | -1/+2 |