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