| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | 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 |
| * | Initialize tracked local variables to undefined. | Ted Kremenek | 2008-08-13 | 1 | -4/+9 |
| * | Added path-sensitive checking for null pointer values passed to function argu... | Ted Kremenek | 2008-07-22 | 1 | -2/+2 |
| * | Add panic function. | Ted Kremenek | 2008-07-18 | 1 | -2/+3 |
| * | Created ValueStateSet class to manage the creation of multiple states by a me... | Ted Kremenek | 2008-07-18 | 1 | -28/+26 |
| * | Move GRTransferFunc* into ValueStateManager, and move the assumption logic th... | Ted Kremenek | 2008-07-17 | 1 | -181/+9 |
| * | Remove redundant logic. | Ted Kremenek | 2008-07-17 | 1 | -15/+0 |
| * | Begin major changes to EvalXXX methods in GRTransferFuncs. Currently some of... | Ted Kremenek | 2008-07-17 | 1 | -2/+39 |
| * | Refactored auditor interface within GRExprEngine and GRCoreEngine to use a "b... | Ted Kremenek | 2008-07-11 | 1 | -40/+87 |
| * | Refactored most of the "Store" piece of ValueState into a Store type. The | Ted Kremenek | 2008-07-10 | 1 | -63/+70 |
| * | Remove getParentMap() from GRExprEngine. | Ted Kremenek | 2008-07-09 | 1 | -13/+0 |
| * | Refactored some of the BugReporter interface so that data such as the ASTCont... | Ted Kremenek | 2008-07-02 | 1 | -4/+4 |
| * | GRExprEngine now expects the LiveVariables information to be provided by its ... | Ted Kremenek | 2008-07-02 | 1 | -8/+4 |
| * | Modified the dead stores checker to... | Ted Kremenek | 2008-06-20 | 1 | -1/+14 |
