aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis
AgeCommit message (Expand)Author
2009-06-05Fix:Ted Kremenek
2009-06-05Enhance attribute cf_returns_retained to also work (in the analyzer)Ted Kremenek
2009-05-20Add special cases to retain checker for 'create' methods in QCView, QCRendere...Ted Kremenek
2009-05-20Treat AllocaRegion as SymbolicRegion in RegionStore::Retrieve().Zhongxing Xu
2009-05-20* API change: we need to pass GRState to GRExprEngine::EvalBinOp() becauseZhongxing Xu
2009-05-18Fix PR 4230: Don't flag leaks of NSAutoreleasePools until we know that we are...Ted Kremenek
2009-05-18Silence a Release-Asserts warning.Daniel Dunbar
2009-05-16Fix: <rdar://problem/6893565> False positive: don't flag leaks for return typ...Ted Kremenek
2009-05-16Fix another bug in BugReporter where we wouldn't always select the bug report...Ted Kremenek
2009-05-15Fix crash when deriving the enclosing summary of a method whose first selecto...Ted Kremenek
2009-05-15Remove extra whitespace character in string literal. Purely cosmetic.Ted Kremenek
2009-05-15Use dyn_cast instead of cast to allow our assumptions to be safely wrong.Ted Kremenek
2009-05-15Cleanup internal checks bug reporting, allowing intermediate diagnostics to b...Ted Kremenek
2009-05-15BugReporter (extensive diagnostics): Do not include the range of target '}'Ted Kremenek
2009-05-15PathDiagnosticLocation::asRange(): for a PathDiagnosticLocation, the range of...Ted Kremenek
2009-05-15BugReporter (extensive diagnostics): Add control-flow piece to '}' inTed Kremenek
2009-05-14Fix <rdar://problem/6859457> [NSData dataWithBytesNoCopy] does not return a r...Ted Kremenek
2009-05-13Enhance diagnostics value tracking logic for null dereferences and uninitiali...Ted Kremenek
2009-05-13Fix crasher reported in PR 4209 caused by an invalid summaryTed Kremenek
2009-05-13Fix crasher in CFRefCount.cpp reported by Nikita Zhuk due to recently added a...Ted Kremenek
2009-05-12Fix: <rdar://problem/6320065> false positive - init method returns an object ...Ted Kremenek
2009-05-12Add logic for invalidating array region to CFRefCount.cpp. When invalidatingZhongxing Xu
2009-05-12Fix <rdar://problem/6877235> Classes typedef-ed to CF objects should get the ...Ted Kremenek
2009-05-11BugReport::getEndPath() - Only add a Stmt's range to the constructed PathDiag...Ted Kremenek
2009-05-11When stripping element regions for invalidating region values, treat FieldReg...Ted Kremenek
2009-05-11EdgeBuilder: DeclStmts and BinaryOperators are not the enclosing location con...Ted Kremenek
2009-05-11EdgeBuilder::cleanUpLocation() should used the PathDiagnosticLocation constru...Ted Kremenek
2009-05-11BugReporter (extensive diagnostics): Add EdgeBuilder::cleanUpLocation for can...Ted Kremenek
2009-05-11Fix regression reported in <rdar://problem/6866843>. The analyzer should ext...Ted Kremenek
2009-05-11Fix a bug found by Thomas Clement where 'return [[[NSString alloc] init] auto...Ted Kremenek
2009-05-11TypedRegion is a too general assumption. Usually we only want to invalidateZhongxing Xu
2009-05-11When retrieving an ElementRegion, if its super region is a StringRegion,Zhongxing Xu
2009-05-11Fix a bug that leads to infinite loop. Set the correct element type toZhongxing Xu
2009-05-10Add special warning about returning a retained object where a GC'ed object is...Ted Kremenek
2009-05-10retain/release checker: Flag a warning for non-owned objects returnedTed Kremenek
2009-05-10analyzer:Ted Kremenek
2009-05-09When casting VarRegion, if the var type is aggregate type and the cast-toZhongxing Xu
2009-05-09Remove the rest TypedViewRegion processing code. There should be noZhongxing Xu
2009-05-09When evaluating pointer arithmetic, if the base location is a symbolic region,Zhongxing Xu
2009-05-09Do not create a TypedViewRegion when the base struct region is a symbolicZhongxing Xu
2009-05-09Do not layer a TypedViewRegion when casting symbolic or alloca regions.Zhongxing Xu
2009-05-09Remove the case for casting to compatible type in Zhongxing Xu
2009-05-09Rename:Zhongxing Xu
2009-05-09As discussed with Ted, rename TypedRegion::getObjectType() to Zhongxing Xu
2009-05-09Add back analyzer support for ns_returns_retained and cf_returns_retained.Ted Kremenek
2009-05-09It lives! The retain/release checker now tracks objects that are sentTed Kremenek
2009-05-09rename: MemRegion:Zhongxing Xu
2009-05-09More hacking on autorelease errors. We now can emit basic errors (disabled forTed Kremenek
2009-05-09Put most of the boilerplate logic in place for reporting autorelease errors.Ted Kremenek
2009-05-08retain/release checker: Add stub for HandleAutoreleaseCounts.Ted Kremenek