jdkbasenonnullreturn.db

A static analysis tool to find bugs in Java programs

java.applet.Applet,getAccessibleContext,()Ljavax/accessibility/AccessibleContext;,1|true
java.applet.Applet,getLocale,()Ljava/util/Locale;,1|true
java.applet.Applet$AccessibleApplet,getAccessibleStateSet,()Ljavax/accessibility/AccessibleStateSet;,1|true
java.awt.AWTEvent,paramString,()Ljava/lang/String;,1|true
java.awt.AWTEvent,toString,()Ljava/lang/String;,1|true
java.awt.AWTKeyStroke,readResolve,()Ljava/lang/Object;,4|true
java.awt.AWTKeyStroke,toString,()Ljava/lang/String;,1|true
java.awt.AlphaComposite,createContext,(Ljava/awt/image/ColorModel;Ljava/awt/image/ColorModel;Ljava/awt/RenderingHints;)Ljava/awt/CompositeContext;,1|true
java.awt.BorderLayout,maximumLayoutSize,(Ljava/awt/Container;)Ljava/awt/Dimension;,1|true
java.awt.BorderLayout,minimumLayoutSize,(Ljava/awt/Container;)Ljava/awt/Dimension;,1|true
java.awt.BorderLayout,preferredLayoutSize,(Ljava/awt/Container;)Ljava/awt/Dimension;,1|true
java.awt.BorderLayout,toString,()Ljava/lang/String;,1|true
java.awt.BufferCapabilities,clone,()Ljava/lang/Object;,1|true
java.awt.BufferCapabilities$FlipContents,toString,()Ljava/lang/String;,4161|true
java.awt.Button,getAccessibleContext,()Ljavax/accessibility/AccessibleContext;,1|true
java.awt.Button,paramString,()Ljava/lang/String;,4|true
java.awt.Button$AccessibleAWTButton,getAccessibleAction,()Ljavax/accessibility/AccessibleAction;,1|true
java.awt.Button$AccessibleAWTButton,getAccessibleValue,()Ljavax/accessibility/AccessibleValue;,1|true
java.awt.Canvas,getAccessibleContext,()Ljavax/accessibility/AccessibleContext;,1|true
java.awt.CardLayout,maximumLayoutSize,(Ljava/awt/Container;)Ljava/awt/Dimension;,1|true
java.awt.CardLayout,minimumLayoutSize,(Ljava/awt/Container;)Ljava/awt/Dimension;,1|true
java.awt.CardLayout,preferredLayoutSize,(Ljava/awt/Container;)Ljava/awt/Dimension;,1|true
java.awt.CardLayout,toString,()Ljava/lang/String;,1|true
java.awt.Checkbox,getAccessibleContext,()Ljavax/accessibility/AccessibleContext;,1|true
java.awt.Checkbox,paramString,()Ljava/lang/String;,4|true
java.awt.Checkbox$AccessibleAWTCheckbox,getAccessibleAction,()Ljavax/accessibility/AccessibleAction;,1|true
java.awt.Checkbox$AccessibleAWTCheckbox,getAccessibleStateSet,()Ljavax/accessibility/AccessibleStateSet;,1|true
java.awt.Checkbox$AccessibleAWTCheckbox,getAccessibleValue,()Ljavax/accessibility/AccessibleValue;,1|true
java.awt.CheckboxGroup,toString,()Ljava/lang/String;,1|true
java.awt.CheckboxMenuItem,getAccessibleContext,()Ljavax/accessibility/AccessibleContext;,1|true
java.awt.CheckboxMenuItem,paramString,()Ljava/lang/String;,1|true
java.awt.CheckboxMenuItem$AccessibleAWTCheckboxMenuItem,getAccessibleAction,()Ljavax/accessibility/AccessibleAction;,1|true
java.awt.CheckboxMenuItem$AccessibleAWTCheckboxMenuItem,getAccessibleValue,()Ljavax/accessibility/AccessibleValue;,1|true
java.awt.Choice,getAccessibleContext,()Ljavax/accessibility/AccessibleContext;,1|true
java.awt.Choice,paramString,()Ljava/lang/String;,4|true
java.awt.Choice$AccessibleAWTChoice,getAccessibleAction,()Ljavax/accessibility/AccessibleAction;,1|true
java.awt.Color,brighter,()Ljava/awt/Color;,1|true
java.awt.Color,createContext,(Ljava/awt/image/ColorModel;Ljava/awt/Rectangle;Ljava/awt/geom/Rectangle2D;Ljava/awt/geom/AffineTransform;Ljava/awt/RenderingHints;)Ljava/awt/PaintContext;,33|true
java.awt.Color,darker,()Ljava/awt/Color;,1|true
java.awt.Color,getColorComponents,([F)[F,1|true
java.awt.Color,getComponents,(Ljava/awt/color/ColorSpace;[F)[F,1|true
java.awt.Color,getComponents,([F)[F,1|true
java.awt.Color,getRGBColorComponents,([F)[F,1|true
java.awt.Color,getRGBComponents,([F)[F,1|true
java.awt.Color,toString,()Ljava/lang/String;,1|true
java.awt.ColorPaintContext,getRaster,(IIII)Ljava/awt/image/Raster;,33|true
java.awt.Component,bounds,()Ljava/awt/Rectangle;,1|true
java.awt.Component,getBounds,()Ljava/awt/Rectangle;,1|true
java.awt.Component,getBounds,(Ljava/awt/Rectangle;)Ljava/awt/Rectangle;,1|true
java.awt.Component,getLocation,()Ljava/awt/Point;,1|true
java.awt.Component,getLocation,(Ljava/awt/Point;)Ljava/awt/Point;,1|true
java.awt.Component,getMaximumSize,()Ljava/awt/Dimension;,1|true
java.awt.Component,getMinimumSize,()Ljava/awt/Dimension;,1|true
java.awt.Component,getPreferredSize,()Ljava/awt/Dimension;,1|true
java.awt.Component,getSize,()Ljava/awt/Dimension;,1|true
java.awt.Component,getSize,(Ljava/awt/Dimension;)Ljava/awt/Dimension;,1|true
java.awt.Component,location,()Ljava/awt/Point;,1|true
java.awt.Component,minimumSize,()Ljava/awt/Dimension;,1|true
java.awt.Component,paramString,()Ljava/lang/String;,4|true
java.awt.Component,preferredSize,()Ljava/awt/Dimension;,1|true
java.awt.Component,size,()Ljava/awt/Dimension;,1|true
java.awt.Component,toString,()Ljava/lang/String;,1|true
java.awt.Component$3,run,()Ljava/lang/Object;,1|true
java.awt.Component$AccessibleAWTComponent,getAccessibleComponent,()Ljavax/accessibility/AccessibleComponent;,1|true
java.awt.Component$AccessibleAWTComponent,getAccessibleStateSet,()Ljavax/accessibility/AccessibleStateSet;,1|true
java.awt.Component$AccessibleAWTComponent,getBounds,()Ljava/awt/Rectangle;,1|true
java.awt.Component$AccessibleAWTComponent,getLocation,()Ljava/awt/Point;,1|true
java.awt.Component$AccessibleAWTComponent,getSize,()Ljava/awt/Dimension;,1|true
java.awt.Container,getInsets,()Ljava/awt/Insets;,1|true
java.awt.Container,insets,()Ljava/awt/Insets;,1|true
java.awt.Container,paramString,()Ljava/lang/String;,4|true
java.awt.Cursor,toString,()Ljava/lang/String;,1|true
java.awt.DefaultKeyboardFocusManager$TypeAheadMarker,toString,()Ljava/lang/String;,1|true
java.awt.Dialog,getAccessibleContext,()Ljavax/accessibility/AccessibleContext;,1|true
java.awt.Dialog,paramString,()Ljava/lang/String;,4|true
java.awt.Dialog$AccessibleAWTDialog,getAccessibleStateSet,()Ljavax/accessibility/AccessibleStateSet;,1|true
java.awt.Dimension,getSize,()Ljava/awt/Dimension;,1|true
java.awt.Dimension,toString,()Ljava/lang/String;,1|true
java.awt.Event,paramString,()Ljava/lang/String;,4|true
java.awt.Event,toString,()Ljava/lang/String;,1|true
java.awt.EventQueue$1,run,()Ljava/lang/Object;,1|true
java.awt.FileDialog,paramString,()Ljava/lang/String;,4|true
java.awt.FlowLayout,minimumLayoutSize,(Ljava/awt/Container;)Ljava/awt/Dimension;,1|true
java.awt.FlowLayout,preferredLayoutSize,(Ljava/awt/Container;)Ljava/awt/Dimension;,1|true
java.awt.FlowLayout,toString,()Ljava/lang/String;,1|true
java.awt.Font,createGlyphVector,(Ljava/awt/font/FontRenderContext;Ljava/lang/String;)Ljava/awt/font/GlyphVector;,1|true
java.awt.Font,createGlyphVector,(Ljava/awt/font/FontRenderContext;Ljava/text/CharacterIterator;)Ljava/awt/font/GlyphVector;,1|true
java.awt.Font,createGlyphVector,(Ljava/awt/font/FontRenderContext;[C)Ljava/awt/font/GlyphVector;,1|true
java.awt.Font,createGlyphVector,(Ljava/awt/font/FontRenderContext;[I)Ljava/awt/font/GlyphVector;,1|true
java.awt.Font,deriveFont,(F)Ljava/awt/Font;,1|true
java.awt.Font,deriveFont,(I)Ljava/awt/Font;,1|true
java.awt.Font,deriveFont,(IF)Ljava/awt/Font;,1|true
java.awt.Font,deriveFont,(ILjava/awt/geom/AffineTransform;)Ljava/awt/Font;,1|true
java.awt.Font,deriveFont,(Ljava/awt/geom/AffineTransform;)Ljava/awt/Font;,1|true
java.awt.Font,deriveFont,(Ljava/util/Map;)Ljava/awt/Font;,1|true
java.awt.Font,getAttributes,()Ljava/util/Map;,1|true
java.awt.Font,getAvailableAttributes,()[Ljava/text/AttributedCharacterIterator$Attribute;,1|true
java.awt.Font,getLineMetrics,(Ljava/lang/String;IILjava/awt/font/FontRenderContext;)Ljava/awt/font/LineMetrics;,1|true
java.awt.Font,getLineMetrics,(Ljava/lang/String;Ljava/awt/font/FontRenderContext;)Ljava/awt/font/LineMetrics;,1|true
java.awt.Font,getLineMetrics,(Ljava/text/CharacterIterator;IILjava/awt/font/FontRenderContext;)Ljava/awt/font/LineMetrics;,1|true
java.awt.Font,getLineMetrics,([CIILjava/awt/font/FontRenderContext;)Ljava/awt/font/LineMetrics;,1|true
java.awt.Font,getMaxCharBounds,(Ljava/awt/font/FontRenderContext;)Ljava/awt/geom/Rectangle2D;,1|true
java.awt.Font,getTransform,()Ljava/awt/geom/AffineTransform;,1|true
java.awt.Font,layoutGlyphVector,(Ljava/awt/font/FontRenderContext;[CIII)Ljava/awt/font/GlyphVector;,1|true
java.awt.Font,toString,()Ljava/lang/String;,1|true
java.awt.Font$1,run,()Ljava/lang/Object;,1|true
java.awt.FontMetrics,getLineMetrics,(Ljava/lang/String;IILjava/awt/Graphics;)Ljava/awt/font/LineMetrics;,1|true
java.awt.FontMetrics,getLineMetrics,(Ljava/lang/String;Ljava/awt/Graphics;)Ljava/awt/font/LineMetrics;,1|true
java.awt.FontMetrics,getLineMetrics,(Ljava/text/CharacterIterator;IILjava/awt/Graphics;)Ljava/awt/font/LineMetrics;,1|true
java.awt.FontMetrics,getLineMetrics,([CIILjava/awt/Graphics;)Ljava/awt/font/LineMetrics;,1|true
java.awt.FontMetrics,getMaxCharBounds,(Ljava/awt/Graphics;)Ljava/awt/geom/Rectangle2D;,1|true
java.awt.FontMetrics,getWidths,()[I,1|true
java.awt.FontMetrics,toString,()Ljava/lang/String;,1|true
java.awt.Frame,getAccessibleContext,()Ljavax/accessibility/AccessibleContext;,1|true
java.awt.Frame,paramString,()Ljava/lang/String;,4|true
java.awt.Frame$AccessibleAWTFrame,getAccessibleStateSet,()Ljavax/accessibility/AccessibleStateSet;,1|true
java.awt.GradientPaint,createContext,(Ljava/awt/image/ColorModel;Ljava/awt/Rectangle;Ljava/awt/geom/Rectangle2D;Ljava/awt/geom/AffineTransform;Ljava/awt/RenderingHints;)Ljava/awt/PaintContext;,1|true
java.awt.GradientPaint,getPoint1,()Ljava/awt/geom/Point2D;,1|true
java.awt.GradientPaint,getPoint2,()Ljava/awt/geom/Point2D;,1|true
java.awt.GradientPaintContext,getRaster,(IIII)Ljava/awt/image/Raster;,1|true
java.awt.Graphics,getClipBounds,(Ljava/awt/Rectangle;)Ljava/awt/Rectangle;,1|true
java.awt.Graphics,toString,()Ljava/lang/String;,1|true
java.awt.GraphicsConfiguration,createCompatibleVolatileImage,(II)Ljava/awt/image/VolatileImage;,1|true
java.awt.GraphicsConfiguration,createCompatibleVolatileImage,(III)Ljava/awt/image/VolatileImage;,1|true
java.awt.GraphicsConfiguration,createCompatibleVolatileImage,(IILjava/awt/ImageCapabilities;)Ljava/awt/image/VolatileImage;,1|true
java.awt.GraphicsConfiguration,createCompatibleVolatileImage,(IILjava/awt/ImageCapabilities;I)Ljava/awt/image/VolatileImage;,1|true
java.awt.GraphicsDevice,getDisplayMode,()Ljava/awt/DisplayMode;,1|true
java.awt.GraphicsDevice,getDisplayModes,()[Ljava/awt/DisplayMode;,1|true
java.awt.GraphicsEnvironment,getCenterPoint,()Ljava/awt/Point;,1|true
java.awt.GraphicsEnvironment,getMaximumWindowBounds,()Ljava/awt/Rectangle;,1|true
java.awt.GridBagConstraints,clone,()Ljava/lang/Object;,1|true
java.awt.GridBagLayout,GetMinSize,(Ljava/awt/Container;Ljava/awt/GridBagLayoutInfo;)Ljava/awt/Dimension;,4|true
java.awt.GridBagLayout,getConstraints,(Ljava/awt/Component;)Ljava/awt/GridBagConstraints;,1|true
java.awt.GridBagLayout,getLayoutDimensions,()[[I,1|true
java.awt.GridBagLayout,getLayoutOrigin,()Ljava/awt/Point;,1|true
java.awt.GridBagLayout,getLayoutWeights,()[[D,1|true
java.awt.GridBagLayout,getMinSize,(Ljava/awt/Container;Ljava/awt/GridBagLayoutInfo;)Ljava/awt/Dimension;,4|true
java.awt.GridBagLayout,location,(II)Ljava/awt/Point;,1|true
java.awt.GridBagLayout,maximumLayoutSize,(Ljava/awt/Container;)Ljava/awt/Dimension;,1|true
java.awt.GridBagLayout,minimumLayoutSize,(Ljava/awt/Container;)Ljava/awt/Dimension;,1|true
java.awt.GridBagLayout,preferredLayoutSize,(Ljava/awt/Container;)Ljava/awt/Dimension;,1|true
java.awt.GridLayout,minimumLayoutSize,(Ljava/awt/Container;)Ljava/awt/Dimension;,1|true
java.awt.GridLayout,preferredLayoutSize,(Ljava/awt/Container;)Ljava/awt/Dimension;,1|true
java.awt.GridLayout,toString,()Ljava/lang/String;,1|true
java.awt.ImageCapabilities,clone,()Ljava/lang/Object;,1|true
java.awt.Insets,clone,()Ljava/lang/Object;,1|true
java.awt.Insets,toString,()Ljava/lang/String;,1|true
java.awt.JobAttributes,clone,()Ljava/lang/Object;,1|true
java.awt.JobAttributes,getPageRanges,()[[I,1|true
java.awt.JobAttributes,toString,()Ljava/lang/String;,1|true
java.awt.JobAttributes$DefaultSelectionType,toString,()Ljava/lang/String;,4161|true
java.awt.JobAttributes$DestinationType,toString,()Ljava/lang/String;,4161|true
java.awt.JobAttributes$DialogType,toString,()Ljava/lang/String;,4161|true
java.awt.JobAttributes$MultipleDocumentHandlingType,toString,()Ljava/lang/String;,4161|true
java.awt.JobAttributes$SidesType,toString,()Ljava/lang/String;,4161|true