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