| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | "I see dead code". IdempotentOperationChecker::isTruncationExtensionAssignment | Chris Lattner | 2010-09-03 | 1 | -3/+3 |
| * | For GRExprEngine::EvalBind() (and called visitors), unifiy StoreE and AssignE... | Ted Kremenek | 2010-09-02 | 1 | -4/+2 |
| * | GCC didn't care for my attempt at API compatibility, so brute-force everything | John McCall | 2010-08-25 | 1 | -1/+1 |
| * | Generate Attr subclasses with TableGen. | Alexis Hunt | 2010-08-18 | 1 | -16/+21 |
| * | Remove dead malloc symbols from the symbol-state map. | Jordy Rose | 2010-08-18 | 1 | -0/+7 |
| * | Use RegionStateTy everywhere we mean ImmutableMap<SymbolRef, RefState> | Jordy Rose | 2010-08-18 | 1 | -4/+3 |
| * | Generate a node instead of a sink. A leak is not a fatal error. | Zhongxing Xu | 2010-08-17 | 1 | -1/+1 |
| * | Implement MallocChecker::EvalDeadSymbols() with the new API. This time we | Zhongxing Xu | 2010-08-15 | 1 | -15/+16 |
| * | Remove OwnershipAttr::Kind, since it's essentially redundant with attr::Kind ... | Jordy Rose | 2010-08-12 | 1 | -19/+17 |
| * | Fix 80 col. violations. | Ted Kremenek | 2010-08-06 | 1 | -6/+14 |
| * | Nest variable declaration into into 'if' condition, thus restricting the scop... | Ted Kremenek | 2010-08-06 | 1 | -7/+3 |
| * | Use 'GenerateNode()' instead of 'GenerateSink()' when reporting a leak. A le... | Ted Kremenek | 2010-08-06 | 1 | -3/+3 |
| * | Change the checker callback cache in GRExprEngine to be more compact (and IMH... | Jordy Rose | 2010-08-04 | 1 | -2/+4 |
| * | After a lengthy design discussion, add support for "ownership attributes" for... | Ted Kremenek | 2010-07-31 | 1 | -17/+156 |
| * | Add a new symbol type, SymbolExtent, to represent the extents of memory regio... | Jordy Rose | 2010-07-04 | 1 | -5/+13 |
| * | Fix PR 7475 by enhancing the static analyzer to also invalidate bindings for ... | Ted Kremenek | 2010-07-01 | 1 | -1/+2 |
| * | Add an ivar to SymbolReaper for the current statement, and then stop passing ... | Jordy Rose | 2010-07-01 | 1 | -3/+2 |
| * | Code cleanup: remove explicit flush() in favor of using the ostream's str() | Jordy Rose | 2010-06-08 | 1 | -2/+1 |
| * | Catch free()s on non-regions and regions known to be not from malloc(), by ch... | Jordy Rose | 2010-06-07 | 1 | -5/+180 |
| * | Add support for calloc() in MallocChecker. Patch by Jordy Rose, with my | Zhongxing Xu | 2010-06-01 | 1 | -9/+43 |
| * | Relax an assertion. Various cases could lead to non-symbol values. | Zhongxing Xu | 2010-05-13 | 1 | -1/+4 |
| * | Checker: random include cleanup. | Benjamin Kramer | 2010-03-27 | 1 | -0/+1 |
| * | Add use-after-free check to MallocChecker. | Zhongxing Xu | 2010-03-10 | 1 | -1/+23 |
| * | Fix pr6293. If ptr is NULL, no operation is preformed. | Zhongxing Xu | 2010-02-14 | 1 | -0/+5 |
| * | Revert 95541. | Ted Kremenek | 2010-02-08 | 1 | -7/+6 |
| * | Rename: GRState::getSVal(Stmt*) => getExprVal(), | Zhongxing Xu | 2010-02-08 | 1 | -6/+7 |
| * | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek | 2010-01-25 | 1 | -0/+336 |
