aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis
AgeCommit message (Expand)Author
2009-02-26Refine some grammar in the retain/release diagnostics.Ted Kremenek
2009-02-26Introduce code modification hints into the diagnostics system. When weDouglas Gregor
2009-02-26Use Loc::IsLocType() instead of isPointerType() and isReferenceType().Ted Kremenek
2009-02-26Drop uses of isPointerLikeType.Daniel Dunbar
2009-02-25Fix subtle bug in EvalEagerlyAssume: Check if the previous node was at the sa...Ted Kremenek
2009-02-25Fix recently introduced switch case fallthrough bug.Ted Kremenek
2009-02-25Add experimental logic in GRExprEngine::EvalEagerlyAssume() to handleTed Kremenek
2009-02-25retain/release checker: Implement basic tracking of autorelease stack. Next ...Ted Kremenek
2009-02-24Fix broken logic from my last commit. Branches only occur at basic blocks th...Ted Kremenek
2009-02-24Fix diagnostic regression where the leak diagnostic could appear earlier in t...Ted Kremenek
2009-02-24retain/release checker:Ted Kremenek
2009-02-24Fix <rdar://problem/6611677>: Add basic transfer function support in the staticTed Kremenek
2009-02-23Tidy up 'ExecutionContinues' to distinguish between jumping to the end of a '...Ted Kremenek
2009-02-23Tidy up the path diagnostic generation logic in BugReporter and remove a case...Ted Kremenek
2009-02-23Add more boilerplate logic to more accurately reason about autorelease pools.Ted Kremenek
2009-02-23Fix 80 col. violations.Ted Kremenek
2009-02-23Per Chris L.'s suggestion, use getAsFunctionType() instead of getDesguaredTyp...Ted Kremenek
2009-02-23retain/release checker: For now don't track the retain count of NSWindow obje...Ted Kremenek
2009-02-23Remove typo.Ted Kremenek
2009-02-23'[NSAutoreleasePool addObject:]' has an 'autorelease' effect, not a DoNothing...Ted Kremenek
2009-02-22Fix regression in naming convention derivation: a method only follows the cop...Ted Kremenek
2009-02-21Use llvm::StringsEqualNoCase instead of strncasecmp.Ted Kremenek
2009-02-21Fix build on windows.Cedric Venet
2009-02-21Improved naming convention heuristics in the retain/release checker to betterTed Kremenek
2009-02-20Greatly simplify the logic in ExplodedGraphImpl::TrimGraph. Now we just do aTed Kremenek
2009-02-20Add an example in comments.Zhongxing Xu
2009-02-20Fix crash from <rdar://problem/6562655>: 'init' method only return a receiver...Ted Kremenek
2009-02-19retain/release checker: Generate an intermediate simulation node for "leak"Ted Kremenek
2009-02-19Added a new method to GRStmtNodeBuilder to build nodes using an arbitraryTed Kremenek
2009-02-19retain/release checker: Fix crasher when the leak site is the same expression...Ted Kremenek
2009-02-19only track integer and pointer values for now.Zhongxing Xu
2009-02-19Convert the offset to signed before making an ElementRegion with it. It seemsZhongxing Xu
2009-02-19Implemented simple check in <rdar://problem/6600344>: When the receiver of aTed Kremenek
2009-02-18retain/release checker: Place the leak diagnostic after the last statement thatTed Kremenek
2009-02-18Remove unused variable.Ted Kremenek
2009-02-18Remove logic for computing 'display hint'.Ted Kremenek
2009-02-18More fun with retain checker diagnostics:Ted Kremenek
2009-02-18Fix diagnostics bugs when computing ranges for the retain/release checker.Ted Kremenek
2009-02-18retain/release checker: We now emit fancy diagnostics telling users about theTed Kremenek
2009-02-18retain/release checker: Distinguish in the function summaries betweenTed Kremenek
2009-02-18Revise comment. Comparing pointer values in 'Range' wasn't the performance is...Ted Kremenek
2009-02-18Fix performance bug in RangeConstraintManager (that I introduced):Ted Kremenek
2009-02-18Hooked up the necessary machinery to allow the retain/release checker referenceTed Kremenek
2009-02-18retain/release checker: Record the summary used to generate a given node.Ted Kremenek
2009-02-17Add panic function.Ted Kremenek
2009-02-17Revised RangeConstraintManager based on several discussions with Ben Laurie andTed Kremenek
2009-02-17Add '_assert' to list of known panic functions.Ted Kremenek
2009-02-17add some files to fix the cmake build, patch by Piotr Rak!Chris Lattner
2009-02-16Add pretty-printing (for GraphViz) support for RangeConstraintManager.Ted Kremenek
2009-02-16Do not register 'RangeConstraintManager' as the default ConstraintManager.Ted Kremenek