6 Commits

Author	SHA1	Message	Date
Ted Kremenek	fc5d067ea0	Overhaul BugReporter interface and implementation. The new interface cleans up ... the ownership of BugTypes and BugReports. Now BugReports are owned by BugTypes, and BugTypes are owned by the BugReporter object. The major functionality change in this patch is that reports are not immediately emitted by a call to BugReporter::EmitWarning (now called EmitReport), but instead of queued up in report "equivalence classes". When BugReporter::FlushReports() is called, it emits one diagnostic per report equivalence class. This provides a nice cleanup with the caching of reports as well as enables the BugReporter engine to select the "best" path for reporting a path-sensitive bug based on all the locations in the ExplodedGraph that the same bug could occur. Along with this patch, Leaks are now coalesced into a common equivalence class by their allocation site, and the "summary" diagnostic for leaks now reports the allocation site as the location of the bug (this may later be augmented to also provide an example location where the leak occurs). llvm-svn: 63796	2009-02-04 23:49:09 +00:00
Ted Kremenek	f0673e4eb6	Change implementation of NSError** coding-style check to be invoked at the end of the retain/release analysis. ... llvm-svn: 56312	2008-09-18 21:25:13 +00:00
Ted Kremenek	5ab5a1b578	Rename ValueState -> GRState. ... Rename ValueStateManager -> GRStateManager. llvm-svn: 54721	2008-08-13 04:27:00 +00:00
Ted Kremenek	976d1e0ea8	Remove unused class AnnotatedPath. ... llvm-svn: 53413	2008-07-10 17:25:03 +00:00
Ted Kremenek	cf1ab19086	Added a simple static analysis check to look for improper uses of CFCreateNumber. ... llvm-svn: 52799	2008-06-26 23:59:48 +00:00
Ted Kremenek	a4d60b6de3	Add creation of BasicObjCFoundationChecks when running GRSimpleVals from the driver. ... llvm-svn: 48886	2008-03-27 17:17:22 +00:00