| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the... | Ted Kremenek | 2008-12-05 | 1 | -1/+1 |
| * | Implement FIXME in GRExprEngine::VisitUnaryOperator() to handle implicit conv... | Ted Kremenek | 2008-11-15 | 1 | -8/+40 |
| * | GRExprEngine/CFRefCount/GRSimpleVals: We don't do any special handling (yet) ... | Ted Kremenek | 2008-11-13 | 1 | -1/+1 |
| * | Rename: | Zhongxing Xu | 2008-10-30 | 1 | -4/+4 |
| * | Only loc::MemRegionVal can be modified. This avoids crashing in RegionStore w... | Zhongxing Xu | 2008-10-27 | 1 | -1/+1 |
| * | Remove loc::StringLiteralVal. Now we allocate regions for string literals in ... | Zhongxing Xu | 2008-10-26 | 1 | -2/+0 |
| * | When conjuring symbols to recover path-sensitivity, don't conjure symbols tha... | Ted Kremenek | 2008-10-17 | 1 | -3/+5 |
| * | This patch did the following renaming. There should be no functional changes. | Zhongxing Xu | 2008-10-17 | 1 | -99/+99 |
| * | Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regi... | Ted Kremenek | 2008-10-17 | 1 | -10/+0 |
| * | This is a big patch, but the functionality change is small and the rest of th... | Ted Kremenek | 2008-10-04 | 1 | -2/+2 |
| * | When we have a binary expression 'int operator symbol', properly rewrite this as | Ted Kremenek | 2008-09-19 | 1 | -6/+16 |
| * | Rename ValueState -> GRState. | Ted Kremenek | 2008-08-13 | 1 | -12/+12 |
| * | Moved registration of basic path-sensitive checks from GRSimpleVals.cpp to GR... | Ted Kremenek | 2008-07-22 | 1 | -394/+0 |
| * | Added path-sensitive checking for null pointer values passed to function argu... | Ted Kremenek | 2008-07-22 | 1 | -0/+58 |
| * | Fix regression by explicitly checking if we are negating a SymIntConstantVal. | Ted Kremenek | 2008-07-18 | 1 | -1/+6 |
| * | Improve path-sensitivity when using the logical not operator. | Ted Kremenek | 2008-07-18 | 1 | -0/+34 |
| * | Renamed deterministic EvalBinOp to DetermEvalBinOpNN. This name mangling is ... | 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 | -3/+3 |
| * | Fix regression introduced by http://lists.cs.uiuc.edu/pipermail/cfe-commits/W... | Ted Kremenek | 2008-07-16 | 1 | -2/+4 |
| * | Fix transfer function logic in GRSimpleVals for integer casts: only support c... | Ted Kremenek | 2008-07-15 | 1 | -0/+4 |
| * | Refactored auditor interface within GRExprEngine and GRCoreEngine to use a "b... | Ted Kremenek | 2008-07-11 | 1 | -4/+4 |
| * | Refactored most of the "Store" piece of ValueState into a Store type. The | Ted Kremenek | 2008-07-10 | 1 | -5/+5 |
| * | Unify the code path for the Dead Stores checker to always use the BugReporter... | Ted Kremenek | 2008-07-02 | 1 | -3/+0 |
| * | Refactored some of the BugReporter interface so that data such as the ASTCont... | Ted Kremenek | 2008-07-02 | 1 | -10/+10 |
| * | Added a simple static analysis check to look for improper uses of CFCreateNum... | Ted Kremenek | 2008-06-26 | 1 | -3/+7 |
| * | Support StringLiteralVal when comparing LVal types. | Ted Kremenek | 2008-05-12 | 1 | -0/+2 |
| * | Rename IsPointerType to LVal::IsLValType, and update CFRefCount::EvalSummary ... | Ted Kremenek | 2008-05-09 | 1 | -5/+5 |
| * | When reporting branch conditions that evaluate to an uninitialized value, | Ted Kremenek | 2008-05-05 | 1 | -5/+77 |
| * | Support implicit casts from pointers to references. | Ted Kremenek | 2008-04-30 | 1 | -1/+7 |
| * | Teach more of the static analyzer about ObjCQualifiedIdType. | Ted Kremenek | 2008-04-30 | 1 | -6/+6 |
| * | Handle lval::ArrayOffset and lval::FieldOffset in EvalNE and EvalEQ. | Ted Kremenek | 2008-04-30 | 1 | -0/+10 |
| * | Fixed: <rdar://problem/5881148> | Ted Kremenek | 2008-04-23 | 1 | -1/+1 |
| * | Added lval type (and tracking) for StringLiterals. | Ted Kremenek | 2008-04-22 | 1 | -0/+4 |
| * | Generalize caching mechanism for bugs reports. Now individual BugTypes | Ted Kremenek | 2008-04-18 | 1 | -11/+10 |
| * | Simplified internal logic of BugReporter, consolidating EmitWarning and | Ted Kremenek | 2008-04-18 | 1 | -4/+4 |
| * | Added some comments to GRExprEngine. Reorder some of the method definitions | Ted Kremenek | 2008-04-15 | 1 | -1/+30 |
| * | Fix a compiler error on MSVC (variable name 'E' clash). | Argyrios Kyrtzidis | 2008-04-15 | 1 | -1/+1 |
| * | Hooked up the dead-store checker to the BugReporter interface. Now dead-store | Ted Kremenek | 2008-04-14 | 1 | -43/+22 |
| * | Refactored all logic to run the GRSimpleVals and CFRef checker into a common | Ted Kremenek | 2008-04-10 | 1 | -28/+3 |
| * | Fixed regressions in error reporting due to copy-paste errors (using the "begin" | Ted Kremenek | 2008-04-10 | 1 | -4/+4 |
| * | Major refactoring/cleanup of GRExprEngine, ExplodedGraph, and BugReporter. | Ted Kremenek | 2008-04-09 | 1 | -116/+192 |
| * | templates can't be static. | Chris Lattner | 2008-04-06 | 1 | -7/+7 |
| * | Better range highlight for undefined-argument checks. | Ted Kremenek | 2008-04-03 | 1 | -7/+27 |
| * | When reporting "bad receiver" warnings, highlight the receiver. | Ted Kremenek | 2008-04-03 | 1 | -3/+20 |
| * | Hooked up GRSimpleAPICheck and the simple Objective-C Foundation checks to use | Ted Kremenek | 2008-04-03 | 1 | -3/+4 |
| * | Created new path-sensitive bug-reporting scheme based on the classes | Ted Kremenek | 2008-04-03 | 1 | -347/+144 |
| * | 80 col violation | Ted Kremenek | 2008-04-02 | 1 | -1/+1 |
| * | Added more PathDiagnostic rendering for terminators: switch, goto, loops. | Ted Kremenek | 2008-04-02 | 1 | -27/+127 |
| * | Shorted bug-description. | Ted Kremenek | 2008-04-02 | 1 | -1/+1 |
| * | simplify some code by using PointerLikeType. | Chris Lattner | 2008-04-02 | 1 | -1/+1 |
