projects
/
jpf-core.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
|
snapshot
Fixing a new bug: Considering parameters with Type and Type array, e.g., T and T[].
[jpf-core.git]
/
src
/
main
/
gov
/
nasa
/
jpf
/
jvm
/
bytecode
/
drwxr-xr-x
..
-rw-r--r--
1640
AALOAD.java
blob
|
history
|
raw
-rw-r--r--
4443
AASTORE.java
blob
|
history
|
raw
-rw-r--r--
1427
ACONST_NULL.java
blob
|
history
|
raw
-rw-r--r--
1950
ALOAD.java
blob
|
history
|
raw
-rw-r--r--
3129
ANEWARRAY.java
blob
|
history
|
raw
-rw-r--r--
2180
ARETURN.java
blob
|
history
|
raw
-rw-r--r--
2305
ARRAYLENGTH.java
blob
|
history
|
raw
-rw-r--r--
1926
ASTORE.java
blob
|
history
|
raw
-rw-r--r--
1565
ATHROW.java
blob
|
history
|
raw
-rw-r--r--
3498
ArrayLoadInstruction.java
blob
|
history
|
raw
-rw-r--r--
3990
ArrayStoreInstruction.java
blob
|
history
|
raw
-rw-r--r--
1802
BALOAD.java
blob
|
history
|
raw
-rw-r--r--
1918
BASTORE.java
blob
|
history
|
raw
-rw-r--r--
1620
BIPUSH.java
blob
|
history
|
raw
-rw-r--r--
1470
CALOAD.java
blob
|
history
|
raw
-rw-r--r--
1550
CASTORE.java
blob
|
history
|
raw
-rw-r--r--
3073
CHECKCAST.java
blob
|
history
|
raw
-rw-r--r--
1444
D2F.java
blob
|
history
|
raw
-rw-r--r--
1436
D2I.java
blob
|
history
|
raw
-rw-r--r--
1441
D2L.java
blob
|
history
|
raw
-rw-r--r--
1495
DADD.java
blob
|
history
|
raw
-rw-r--r--
1520
DALOAD.java
blob
|
history
|
raw
-rw-r--r--
1583
DASTORE.java
blob
|
history
|
raw
-rw-r--r--
1367
DCMPG.java
blob
|
history
|
raw
-rw-r--r--
1372
DCMPL.java
blob
|
history
|
raw
-rw-r--r--
1582
DCONST.java
blob
|
history
|
raw
-rw-r--r--
1498
DDIV.java
blob
|
history
|
raw
-rw-r--r--
2571
DIRECTCALLRETURN.java
blob
|
history
|
raw
-rw-r--r--
1831
DLOAD.java
blob
|
history
|
raw
-rw-r--r--
1504
DMUL.java
blob
|
history
|
raw
-rw-r--r--
1428
DNEG.java
blob
|
history
|
raw
-rw-r--r--
1627
DREM.java
blob
|
history
|
raw
-rw-r--r--
1628
DRETURN.java
blob
|
history
|
raw
-rw-r--r--
1850
DSTORE.java
blob
|
history
|
raw
-rw-r--r--
1504
DSUB.java
blob
|
history
|
raw
-rw-r--r--
1400
DUP.java
blob
|
history
|
raw
-rw-r--r--
1451
DUP2.java
blob
|
history
|
raw
-rw-r--r--
1358
DUP2_X1.java
blob
|
history
|
raw
-rw-r--r--
1449
DUP2_X2.java
blob
|
history
|
raw
-rw-r--r--
1458
DUP_X1.java
blob
|
history
|
raw
-rw-r--r--
1352
DUP_X2.java
blob
|
history
|
raw
-rw-r--r--
1450
DoubleCompareInstruction.java
blob
|
history
|
raw
-rw-r--r--
2690
EXECUTENATIVE.java
blob
|
history
|
raw
-rw-r--r--
1431
F2D.java
blob
|
history
|
raw
-rw-r--r--
1426
F2I.java
blob
|
history
|
raw
-rw-r--r--
1432
F2L.java
blob
|
history
|
raw
-rw-r--r--
1538
FADD.java
blob
|
history
|
raw
-rw-r--r--
1506
FALOAD.java
blob
|
history
|
raw
-rw-r--r--
1569
FASTORE.java
blob
|
history
|
raw
-rw-r--r--
1761
FCMPG.java
blob
|
history
|
raw
-rw-r--r--
1769
FCMPL.java
blob
|
history
|
raw
-rw-r--r--
1570
FCONST.java
blob
|
history
|
raw
-rw-r--r--
1536
FDIV.java
blob
|
history
|
raw
-rw-r--r--
1561
FINISHCLINIT.java
blob
|
history
|
raw
-rw-r--r--
1822
FLOAD.java
blob
|
history
|
raw
-rw-r--r--
1543
FMUL.java
blob
|
history
|
raw
-rw-r--r--
1427
FNEG.java
blob
|
history
|
raw
-rw-r--r--
1608
FREM.java
blob
|
history
|
raw
-rw-r--r--
1981
FRETURN.java
blob
|
history
|
raw
-rw-r--r--
1901
FSTORE.java
blob
|
history
|
raw
-rw-r--r--
1497
FSUB.java
blob
|
history
|
raw
-rw-r--r--
4124
GETFIELD.java
blob
|
history
|
raw
-rw-r--r--
3743
GETSTATIC.java
blob
|
history
|
raw
-rw-r--r--
2655
GOTO.java
blob
|
history
|
raw
-rw-r--r--
1175
GOTO_W.java
blob
|
history
|
raw
-rw-r--r--
2804
GetHelper.java
blob
|
history
|
raw
-rw-r--r--
1427
I2B.java
blob
|
history
|
raw
-rw-r--r--
1427
I2C.java
blob
|
history
|
raw
-rw-r--r--
1428
I2D.java
blob
|
history
|
raw
-rw-r--r--
1420
I2F.java
blob
|
history
|
raw
-rw-r--r--
1418
I2L.java
blob
|
history
|
raw
-rw-r--r--
1422
I2S.java
blob
|
history
|
raw
-rw-r--r--
1445
IADD.java
blob
|
history
|
raw
-rw-r--r--
1478
IALOAD.java
blob
|
history
|
raw
-rw-r--r--
1449
IAND.java
blob
|
history
|
raw
-rw-r--r--
1540
IASTORE.java
blob
|
history
|
raw
-rw-r--r--
1960
ICONST.java
blob
|
history
|
raw
-rw-r--r--
1604
IDIV.java
blob
|
history
|
raw
-rw-r--r--
1310
IFEQ.java
blob
|
history
|
raw
-rw-r--r--
1307
IFGE.java
blob
|
history
|
raw
-rw-r--r--
1306
IFGT.java
blob
|
history
|
raw
-rw-r--r--
1306
IFLE.java
blob
|
history
|
raw
-rw-r--r--
1306
IFLT.java
blob
|
history
|
raw
-rw-r--r--
1307
IFNE.java
blob
|
history
|
raw
-rw-r--r--
1351
IFNONNULL.java
blob
|
history
|
raw
-rw-r--r--
1321
IFNULL.java
blob
|
history
|
raw
-rw-r--r--
1368
IF_ACMPEQ.java
blob
|
history
|
raw
-rw-r--r--
1376
IF_ACMPNE.java
blob
|
history
|
raw
-rw-r--r--
1361
IF_ICMPEQ.java
blob
|
history
|
raw
-rw-r--r--
1361
IF_ICMPGE.java
blob
|
history
|
raw
-rw-r--r--
1360
IF_ICMPGT.java
blob
|
history
|
raw
-rw-r--r--
1361
IF_ICMPLE.java
blob
|
history
|
raw
-rw-r--r--
1360
IF_ICMPLT.java
blob
|
history
|
raw
-rw-r--r--
1361
IF_ICMPNE.java
blob
|
history
|
raw
-rw-r--r--
1942
IINC.java
blob
|
history
|
raw
-rw-r--r--
1812
ILOAD.java
blob
|
history
|
raw
-rw-r--r--
1447
IMUL.java
blob
|
history
|
raw
-rw-r--r--
1407
INEG.java
blob
|
history
|
raw
-rw-r--r--
2397
INSTANCEOF.java
blob
|
history
|
raw
-rw-r--r--
4394
INVOKECG.java
blob
|
history
|
raw
-rw-r--r--
3333
INVOKECLINIT.java
blob
|
history
|
raw
-rw-r--r--
4359
INVOKEDYNAMIC.java
blob
|
history
|
raw
-rw-r--r--
1574
INVOKEINTERFACE.java
blob
|
history
|
raw
-rw-r--r--
4261
INVOKESPECIAL.java
blob
|
history
|
raw
-rw-r--r--
5724
INVOKESTATIC.java
blob
|
history
|
raw
-rw-r--r--
1499
INVOKEVIRTUAL.java
blob
|
history
|
raw
-rw-r--r--
1447
IOR.java
blob
|
history
|
raw
-rw-r--r--
1571
IREM.java
blob
|
history
|
raw
-rw-r--r--
1948
IRETURN.java
blob
|
history
|
raw
-rw-r--r--
1449
ISHL.java
blob
|
history
|
raw
-rw-r--r--
1462
ISHR.java
blob
|
history
|
raw
-rw-r--r--
1905
ISTORE.java
blob
|
history
|
raw
-rw-r--r--
1447
ISUB.java
blob
|
history
|
raw
-rw-r--r--
1460
IUSHR.java
blob
|
history
|
raw
-rw-r--r--
1449
IXOR.java
blob
|
history
|
raw
-rw-r--r--
4587
IfInstruction.java
blob
|
history
|
raw
-rw-r--r--
2432
InstanceInvocation.java
blob
|
history
|
raw
-rw-r--r--
19746
InstructionFactory.java
blob
|
history
|
raw
-rw-r--r--
1656
JSR.java
blob
|
history
|
raw
-rw-r--r--
1691
JSR_W.java
blob
|
history
|
raw
-rw-r--r--
3302
JVMArrayElementInstruction.java
blob
|
history
|
raw
-rw-r--r--
1201
JVMFieldInstruction.java
blob
|
history
|
raw
-rw-r--r--
1313
JVMInstanceFieldInstruction.java
blob
|
history
|
raw
-rw-r--r--
1164
JVMInstruction.java
blob
|
history
|
raw
-rw-r--r--
6813
JVMInstructionVisitor.java
blob
|
history
|
raw
-rw-r--r--
9057
JVMInstructionVisitorAdapter.java
blob
|
history
|
raw
-rw-r--r--
8223
JVMInvokeInstruction.java
blob
|
history
|
raw
-rw-r--r--
2796
JVMLocalVariableInstruction.java
blob
|
history
|
raw
-rw-r--r--
5860
JVMReturnInstruction.java
blob
|
history
|
raw
-rw-r--r--
1804
JVMStaticFieldInstruction.java
blob
|
history
|
raw
-rw-r--r--
1432
L2D.java
blob
|
history
|
raw
-rw-r--r--
1430
L2F.java
blob
|
history
|
raw
-rw-r--r--
1428
L2I.java
blob
|
history
|
raw
-rw-r--r--
1485
LADD.java
blob
|
history
|
raw
-rw-r--r--
1490
LALOAD.java
blob
|
history
|
raw
-rw-r--r--
1495
LAND.java
blob
|
history
|
raw
-rw-r--r--
1552
LASTORE.java
blob
|
history
|
raw
-rw-r--r--
1698
LCMP.java
blob
|
history
|
raw
-rw-r--r--
1736
LCONST.java
blob
|
history
|
raw
-rw-r--r--
3802
LDC.java
blob
|
history
|
raw
-rw-r--r--
2021
LDC2_W.java
blob
|
history
|
raw
-rw-r--r--
1372
LDC_W.java
blob
|
history
|
raw
-rw-r--r--
1613
LDIV.java
blob
|
history
|
raw
-rw-r--r--
1821
LLOAD.java
blob
|
history
|
raw
-rw-r--r--
1490
LMUL.java
blob
|
history
|
raw
-rw-r--r--
1420
LNEG.java
blob
|
history
|
raw
-rw-r--r--
1536
LOOKUPSWITCH.java
blob
|
history
|
raw
-rw-r--r--
1491
LOR.java
blob
|
history
|
raw
-rw-r--r--
1491
LREM.java
blob
|
history
|
raw
-rw-r--r--
1556
LRETURN.java
blob
|
history
|
raw
-rw-r--r--
1454
LSHL.java
blob
|
history
|
raw
-rw-r--r--
1471
LSHR.java
blob
|
history
|
raw
-rw-r--r--
1907
LSTORE.java
blob
|
history
|
raw
-rw-r--r--
1490
LSUB.java
blob
|
history
|
raw
-rw-r--r--
1471
LUSHR.java
blob
|
history
|
raw
-rw-r--r--
1493
LXOR.java
blob
|
history
|
raw
-rw-r--r--
1540
LockInstruction.java
blob
|
history
|
raw
-rw-r--r--
1478
LongArrayLoadInstruction.java
blob
|
history
|
raw
-rw-r--r--
2110
LongArrayStoreInstruction.java
blob
|
history
|
raw
-rw-r--r--
3761
LongReturn.java
blob
|
history
|
raw
-rw-r--r--
3043
MONITORENTER.java
blob
|
history
|
raw
-rw-r--r--
2482
MONITOREXIT.java
blob
|
history
|
raw
-rw-r--r--
3642
MULTIANEWARRAY.java
blob
|
history
|
raw
-rw-r--r--
6155
NATIVERETURN.java
blob
|
history
|
raw
-rw-r--r--
2966
NEW.java
blob
|
history
|
raw
-rw-r--r--
3000
NEWARRAY.java
blob
|
history
|
raw
-rw-r--r--
1303
NOP.java
blob
|
history
|
raw
-rw-r--r--
1603
NewArrayInstruction.java
blob
|
history
|
raw
-rw-r--r--
1385
POP.java
blob
|
history
|
raw
-rw-r--r--
1400
POP2.java
blob
|
history
|
raw
-rw-r--r--
4615
PUTFIELD.java
blob
|
history
|
raw
-rw-r--r--
4211
PUTSTATIC.java
blob
|
history
|
raw
-rw-r--r--
2669
PutHelper.java
blob
|
history
|
raw
-rw-r--r--
1622
RET.java
blob
|
history
|
raw
-rw-r--r--
3014
RETURN.java
blob
|
history
|
raw
-rw-r--r--
1971
RUNSTART.java
blob
|
history
|
raw
-rw-r--r--
1485
SALOAD.java
blob
|
history
|
raw
-rw-r--r--
1551
SASTORE.java
blob
|
history
|
raw
-rw-r--r--
1582
SIPUSH.java
blob
|
history
|
raw
-rw-r--r--
1427
SWAP.java
blob
|
history
|
raw
-rw-r--r--
3976
StaticFieldInstruction.java
blob
|
history
|
raw
-rw-r--r--
4015
SwitchInstruction.java
blob
|
history
|
raw
-rw-r--r--
2361
TABLESWITCH.java
blob
|
history
|
raw
-rw-r--r--
6294
VirtualInvocation.java
blob
|
history
|
raw
-rw-r--r--
1654
WIDE.java
blob
|
history
|
raw