Constant Field Values

Contents

• joeq.Allocator.*
• joeq.Class.*
• joeq.Compiler.*
• joeq.Runtime.*
• joeq.Support.*
• joeq.UTF.*
• joeq.Util.*

joeq.Allocator.*

joeq.Allocator.ObjectLayout

public static final int	ARRAY_ELEMENT_OFFSET	0
public static final int	ARRAY_HEADER_SIZE	12
public static final int	ARRAY_LENGTH_OFFSET	-12
public static final int	GC_BIT	4
public static final int	HASHED	1
public static final int	HASHED_MOVED	2
public static final int	LOCK_COUNT_INC	16
public static final int	LOCK_COUNT_MASK	496
public static final int	LOCK_COUNT_SHIFT	4
public static final int	LOCK_EXPANDED	-2147483648
public static final int	OBJ_HEADER_SIZE	8
public static final int	STATUS_FLAGS_MASK	7
public static final int	STATUS_WORD_OFFSET	-8
public static final int	THREAD_ID_MASK	2147483136
public static final int	THREAD_ID_SHIFT	9
public static final int	VTABLE_OFFSET	-4

joeq.Class.*

joeq.Class.jq_Class

public static final boolean

DETERMINISTIC

true

joeq.Class.jq_ClassFileConstants

