| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | 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 |
| * | split ObjC and C++ Statements out into their own headers. | Chris Lattner | 2009-04-26 | 1 | -1/+3 |
| * | Fix PR 4033: the analyzer shouldn't crash on computed gotos involving symbolic | Ted Kremenek | 2009-04-23 | 1 | -2/+1 |
| * | Fix crash reported in PR 3991. The analyzer doesn't reason about ObjCKVCExpr. | Ted Kremenek | 2009-04-21 | 1 | -0/+1 |
| * | Fix: <rdar://problem/6777209> false Dereference of null pointer in loop: poin... | Ted Kremenek | 2009-04-21 | 1 | -1/+25 |
| * | get a CodeTextRegion when visiting FunctionDecl reference. | Zhongxing Xu | 2009-04-20 | 1 | -13/+8 |
| * | Add analyzer support for objc_atomicCompareAndSwap() | Ted Kremenek | 2009-04-11 | 1 | -2/+3 |
| * | Implement analyzer support for OSCompareAndSwap. This required pushing "tagged" | Ted Kremenek | 2009-04-11 | 1 | -11/+172 |
| * | Finally nuke loc::SymbolVal. | Zhongxing Xu | 2009-04-10 | 1 | -37/+1 |
| * | Fix: <rdar://problem/6776949> Branch condition evaluates to an uninitialized ... | Ted Kremenek | 2009-04-10 | 1 | -1/+25 |
