| Age | Commit message (Expand) | Author |
|---|
| 2008-10-21 | When conjuring symbols for compound assignments, use the promoted type to det... | Ted Kremenek |
| 2008-10-21 | Preliminary support for function overloading | Douglas Gregor |
| 2008-10-21 | Localize the special processing of array variable inside | Zhongxing Xu |
| 2008-10-20 | Further improve path-sensitivity with divide-by-zero checking by assuming tha... | Ted Kremenek |
| 2008-10-20 | Used conjured symbols to recover path-sensitivity when the result of a compou... | Ted Kremenek |
| 2008-10-18 | Add support in GRExprEngine for UnaryOperator::AlignOf. This fixes one crash... | Ted Kremenek |
| 2008-10-18 | Generalize VisitLValue: not only can CallExprs and ObjCMessageExprs return ag... | Ted Kremenek |
| 2008-10-18 | Function calls and ObjC message expressions can be used in a lvalue context i... | Ted Kremenek |
| 2008-10-18 | Use "VisitLValue" when processing the base for "x.f" field accesses, and "Vis... | Ted Kremenek |
| 2008-10-17 | When conjuring symbols to recover path-sensitivity, don't conjure symbols tha... | Ted Kremenek |
| 2008-10-17 | "Implement" GRExprEngine::VisitLValue for ObjCPropertyRefExpr. This is only ... | Ted Kremenek |
| 2008-10-17 | This patch did the following renaming. There should be no functional changes. | Zhongxing Xu |
| 2008-10-17 | Get array's lvalue through standard interface. | Zhongxing Xu |
| 2008-10-17 | Return the corresponding MemRegionVal for both rvalue and lvalue of array of | Zhongxing Xu |
| 2008-10-17 | Remove an untrue assertion: lval::FuncVals can be returned in both rvalue and... | Ted Kremenek |
| 2008-10-17 | Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regi... | Ted Kremenek |
| 2008-10-17 | Add transfer function support for ObjCIvarRefExpr. | Ted Kremenek |
| 2008-10-16 | This is the first step to build a better evaluation model for GRExprEngine. A | Zhongxing Xu |
| 2008-10-09 | Check some cases for previous patch. Make the code more robust. | Zhongxing Xu |
| 2008-10-07 | Added a function call case that generates sink nodes. | Zhongxing Xu |
| 2008-10-06 | Don't use DeclStmt::getDecl(); this will eventually disappear. Just fetch th... | Ted Kremenek |
| 2008-10-04 | This is a big patch, but the functionality change is small and the rest of th... | Ted Kremenek |
| 2008-10-01 | Add a QualType to ConjuredSymbol to represent the type and size of the symbol. | Ted Kremenek |
| 2008-09-30 | Revert last patch, but add a fixme | Ted Kremenek |
| 2008-09-30 | Within the transfer function of UnaryOperatorExpr, handle implicit promotions | Ted Kremenek |
| 2008-09-20 | Add PostStore, a new ProgramPoint to distinguish between 'stores' and other P... | Ted Kremenek |
| 2008-09-19 | Bug fix: for the base transfer function logic for casts, handle const casts a... | Ted Kremenek |
| 2008-09-19 | Add panic function "__assert_fail". | Ted Kremenek |
| 2008-09-18 | Implement second part of PR 2600: NSError** parameter may be null, and should... | Ted Kremenek |
| 2008-09-16 | ProgramPoint now takes the space of two pointers instead of one. This change was | Ted Kremenek |
| 2008-09-13 | Patch by Csaba Hruska! | Ted Kremenek |
| 2008-08-28 | Remove BasicStore.h (migrated function prototype for CreateBasicStore() to St... | Ted Kremenek |
| 2008-08-28 | Make store "Regions" and "Bindings" more abstract instead of concrete variants. | Ted Kremenek |
| 2008-08-28 | Fixed analyzer caching bug involving the transfer function for loads. | Ted Kremenek |
| 2008-08-28 | Fixed analyzer caching bug in DeclStmt. | Ted Kremenek |
| 2008-08-27 | Refactor Assume logic into a separate class ConstraintManager. | Zhongxing Xu |
| 2008-08-25 | Added 'extents' for Regions. | Ted Kremenek |
| 2008-08-21 | Move the handling of DeclStmt from GRExprEngine to BasicStoreManager. | Zhongxing Xu |
| 2008-08-19 | Patch by Zhongxing Xu! | Ted Kremenek |
| 2008-08-18 | Add ExplicitCastExpr to replace the current CastExpr, and have ImplicitCastEx... | Argyrios Kyrtzidis |
| 2008-08-16 | GRState: | Ted Kremenek |
| 2008-08-14 | Default initialize only pointers and integer types (for now). | Ted Kremenek |
| 2008-08-13 | Renamed GRState::CheckerStatePrinter to GRState::Printer. | Ted Kremenek |
| 2008-08-13 | Rename ValueState -> GRState. | Ted Kremenek |
| 2008-08-13 | Initialize tracked local variables to undefined. | Ted Kremenek |
| 2008-07-22 | Added path-sensitive checking for null pointer values passed to function argu... | Ted Kremenek |
| 2008-07-18 | Add panic function. | Ted Kremenek |
| 2008-07-18 | Created ValueStateSet class to manage the creation of multiple states by a me... | Ted Kremenek |
| 2008-07-17 | Move GRTransferFunc* into ValueStateManager, and move the assumption logic th... | Ted Kremenek |
| 2008-07-17 | Remove redundant logic. | Ted Kremenek |