public static final char	ACC_ABSTRACT	1024
public static final char	ACC_FINAL	16
public static final char	ACC_INTERFACE	512
public static final char	ACC_NATIVE	256
public static final char	ACC_PRIVATE	2
public static final char	ACC_PROTECTED	4
public static final char	ACC_PUBLIC	1
public static final char	ACC_STATIC	8
public static final char	ACC_STRICT	2048
public static final char	ACC_SUPER	32
public static final char	ACC_SYNCHRONIZED	32
public static final char	ACC_TRANSIENT	128
public static final char	ACC_VOLATILE	64
public static final byte	CONSTANT_Class	7
public static final byte	CONSTANT_Double	6
public static final byte	CONSTANT_FieldRef	9
public static final byte	CONSTANT_Float	4
public static final byte	CONSTANT_Integer	3
public static final byte	CONSTANT_InterfaceMethodRef	11
public static final byte	CONSTANT_Long	5
public static final byte	CONSTANT_MethodRef	10
public static final byte	CONSTANT_NameAndType	12
public static final byte	CONSTANT_ResolvedClass	13
public static final byte	CONSTANT_ResolvedIFieldRef	15
public static final byte	CONSTANT_ResolvedIMethodRef	17
public static final byte	CONSTANT_ResolvedSFieldRef	14
public static final byte	CONSTANT_ResolvedSMethodRef	16
public static final byte	CONSTANT_String	8
public static final byte	CONSTANT_Utf8	1
public static final String	ILLEGAL_OPCODE	"<illegal opcode>"
public static final String	ILLEGAL_TYPE	"<illegal type>"
public static final short	jbc_AALOAD	50
public static final short	jbc_AASTORE	83
public static final short	jbc_ACONST_NULL	1
public static final short	jbc_ALOAD	25
public static final short	jbc_ALOAD_0	42
public static final short	jbc_ALOAD_1	43
public static final short	jbc_ALOAD_2	44
public static final short	jbc_ALOAD_3	45
public static final short	jbc_ANEWARRAY	189
public static final short	jbc_ARETURN	176
public static final short	jbc_ARRAYLENGTH	190
public static final short	jbc_ASTORE	58
public static final short	jbc_ASTORE_0	75
public static final short	jbc_ASTORE_1	76
public static final short	jbc_ASTORE_2	77
public static final short	jbc_ASTORE_3	78
public static final short	jbc_ATHROW	191
public static final short	jbc_BALOAD	51
public static final short	jbc_BASTORE	84
public static final short	jbc_BIPUSH	16
public static final short	jbc_BREAKPOINT	202
public static final short	jbc_CALOAD	52
public static final short	jbc_CASTORE	85
public static final short	jbc_CHECKCAST	192
public static final short	jbc_D2F	144
public static final short	jbc_D2I	142
public static final short	jbc_D2L	143
public static final short	jbc_DADD	99
public static final short	jbc_DALOAD	49
public static final short	jbc_DASTORE	82
public static final short	jbc_DCMPG	152
public static final short	jbc_DCMPL	151
public static final short	jbc_DCONST_0	14
public static final short	jbc_DCONST_1	15
public static final short	jbc_DDIV	111
public static final short	jbc_DLOAD	24
public static final short	jbc_DLOAD_0	38
public static final short	jbc_DLOAD_1	39
public static final short	jbc_DLOAD_2	40
public static final short	jbc_DLOAD_3	41
public static final short	jbc_DMUL	107
public static final short	jbc_DNEG	119
public static final short	jbc_DREM	115
public static final short	jbc_DRETURN	175
public static final short	jbc_DSTORE	57
public static final short	jbc_DSTORE_0	71
public static final short	jbc_DSTORE_1	72
public static final short	jbc_DSTORE_2	73
public static final short	jbc_DSTORE_3	74
public static final short	jbc_DSUB	103
public static final short	jbc_DUP	89
public static final short	jbc_DUP_X1	90
public static final short	jbc_DUP_X2	91
public static final short	jbc_DUP2	92
public static final short	jbc_DUP2_X1	93
public static final short	jbc_DUP2_X2	94
public static final short	jbc_F2D	141
public static final short	jbc_F2I	139
public static final short	jbc_F2L	140
public static final short	jbc_FADD	98
public static final short	jbc_FALOAD	48
public static final short	jbc_FASTORE	81
public static final short	jbc_FCMPG	150
public static final short	jbc_FCMPL	149
public static final short	jbc_FCONST_0	11
public static final short	jbc_FCONST_1	12
public static final short	jbc_FCONST_2	13
public static final short	jbc_FDIV	110
public static final short	jbc_FLOAD	23
public static final short	jbc_FLOAD_0	34
public static final short	jbc_FLOAD_1	35
public static final short	jbc_FLOAD_2	36
public static final short	jbc_FLOAD_3	37
public static final short	jbc_FMUL	106
public static final short	jbc_FNEG	118
public static final short	jbc_FREM	114
public static final short	jbc_FRETURN	174
public static final short	jbc_FSTORE	56
public static final short	jbc_FSTORE_0	67
public static final short	jbc_FSTORE_1	68
public static final short	jbc_FSTORE_2	69
public static final short	jbc_FSTORE_3	70
public static final short	jbc_FSUB	102
public static final short	jbc_GETFIELD	180
public static final short	jbc_GETSTATIC	178
public static final short	jbc_GOTO	167
public static final short	jbc_GOTO_W	200
public static final short	jbc_I2B	145
public static final short	jbc_I2C	146
public static final short	jbc_I2D	135
public static final short	jbc_I2F	134
public static final short	jbc_I2L	133
public static final short	jbc_I2S	147
public static final short	jbc_IADD	96
public static final short	jbc_IALOAD	46
public static final short	jbc_IAND	126
public static final short	jbc_IASTORE	79
public static final short	jbc_ICONST_0	3
public static final short	jbc_ICONST_1	4
public static final short	jbc_ICONST_2	5
public static final short	jbc_ICONST_3	6
public static final short	jbc_ICONST_4	7
public static final short	jbc_ICONST_5	8
public static final short	jbc_ICONST_M1	2
public static final short	jbc_IDIV	108
public static final short	jbc_IF_ACMPEQ	165
public static final short	jbc_IF_ACMPNE	166
public static final short	jbc_IF_ICMPEQ	159
public static final short	jbc_IF_ICMPGE	162
public static final short	jbc_IF_ICMPGT	163
public static final short	jbc_IF_ICMPLE	164
public static final short	jbc_IF_ICMPLT	161
public static final short	jbc_IF_ICMPNE	160
public static final short	jbc_IFEQ	153
public static final short	jbc_IFGE	156
public static final short	jbc_IFGT	157
public static final short	jbc_IFLE	158
public static final short	jbc_IFLT	155
public static final short	jbc_IFNE	154
public static final short	jbc_IFNONNULL	199
public static final short	jbc_IFNULL	198
public static final short	jbc_IINC	132
public static final short	jbc_ILOAD	21
public static final short	jbc_ILOAD_0	26
public static final short	jbc_ILOAD_1	27
public static final short	jbc_ILOAD_2	28
public static final short	jbc_ILOAD_3	29
public static final short	jbc_IMUL	104
public static final short	jbc_INEG	116
public static final short	jbc_INSTANCEOF	193
public static final short	jbc_INT2BYTE	145
public static final short	jbc_INT2CHAR	146
public static final short	jbc_INT2SHORT	147
public static final short	jbc_INVOKEINTERFACE	185
public static final short	jbc_INVOKENONVIRTUAL	183
public static final short	jbc_INVOKESPECIAL	183
public static final short	jbc_INVOKESTATIC	184
public static final short	jbc_INVOKEVIRTUAL	182
public static final short	jbc_IOR	128
public static final short	jbc_IREM	112
public static final short	jbc_IRETURN	172
public static final short	jbc_ISHL	120
public static final short	jbc_ISHR	122
public static final short	jbc_ISTORE	54
public static final short	jbc_ISTORE_0	59
public static final short	jbc_ISTORE_1	60
public static final short	jbc_ISTORE_2	61
public static final short	jbc_ISTORE_3	62
public static final short	jbc_ISUB	100
public static final short	jbc_IUSHR	124
public static final short	jbc_IXOR	130
public static final short	jbc_JSR	168
public static final short	jbc_JSR_W	201
public static final short	jbc_L2D	138
public static final short	jbc_L2F	137
public static final short	jbc_L2I	136
public static final short	jbc_LADD	97
public static final short	jbc_LALOAD	47
public static final short	jbc_LAND	127
public static final short	jbc_LASTORE	80
public static final short	jbc_LCMP	148
public static final short	jbc_LCONST_0	9
public static final short	jbc_LCONST_1	10
public static final short	jbc_LDC	18
public static final short	jbc_LDC_W	19
public static final short	jbc_LDC2_W	20
public static final short	jbc_LDIV	109
public static final short	jbc_LLOAD	22
public static final short	jbc_LLOAD_0	30
public static final short	jbc_LLOAD_1	31
public static final short	jbc_LLOAD_2	32
public static final short	jbc_LLOAD_3	33
public static final short	jbc_LMUL	105
public static final short	jbc_LNEG	117
public static final short	jbc_LOOKUPSWITCH	171
public static final short	jbc_LOR	129
public static final short	jbc_LREM	113
public static final short	jbc_LRETURN	173
public static final short	jbc_LSHL	121
public static final short	jbc_LSHR	123
public static final short	jbc_LSTORE	55
public static final short	jbc_LSTORE_0	63
public static final short	jbc_LSTORE_1	64
public static final short	jbc_LSTORE_2	65
public static final short	jbc_LSTORE_3	66
public static final short	jbc_LSUB	101
public static final short	jbc_LUSHR	125
public static final short	jbc_LXOR	131
public static final short	jbc_MONITORENTER	194
public static final short	jbc_MONITOREXIT	195
public static final short	jbc_MULTIANEWARRAY	197
public static final short	jbc_NEW	187
public static final short	jbc_NEWARRAY	188
public static final short	jbc_NOP	0
public static final short	jbc_POP	87
public static final short	jbc_POP2	88
public static final short	jbc_PUTFIELD	181
public static final short	jbc_PUTSTATIC	179
public static final short	jbc_RET	169
public static final short	jbc_RETURN	177
public static final short	jbc_SALOAD	53
public static final short	jbc_SASTORE	86
public static final short	jbc_SIPUSH	17
public static final short	jbc_SWAP	95
public static final short	jbc_TABLESWITCH	170
public static final short	jbc_WIDE	196
public static final short	RESERVED	-3
public static final byte	STATE_CLSINITERROR	19
public static final byte	STATE_CLSINITIALIZED	20
public static final byte	STATE_CLSINITIALIZING	17
public static final byte	STATE_CLSINITRUNNING	18
public static final byte	STATE_COMPILED	16
public static final byte	STATE_COMPILING	15
public static final byte	STATE_LOADED	5
public static final byte	STATE_LOADERROR	4
public static final byte	STATE_LOADING1	1
public static final byte	STATE_LOADING2	2
public static final byte	STATE_LOADING3	3
public static final byte	STATE_PREPARED	11
public static final byte	STATE_PREPAREERROR	10
public static final byte	STATE_PREPARING	9
public static final byte	STATE_SFINITERROR	13
public static final byte	STATE_SFINITIALIZED	14
public static final byte	STATE_SFINITIALIZING	12
public static final byte	STATE_UNLOADED	0
public static final byte	STATE_VERIFIED	8
public static final byte	STATE_VERIFYERROR	7
public static final byte	STATE_VERIFYING	6
public static final byte	T_BOOLEAN	4
public static final byte	T_BYTE	8
public static final byte	T_CHAR	5
public static final byte	T_DOUBLE	7
public static final byte	T_FLOAT	6
public static final byte	T_INT	10
public static final byte	T_LONG	11
public static final byte	T_SHORT	9
public static final byte	TC_ARRAY	91
public static final byte	TC_BOOLEAN	90
public static final byte	TC_BYTE	66
public static final byte	TC_CHAR	67
public static final byte	TC_CLASS	76
public static final byte	TC_CLASSEND	59
public static final byte	TC_DOUBLE	68
public static final byte	TC_FLOAT	70
public static final byte	TC_INT	73
public static final byte	TC_LONG	74
public static final byte	TC_PARAM	40
public static final byte	TC_PARAMEND	41
public static final byte	TC_SHORT	83
public static final byte	TC_VOID	86
public static final short	UNDEFINED	-1
public static final short	UNPREDICTABLE	-2

