- 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