| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Fix 80-col violation. | Zhongxing Xu | 2008-10-24 | 1 | -1/+1 |
| * | Make the analyzer store (memory model) a command line option. | Ted Kremenek | 2008-10-24 | 1 | -2/+3 |
| * | Add an assertion to make our intention more clear. | Zhongxing Xu | 2008-10-23 | 1 | -0/+2 |
| * | Let StoreManager do different cast on arrays. BasicStore will just keep it in... | Zhongxing Xu | 2008-10-23 | 1 | -2/+8 |
| * | Adjust parameter order to more natural one. | Zhongxing Xu | 2008-10-22 | 1 | -1/+1 |
| * | Exprs of function type is another special case for ImplicitCast. | Zhongxing Xu | 2008-10-22 | 1 | -2/+2 |
| * | When conjuring symbols for compound assignments, use the promoted type to det... | Ted Kremenek | 2008-10-21 | 1 | -4/+4 |
| * | Preliminary support for function overloading | Douglas Gregor | 2008-10-21 | 1 | -1/+1 |
| * | Localize the special processing of array variable inside | Zhongxing Xu | 2008-10-21 | 1 | -14/+2 |
| * | Further improve path-sensitivity with divide-by-zero checking by assuming tha... | Ted Kremenek | 2008-10-20 | 1 | -18/+31 |
| * | Used conjured symbols to recover path-sensitivity when the result of a compou... | Ted Kremenek | 2008-10-20 | 1 | -0/+13 |
| * | Add support in GRExprEngine for UnaryOperator::AlignOf. This fixes one crash... | Ted Kremenek | 2008-10-18 | 1 | -0/+17 |
| * | Generalize VisitLValue: not only can CallExprs and ObjCMessageExprs return ag... | Ted Kremenek | 2008-10-18 | 1 | -12/+9 |
| * | Function calls and ObjC message expressions can be used in a lvalue context i... | Ted Kremenek | 2008-10-18 | 1 | -1/+12 |
| * | Use "VisitLValue" when processing the base for "x.f" field accesses, and "Vis... | Ted Kremenek | 2008-10-18 | 1 | -2/+6 |
| * | When conjuring symbols to recover path-sensitivity, don't conjure symbols tha... | Ted Kremenek | 2008-10-17 | 1 | -1/+3 |
| * | "Implement" GRExprEngine::VisitLValue for ObjCPropertyRefExpr. This is only ... | Ted Kremenek | 2008-10-17 | 1 | -0/+15 |
| * | This patch did the following renaming. There should be no functional changes. | Zhongxing Xu | 2008-10-17 | 1 | -129/+129 |
| * | Get array's lvalue through standard interface. | Zhongxing Xu | 2008-10-17 | 1 | -5/+3 |
| * | Return the corresponding MemRegionVal for both rvalue and lvalue of array of | Zhongxing Xu | 2008-10-17 | 1 | -5/+5 |
| * | Remove an untrue assertion: lval::FuncVals can be returned in both rvalue and... | Ted Kremenek | 2008-10-17 | 1 | -2/+4 |
| * | Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regi... | Ted Kremenek | 2008-10-17 | 1 | -15/+11 |
| * | Add transfer function support for ObjCIvarRefExpr. | Ted Kremenek | 2008-10-17 | 1 | -2/+33 |
| * | This is the first step to build a better evaluation model for GRExprEngine. A | Zhongxing Xu | 2008-10-16 | 1 | -97/+73 |
| * | Check some cases for previous patch. Make the code more robust. | Zhongxing Xu | 2008-10-09 | 1 | -3/+7 |
| * | Added a function call case that generates sink nodes. | Zhongxing Xu | 2008-10-07 | 1 | -0/+6 |
| * | Don't use DeclStmt::getDecl(); this will eventually disappear. Just fetch th... | Ted Kremenek | 2008-10-06 | 1 | -4/+2 |
| * | This is a big patch, but the functionality change is small and the rest of th... | Ted Kremenek | 2008-10-04 | 1 | -4/+7 |
| * | Add a QualType to ConjuredSymbol to represent the type and size of the symbol. | Ted Kremenek | 2008-10-01 | 1 | -0/+2 |
| * | Revert last patch, but add a fixme | Ted Kremenek | 2008-09-30 | 1 | -1/+3 |
| * | Within the transfer function of UnaryOperatorExpr, handle implicit promotions | Ted Kremenek | 2008-09-30 | 1 | -0/+5 |
| * | Add PostStore, a new ProgramPoint to distinguish between 'stores' and other P... | Ted Kremenek | 2008-09-20 | 1 | -9/+19 |
| * | Bug fix: for the base transfer function logic for casts, handle const casts a... | Ted Kremenek | 2008-09-19 | 1 | -0/+9 |
| * | Add panic function "__assert_fail". | Ted Kremenek | 2008-09-19 | 1 | -0/+4 |
| * | Implement second part of PR 2600: NSError** parameter may be null, and should... | Ted Kremenek | 2008-09-18 | 1 | -1/+6 |
| * | ProgramPoint now takes the space of two pointers instead of one. This change was | Ted Kremenek | 2008-09-16 | 1 | -5/+4 |
| * | Patch by Csaba Hruska! | Ted Kremenek | 2008-09-13 | 1 | -5/+13 |
| * | Remove BasicStore.h (migrated function prototype for CreateBasicStore() to St... | Ted Kremenek | 2008-08-28 | 1 | -1/+0 |
| * | Make store "Regions" and "Bindings" more abstract instead of concrete variants. | Ted Kremenek | 2008-08-28 | 1 | -1/+1 |
| * | Fixed analyzer caching bug involving the transfer function for loads. | Ted Kremenek | 2008-08-28 | 1 | -4/+5 |
| * | Fixed analyzer caching bug in DeclStmt. | Ted Kremenek | 2008-08-28 | 1 | -22/+11 |
| * | Refactor Assume logic into a separate class ConstraintManager. | Zhongxing Xu | 2008-08-27 | 1 | -1/+1 |
| * | Added 'extents' for Regions. | Ted Kremenek | 2008-08-25 | 1 | -1/+1 |
| * | Move the handling of DeclStmt from GRExprEngine to BasicStoreManager. | Zhongxing Xu | 2008-08-21 | 1 | -69/+2 |
| * | Patch by Zhongxing Xu! | Ted Kremenek | 2008-08-19 | 1 | -42/+2 |
| * | Add ExplicitCastExpr to replace the current CastExpr, and have ImplicitCastEx... | Argyrios Kyrtzidis | 2008-08-18 | 1 | -8/+3 |
| * | GRState: | Ted Kremenek | 2008-08-16 | 1 | -117/+5 |
| * | Default initialize only pointers and integer types (for now). | Ted Kremenek | 2008-08-14 | 1 | -0/+9 |
| * | Renamed GRState::CheckerStatePrinter to GRState::Printer. | Ted Kremenek | 2008-08-13 | 1 | -6/+19 |
| * | Rename ValueState -> GRState. | Ted Kremenek | 2008-08-13 | 1 | -62/+62 |