joeq.Class.jq_InstanceField

public static final int

INVALID_OFFSET

-2147483648

joeq.Class.jq_InstanceMethod

public static final int

INVALID_OFFSET

-2147483648

joeq.Class.jq_Member

public static final boolean	DETERMINISTIC	true
public static final boolean	USE_MEMBER_OBJECT_FIELD	true

joeq.Class.jq_Reference

public static final boolean

TRACE

false

joeq.Class.jq_TryCatch

public static final boolean

DEBUG

false

joeq.Class.jq_Type

public static final int	DISPLAY_SIZE	8
public static final boolean	TRACE	false
public static final boolean	USE_CLASS_OBJECT_FIELD	true

joeq.Compiler.*

joeq.Compiler.CompilationConstants

public static final byte	MAYBE	2
public static final byte	NO	0
public static final byte	YES	1

joeq.Compiler.CompilationState

public static final boolean

VerifyAssertions

true

joeq.Compiler.Analysis.FlowInsensitive.MethodSummary

public static final boolean	DETERMINISTIC	true
public static final boolean	IGNORE_INSTANCE_FIELDS	false
public static final boolean	IGNORE_STATIC_FIELDS	false
public static final boolean	SPLIT_THREADS	true
public static final boolean	UNIFY_ACCESS_PATHS	false
public static final boolean	USE_IDENTITY_HASHCODE	false
public static final boolean	USE_PARAMETER_MAP	true
public static final boolean	VERIFY_ASSERTIONS	false

joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.BuildMethodSummary

public static final boolean

INSIDE_EDGES

false

joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.ConcreteObjectNode

public static final boolean

ADD_EDGES

true

joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.NodeSet

public static final boolean	PROFILE	false
public static final boolean	REDUCE_ALLOCATIONS	false
public static final boolean	TEST	false

joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.PlaceholderNode

public static final boolean

ADD_DUMMY_EDGES

false

joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.UnknownTypeNode