Interface InterproceduralFirstPassDetector

All Superinterfaces:
FirstPassDetector, NonReportingDetector
All Known Implementing Classes:
NoteNonnullReturnValues, NoteUnconditionalParamDerefs

public interface InterproceduralFirstPassDetector extends NonReportingDetector
Detector implementing a slow first pass to collect interprocedural properties for a later detector pass. We assign these a special interface because they are probably too slow to be enabled by default.
Author:
David Hovemeyer