CBMC
|
#include <cstdint>
Go to the source code of this file.
Classes | |
struct | bytecode_infot |
Macros | |
#define | BC_nop 0x00 |
#define | BC_aconst_null 0x01 |
#define | BC_iconst_m1 0x02 |
#define | BC_iconst_0 0x03 |
#define | BC_iconst_1 0x04 |
#define | BC_iconst_2 0x05 |
#define | BC_iconst_3 0x06 |
#define | BC_iconst_4 0x07 |
#define | BC_iconst_5 0x08 |
#define | BC_lconst_0 0x09 |
#define | BC_lconst_1 0x0a |
#define | BC_fconst_0 0x0b |
#define | BC_fconst_1 0x0c |
#define | BC_fconst_2 0x0d |
#define | BC_dconst_0 0x0e |
#define | BC_dconst_1 0x0f |
#define | BC_bipush 0x10 |
#define | BC_sipush 0x11 |
#define | BC_ldc 0x12 |
#define | BC_ldc_w 0x13 |
#define | BC_ldc2_w 0x14 |
#define | BC_iload 0x15 |
#define | BC_lload 0x16 |
#define | BC_fload 0x17 |
#define | BC_dload 0x18 |
#define | BC_aload 0x19 |
#define | BC_iload_0 0x1a |
#define | BC_iload_1 0x1b |
#define | BC_iload_2 0x1c |
#define | BC_iload_3 0x1d |
#define | BC_lload_0 0x1e |
#define | BC_lload_1 0x1f |
#define | BC_lload_2 0x20 |
#define | BC_lload_3 0x21 |
#define | BC_fload_0 0x22 |
#define | BC_fload_1 0x23 |
#define | BC_fload_2 0x24 |
#define | BC_fload_3 0x25 |
#define | BC_dload_0 0x26 |
#define | BC_dload_1 0x27 |
#define | BC_dload_2 0x28 |
#define | BC_dload_3 0x29 |
#define | BC_aload_0 0x2a |
#define | BC_aload_1 0x2b |
#define | BC_aload_2 0x2c |
#define | BC_aload_3 0x2d |
#define | BC_iaload 0x2e |
#define | BC_laload 0x2f |
#define | BC_faload 0x30 |
#define | BC_daload 0x31 |
#define | BC_aaload 0x32 |
#define | BC_baload 0x33 |
#define | BC_caload 0x34 |
#define | BC_saload 0x35 |
#define | BC_istore 0x36 |
#define | BC_lstore 0x37 |
#define | BC_fstore 0x38 |
#define | BC_dstore 0x39 |
#define | BC_astore 0x3a |
#define | BC_istore_0 0x3b |
#define | BC_istore_1 0x3c |
#define | BC_istore_2 0x3d |
#define | BC_istore_3 0x3e |
#define | BC_lstore_0 0x3f |
#define | BC_lstore_1 0x40 |
#define | BC_lstore_2 0x41 |
#define | BC_lstore_3 0x42 |
#define | BC_fstore_0 0x43 |
#define | BC_fstore_1 0x44 |
#define | BC_fstore_2 0x45 |
#define | BC_fstore_3 0x46 |
#define | BC_dstore_0 0x47 |
#define | BC_dstore_1 0x48 |
#define | BC_dstore_2 0x49 |
#define | BC_dstore_3 0x4a |
#define | BC_astore_0 0x4b |
#define | BC_astore_1 0x4c |
#define | BC_astore_2 0x4d |
#define | BC_astore_3 0x4e |
#define | BC_iastore 0x4f |
#define | BC_lastore 0x50 |
#define | BC_fastore 0x51 |
#define | BC_dastore 0x52 |
#define | BC_aastore 0x53 |
#define | BC_bastore 0x54 |
#define | BC_castore 0x55 |
#define | BC_sastore 0x56 |
#define | BC_pop 0x57 |
#define | BC_pop2 0x58 |
#define | BC_dup 0x59 |
#define | BC_dup_x1 0x5a |
#define | BC_dup_x2 0x5b |
#define | BC_dup2 0x5c |
#define | BC_dup2_x1 0x5d |
#define | BC_dup2_x2 0x5e |
#define | BC_swap 0x5f |
#define | BC_iadd 0x60 |
#define | BC_ladd 0x61 |
#define | BC_fadd 0x62 |
#define | BC_dadd 0x63 |
#define | BC_isub 0x64 |
#define | BC_lsub 0x65 |
#define | BC_fsub 0x66 |
#define | BC_dsub 0x67 |
#define | BC_imul 0x68 |
#define | BC_lmul 0x69 |
#define | BC_fmul 0x6a |
#define | BC_dmul 0x6b |
#define | BC_idiv 0x6c |
#define | BC_ldiv 0x6d |
#define | BC_fdiv 0x6e |
#define | BC_ddiv 0x6f |
#define | BC_irem 0x70 |
#define | BC_lrem 0x71 |
#define | BC_frem 0x72 |
#define | BC_drem 0x73 |
#define | BC_ineg 0x74 |
#define | BC_lneg 0x75 |
#define | BC_fneg 0x76 |
#define | BC_dneg 0x77 |
#define | BC_ishl 0x78 |
#define | BC_lshl 0x79 |
#define | BC_ishr 0x7a |
#define | BC_lshr 0x7b |
#define | BC_iushr 0x7c |
#define | BC_lushr 0x7d |
#define | BC_iand 0x7e |
#define | BC_land 0x7f |
#define | BC_ior 0x80 |
#define | BC_lor 0x81 |
#define | BC_ixor 0x82 |
#define | BC_lxor 0x83 |
#define | BC_iinc 0x84 |
#define | BC_i2l 0x85 |
#define | BC_i2f 0x86 |
#define | BC_i2d 0x87 |
#define | BC_l2i 0x88 |
#define | BC_l2f 0x89 |
#define | BC_l2d 0x8a |
#define | BC_f2i 0x8b |
#define | BC_f2l 0x8c |
#define | BC_f2d 0x8d |
#define | BC_d2i 0x8e |
#define | BC_d2l 0x8f |
#define | BC_d2f 0x90 |
#define | BC_i2b 0x91 |
#define | BC_i2c 0x92 |
#define | BC_i2s 0x93 |
#define | BC_lcmp 0x94 |
#define | BC_fcmpl 0x95 |
#define | BC_fcmpg 0x96 |
#define | BC_dcmpl 0x97 |
#define | BC_dcmpg 0x98 |
#define | BC_ifeq 0x99 |
#define | BC_ifne 0x9a |
#define | BC_iflt 0x9b |
#define | BC_ifge 0x9c |
#define | BC_ifgt 0x9d |
#define | BC_ifle 0x9e |
#define | BC_if_icmpeq 0x9f |
#define | BC_if_icmpne 0xa0 |
#define | BC_if_icmplt 0xa1 |
#define | BC_if_icmpge 0xa2 |
#define | BC_if_icmpgt 0xa3 |
#define | BC_if_icmple 0xa4 |
#define | BC_if_acmpeq 0xa5 |
#define | BC_if_acmpne 0xa6 |
#define | BC_goto 0xa7 |
#define | BC_jsr 0xa8 |
#define | BC_ret 0xa9 |
#define | BC_tableswitch 0xaa |
#define | BC_lookupswitch 0xab |
#define | BC_ireturn 0xac |
#define | BC_lreturn 0xad |
#define | BC_freturn 0xae |
#define | BC_dreturn 0xaf |
#define | BC_areturn 0xb0 |
#define | BC_return 0xb1 |
#define | BC_getstatic 0xb2 |
#define | BC_putstatic 0xb3 |
#define | BC_getfield 0xb4 |
#define | BC_putfield 0xb5 |
#define | BC_invokevirtual 0xb6 |
#define | BC_invokespecial 0xb7 |
#define | BC_invokestatic 0xb8 |
#define | BC_invokeinterface 0xb9 |
#define | BC_invokedynamic 0xba |
#define | BC_new 0xbb |
#define | BC_newarray 0xbc |
#define | BC_anewarray 0xbd |
#define | BC_arraylength 0xbe |
#define | BC_athrow 0xbf |
#define | BC_checkcast 0xc0 |
#define | BC_instanceof 0xc1 |
#define | BC_monitorenter 0xc2 |
#define | BC_monitorexit 0xc3 |
#define | BC_wide 0xc4 |
#define | BC_multianewarray 0xc5 |
#define | BC_ifnull 0xc6 |
#define | BC_ifnonnull 0xc7 |
#define | BC_goto_w 0xc8 |
#define | BC_jsr_w 0xc9 |
#define | BC_breakpoint 0xca |
#define | BC_impdep1 0xfe |
#define | BC_impdep2 0xff |
Typedefs | |
typedef uint8_t | u1 |
typedef uint16_t | u2 |
typedef uint32_t | u4 |
typedef uint64_t | u8 |
typedef int8_t | s1 |
typedef int16_t | s2 |
typedef int32_t | s4 |
typedef int64_t | s8 |
Variables | |
struct bytecode_infot const | bytecode_info [] |
#define BC_aaload 0x32 |
Definition at line 115 of file bytecode_info.h.
#define BC_aastore 0x53 |
Definition at line 148 of file bytecode_info.h.
#define BC_aconst_null 0x01 |
Definition at line 66 of file bytecode_info.h.
#define BC_aload 0x19 |
Definition at line 90 of file bytecode_info.h.
#define BC_aload_0 0x2a |
Definition at line 107 of file bytecode_info.h.
#define BC_aload_1 0x2b |
Definition at line 108 of file bytecode_info.h.
#define BC_aload_2 0x2c |
Definition at line 109 of file bytecode_info.h.
#define BC_aload_3 0x2d |
Definition at line 110 of file bytecode_info.h.
#define BC_anewarray 0xbd |
Definition at line 254 of file bytecode_info.h.
#define BC_areturn 0xb0 |
Definition at line 241 of file bytecode_info.h.
#define BC_arraylength 0xbe |
Definition at line 255 of file bytecode_info.h.
#define BC_astore 0x3a |
Definition at line 123 of file bytecode_info.h.
#define BC_astore_0 0x4b |
Definition at line 140 of file bytecode_info.h.
#define BC_astore_1 0x4c |
Definition at line 141 of file bytecode_info.h.
#define BC_astore_2 0x4d |
Definition at line 142 of file bytecode_info.h.
#define BC_astore_3 0x4e |
Definition at line 143 of file bytecode_info.h.
#define BC_athrow 0xbf |
Definition at line 256 of file bytecode_info.h.
#define BC_baload 0x33 |
Definition at line 116 of file bytecode_info.h.
#define BC_bastore 0x54 |
Definition at line 149 of file bytecode_info.h.
#define BC_bipush 0x10 |
Definition at line 81 of file bytecode_info.h.
#define BC_breakpoint 0xca |
Definition at line 267 of file bytecode_info.h.
#define BC_caload 0x34 |
Definition at line 117 of file bytecode_info.h.
#define BC_castore 0x55 |
Definition at line 150 of file bytecode_info.h.
#define BC_checkcast 0xc0 |
Definition at line 257 of file bytecode_info.h.
#define BC_d2f 0x90 |
Definition at line 209 of file bytecode_info.h.
#define BC_d2i 0x8e |
Definition at line 207 of file bytecode_info.h.
#define BC_d2l 0x8f |
Definition at line 208 of file bytecode_info.h.
#define BC_dadd 0x63 |
Definition at line 164 of file bytecode_info.h.
#define BC_daload 0x31 |
Definition at line 114 of file bytecode_info.h.
#define BC_dastore 0x52 |
Definition at line 147 of file bytecode_info.h.
#define BC_dcmpg 0x98 |
Definition at line 217 of file bytecode_info.h.
#define BC_dcmpl 0x97 |
Definition at line 216 of file bytecode_info.h.
#define BC_dconst_0 0x0e |
Definition at line 79 of file bytecode_info.h.
#define BC_dconst_1 0x0f |
Definition at line 80 of file bytecode_info.h.
#define BC_ddiv 0x6f |
Definition at line 176 of file bytecode_info.h.
#define BC_dload 0x18 |
Definition at line 89 of file bytecode_info.h.
#define BC_dload_0 0x26 |
Definition at line 103 of file bytecode_info.h.
#define BC_dload_1 0x27 |
Definition at line 104 of file bytecode_info.h.
#define BC_dload_2 0x28 |
Definition at line 105 of file bytecode_info.h.
#define BC_dload_3 0x29 |
Definition at line 106 of file bytecode_info.h.
#define BC_dmul 0x6b |
Definition at line 172 of file bytecode_info.h.
#define BC_dneg 0x77 |
Definition at line 184 of file bytecode_info.h.
#define BC_drem 0x73 |
Definition at line 180 of file bytecode_info.h.
#define BC_dreturn 0xaf |
Definition at line 240 of file bytecode_info.h.
#define BC_dstore 0x39 |
Definition at line 122 of file bytecode_info.h.
#define BC_dstore_0 0x47 |
Definition at line 136 of file bytecode_info.h.
#define BC_dstore_1 0x48 |
Definition at line 137 of file bytecode_info.h.
#define BC_dstore_2 0x49 |
Definition at line 138 of file bytecode_info.h.
#define BC_dstore_3 0x4a |
Definition at line 139 of file bytecode_info.h.
#define BC_dsub 0x67 |
Definition at line 168 of file bytecode_info.h.
#define BC_dup 0x59 |
Definition at line 154 of file bytecode_info.h.
#define BC_dup2 0x5c |
Definition at line 157 of file bytecode_info.h.
#define BC_dup2_x1 0x5d |
Definition at line 158 of file bytecode_info.h.
#define BC_dup2_x2 0x5e |
Definition at line 159 of file bytecode_info.h.
#define BC_dup_x1 0x5a |
Definition at line 155 of file bytecode_info.h.
#define BC_dup_x2 0x5b |
Definition at line 156 of file bytecode_info.h.
#define BC_f2d 0x8d |
Definition at line 206 of file bytecode_info.h.
#define BC_f2i 0x8b |
Definition at line 204 of file bytecode_info.h.
#define BC_f2l 0x8c |
Definition at line 205 of file bytecode_info.h.
#define BC_fadd 0x62 |
Definition at line 163 of file bytecode_info.h.
#define BC_faload 0x30 |
Definition at line 113 of file bytecode_info.h.
#define BC_fastore 0x51 |
Definition at line 146 of file bytecode_info.h.
#define BC_fcmpg 0x96 |
Definition at line 215 of file bytecode_info.h.
#define BC_fcmpl 0x95 |
Definition at line 214 of file bytecode_info.h.
#define BC_fconst_0 0x0b |
Definition at line 76 of file bytecode_info.h.
#define BC_fconst_1 0x0c |
Definition at line 77 of file bytecode_info.h.
#define BC_fconst_2 0x0d |
Definition at line 78 of file bytecode_info.h.
#define BC_fdiv 0x6e |
Definition at line 175 of file bytecode_info.h.
#define BC_fload 0x17 |
Definition at line 88 of file bytecode_info.h.
#define BC_fload_0 0x22 |
Definition at line 99 of file bytecode_info.h.
#define BC_fload_1 0x23 |
Definition at line 100 of file bytecode_info.h.
#define BC_fload_2 0x24 |
Definition at line 101 of file bytecode_info.h.
#define BC_fload_3 0x25 |
Definition at line 102 of file bytecode_info.h.
#define BC_fmul 0x6a |
Definition at line 171 of file bytecode_info.h.
#define BC_fneg 0x76 |
Definition at line 183 of file bytecode_info.h.
#define BC_frem 0x72 |
Definition at line 179 of file bytecode_info.h.
#define BC_freturn 0xae |
Definition at line 239 of file bytecode_info.h.
#define BC_fstore 0x38 |
Definition at line 121 of file bytecode_info.h.
#define BC_fstore_0 0x43 |
Definition at line 132 of file bytecode_info.h.
#define BC_fstore_1 0x44 |
Definition at line 133 of file bytecode_info.h.
#define BC_fstore_2 0x45 |
Definition at line 134 of file bytecode_info.h.
#define BC_fstore_3 0x46 |
Definition at line 135 of file bytecode_info.h.
#define BC_fsub 0x66 |
Definition at line 167 of file bytecode_info.h.
#define BC_getfield 0xb4 |
Definition at line 245 of file bytecode_info.h.
#define BC_getstatic 0xb2 |
Definition at line 243 of file bytecode_info.h.
#define BC_goto 0xa7 |
Definition at line 232 of file bytecode_info.h.
#define BC_goto_w 0xc8 |
Definition at line 265 of file bytecode_info.h.
#define BC_i2b 0x91 |
Definition at line 210 of file bytecode_info.h.
#define BC_i2c 0x92 |
Definition at line 211 of file bytecode_info.h.
#define BC_i2d 0x87 |
Definition at line 200 of file bytecode_info.h.
#define BC_i2f 0x86 |
Definition at line 199 of file bytecode_info.h.
#define BC_i2l 0x85 |
Definition at line 198 of file bytecode_info.h.
#define BC_i2s 0x93 |
Definition at line 212 of file bytecode_info.h.
#define BC_iadd 0x60 |
Definition at line 161 of file bytecode_info.h.
#define BC_iaload 0x2e |
Definition at line 111 of file bytecode_info.h.
#define BC_iand 0x7e |
Definition at line 191 of file bytecode_info.h.
#define BC_iastore 0x4f |
Definition at line 144 of file bytecode_info.h.
#define BC_iconst_0 0x03 |
Definition at line 68 of file bytecode_info.h.
#define BC_iconst_1 0x04 |
Definition at line 69 of file bytecode_info.h.
#define BC_iconst_2 0x05 |
Definition at line 70 of file bytecode_info.h.
#define BC_iconst_3 0x06 |
Definition at line 71 of file bytecode_info.h.
#define BC_iconst_4 0x07 |
Definition at line 72 of file bytecode_info.h.
#define BC_iconst_5 0x08 |
Definition at line 73 of file bytecode_info.h.
#define BC_iconst_m1 0x02 |
Definition at line 67 of file bytecode_info.h.
#define BC_idiv 0x6c |
Definition at line 173 of file bytecode_info.h.
#define BC_if_acmpeq 0xa5 |
Definition at line 230 of file bytecode_info.h.
#define BC_if_acmpne 0xa6 |
Definition at line 231 of file bytecode_info.h.
#define BC_if_icmpeq 0x9f |
Definition at line 224 of file bytecode_info.h.
#define BC_if_icmpge 0xa2 |
Definition at line 227 of file bytecode_info.h.
#define BC_if_icmpgt 0xa3 |
Definition at line 228 of file bytecode_info.h.
#define BC_if_icmple 0xa4 |
Definition at line 229 of file bytecode_info.h.
#define BC_if_icmplt 0xa1 |
Definition at line 226 of file bytecode_info.h.
#define BC_if_icmpne 0xa0 |
Definition at line 225 of file bytecode_info.h.
#define BC_ifeq 0x99 |
Definition at line 218 of file bytecode_info.h.
#define BC_ifge 0x9c |
Definition at line 221 of file bytecode_info.h.
#define BC_ifgt 0x9d |
Definition at line 222 of file bytecode_info.h.
#define BC_ifle 0x9e |
Definition at line 223 of file bytecode_info.h.
#define BC_iflt 0x9b |
Definition at line 220 of file bytecode_info.h.
#define BC_ifne 0x9a |
Definition at line 219 of file bytecode_info.h.
#define BC_ifnonnull 0xc7 |
Definition at line 264 of file bytecode_info.h.
#define BC_ifnull 0xc6 |
Definition at line 263 of file bytecode_info.h.
#define BC_iinc 0x84 |
Definition at line 197 of file bytecode_info.h.
#define BC_iload 0x15 |
Definition at line 86 of file bytecode_info.h.
#define BC_iload_0 0x1a |
Definition at line 91 of file bytecode_info.h.
#define BC_iload_1 0x1b |
Definition at line 92 of file bytecode_info.h.
#define BC_iload_2 0x1c |
Definition at line 93 of file bytecode_info.h.
#define BC_iload_3 0x1d |
Definition at line 94 of file bytecode_info.h.
#define BC_impdep1 0xfe |
Definition at line 268 of file bytecode_info.h.
#define BC_impdep2 0xff |
Definition at line 269 of file bytecode_info.h.
#define BC_imul 0x68 |
Definition at line 169 of file bytecode_info.h.
#define BC_ineg 0x74 |
Definition at line 181 of file bytecode_info.h.
#define BC_instanceof 0xc1 |
Definition at line 258 of file bytecode_info.h.
#define BC_invokedynamic 0xba |
Definition at line 251 of file bytecode_info.h.
#define BC_invokeinterface 0xb9 |
Definition at line 250 of file bytecode_info.h.
#define BC_invokespecial 0xb7 |
Definition at line 248 of file bytecode_info.h.
#define BC_invokestatic 0xb8 |
Definition at line 249 of file bytecode_info.h.
#define BC_invokevirtual 0xb6 |
Definition at line 247 of file bytecode_info.h.
#define BC_ior 0x80 |
Definition at line 193 of file bytecode_info.h.
#define BC_irem 0x70 |
Definition at line 177 of file bytecode_info.h.
#define BC_ireturn 0xac |
Definition at line 237 of file bytecode_info.h.
#define BC_ishl 0x78 |
Definition at line 185 of file bytecode_info.h.
#define BC_ishr 0x7a |
Definition at line 187 of file bytecode_info.h.
#define BC_istore 0x36 |
Definition at line 119 of file bytecode_info.h.
#define BC_istore_0 0x3b |
Definition at line 124 of file bytecode_info.h.
#define BC_istore_1 0x3c |
Definition at line 125 of file bytecode_info.h.
#define BC_istore_2 0x3d |
Definition at line 126 of file bytecode_info.h.
#define BC_istore_3 0x3e |
Definition at line 127 of file bytecode_info.h.
#define BC_isub 0x64 |
Definition at line 165 of file bytecode_info.h.
#define BC_iushr 0x7c |
Definition at line 189 of file bytecode_info.h.
#define BC_ixor 0x82 |
Definition at line 195 of file bytecode_info.h.
#define BC_jsr 0xa8 |
Definition at line 233 of file bytecode_info.h.
#define BC_jsr_w 0xc9 |
Definition at line 266 of file bytecode_info.h.
#define BC_l2d 0x8a |
Definition at line 203 of file bytecode_info.h.
#define BC_l2f 0x89 |
Definition at line 202 of file bytecode_info.h.
#define BC_l2i 0x88 |
Definition at line 201 of file bytecode_info.h.
#define BC_ladd 0x61 |
Definition at line 162 of file bytecode_info.h.
#define BC_laload 0x2f |
Definition at line 112 of file bytecode_info.h.
#define BC_land 0x7f |
Definition at line 192 of file bytecode_info.h.
#define BC_lastore 0x50 |
Definition at line 145 of file bytecode_info.h.
#define BC_lcmp 0x94 |
Definition at line 213 of file bytecode_info.h.
#define BC_lconst_0 0x09 |
Definition at line 74 of file bytecode_info.h.
#define BC_lconst_1 0x0a |
Definition at line 75 of file bytecode_info.h.
#define BC_ldc 0x12 |
Definition at line 83 of file bytecode_info.h.
#define BC_ldc2_w 0x14 |
Definition at line 85 of file bytecode_info.h.
#define BC_ldc_w 0x13 |
Definition at line 84 of file bytecode_info.h.
#define BC_ldiv 0x6d |
Definition at line 174 of file bytecode_info.h.
#define BC_lload 0x16 |
Definition at line 87 of file bytecode_info.h.
#define BC_lload_0 0x1e |
Definition at line 95 of file bytecode_info.h.
#define BC_lload_1 0x1f |
Definition at line 96 of file bytecode_info.h.
#define BC_lload_2 0x20 |
Definition at line 97 of file bytecode_info.h.
#define BC_lload_3 0x21 |
Definition at line 98 of file bytecode_info.h.
#define BC_lmul 0x69 |
Definition at line 170 of file bytecode_info.h.
#define BC_lneg 0x75 |
Definition at line 182 of file bytecode_info.h.
#define BC_lookupswitch 0xab |
Definition at line 236 of file bytecode_info.h.
#define BC_lor 0x81 |
Definition at line 194 of file bytecode_info.h.
#define BC_lrem 0x71 |
Definition at line 178 of file bytecode_info.h.
#define BC_lreturn 0xad |
Definition at line 238 of file bytecode_info.h.
#define BC_lshl 0x79 |
Definition at line 186 of file bytecode_info.h.
#define BC_lshr 0x7b |
Definition at line 188 of file bytecode_info.h.
#define BC_lstore 0x37 |
Definition at line 120 of file bytecode_info.h.
#define BC_lstore_0 0x3f |
Definition at line 128 of file bytecode_info.h.
#define BC_lstore_1 0x40 |
Definition at line 129 of file bytecode_info.h.
#define BC_lstore_2 0x41 |
Definition at line 130 of file bytecode_info.h.
#define BC_lstore_3 0x42 |
Definition at line 131 of file bytecode_info.h.
#define BC_lsub 0x65 |
Definition at line 166 of file bytecode_info.h.
#define BC_lushr 0x7d |
Definition at line 190 of file bytecode_info.h.
#define BC_lxor 0x83 |
Definition at line 196 of file bytecode_info.h.
#define BC_monitorenter 0xc2 |
Definition at line 259 of file bytecode_info.h.
#define BC_monitorexit 0xc3 |
Definition at line 260 of file bytecode_info.h.
#define BC_multianewarray 0xc5 |
Definition at line 262 of file bytecode_info.h.
#define BC_new 0xbb |
Definition at line 252 of file bytecode_info.h.
#define BC_newarray 0xbc |
Definition at line 253 of file bytecode_info.h.
#define BC_nop 0x00 |
Definition at line 65 of file bytecode_info.h.
#define BC_pop 0x57 |
Definition at line 152 of file bytecode_info.h.
#define BC_pop2 0x58 |
Definition at line 153 of file bytecode_info.h.
#define BC_putfield 0xb5 |
Definition at line 246 of file bytecode_info.h.
#define BC_putstatic 0xb3 |
Definition at line 244 of file bytecode_info.h.
#define BC_ret 0xa9 |
Definition at line 234 of file bytecode_info.h.
#define BC_return 0xb1 |
Definition at line 242 of file bytecode_info.h.
#define BC_saload 0x35 |
Definition at line 118 of file bytecode_info.h.
#define BC_sastore 0x56 |
Definition at line 151 of file bytecode_info.h.
#define BC_sipush 0x11 |
Definition at line 82 of file bytecode_info.h.
#define BC_swap 0x5f |
Definition at line 160 of file bytecode_info.h.
#define BC_tableswitch 0xaa |
Definition at line 235 of file bytecode_info.h.
#define BC_wide 0xc4 |
Definition at line 261 of file bytecode_info.h.
typedef int8_t s1 |
Definition at line 59 of file bytecode_info.h.
typedef int16_t s2 |
Definition at line 60 of file bytecode_info.h.
typedef int32_t s4 |
Definition at line 61 of file bytecode_info.h.
typedef int64_t s8 |
Definition at line 62 of file bytecode_info.h.
typedef uint8_t u1 |
Definition at line 55 of file bytecode_info.h.
typedef uint16_t u2 |
Definition at line 56 of file bytecode_info.h.
typedef uint32_t u4 |
Definition at line 57 of file bytecode_info.h.
typedef uint64_t u8 |
Definition at line 58 of file bytecode_info.h.
|
extern |
Definition at line 1 of file bytecode_info.cpp.