Module JDK

Provides classes and predicates for working with standard classes and methods from the JDK.

Import path

semmle.code.java.JDK

Imports

Member

Provides classes and predicates for working with members of Java classes and interfaces, that is, methods, constructors, fields and nested types.

Classes

ArrayLengthField

The length field of the array type.

ClassNameMethod

The method Class.getName().

ClassSimpleNameMethod

The method Class.getSimpleName().

CloneMethod

A method with the same signature as java.lang.Object.clone.

EqualsMethod

A method with the same signature as java.lang.Object.equals.

HashCodeMethod

A method with the same signature as java.lang.Object.hashCode.

ImmutableType

An immutable type.

MainMethod

The public static main method, with a single formal parameter of type String[] and return type void.

MethodAbs

The method Math.abs.

MethodExit

Any method named exit on class java.lang.Runtime or java.lang.System.

MethodProcessBuilderCommand

Any of the methods named command on class java.lang.ProcessBuilder.

MethodRuntimeExec

Any method named exec on class java.lang.Runtime.

MethodSystemGetProperty

Any method named getProperty on class java.lang.System.

MethodSystemGetenv

Any method named getenv on class java.lang.System.

NumericType

A numeric type, including both primitive and boxed types.

PreMainMethod

A premain method is an agent entry-point.

ReadObjectMethod

A method that reads an object on type java.io.ObjectInputStream, including readObject, readObjectOverride, readUnshared and resolveObject.

StringLengthMethod

The length() method of the class java.lang.String.

SystemErr

The field System.err.

SystemIn

The field System.in.

SystemOut

The field System.out.

ThrowableType

A (reflexive, transitive) subtype of java.lang.Throwable.

TypeClass

The class java.lang.Class.

TypeClassCastException

The class java.lang.ClassCastException.

TypeCloneable

The interface java.lang.Cloneable.

TypeConstructor

The class java.lang.Constructor.

TypeError

The class java.lang.Error.

TypeException

The class java.lang.Exception.

TypeFile

The class java.io.File.

TypeFileSystem

The class java.nio.file.FileSystem.

TypeMath

The class java.lang.Math.

TypeObject

The class java.lang.Object.

TypeObjectOutput

The interface java.io.ObjectOutput.

TypeObjectOutputStream

The type java.io.ObjectOutputStream.

TypePath

The type java.nio.file.Path.

TypePaths

The class java.nio.file.Paths.

TypeProcessBuilder

The class java.lang.ProcessBuilder.

TypeRuntime

The class java.lang.Runtime.

TypeRuntimeException

The class java.lang.RuntimeException.

TypeSerializable

The interface java.io.Serializable.

TypeString

The class java.lang.String.

TypeStringBuffer

The class java.lang.StringBuffer.

TypeStringBuilder

The class java.lang.StringBuilder.

TypeSystem

The class java.lang.System.

TypeThrowable

The class java.lang.Throwable.

UncheckedThrowableType

An unchecked exception. That is, a (reflexive, transitive) subtype of java.lang.Error or java.lang.RuntimeException.

WriteObjectMethod

A method named writeObject on type java.io.ObjectOutput or java.io.ObjectOutputStream.