| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| * | Create "TypedViewRegions" that layer on top of SymbolicRegions when handling | Ted Kremenek | 2009-03-04 | 1 | -5/+23 |
| * | Revert 65707 (causes stack memory to be referenced after it is released). | Ted Kremenek | 2009-02-28 | 1 | -3/+3 |
| * | remove static ctor. | Chris Lattner | 2009-02-28 | 1 | -3/+3 |
| * | improve compatibility with the VC++'08 C++ compiler. Patch by | Chris Lattner | 2009-02-28 | 1 | -1/+2 |
| * | Create a new TypeNodes.def file that enumerates all of the types, | Douglas Gregor | 2009-02-26 | 1 | -3/+3 |
| * | Fix subtle bug in EvalEagerlyAssume: Check if the previous node was at the sa... | Ted Kremenek | 2009-02-25 | 1 | -10/+17 |
| * | Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handle | Ted Kremenek | 2009-02-25 | 1 | -3/+49 |
| * | Fix <rdar://problem/6611677>: Add basic transfer function support in the static | Ted Kremenek | 2009-02-24 | 1 | -1/+10 |
| * | Implemented simple check in <rdar://problem/6600344>: When the receiver of a | Ted Kremenek | 2009-02-19 | 1 | -2/+28 |
| * | Add panic function. | Ted Kremenek | 2009-02-17 | 1 | -1/+2 |
| * | Add '_assert' to list of known panic functions. | Ted Kremenek | 2009-02-17 | 1 | -2/+4 |
| * | Add hook to add attributes to function declarations that we know | Douglas Gregor | 2009-02-14 | 1 | -1/+2 |
| * | GRExprEngine: Handle empty statement expressions. | Ted Kremenek | 2009-02-14 | 1 | -8/+12 |
| * | Use GRTransferFuncs::EvalBind when processing variable initializations. | Ted Kremenek | 2009-02-14 | 1 | -26/+34 |
| * | Static analyzer: | Ted Kremenek | 2009-02-14 | 1 | -32/+22 |
| * | Implicitly declare certain C library functions (malloc, strcpy, memmove, | Douglas Gregor | 2009-02-13 | 1 | -3/+1 |
| * | GRExprEngine: | Ted Kremenek | 2009-02-13 | 1 | -194/+209 |
| * | GRExprEngine: When processing compound assignments, do a switch table lookup ... | Ted Kremenek | 2009-02-07 | 1 | -6/+13 |
| * | Overhaul BugReporter interface and implementation. The new interface cleans up | Ted Kremenek | 2009-02-04 | 1 | -46/+13 |
| * | Remove dead code. | Zhongxing Xu | 2009-02-04 | 1 | -11/+1 |
| * | make SM::getColumnNumber take a predecomposed FileID/offset, which | Chris Lattner | 2009-02-04 | 1 | -4/+7 |
| * | Move method out-of-line. | Ted Kremenek | 2009-01-30 | 1 | -0/+30 |
| * | Switch Type::isAggregateType to use the C++ definition of "aggregate | Douglas Gregor | 2009-01-30 | 1 | -2/+1 |
| * | Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object calle... | Ted Kremenek | 2009-01-21 | 1 | -9/+8 |
| * | Remove ScopedDecl, collapsing all of its functionality into Decl, so | Douglas Gregor | 2009-01-20 | 1 | -1/+1 |
| * | Fix analyzer crash found when scanning Wine sources where the analyzer used o... | Ted Kremenek | 2009-01-17 | 1 | -35/+25 |
| * | static analyzer: Handle casts from arrays to integers. This fixes PR 3297. | Ted Kremenek | 2009-01-13 | 1 | -11/+33 |
| * | Add QualifiedDeclRefExpr, which retains additional source-location | Douglas Gregor | 2009-01-06 | 1 | -0/+2 |
| * | Fix initialization order. | Zhongxing Xu | 2008-12-22 | 1 | -3/+3 |
| * | Add an option to make 'RemoveDeadBindings' a configurable behavior. This enables | Zhongxing Xu | 2008-12-22 | 1 | -3/+8 |
| * | Add support for member references (E1.E2, E1->E2) with C++ semantics, | Douglas Gregor | 2008-12-20 | 1 | -2/+6 |
| * | Lazy bingding for region-store manager. | Zhongxing Xu | 2008-12-20 | 1 | -6/+5 |
| * | ProgramPoint: | Ted Kremenek | 2008-12-16 | 1 | -80/+88 |
| * | Fix regression in handling sizeof(void) in the static analyzer. | Ted Kremenek | 2008-12-15 | 1 | -13/+15 |
| * | MemRegion: | Ted Kremenek | 2008-12-13 | 1 | -8/+17 |
| * | A series of cleanups/fixes motivated by <rdar://problem/6442306>: | Ted Kremenek | 2008-12-13 | 1 | -9/+3 |
| * | In GRExprEngine treat @throw as an 'abort' that ends the current path. This ... | Ted Kremenek | 2008-12-09 | 1 | -0/+9 |
| * | [static analyzer] Extend VLA size checking to look for undefined sizes. | Ted Kremenek | 2008-12-09 | 1 | -2/+10 |
| * | Add checking for zero-sized VLAs. | Ted Kremenek | 2008-12-08 | 1 | -2/+28 |
| * | Add bandaid transfer function support for assignments involving ObjCKVCRefExpr. | Ted Kremenek | 2008-12-06 | 1 | -0/+7 |
| * | Rename SymbolID to SymbolRef. This is a precursor to some overhauling of the... | Ted Kremenek | 2008-12-05 | 1 | -4/+4 |
| * | Add support for initializing array with string literal. | Zhongxing Xu | 2008-11-30 | 1 | -0/+4 |
| * | Code cleanup. No functional change. | Zhongxing Xu | 2008-11-28 | 1 | -3/+5 |
| * | Add support for pluggable components of static analyzer. | Zhongxing Xu | 2008-11-27 | 1 | -3/+3 |
| * | Remove FIXME comment. | Ted Kremenek | 2008-11-24 | 1 | -1/+0 |
| * | Add support for AllocaRegion extent with GDM. | Zhongxing Xu | 2008-11-24 | 1 | -0/+7 |
| * | Cleanup code with utility method. | Zhongxing Xu | 2008-11-24 | 1 | -2/+2 |
| * | Add out-of-bound memory access warning report code. | Zhongxing Xu | 2008-11-23 | 1 | -4/+17 |
| * | Initial support for checking out of bound memory access. Only support | Zhongxing Xu | 2008-11-22 | 1 | -2/+7 |
| * | - Clean up transfer function logic for 'return' statements. | Ted Kremenek | 2008-11-21 | 1 | -36/+26 |
