aboutsummaryrefslogtreecommitdiff
path: root/lib/Analysis
AgeCommit message (Expand)Author
2009-02-06handle fatal errors, rely on warnings to point out missing cases.Chris Lattner
2009-02-05Add 'AppendValue' to the list of magic CF function names that cause a tracked...Ted Kremenek
2009-02-05Make SymbolicRegion subclass TypedRegion, for symbols usually have types, so Zhongxing Xu
2009-02-05Remove a bunch of obscene double-buffering of BugReports in the retain/releaseTed Kremenek
2009-02-05Fix regression: Leak (BugType) object should have 'isLeak()' return true.Ted Kremenek
2009-02-04Overhaul BugReporter interface and implementation. The new interface cleans upTed Kremenek
2009-02-04Remove dead code.Zhongxing Xu
2009-02-04make SM::getColumnNumber take a predecomposed FileID/offset, whichChris Lattner
2009-01-30Fix horrible non-termination bug in LiveVariables. The issue was thatTed Kremenek
2009-01-30Move method out-of-line.Ted Kremenek
2009-01-30Switch Type::isAggregateType to use the C++ definition of "aggregateDouglas Gregor
2009-01-30update for change in API.Chris Lattner
2009-01-30Fix a couple bugs:Ted Kremenek
2009-01-29retain/release checker: When generating summaries for CF/CG functions, allow ...Ted Kremenek
2009-01-29move library-specific diagnostic headers into library private dirs. ReduceChris Lattner
2009-01-28Remove '#if 0' code.Ted Kremenek
2009-01-28Remove method 'AddNE' from the public interface of ConstraintManager.Ted Kremenek
2009-01-28retain/release checker: Always generate an "autorelease" summary for an "auto...Ted Kremenek
2009-01-28retain/release checker: Improve diagnostics to indicate that CF objects are n...Ted Kremenek
2009-01-28retain/release checker: Indicate whether a tracked object is a Core Foundatio...Ted Kremenek
2009-01-28retain/release checker: More diagnostic refactoring.Ted Kremenek
2009-01-28retain/release checker: Embed an "object type" into the RetEffect/RetVal obje...Ted Kremenek
2009-01-28retain/release checker: More cleanups (no real functionality change).Ted Kremenek
2009-01-28Fix diagnostic truncated by my last patch.Ted Kremenek
2009-01-28retain/release checker: More diagnostic refactoring.Ted Kremenek
2009-01-28retain/release checker: Output the name of the function that allocates an obj...Ted Kremenek
2009-01-28Refactor some diagnostic code to use raw_string_ostream. No functionality ch...Ted Kremenek
2009-01-28Remove '#if 0' code.Ted Kremenek
2009-01-27Split the single monolithic DiagnosticKinds.def file into oneChris Lattner
2009-01-27Fix bug in BasicStore::getLValueElement where if the base of an array subscri...Ted Kremenek
2009-01-27Introduce a new PresumedLoc class to represent the concept of a locationChris Lattner
2009-01-27PathDiagnostics:Ted Kremenek
2009-01-26Correct size assumption; fixes a crash on amd64.Sebastian Redl
2009-01-26Use tag classes instead of typedefs for GDM entries 'ConstNotEq' and 'ConstEq...Ted Kremenek
2009-01-25Rename Expr::isConstantExpr to Expr::isConstantInitializer; this more Eli Friedman
2009-01-24Fix crash ElementRegion::getRValueType() when the RvalueType of the ArrayRegi...Ted Kremenek
2009-01-24More hacking on static analyzer diagnostics. When emitting summary diagnosti...Ted Kremenek
2009-01-23Output summary diagnostic for each bug report.Ted Kremenek
2009-01-23Added virtual method DiagnosticClient::IncludeInDiagnosticCounts(). This is ...Ted Kremenek
2009-01-23Implement retrieval of the default value of element and field regions.Zhongxing Xu
2009-01-23Now this comment should be resolved. See the comments for the KillSet.Zhongxing Xu
2009-01-23When getting the element region type, we should get the rvalue type of the superZhongxing Xu
2009-01-22For now, return UnknownVal() in RegionStore::getElementsSize() for AnonTypedR...Ted Kremenek
2009-01-22Add RegionStore support for the implicit object region that 'self' references...Ted Kremenek
2009-01-22Fix RegionStore::getLValueElement() to handle the case when the base region i...Ted Kremenek
2009-01-22SymbolReaper::isLive(SymbolRef) now always returns true for SymbolRegionRvalu...Ted Kremenek
2009-01-22Static analyzer: Remove a bunch of outdated SymbolData objects andTed Kremenek
2009-01-21Combine two branches into one. No functionality change.Ted Kremenek
2009-01-21Static Analyzer: Replace LiveSymbols/DeadSymbols sets with a new object calle...Ted Kremenek
2009-01-21Get RegionStore to work with the retain/release checker and its test cases.Ted Kremenek
generated by cgit v1.2.3-18-g5258 (git 2.32.0) at 2025-08-06 04:35:08 +0000