019b3836-3d68-7225-9219-bedaaeaa0141
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 4719 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 4720 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 47940 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 47941 | capability.graph | complete | 1 / 3 | 1 week ago |
| 47942 | detector.run | complete | 1 / 3 | 1 week ago |
| 47943 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0111 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x095ea7b3 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0113 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x13af4035 00000025: EQ 00000026: PUSH2 0x0188 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x18160ddd 00000030: EQ 00000031: PUSH2 0x01ad 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x23b872dd 0000003b: EQ 0000003c: PUSH2 0x01b6 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x2b297f9e 00000046: EQ 00000047: PUSH2 0x023d 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x3416f9d4 00000051: EQ 00000052: PUSH2 0x0260 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x3f2965f0 0000005c: EQ 0000005d: PUSH2 0x0276 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x40c10f19 00000067: EQ 00000068: PUSH2 0x029b 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x4162169f 00000072: EQ 00000073: PUSH2 0x02cb 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x4230bb10 0000007d: EQ 0000007e: PUSH2 0x02dd 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x4e30a66c 00000088: EQ 00000089: PUSH2 0x02ef 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x6637b882 00000093: EQ 00000094: PUSH2 0x0305 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x70a08231 0000009e: EQ 0000009f: PUSH2 0x032a 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x79502c55 000000a9: EQ 000000aa: PUSH2 0x034f 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x8da5cb5b 000000b4: EQ 000000b5: PUSH2 0x0361 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xa9059cbb 000000bf: EQ 000000c0: PUSH2 0x0373 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xac900c2d 000000ca: EQ 000000cb: PUSH2 0x03cd 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xc74c251f 000000d5: EQ 000000d6: PUSH2 0x03f2 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xcf309012 000000e0: EQ 000000e1: PUSH2 0x0408 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xdd62ed3e 000000eb: EQ 000000ec: PUSH2 0x041b 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0xe42bff66 000000f6: EQ 000000f7: PUSH2 0x044f 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0xe74b9d11 00000101: EQ 00000102: PUSH2 0x047f 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0xee95feaf 0000010c: EQ 0000010d: PUSH2 0x0492 00000110: JUMPI 00000111: JUMPDEST 00000112: STOP 00000113: JUMPDEST 00000114: PUSH2 0x04b9 00000117: PUSH1 0x04 00000119: CALLDATALOAD 0000011a: PUSH1 0x24 0000011c: CALLDATALOAD 0000011d: CALLER 0000011e: PUSH1 0x01 00000120: PUSH1 0xa0 00000122: PUSH1 0x02 00000124: EXP 00000125: SUB 00000126: SWAP1 00000127: DUP2 00000128: AND 00000129: PUSH1 0x00 0000012b: DUP2 0000012c: DUP2 0000012d: MSTORE 0000012e: PUSH1 0x06 00000130: PUSH1 0x20 00000132: SWAP1 00000133: DUP2 00000134: MSTORE 00000135: PUSH1 0x40 00000137: DUP1 00000138: DUP4 00000139: KECCAK256 0000013a: SWAP5 0000013b: DUP8 0000013c: AND 0000013d: DUP1 0000013e: DUP5 0000013f: MSTORE 00000140: SWAP5 00000141: DUP3 00000142: MSTORE 00000143: DUP1 00000144: DUP4 00000145: KECCAK256 00000146: DUP7 00000147: SWAP1 00000148: SSTORE 00000149: DUP1 0000014a: MLOAD 0000014b: DUP7 0000014c: DUP2 0000014d: MSTORE 0000014e: SWAP1 0000014f: MLOAD 00000150: SWAP3 00000151: SWAP5 00000152: SWAP4 00000153: SWAP3 00000154: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00000175: SWAP3 00000176: SWAP2 00000177: DUP2 00000178: SWAP1 00000179: SUB 0000017a: SWAP1 0000017b: SWAP2 0000017c: ADD 0000017d: SWAP1 0000017e: LOG3 0000017f: POP 00000180: PUSH1 0x01 00000182: JUMPDEST 00000183: SWAP3 00000184: SWAP2 00000185: POP 00000186: POP 00000187: JUMP 00000188: JUMPDEST 00000189: PUSH2 0x04b9 0000018c: PUSH1 0x04 0000018e: CALLDATALOAD 0000018f: PUSH1 0x02 00000191: SLOAD 00000192: PUSH1 0x00 00000194: SWAP1 00000195: PUSH1 0x01 00000197: PUSH1 0xa0 00000199: PUSH1 0x02 0000019b: EXP 0000019c: SUB 0000019d: SWAP1 0000019e: DUP2 0000019f: AND 000001a0: CALLER 000001a1: SWAP1 000001a2: SWAP2 000001a3: AND 000001a4: EQ 000001a5: PUSH2 0x0832 000001a8: JUMPI 000001a9: PUSH2 0x0002 000001ac: JUMP 000001ad: JUMPDEST 000001ae: PUSH2 0x04b9 000001b1: PUSH1 0x04 000001b3: SLOAD 000001b4: DUP2 000001b5: JUMP 000001b6: JUMPDEST 000001b7: PUSH2 0x04b9 000001ba: PUSH1 0x04 000001bc: CALLDATALOAD 000001bd: PUSH1 0x24 000001bf: CALLDATALOAD 000001c0: PUSH1 0x44 000001c2: CALLDATALOAD 000001c3: PUSH1 0x01 000001c5: PUSH1 0xa0 000001c7: PUSH1 0x02 000001c9: EXP 000001ca: SUB 000001cb: DUP4 000001cc: AND 000001cd: PUSH1 0x00 000001cf: SWAP1 000001d0: DUP2 000001d1: MSTORE 000001d2: PUSH1 0x05 000001d4: PUSH1 0x20 000001d6: MSTORE 000001d7: PUSH1 0x40 000001d9: DUP2 000001da: KECCAK256 000001db: SLOAD 000001dc: DUP3 000001dd: SWAP1 000001de: LT 000001df: DUP1 000001e0: ISZERO 000001e1: SWAP1 000001e2: PUSH2 0x0209 000001e5: JUMPI 000001e6: POP 000001e7: PUSH1 0x06 000001e9: PUSH1 0x20 000001eb: SWAP1 000001ec: DUP2 000001ed: MSTORE 000001ee: PUSH1 0x40 000001f0: DUP1 000001f1: DUP4 000001f2: KECCAK256 000001f3: CALLER 000001f4: PUSH1 0x01 000001f6: PUSH1 0xa0 000001f8: PUSH1 0x02 000001fa: EXP 000001fb: SUB 000001fc: AND 000001fd: DUP5 000001fe: MSTORE 000001ff: SWAP1 00000200: SWAP2 00000201: MSTORE 00000202: DUP2 00000203: KECCAK256 00000204: SLOAD 00000205: DUP3 00000206: SWAP1 00000207: LT 00000208: ISZERO 00000209: JUMPDEST 0000020a: DUP1 0000020b: ISZERO 0000020c: PUSH2 0x0215 0000020f: JUMPI 00000210: POP 00000211: PUSH1 0x00 00000213: DUP3 00000214: GT 00000215: JUMPDEST 00000216: ISZERO 00000217: PUSH2 0x05a9 0000021a: JUMPI 0000021b: PUSH1 0x01 0000021d: PUSH1 0xa0 0000021f: PUSH1 0x02 00000221: EXP 00000222: SUB 00000223: DUP4 00000224: AND 00000225: PUSH1 0x00 00000227: SWAP1 00000228: DUP2 00000229: MSTORE 0000022a: PUSH1 0x05 0000022c: PUSH1 0x20 0000022e: MSTORE 0000022f: PUSH1 0x40 00000231: SWAP1 00000232: KECCAK256 00000233: SLOAD 00000234: PUSH2 0x05b4 00000237: SWAP1 00000238: DUP4 00000239: PUSH2 0x03fc 0000023c: JUMP 0000023d: JUMPDEST 0000023e: PUSH2 0x04b9 00000241: PUSH1 0x04 00000243: CALLDATALOAD 00000244: PUSH1 0x00 00000246: DUP1 00000247: SLOAD 00000248: PUSH1 0x01 0000024a: PUSH1 0xa0 0000024c: PUSH1 0x02 0000024e: EXP 0000024f: SUB 00000250: SWAP1 00000251: DUP2 00000252: AND 00000253: CALLER 00000254: SWAP1 00000255: SWAP2 00000256: AND 00000257: EQ 00000258: PUSH2 0x076c 0000025b: JUMPI 0000025c: PUSH2 0x0002 0000025f: JUMP 00000260: JUMPDEST 00000261: PUSH2 0x04b9 00000264: PUSH1 0x04 00000266: CALLDATALOAD 00000267: PUSH1 0x24 00000269: CALLDATALOAD 0000026a: JUMPDEST 0000026b: PUSH1 0x00 0000026d: PUSH2 0x04fc 00000270: DUP4 00000271: DUP4 00000272: PUSH2 0x0489 00000275: JUMP 00000276: JUMPDEST 00000277: PUSH2 0x04b9 0000027a: PUSH1 0x04 0000027c: CALLDATALOAD 0000027d: PUSH1 0x02 0000027f: SLOAD 00000280: PUSH1 0x00 00000282: SWAP1 00000283: PUSH1 0x01 00000285: PUSH1 0xa0 00000287: PUSH1 0x02 00000289: EXP 0000028a: SUB 0000028b: SWAP1 0000028c: DUP2 0000028d: AND 0000028e: CALLER 0000028f: SWAP1 00000290: SWAP2 00000291: AND 00000292: EQ 00000293: PUSH2 0x07de 00000296: JUMPI 00000297: PUSH2 0x0002 0000029a: JUMP 0000029b: JUMPDEST 0000029c: PUSH2 0x04b9 0000029f: PUSH1 0x04 000002a1: CALLDATALOAD 000002a2: PUSH1 0x24 000002a4: CALLDATALOAD 000002a5: CALLER 000002a6: PUSH1 0x01 000002a8: PUSH1 0xa0 000002aa: PUSH1 0x02 000002ac: EXP 000002ad: SUB 000002ae: AND 000002af: PUSH1 0x00 000002b1: SWAP1 000002b2: DUP2 000002b3: MSTORE 000002b4: PUSH1 0x07 000002b6: PUSH1 0x20 000002b8: MSTORE 000002b9: PUSH1 0x40 000002bb: DUP2 000002bc: KECCAK256 000002bd: SLOAD 000002be: PUSH1 0xff 000002c0: AND 000002c1: ISZERO 000002c2: ISZERO 000002c3: PUSH2 0x068b 000002c6: JUMPI 000002c7: PUSH2 0x0002 000002ca: JUMP 000002cb: JUMPDEST 000002cc: PUSH2 0x04cb 000002cf: PUSH1 0x02 000002d1: SLOAD 000002d2: PUSH1 0x01 000002d4: PUSH1 0xa0 000002d6: PUSH1 0x02 000002d8: EXP 000002d9: SUB 000002da: AND 000002db: DUP2 000002dc: JUMP 000002dd: JUMPDEST 000002de: PUSH2 0x04cb 000002e1: PUSH1 0x03 000002e3: SLOAD 000002e4: PUSH1 0x01 000002e6: PUSH1 0xa0 000002e8: PUSH1 0x02 000002ea: EXP 000002eb: SUB 000002ec: AND 000002ed: DUP2 000002ee: JUMP 000002ef: JUMPDEST 000002f0: PUSH2 0x04b9 000002f3: PUSH1 0x04 000002f5: CALLDATALOAD 000002f6: PUSH1 0x24 000002f8: CALLDATALOAD 000002f9: JUMPDEST 000002fa: DUP2 000002fb: DUP2 000002fc: ADD 000002fd: DUP3 000002fe: SWAP1 000002ff: LT 00000300: ISZERO 00000301: PUSH2 0x0182 00000304: JUMP 00000305: JUMPDEST 00000306: PUSH2 0x04b9 00000309: PUSH1 0x04 0000030b: CALLDATALOAD 0000030c: PUSH1 0x02 0000030e: SLOAD 0000030f: PUSH1 0x00 00000311: SWAP1 00000312: PUSH1 0x01 00000314: PUSH1 0xa0 00000316: PUSH1 0x02 00000318: EXP 00000319: SUB 0000031a: SWAP1 0000031b: DUP2 0000031c: AND 0000031d: CALLER 0000031e: SWAP1 0000031f: SWAP2 00000320: AND 00000321: EQ 00000322: PUSH2 0x07c4 00000325: JUMPI 00000326: PUSH2 0x0002 00000329: JUMP 0000032a: JUMPDEST 0000032b: PUSH2 0x04b9 0000032e: PUSH1 0x04 00000330: CALLDATALOAD 00000331: PUSH1 0x01 00000333: PUSH1 0xa0 00000335: PUSH1 0x02 00000337: EXP 00000338: SUB 00000339: DUP2 0000033a: AND 0000033b: PUSH1 0x00 0000033d: SWAP1 0000033e: DUP2 0000033f: MSTORE 00000340: PUSH1 0x05 00000342: PUSH1 0x20 00000344: MSTORE 00000345: PUSH1 0x40 00000347: SWAP1 00000348: KECCAK256 00000349: SLOAD 0000034a: JUMPDEST 0000034b: SWAP2 0000034c: SWAP1 0000034d: POP 0000034e: JUMP 0000034f: JUMPDEST 00000350: PUSH2 0x04cb 00000353: PUSH1 0x01 00000355: SLOAD 00000356: PUSH1 0x01 00000358: PUSH1 0xa0 0000035a: PUSH1 0x02 0000035c: EXP 0000035d: SUB 0000035e: AND 0000035f: DUP2 00000360: JUMP 00000361: JUMPDEST 00000362: PUSH2 0x04cb 00000365: PUSH1 0x00 00000367: SLOAD 00000368: PUSH1 0x01 0000036a: PUSH1 0xa0 0000036c: PUSH1 0x02 0000036e: EXP 0000036f: SUB 00000370: AND 00000371: DUP2 00000372: JUMP 00000373: JUMPDEST 00000374: PUSH2 0x04b9 00000377: PUSH1 0x04 00000379: CALLDATALOAD 0000037a: PUSH1 0x24 0000037c: CALLDATALOAD 0000037d: CALLER 0000037e: PUSH1 0x01 00000380: PUSH1 0xa0 00000382: PUSH1 0x02 00000384: EXP 00000385: SUB 00000386: AND 00000387: PUSH1 0x00 00000389: SWAP1 0000038a: DUP2 0000038b: MSTORE 0000038c: PUSH1 0x05 0000038e: PUSH1 0x20 00000390: MSTORE 00000391: PUSH1 0x40 00000393: DUP2 00000394: KECCAK256 00000395: SLOAD 00000396: DUP3 00000397: SWAP1 00000398: LT 00000399: DUP1 0000039a: ISZERO 0000039b: SWAP1 0000039c: PUSH2 0x03a5 0000039f: JUMPI 000003a0: POP 000003a1: PUSH1 0x00 000003a3: DUP3 000003a4: GT 000003a5: JUMPDEST 000003a6: ISZERO 000003a7: PUSH2 0x0510 000003aa: JUMPI 000003ab: CALLER 000003ac: PUSH1 0x01 000003ae: PUSH1 0xa0 000003b0: PUSH1 0x02 000003b2: EXP 000003b3: SUB 000003b4: AND 000003b5: PUSH1 0x00 000003b7: SWAP1 000003b8: DUP2 000003b9: MSTORE 000003ba: PUSH1 0x05 000003bc: PUSH1 0x20 000003be: MSTORE 000003bf: PUSH1 0x40 000003c1: SWAP1 000003c2: KECCAK256 000003c3: SLOAD 000003c4: PUSH2 0x0519 000003c7: SWAP1 000003c8: DUP4 000003c9: PUSH2 0x026a 000003cc: JUMP 000003cd: JUMPDEST 000003ce: PUSH2 0x04b9 000003d1: PUSH1 0x04 000003d3: CALLDATALOAD 000003d4: PUSH1 0x02 000003d6: SLOAD 000003d7: PUSH1 0x00 000003d9: SWAP1 000003da: PUSH1 0x01 000003dc: PUSH1 0xa0 000003de: PUSH1 0x02 000003e0: EXP 000003e1: SUB 000003e2: SWAP1 000003e3: DUP2 000003e4: AND 000003e5: CALLER 000003e6: SWAP1 000003e7: SWAP2 000003e8: AND 000003e9: EQ 000003ea: PUSH2 0x080a 000003ed: JUMPI 000003ee: PUSH2 0x0002 000003f1: JUMP 000003f2: JUMPDEST 000003f3: PUSH2 0x04b9 000003f6: PUSH1 0x04 000003f8: CALLDATALOAD 000003f9: PUSH1 0x24 000003fb: CALLDATALOAD 000003fc: JUMPDEST 000003fd: PUSH1 0x00 000003ff: PUSH2 0x04e8 00000402: DUP4 00000403: DUP4 00000404: PUSH2 0x02f9 00000407: JUMP 00000408: JUMPDEST 00000409: PUSH2 0x04b9 0000040c: PUSH1 0x01 0000040e: SLOAD 0000040f: PUSH1 0xa0 00000411: PUSH1 0x02 00000413: EXP 00000414: SWAP1 00000415: DIV 00000416: PUSH1 0xff 00000418: AND 00000419: DUP2 0000041a: JUMP 0000041b: JUMPDEST 0000041c: PUSH2 0x04b9 0000041f: PUSH1 0x04 00000421: CALLDATALOAD 00000422: PUSH1 0x24 00000424: CALLDATALOAD 00000425: PUSH1 0x01 00000427: PUSH1 0xa0 00000429: PUSH1 0x02 0000042b: EXP 0000042c: SUB 0000042d: DUP3 0000042e: DUP2 0000042f: AND 00000430: PUSH1 0x00 00000432: SWAP1 00000433: DUP2 00000434: MSTORE 00000435: PUSH1 0x06 00000437: PUSH1 0x20 00000439: SWAP1 0000043a: DUP2 0000043b: MSTORE 0000043c: PUSH1 0x40 0000043e: DUP1 0000043f: DUP4 00000440: KECCAK256 00000441: SWAP4 00000442: DUP6 00000443: AND 00000444: DUP4 00000445: MSTORE 00000446: SWAP3 00000447: SWAP1 00000448: MSTORE 00000449: KECCAK256 0000044a: SLOAD 0000044b: PUSH2 0x0182 0000044e: JUMP 0000044f: JUMPDEST 00000450: PUSH2 0x04b9 00000453: PUSH1 0x04 00000455: CALLDATALOAD 00000456: PUSH1 0x24 00000458: CALLDATALOAD 00000459: CALLER 0000045a: PUSH1 0x01 0000045c: PUSH1 0xa0 0000045e: PUSH1 0x02 00000460: EXP 00000461: SUB 00000462: AND 00000463: PUSH1 0x00 00000465: SWAP1 00000466: DUP2 00000467: MSTORE 00000468: PUSH1 0x07 0000046a: PUSH1 0x20 0000046c: MSTORE 0000046d: PUSH1 0x40 0000046f: DUP2 00000470: KECCAK256 00000471: SLOAD 00000472: PUSH1 0xff 00000474: AND 00000475: ISZERO 00000476: ISZERO 00000477: PUSH2 0x06e1 0000047a: JUMPI 0000047b: PUSH2 0x0002 0000047e: JUMP 0000047f: JUMPDEST 00000480: PUSH2 0x04b9 00000483: PUSH1 0x04 00000485: CALLDATALOAD 00000486: PUSH1 0x24 00000488: CALLDATALOAD 00000489: JUMPDEST 0000048a: DUP2 0000048b: DUP2 0000048c: GT 0000048d: ISZERO 0000048e: PUSH2 0x0182 00000491: JUMP 00000492: JUMPDEST 00000493: PUSH2 0x04b9 00000496: PUSH1 0x04 00000498: CALLDATALOAD 00000499: PUSH1 0x01 0000049b: PUSH1 0xa0 0000049d: PUSH1 0x02 0000049f: EXP 000004a0: SUB 000004a1: DUP2 000004a2: AND 000004a3: PUSH1 0x00 000004a5: SWAP1 000004a6: DUP2 000004a7: MSTORE 000004a8: PUSH1 0x07 000004aa: PUSH1 0x20 000004ac: MSTORE 000004ad: PUSH1 0x40 000004af: SWAP1 000004b0: KECCAK256 000004b1: SLOAD 000004b2: PUSH1 0xff 000004b4: AND 000004b5: PUSH2 0x034a 000004b8: JUMP 000004b9: JUMPDEST 000004ba: PUSH1 0x40 000004bc: DUP1 000004bd: MLOAD 000004be: SWAP2 000004bf: DUP3 000004c0: MSTORE 000004c1: MLOAD 000004c2: SWAP1 000004c3: DUP2 000004c4: SWAP1 000004c5: SUB 000004c6: PUSH1 0x20 000004c8: ADD 000004c9: SWAP1 000004ca: RETURN 000004cb: JUMPDEST 000004cc: PUSH1 0x40 000004ce: DUP1 000004cf: MLOAD 000004d0: PUSH1 0x01 000004d2: PUSH1 0xa0 000004d4: PUSH1 0x02 000004d6: EXP 000004d7: SUB 000004d8: SWAP3 000004d9: SWAP1 000004da: SWAP3 000004db: AND 000004dc: DUP3 000004dd: MSTORE 000004de: MLOAD 000004df: SWAP1 000004e0: DUP2 000004e1: SWAP1 000004e2: SUB 000004e3: PUSH1 0x20 000004e5: ADD 000004e6: SWAP1 000004e7: RETURN 000004e8: JUMPDEST 000004e9: ISZERO 000004ea: ISZERO 000004eb: PUSH2 0x04f3 000004ee: JUMPI 000004ef: PUSH2 0x0002 000004f2: JUMP 000004f3: JUMPDEST 000004f4: POP 000004f5: DUP2 000004f6: DUP2 000004f7: ADD 000004f8: PUSH2 0x0182 000004fb: JUMP 000004fc: JUMPDEST 000004fd: ISZERO 000004fe: ISZERO 000004ff: PUSH2 0x0507 00000502: JUMPI 00000503: PUSH2 0x0002 00000506: JUMP 00000507: JUMPDEST 00000508: POP 00000509: DUP1 0000050a: DUP3 0000050b: SUB 0000050c: PUSH2 0x0182 0000050f: JUMP 00000510: JUMPDEST 00000511: POP 00000512: PUSH1 0x00 00000514: JUMPDEST 00000515: PUSH2 0x0182 00000518: JUMP 00000519: JUMPDEST 0000051a: CALLER 0000051b: PUSH1 0x01 0000051d: PUSH1 0xa0 0000051f: PUSH1 0x02 00000521: EXP 00000522: SUB 00000523: SWAP1 00000524: DUP2 00000525: AND 00000526: PUSH1 0x00 00000528: SWAP1 00000529: DUP2 0000052a: MSTORE 0000052b: PUSH1 0x05 0000052d: PUSH1 0x20 0000052f: MSTORE 00000530: PUSH1 0x40 00000532: DUP1 00000533: DUP3 00000534: KECCAK256 00000535: SWAP4 00000536: SWAP1 00000537: SWAP4 00000538: SSTORE 00000539: SWAP1 0000053a: DUP6 0000053b: AND 0000053c: DUP2 0000053d: MSTORE 0000053e: KECCAK256 0000053f: SLOAD 00000540: PUSH2 0x0549 00000543: SWAP1 00000544: DUP4 00000545: PUSH2 0x03fc 00000548: JUMP 00000549: JUMPDEST 0000054a: PUSH1 0x01 0000054c: PUSH1 0xa0 0000054e: PUSH1 0x02 00000550: EXP 00000551: SUB 00000552: DUP5 00000553: DUP2 00000554: AND 00000555: PUSH1 0x00 00000557: DUP2 00000558: DUP2 00000559: MSTORE 0000055a: PUSH1 0x05 0000055c: PUSH1 0x20 0000055e: SWAP1 0000055f: DUP2 00000560: MSTORE 00000561: PUSH1 0x40 00000563: SWAP2 00000564: DUP3 00000565: SWAP1 00000566: KECCAK256 00000567: SWAP5 00000568: SWAP1 00000569: SWAP5 0000056a: SSTORE 0000056b: DUP1 0000056c: MLOAD 0000056d: DUP7 0000056e: DUP2 0000056f: MSTORE 00000570: SWAP1 00000571: MLOAD 00000572: SWAP2 00000573: SWAP4 00000574: CALLER 00000575: SWAP1 00000576: SWAP4 00000577: AND 00000578: SWAP3 00000579: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000059a: SWAP3 0000059b: SWAP2 0000059c: DUP3 0000059d: SWAP1 0000059e: SUB 0000059f: ADD 000005a0: SWAP1 000005a1: LOG3 000005a2: POP 000005a3: PUSH1 0x01 000005a5: PUSH2 0x0514 000005a8: JUMP 000005a9: JUMPDEST 000005aa: POP 000005ab: PUSH1 0x00 000005ad: JUMPDEST 000005ae: SWAP4 000005af: SWAP3 000005b0: POP 000005b1: POP 000005b2: POP 000005b3: JUMP 000005b4: JUMPDEST 000005b5: PUSH1 0x01 000005b7: PUSH1 0xa0 000005b9: PUSH1 0x02 000005bb: EXP 000005bc: SUB 000005bd: DUP5 000005be: DUP2 000005bf: AND 000005c0: PUSH1 0x00 000005c2: SWAP1 000005c3: DUP2 000005c4: MSTORE 000005c5: PUSH1 0x05 000005c7: PUSH1 0x20 000005c9: MSTORE 000005ca: PUSH1 0x40 000005cc: DUP1 000005cd: DUP3 000005ce: KECCAK256 000005cf: SWAP4 000005d0: SWAP1 000005d1: SWAP4 000005d2: SSTORE 000005d3: SWAP1 000005d4: DUP7 000005d5: AND 000005d6: DUP2 000005d7: MSTORE 000005d8: KECCAK256 000005d9: SLOAD 000005da: PUSH2 0x05e3 000005dd: SWAP1 000005de: DUP4 000005df: PUSH2 0x026a 000005e2: JUMP 000005e3: JUMPDEST 000005e4: PUSH1 0x01 000005e6: PUSH1 0xa0 000005e8: PUSH1 0x02 000005ea: EXP 000005eb: SUB 000005ec: DUP6 000005ed: DUP2 000005ee: AND 000005ef: PUSH1 0x00 000005f1: SWAP1 000005f2: DUP2 000005f3: MSTORE 000005f4: PUSH1 0x05 000005f6: PUSH1 0x20 000005f8: SWAP1 000005f9: DUP2 000005fa: MSTORE 000005fb: PUSH1 0x40 000005fd: DUP1 000005fe: DUP4 000005ff: KECCAK256 00000600: SWAP5 00000601: SWAP1 00000602: SWAP5 00000603: SSTORE 00000604: PUSH1 0x06 00000606: DUP2 00000607: MSTORE 00000608: DUP4 00000609: DUP3 0000060a: KECCAK256 0000060b: CALLER 0000060c: SWAP1 0000060d: SWAP4 0000060e: AND 0000060f: DUP3 00000610: MSTORE 00000611: SWAP2 00000612: SWAP1 00000613: SWAP2 00000614: MSTORE 00000615: KECCAK256 00000616: SLOAD 00000617: PUSH2 0x0620 0000061a: SWAP1 0000061b: DUP4 0000061c: PUSH2 0x026a 0000061f: JUMP 00000620: JUMPDEST 00000621: PUSH1 0x01 00000623: PUSH1 0xa0 00000625: PUSH1 0x02 00000627: EXP 00000628: SUB 00000629: DUP6 0000062a: DUP2 0000062b: AND 0000062c: PUSH1 0x00 0000062e: DUP2 0000062f: DUP2 00000630: MSTORE 00000631: PUSH1 0x06 00000633: PUSH1 0x20 00000635: SWAP1 00000636: DUP2 00000637: MSTORE 00000638: PUSH1 0x40 0000063a: DUP1 0000063b: DUP4 0000063c: KECCAK256 0000063d: CALLER 0000063e: DUP7 0000063f: AND 00000640: DUP5 00000641: MSTORE 00000642: DUP3 00000643: MSTORE 00000644: SWAP2 00000645: DUP3 00000646: SWAP1 00000647: KECCAK256 00000648: SWAP5 00000649: SWAP1 0000064a: SWAP5 0000064b: SSTORE 0000064c: DUP1 0000064d: MLOAD 0000064e: DUP7 0000064f: DUP2 00000650: MSTORE 00000651: SWAP1 00000652: MLOAD 00000653: SWAP3 00000654: DUP8 00000655: AND 00000656: SWAP4 00000657: SWAP2 00000658: SWAP3 00000659: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000067a: SWAP3 0000067b: SWAP2 0000067c: DUP2 0000067d: SWAP1 0000067e: SUB 0000067f: SWAP1 00000680: SWAP2 00000681: ADD 00000682: SWAP1 00000683: LOG3 00000684: POP 00000685: PUSH1 0x01 00000687: PUSH2 0x05ad 0000068a: JUMP 0000068b: JUMPDEST 0000068c: PUSH2 0x069a 0000068f: DUP3 00000690: PUSH1 0x04 00000692: PUSH1 0x00 00000694: POP 00000695: SLOAD 00000696: PUSH2 0x03fc 00000699: JUMP 0000069a: JUMPDEST 0000069b: PUSH1 0x04 0000069d: SSTORE 0000069e: PUSH1 0x01 000006a0: PUSH1 0xa0 000006a2: PUSH1 0x02 000006a4: EXP 000006a5: SUB 000006a6: DUP4 000006a7: AND 000006a8: PUSH1 0x00 000006aa: SWAP1 000006ab: DUP2 000006ac: MSTORE 000006ad: PUSH1 0x05 000006af: PUSH1 0x20 000006b1: MSTORE 000006b2: PUSH1 0x40 000006b4: SWAP1 000006b5: KECCAK256 000006b6: SLOAD 000006b7: PUSH2 0x06c0 000006ba: SWAP1 000006bb: DUP4 000006bc: PUSH2 0x03fc 000006bf: JUMP 000006c0: JUMPDEST 000006c1: PUSH1 0x01 000006c3: PUSH1 0xa0 000006c5: PUSH1 0x02 000006c7: EXP 000006c8: SUB 000006c9: DUP5 000006ca: AND 000006cb: PUSH1 0x00 000006cd: SWAP1 000006ce: DUP2 000006cf: MSTORE 000006d0: PUSH1 0x05 000006d2: PUSH1 0x20 000006d4: MSTORE 000006d5: PUSH1 0x40 000006d7: SWAP1 000006d8: KECCAK256 000006d9: SSTORE 000006da: POP 000006db: PUSH1 0x01 000006dd: PUSH2 0x0182 000006e0: JUMP 000006e1: JUMPDEST 000006e2: PUSH1 0x03 000006e4: SLOAD 000006e5: PUSH1 0x40 000006e7: DUP1 000006e8: MLOAD 000006e9: PUSH32 0x40c10f1900000000000000000000000000000000000000000000000000000000 0000070a: DUP2 0000070b: MSTORE 0000070c: PUSH1 0x01 0000070e: PUSH1 0xa0 00000710: PUSH1 0x02 00000712: EXP 00000713: SUB 00000714: DUP7 00000715: DUP2 00000716: AND 00000717: PUSH1 0x04 00000719: DUP4 0000071a: ADD 0000071b: MSTORE 0000071c: PUSH1 0x24 0000071e: DUP3 0000071f: ADD 00000720: DUP7 00000721: SWAP1 00000722: MSTORE 00000723: SWAP2 00000724: MLOAD 00000725: SWAP3 00000726: SWAP1 00000727: SWAP2 00000728: AND 00000729: SWAP2 0000072a: PUSH4 0x40c10f19 0000072f: SWAP2 00000730: PUSH1 0x44 00000732: DUP2 00000733: DUP2 00000734: ADD 00000735: SWAP3 00000736: PUSH1 0x20 00000738: SWAP3 00000739: SWAP1 0000073a: SWAP2 0000073b: SWAP1 0000073c: DUP3 0000073d: SWAP1 0000073e: SUB 0000073f: ADD 00000740: DUP2 00000741: PUSH1 0x00 00000743: DUP8 00000744: PUSH2 0x61da 00000747: GAS 00000748: SUB 00000749: CALL 0000074a: ISZERO 0000074b: PUSH2 0x0002 0000074e: JUMPI 0000074f: POP 00000750: POP 00000751: PUSH1 0x40 00000753: MLOAD 00000754: MLOAD 00000755: ISZERO 00000756: ISZERO 00000757: SWAP1 00000758: POP 00000759: PUSH2 0x0764 0000075c: JUMPI 0000075d: POP 0000075e: PUSH1 0x00 00000760: PUSH2 0x0182 00000763: JUMP 00000764: JUMPDEST 00000765: POP 00000766: PUSH1 0x01 00000768: PUSH2 0x0182 0000076b: JUMP 0000076c: JUMPDEST 0000076d: PUSH1 0x01 0000076f: DUP1 00000770: SLOAD 00000771: PUSH1 0xa0 00000773: PUSH1 0x02 00000775: EXP 00000776: SWAP1 00000777: DIV 00000778: PUSH1 0xff 0000077a: AND 0000077b: EQ 0000077c: ISZERO 0000077d: PUSH2 0x0788 00000780: JUMPI 00000781: POP 00000782: PUSH1 0x00 00000784: PUSH2 0x034a 00000787: JUMP 00000788: JUMPDEST 00000789: POP 0000078a: PUSH1 0x02 0000078c: DUP1 0000078d: SLOAD 0000078e: PUSH1 0x01 00000790: PUSH1 0xa0 00000792: PUSH1 0x02 00000794: EXP 00000795: SUB 00000796: NOT 00000797: AND 00000798: DUP3 00000799: OR 0000079a: SWAP1 0000079b: SSTORE 0000079c: PUSH1 0x01 0000079e: DUP1 0000079f: SLOAD 000007a0: PUSH21 0xff0000000000000000000000000000000000000000 000007b6: NOT 000007b7: AND 000007b8: PUSH1 0xa0 000007ba: PUSH1 0x02 000007bc: EXP 000007bd: OR 000007be: DUP2 000007bf: SSTORE 000007c0: PUSH2 0x034a 000007c3: JUMP 000007c4: JUMPDEST 000007c5: POP 000007c6: PUSH1 0x02 000007c8: DUP1 000007c9: SLOAD 000007ca: PUSH1 0x01 000007cc: PUSH1 0xa0 000007ce: PUSH1 0x02 000007d0: EXP 000007d1: SUB 000007d2: NOT 000007d3: AND 000007d4: DUP3 000007d5: OR 000007d6: SWAP1 000007d7: SSTORE 000007d8: PUSH1 0x01 000007da: PUSH2 0x034a 000007dd: JUMP 000007de: JUMPDEST 000007df: POP 000007e0: PUSH1 0x01 000007e2: PUSH1 0xa0 000007e4: PUSH1 0x02 000007e6: EXP 000007e7: SUB 000007e8: DUP2 000007e9: AND 000007ea: PUSH1 0x00 000007ec: SWAP1 000007ed: DUP2 000007ee: MSTORE 000007ef: PUSH1 0x07 000007f1: PUSH1 0x20 000007f3: MSTORE 000007f4: PUSH1 0x40 000007f6: SWAP1 000007f7: KECCAK256 000007f8: DUP1 000007f9: SLOAD 000007fa: PUSH1 0xff 000007fc: NOT 000007fd: AND 000007fe: PUSH1 0x01 00000800: SWAP1 00000801: DUP2 00000802: OR 00000803: SWAP1 00000804: SWAP2 00000805: SSTORE 00000806: PUSH2 0x034a 00000809: JUMP 0000080a: JUMPDEST 0000080b: POP 0000080c: PUSH1 0x01 0000080e: PUSH1 0xa0 00000810: PUSH1 0x02 00000812: EXP 00000813: SUB 00000814: DUP2 00000815: AND 00000816: PUSH1 0x00 00000818: SWAP1 00000819: DUP2 0000081a: MSTORE 0000081b: PUSH1 0x07 0000081d: PUSH1 0x20 0000081f: MSTORE 00000820: PUSH1 0x40 00000822: SWAP1 00000823: KECCAK256 00000824: DUP1 00000825: SLOAD 00000826: PUSH1 0xff 00000828: NOT 00000829: AND 0000082a: SWAP1 0000082b: SSTORE 0000082c: PUSH1 0x01 0000082e: PUSH2 0x034a 00000831: JUMP 00000832: JUMPDEST 00000833: PUSH1 0x03 00000835: SLOAD 00000836: PUSH1 0x40 00000838: DUP1 00000839: MLOAD 0000083a: PUSH32 0x13af403500000000000000000000000000000000000000000000000000000000 0000085b: DUP2 0000085c: MSTORE 0000085d: PUSH1 0x01 0000085f: PUSH1 0xa0 00000861: PUSH1 0x02 00000863: EXP 00000864: SUB 00000865: DUP6 00000866: DUP2 00000867: AND 00000868: PUSH1 0x04 0000086a: DUP4 0000086b: ADD 0000086c: MSTORE 0000086d: SWAP2 0000086e: MLOAD 0000086f: SWAP3 00000870: SWAP1 00000871: SWAP2 00000872: AND 00000873: SWAP2 00000874: PUSH4 0x13af4035 00000879: SWAP2 0000087a: PUSH1 0x24 0000087c: DUP2 0000087d: DUP2 0000087e: ADD 0000087f: SWAP3 00000880: PUSH1 0x20 00000882: SWAP3 00000883: SWAP1 00000884: SWAP2 00000885: SWAP1 00000886: DUP3 00000887: SWAP1 00000888: SUB 00000889: ADD 0000088a: DUP2 0000088b: PUSH1 0x00 0000088d: DUP8 0000088e: PUSH2 0x61da 00000891: GAS 00000892: SUB 00000893: CALL 00000894: ISZERO 00000895: PUSH2 0x0002 00000898: JUMPI 00000899: POP 0000089a: POP 0000089b: PUSH1 0x40 0000089d: MLOAD 0000089e: MLOAD 0000089f: ISZERO 000008a0: SWAP1 000008a1: POP 000008a2: PUSH2 0x08bf 000008a5: JUMPI 000008a6: POP 000008a7: PUSH1 0x00 000008a9: DUP1 000008aa: SLOAD 000008ab: PUSH1 0x01 000008ad: PUSH1 0xa0 000008af: PUSH1 0x02 000008b1: EXP 000008b2: SUB 000008b3: NOT 000008b4: AND 000008b5: DUP3 000008b6: OR 000008b7: SWAP1 000008b8: SSTORE 000008b9: PUSH1 0x01 000008bb: PUSH2 0x08c3 000008be: JUMP 000008bf: JUMPDEST 000008c0: POP 000008c1: PUSH1 0x00 000008c3: JUMPDEST 000008c4: PUSH2 0x034a 000008c7: JUMP
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x9ee6b3d36a125392fb1ff90151c0805d9fbe68ab5c29c8ebb571e44417d31a5b
call_targets:
0xe0b7927c4af23765cb51314a0e0521a9645f0e2a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9ee6b3d36a125392fb1ff90151c0805d9fbe68ab5c29c8ebb571e44417d31a5b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe0b7927c4af23765cb51314a0e0521a9645f0e2a"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b297f9e",
"selector": "0x2b297f9e",
"calldata_variants": [
"0x2b297f9e",
"0x2b297f9e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3416f9d4",
"selector": "0x3416f9d4",
"calldata_variants": [
"0x3416f9d4",
"0x3416f9d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f2965f0",
"selector": "0x3f2965f0",
"calldata_variants": [
"0x3f2965f0",
"0x3f2965f00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x40c10f19",
"selector": "0x40c10f19",
"calldata_variants": [
"0x40c10f19",
"0x40c10f190000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1865,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2195,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x9ee6b3d36a125392fb1ff90151c0805d9fbe68ab5c29c8ebb571e44417d31a5b
call_targets:
0xe0b7927c4af23765cb51314a0e0521a9645f0e2a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9ee6b3d36a125392fb1ff90151c0805d9fbe68ab5c29c8ebb571e44417d31a5b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe0b7927c4af23765cb51314a0e0521a9645f0e2a"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b297f9e",
"selector": "0x2b297f9e",
"calldata_variants": [
"0x2b297f9e",
"0x2b297f9e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3416f9d4",
"selector": "0x3416f9d4",
"calldata_variants": [
"0x3416f9d4",
"0x3416f9d40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f2965f0",
"selector": "0x3f2965f0",
"calldata_variants": [
"0x3f2965f0",
"0x3f2965f00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x40c10f19",
"selector": "0x40c10f19",
"calldata_variants": [
"0x40c10f19",
"0x40c10f190000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1865,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2195,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|