jdkbasenonnullreturn.db

A static analysis tool to find bugs in Java programs

java.awt.image.BandedSampleModel,createSubsetSampleModel,([I)Ljava/awt/image/SampleModel;,1|true
java.awt.image.BandedSampleModel,getPixel,(II[ILjava/awt/image/DataBuffer;)[I,1|true
java.awt.image.BandedSampleModel,getPixels,(IIII[ILjava/awt/image/DataBuffer;)[I,1|true
java.awt.image.BandedSampleModel,getSamples,(IIIII[ILjava/awt/image/DataBuffer;)[I,1|true
java.awt.image.BufferedImage,copyData,(Ljava/awt/image/WritableRaster;)Ljava/awt/image/WritableRaster;,1|true
java.awt.image.BufferedImage,getData,()Ljava/awt/image/Raster;,1|true
java.awt.image.BufferedImage,getData,(Ljava/awt/Rectangle;)Ljava/awt/image/Raster;,1|true
java.awt.image.BufferedImage,getRGB,(IIII[III)[I,1|true
java.awt.image.BufferedImage,getSource,()Ljava/awt/image/ImageProducer;,1|true
java.awt.image.BufferedImage,getSubimage,(IIII)Ljava/awt/image/BufferedImage;,1|true
java.awt.image.BufferedImage,getWritableTileIndices,()[Ljava/awt/Point;,1|true
java.awt.image.BufferedImage,toString,()Ljava/lang/String;,1|true
java.awt.image.ByteLookupTable,lookupPixel,([B[B)[B,1|true
java.awt.image.ByteLookupTable,lookupPixel,([I[I)[I,1|true
java.awt.image.ColorConvertOp,createCompatibleDestImage,(Ljava/awt/image/BufferedImage;Ljava/awt/image/ColorModel;)Ljava/awt/image/BufferedImage;,1|true
java.awt.image.ColorConvertOp,createCompatibleDestRaster,(Ljava/awt/image/Raster;)Ljava/awt/image/WritableRaster;,1|true
java.awt.image.ColorConvertOp,filter,(Ljava/awt/image/BufferedImage;Ljava/awt/image/BufferedImage;)Ljava/awt/image/BufferedImage;,17|true
java.awt.image.ColorConvertOp,filter,(Ljava/awt/image/Raster;Ljava/awt/image/WritableRaster;)Ljava/awt/image/WritableRaster;,17|true
java.awt.image.ColorConvertOp,getBounds2D,(Ljava/awt/image/BufferedImage;)Ljava/awt/geom/Rectangle2D;,17|true
java.awt.image.ColorConvertOp,getBounds2D,(Ljava/awt/image/Raster;)Ljava/awt/geom/Rectangle2D;,17|true
java.awt.image.ColorConvertOp,getPoint2D,(Ljava/awt/geom/Point2D;Ljava/awt/geom/Point2D;)Ljava/awt/geom/Point2D;,17|true
java.awt.image.ColorModel,coerceData,(Ljava/awt/image/WritableRaster;Z)Ljava/awt/image/ColorModel;,1|true
java.awt.image.ColorModel,createCompatibleSampleModel,(II)Ljava/awt/image/SampleModel;,1|true
java.awt.image.ColorModel,createCompatibleWritableRaster,(II)Ljava/awt/image/WritableRaster;,1|true
java.awt.image.ColorModel,getComponents,(I[II)[I,1|true
java.awt.image.ColorModel,getComponents,(Ljava/lang/Object;[II)[I,1|true
java.awt.image.ColorModel,getDataElements,(ILjava/lang/Object;)Ljava/lang/Object;,1|true
java.awt.image.ColorModel,getDataElements,([FILjava/lang/Object;)Ljava/lang/Object;,1|true
java.awt.image.ColorModel,getDataElements,([IILjava/lang/Object;)Ljava/lang/Object;,1|true
java.awt.image.ColorModel,getNormalizedComponents,(Ljava/lang/Object;[FI)[F,1|true
java.awt.image.ColorModel,getNormalizedComponents,([II[FI)[F,1|true
java.awt.image.ColorModel,getUnnormalizedComponents,([FI[II)[I,1|true
java.awt.image.ColorModel,toString,()Ljava/lang/String;,1|true
java.awt.image.ComponentColorModel,createCompatibleSampleModel,(II)Ljava/awt/image/SampleModel;,1|true
java.awt.image.ComponentColorModel,createCompatibleWritableRaster,(II)Ljava/awt/image/WritableRaster;,1|true
java.awt.image.ComponentColorModel,getComponents,(I[II)[I,1|true
java.awt.image.ComponentColorModel,getComponents,(Ljava/lang/Object;[II)[I,1|true
java.awt.image.ComponentColorModel,getDataElements,([FILjava/lang/Object;)Ljava/lang/Object;,1|true
java.awt.image.ComponentColorModel,getDataElements,([IILjava/lang/Object;)Ljava/lang/Object;,1|true
java.awt.image.ComponentColorModel,getNormalizedComponents,(Ljava/lang/Object;[FI)[F,1|true
java.awt.image.ComponentColorModel,getNormalizedComponents,([II[FI)[F,1|true
java.awt.image.ComponentColorModel,getUnnormalizedComponents,([FI[II)[I,1|true
java.awt.image.ComponentSampleModel,createCompatibleSampleModel,(II)Ljava/awt/image/SampleModel;,1|true
java.awt.image.ComponentSampleModel,createSubsetSampleModel,([I)Ljava/awt/image/SampleModel;,1|true
java.awt.image.ComponentSampleModel,getBandOffsets,()[I,17|true
java.awt.image.ComponentSampleModel,getBankIndices,()[I,17|true
java.awt.image.ComponentSampleModel,getPixel,(II[ILjava/awt/image/DataBuffer;)[I,1|true
java.awt.image.ComponentSampleModel,getPixels,(IIII[ILjava/awt/image/DataBuffer;)[I,1|true
java.awt.image.ComponentSampleModel,getSampleSize,()[I,17|true
java.awt.image.ComponentSampleModel,getSamples,(IIIII[ILjava/awt/image/DataBuffer;)[I,1|true
java.awt.image.ConvolveOp,createCompatibleDestImage,(Ljava/awt/image/BufferedImage;Ljava/awt/image/ColorModel;)Ljava/awt/image/BufferedImage;,1|true
java.awt.image.ConvolveOp,createCompatibleDestRaster,(Ljava/awt/image/Raster;)Ljava/awt/image/WritableRaster;,1|true
java.awt.image.ConvolveOp,filter,(Ljava/awt/image/BufferedImage;Ljava/awt/image/BufferedImage;)Ljava/awt/image/BufferedImage;,17|true
java.awt.image.ConvolveOp,filter,(Ljava/awt/image/Raster;Ljava/awt/image/WritableRaster;)Ljava/awt/image/WritableRaster;,17|true
java.awt.image.ConvolveOp,getBounds2D,(Ljava/awt/image/BufferedImage;)Ljava/awt/geom/Rectangle2D;,17|true
java.awt.image.ConvolveOp,getBounds2D,(Ljava/awt/image/Raster;)Ljava/awt/geom/Rectangle2D;,17|true
java.awt.image.ConvolveOp,getKernel,()Ljava/awt/image/Kernel;,17|true
java.awt.image.ConvolveOp,getPoint2D,(Ljava/awt/geom/Point2D;Ljava/awt/geom/Point2D;)Ljava/awt/geom/Point2D;,17|true
java.awt.image.DataBuffer,getOffsets,()[I,1|true
java.awt.image.DataBufferByte,getBankData,()[[B,1|true
java.awt.image.DataBufferDouble,getBankData,()[[D,1|true
java.awt.image.DataBufferFloat,getBankData,()[[F,1|true
java.awt.image.DataBufferInt,getBankData,()[[I,1|true
java.awt.image.DataBufferShort,getBankData,()[[S,1|true
java.awt.image.DataBufferUShort,getBankData,()[[S,1|true
java.awt.image.DirectColorModel,coerceData,(Ljava/awt/image/WritableRaster;Z)Ljava/awt/image/ColorModel;,17|true
java.awt.image.DirectColorModel,createCompatibleWritableRaster,(II)Ljava/awt/image/WritableRaster;,17|true
java.awt.image.DirectColorModel,getComponents,(I[II)[I,17|true
java.awt.image.DirectColorModel,getComponents,(Ljava/lang/Object;[II)[I,17|true
java.awt.image.DirectColorModel,getDataElements,(ILjava/lang/Object;)Ljava/lang/Object;,1|true
java.awt.image.DirectColorModel,getDataElements,([IILjava/lang/Object;)Ljava/lang/Object;,1|true
java.awt.image.DirectColorModel,toString,()Ljava/lang/String;,1|true
java.awt.image.ImageFilter,clone,()Ljava/lang/Object;,1|true
java.awt.image.ImageFilter,getFilterInstance,(Ljava/awt/image/ImageConsumer;)Ljava/awt/image/ImageFilter;,1|true
java.awt.image.IndexColorModel,convertToIntDiscrete,(Ljava/awt/image/Raster;Z)Ljava/awt/image/BufferedImage;,1|true
java.awt.image.IndexColorModel,createCompatibleSampleModel,(II)Ljava/awt/image/SampleModel;,1|true
java.awt.image.IndexColorModel,createCompatibleWritableRaster,(II)Ljava/awt/image/WritableRaster;,1|true
java.awt.image.IndexColorModel,getComponentSize,()[I,1|true
java.awt.image.IndexColorModel,getComponents,(I[II)[I,1|true
java.awt.image.IndexColorModel,getComponents,(Ljava/lang/Object;[II)[I,1|true
java.awt.image.IndexColorModel,getDataElements,(ILjava/lang/Object;)Ljava/lang/Object;,33|true
java.awt.image.IndexColorModel,getDataElements,([IILjava/lang/Object;)Ljava/lang/Object;,1|true
java.awt.image.IndexColorModel,getValidPixels,()Ljava/math/BigInteger;,1|true
java.awt.image.IndexColorModel,toString,()Ljava/lang/String;,1|true
java.awt.image.Kernel,clone,()Ljava/lang/Object;,1|true
java.awt.image.Kernel,getKernelData,([F)[F,17|true
java.awt.image.LookupOp,createCompatibleDestImage,(Ljava/awt/image/BufferedImage;Ljava/awt/image/ColorModel;)Ljava/awt/image/BufferedImage;,1|true
java.awt.image.LookupOp,createCompatibleDestRaster,(Ljava/awt/image/Raster;)Ljava/awt/image/WritableRaster;,1|true
java.awt.image.LookupOp,filter,(Ljava/awt/image/BufferedImage;Ljava/awt/image/BufferedImage;)Ljava/awt/image/BufferedImage;,17|true
java.awt.image.LookupOp,filter,(Ljava/awt/image/Raster;Ljava/awt/image/WritableRaster;)Ljava/awt/image/WritableRaster;,17|true
java.awt.image.LookupOp,getBounds2D,(Ljava/awt/image/BufferedImage;)Ljava/awt/geom/Rectangle2D;,17|true
java.awt.image.LookupOp,getBounds2D,(Ljava/awt/image/Raster;)Ljava/awt/geom/Rectangle2D;,17|true
java.awt.image.LookupOp,getPoint2D,(Ljava/awt/geom/Point2D;Ljava/awt/geom/Point2D;)Ljava/awt/geom/Point2D;,17|true
java.awt.image.MultiPixelPackedSampleModel,createCompatibleSampleModel,(II)Ljava/awt/image/SampleModel;,1|true
java.awt.image.MultiPixelPackedSampleModel,createSubsetSampleModel,([I)Ljava/awt/image/SampleModel;,1|true
java.awt.image.MultiPixelPackedSampleModel,getPixel,(II[ILjava/awt/image/DataBuffer;)[I,1|true
java.awt.image.MultiPixelPackedSampleModel,getSampleSize,()[I,1|true
java.awt.image.PackedColorModel,createCompatibleSampleModel,(II)Ljava/awt/image/SampleModel;,1|true
java.awt.image.PackedColorModel,getMasks,()[I,17|true
java.awt.image.PixelInterleavedSampleModel,createCompatibleSampleModel,(II)Ljava/awt/image/SampleModel;,1|true
java.awt.image.PixelInterleavedSampleModel,createSubsetSampleModel,([I)Ljava/awt/image/SampleModel;,1|true
java.awt.image.RGBImageFilter,filterIndexColorModel,(Ljava/awt/image/IndexColorModel;)Ljava/awt/image/IndexColorModel;,1|true
java.awt.image.Raster,createChild,(IIIIII[I)Ljava/awt/image/Raster;,1|true
java.awt.image.Raster,createCompatibleWritableRaster,()Ljava/awt/image/WritableRaster;,1|true
java.awt.image.Raster,createCompatibleWritableRaster,(II)Ljava/awt/image/WritableRaster;,1|true
java.awt.image.Raster,createCompatibleWritableRaster,(IIII)Ljava/awt/image/WritableRaster;,1|true
java.awt.image.Raster,createCompatibleWritableRaster,(Ljava/awt/Rectangle;)Ljava/awt/image/WritableRaster;,1|true
java.awt.image.Raster,createTranslatedChild,(II)Ljava/awt/image/Raster;,1|true
java.awt.image.Raster,getBounds,()Ljava/awt/Rectangle;,1|true
java.awt.image.Raster,getPixel,(II[D)[D,1|true
java.awt.image.Raster,getPixel,(II[F)[F,1|true
java.awt.image.Raster,getPixel,(II[I)[I,1|true
java.awt.image.Raster,getPixels,(IIII[D)[D,1|true
java.awt.image.Raster,getPixels,(IIII[F)[F,1|true
java.awt.image.Raster,getPixels,(IIII[I)[I,1|true
java.awt.image.Raster,getSamples,(IIIII[D)[D,1|true
java.awt.image.Raster,getSamples,(IIIII[F)[F,1|true
java.awt.image.Raster,getSamples,(IIIII[I)[I,1|true
java.awt.image.RescaleOp,createCompatibleDestImage,(Ljava/awt/image/BufferedImage;Ljava/awt/image/ColorModel;)Ljava/awt/image/BufferedImage;,1|true
java.awt.image.RescaleOp,createCompatibleDestRaster,(Ljava/awt/image/Raster;)Ljava/awt/image/WritableRaster;,1|true
java.awt.image.RescaleOp,filter,(Ljava/awt/image/BufferedImage;Ljava/awt/image/BufferedImage;)Ljava/awt/image/BufferedImage;,17|true
java.awt.image.RescaleOp,filter,(Ljava/awt/image/Raster;Ljava/awt/image/WritableRaster;)Ljava/awt/image/WritableRaster;,17|true
java.awt.image.RescaleOp,getBounds2D,(Ljava/awt/image/BufferedImage;)Ljava/awt/geom/Rectangle2D;,17|true
java.awt.image.RescaleOp,getBounds2D,(Ljava/awt/image/Raster;)Ljava/awt/geom/Rectangle2D;,17|true
java.awt.image.RescaleOp,getOffsets,([F)[F,17|true
java.awt.image.RescaleOp,getPoint2D,(Ljava/awt/geom/Point2D;Ljava/awt/geom/Point2D;)Ljava/awt/geom/Point2D;,17|true
java.awt.image.RescaleOp,getScaleFactors,([F)[F,17|true
java.awt.image.SampleModel,getPixel,(II[DLjava/awt/image/DataBuffer;)[D,1|true
java.awt.image.SampleModel,getPixel,(II[FLjava/awt/image/DataBuffer;)[F,1|true
java.awt.image.SampleModel,getPixel,(II[ILjava/awt/image/DataBuffer;)[I,1|true
java.awt.image.SampleModel,getPixels,(IIII[DLjava/awt/image/DataBuffer;)[D,1|true
java.awt.image.SampleModel,getPixels,(IIII[FLjava/awt/image/DataBuffer;)[F,1|true
java.awt.image.SampleModel,getPixels,(IIII[ILjava/awt/image/DataBuffer;)[I,1|true
java.awt.image.SampleModel,getSamples,(IIIII[DLjava/awt/image/DataBuffer;)[D,1|true
java.awt.image.SampleModel,getSamples,(IIIII[FLjava/awt/image/DataBuffer;)[F,1|true
java.awt.image.SampleModel,getSamples,(IIIII[ILjava/awt/image/DataBuffer;)[I,1|true
java.awt.image.ShortLookupTable,lookupPixel,([I[I)[I,1|true
java.awt.image.ShortLookupTable,lookupPixel,([S[S)[S,1|true
java.awt.image.SinglePixelPackedSampleModel,createCompatibleSampleModel,(II)Ljava/awt/image/SampleModel;,1|true
java.awt.image.SinglePixelPackedSampleModel,createSubsetSampleModel,([I)Ljava/awt/image/SampleModel;,1|true
java.awt.image.SinglePixelPackedSampleModel,getBitMasks,()[I,1|true
java.awt.image.SinglePixelPackedSampleModel,getBitOffsets,()[I,1|true
java.awt.image.SinglePixelPackedSampleModel,getPixel,(II[ILjava/awt/image/DataBuffer;)[I,1|true
java.awt.image.SinglePixelPackedSampleModel,getPixels,(IIII[ILjava/awt/image/DataBuffer;)[I,1|true
java.awt.image.SinglePixelPackedSampleModel,getSampleSize,()[I,1|true
java.awt.image.SinglePixelPackedSampleModel,getSamples,(IIIII[ILjava/awt/image/DataBuffer;)[I,1|true
java.awt.image.VolatileImage,getSource,()Ljava/awt/image/ImageProducer;,1|true
java.awt.image.WritableRaster,createWritableChild,(IIIIII[I)Ljava/awt/image/WritableRaster;,1|true
java.awt.image.WritableRaster,createWritableTranslatedChild,(II)Ljava/awt/image/WritableRaster;,1|true
java.awt.image.renderable.ParameterBlock,add,(B)Ljava/awt/image/renderable/ParameterBlock;,1|true
java.awt.image.renderable.ParameterBlock,add,(C)Ljava/awt/image/renderable/ParameterBlock;,1|true
java.awt.image.renderable.ParameterBlock,add,(D)Ljava/awt/image/renderable/ParameterBlock;,1|true
java.awt.image.renderable.ParameterBlock,add,(F)Ljava/awt/image/renderable/ParameterBlock;,1|true
java.awt.image.renderable.ParameterBlock,add,(I)Ljava/awt/image/renderable/ParameterBlock;,1|true
java.awt.image.renderable.ParameterBlock,add,(J)Ljava/awt/image/renderable/ParameterBlock;,1|true