019b3836-246d-72eb-b334-bdf4d76ea9c1
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 |
|---|---|---|---|---|
| 625 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 626 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 104821 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 104822 | capability.graph | complete | 1 / 3 | 1 week ago |
| 104823 | detector.run | complete | 1 / 3 | 1 week ago |
| 104824 | 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 0x0098 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x1ff6c705 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x009a 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x303a36e2 00000025: EQ 00000026: PUSH2 0x00a3 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x5ea8cd12 00000030: EQ 00000031: PUSH2 0x01f7 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x69d640fd 0000003b: EQ 0000003c: PUSH2 0x021b 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x7ce3489b 00000046: EQ 00000047: PUSH2 0x0273 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x7fd6f15c 00000051: EQ 00000052: PUSH2 0x029b 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x8da5cb5b 0000005c: EQ 0000005d: PUSH2 0x02a4 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0xc943e51a 00000067: EQ 00000068: PUSH2 0x02b6 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0xd229b54b 00000072: EQ 00000073: PUSH2 0x034d 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xe45be8eb 0000007d: EQ 0000007e: PUSH2 0x0371 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xf2a75fe4 00000088: EQ 00000089: PUSH2 0x037a 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xf46a85a9 00000093: EQ 00000094: PUSH2 0x03bf 00000097: JUMPI 00000098: JUMPDEST 00000099: STOP 0000009a: JUMPDEST 0000009b: PUSH2 0x03f5 0000009e: PUSH1 0x01 000000a0: SLOAD 000000a1: DUP2 000000a2: JUMP 000000a3: JUMPDEST 000000a4: PUSH2 0x0407 000000a7: PUSH1 0x04 000000a9: CALLDATALOAD 000000aa: PUSH2 0x7d00 000000ad: PUSH1 0x40 000000af: MLOAD 000000b0: SWAP1 000000b1: DUP2 000000b2: ADD 000000b3: PUSH1 0x40 000000b5: MSTORE 000000b6: DUP1 000000b7: PUSH2 0x03e8 000000ba: SWAP1 000000bb: JUMPDEST 000000bc: PUSH1 0x00 000000be: DUP2 000000bf: MSTORE 000000c0: PUSH1 0x20 000000c2: ADD 000000c3: SWAP1 000000c4: PUSH1 0x01 000000c6: SWAP1 000000c7: SUB 000000c8: SWAP1 000000c9: DUP2 000000ca: PUSH2 0x00bb 000000cd: JUMPI 000000ce: POP 000000cf: POP 000000d0: PUSH1 0x40 000000d2: DUP1 000000d3: MLOAD 000000d4: PUSH2 0x7d00 000000d7: DUP2 000000d8: ADD 000000d9: SWAP1 000000da: SWAP2 000000db: MSTORE 000000dc: PUSH2 0x03e8 000000df: DUP2 000000e0: JUMPDEST 000000e1: PUSH1 0x00 000000e3: DUP2 000000e4: MSTORE 000000e5: PUSH1 0x20 000000e7: ADD 000000e8: SWAP1 000000e9: PUSH1 0x01 000000eb: SWAP1 000000ec: SUB 000000ed: SWAP1 000000ee: DUP2 000000ef: PUSH2 0x00e0 000000f2: JUMPI 000000f3: POP 000000f4: POP 000000f5: PUSH1 0x40 000000f7: DUP1 000000f8: MLOAD 000000f9: PUSH2 0x7d00 000000fc: DUP2 000000fd: ADD 000000fe: SWAP1 000000ff: SWAP2 00000100: MSTORE 00000101: PUSH2 0x03e8 00000104: DUP2 00000105: JUMPDEST 00000106: PUSH1 0x00 00000108: DUP2 00000109: MSTORE 0000010a: PUSH1 0x20 0000010c: ADD 0000010d: SWAP1 0000010e: PUSH1 0x01 00000110: SWAP1 00000111: SUB 00000112: SWAP1 00000113: DUP2 00000114: PUSH2 0x0105 00000117: JUMPI 00000118: POP 00000119: PUSH1 0x00 0000011b: SWAP1 0000011c: POP 0000011d: JUMPDEST 0000011e: PUSH2 0x03e8 00000121: DUP2 00000122: LT 00000123: ISZERO 00000124: PUSH2 0x0846 00000127: JUMPI 00000128: PUSH1 0x04 0000012a: DUP2 0000012b: PUSH2 0x03e8 0000012e: DUP2 0000012f: LT 00000130: ISZERO 00000131: PUSH2 0x0002 00000134: JUMPI 00000135: PUSH2 0x0fa0 00000138: MUL 00000139: ADD 0000013a: PUSH1 0x00 0000013c: POP 0000013d: DUP6 0000013e: PUSH2 0x03e8 00000141: DUP2 00000142: LT 00000143: ISZERO 00000144: PUSH2 0x0002 00000147: JUMPI 00000148: SWAP1 00000149: SWAP1 0000014a: PUSH1 0x04 0000014c: MUL 0000014d: ADD 0000014e: PUSH1 0x00 00000150: POP 00000151: SLOAD 00000152: PUSH1 0x01 00000154: PUSH1 0xa0 00000156: PUSH1 0x02 00000158: EXP 00000159: SUB 0000015a: AND 0000015b: DUP5 0000015c: DUP3 0000015d: PUSH2 0x03e8 00000160: DUP2 00000161: LT 00000162: ISZERO 00000163: PUSH2 0x0002 00000166: JUMPI 00000167: POP 00000168: POP 00000169: PUSH1 0x20 0000016b: DUP3 0000016c: MUL 0000016d: DUP6 0000016e: ADD 0000016f: MSTORE 00000170: PUSH1 0x04 00000172: DUP2 00000173: PUSH2 0x03e8 00000176: DUP2 00000177: LT 00000178: ISZERO 00000179: PUSH2 0x0002 0000017c: JUMPI 0000017d: PUSH2 0x0fa0 00000180: MUL 00000181: ADD 00000182: PUSH1 0x00 00000184: POP 00000185: DUP6 00000186: PUSH2 0x03e8 00000189: DUP2 0000018a: LT 0000018b: ISZERO 0000018c: PUSH2 0x0002 0000018f: JUMPI 00000190: SWAP1 00000191: SWAP1 00000192: PUSH1 0x04 00000194: MUL 00000195: ADD 00000196: PUSH1 0x00 00000198: POP 00000199: PUSH1 0x02 0000019b: ADD 0000019c: SLOAD 0000019d: DUP4 0000019e: DUP3 0000019f: PUSH2 0x03e8 000001a2: DUP2 000001a3: LT 000001a4: ISZERO 000001a5: PUSH2 0x0002 000001a8: JUMPI 000001a9: PUSH1 0x20 000001ab: MUL 000001ac: ADD 000001ad: MSTORE 000001ae: PUSH1 0x04 000001b0: DUP2 000001b1: PUSH2 0x03e8 000001b4: DUP2 000001b5: LT 000001b6: ISZERO 000001b7: PUSH2 0x0002 000001ba: JUMPI 000001bb: PUSH2 0x0fa0 000001be: MUL 000001bf: ADD 000001c0: PUSH1 0x00 000001c2: POP 000001c3: DUP6 000001c4: PUSH2 0x03e8 000001c7: DUP2 000001c8: LT 000001c9: ISZERO 000001ca: PUSH2 0x0002 000001cd: JUMPI 000001ce: SWAP1 000001cf: SWAP1 000001d0: PUSH1 0x04 000001d2: MUL 000001d3: ADD 000001d4: PUSH1 0x00 000001d6: POP 000001d7: PUSH1 0x03 000001d9: ADD 000001da: SLOAD 000001db: DUP3 000001dc: DUP3 000001dd: PUSH2 0x03e8 000001e0: DUP2 000001e1: LT 000001e2: ISZERO 000001e3: PUSH2 0x0002 000001e6: JUMPI 000001e7: POP 000001e8: POP 000001e9: PUSH1 0x20 000001eb: DUP3 000001ec: MUL 000001ed: DUP4 000001ee: ADD 000001ef: MSTORE 000001f0: PUSH1 0x01 000001f2: ADD 000001f3: PUSH2 0x011d 000001f6: JUMP 000001f7: JUMPDEST 000001f8: PUSH2 0x0098 000001fb: PUSH1 0x04 000001fd: CALLDATALOAD 000001fe: PUSH1 0x00 00000200: SLOAD 00000201: PUSH1 0x01 00000203: PUSH1 0xa0 00000205: PUSH1 0x02 00000207: EXP 00000208: SUB 00000209: SWAP1 0000020a: DUP2 0000020b: AND 0000020c: CALLER 0000020d: SWAP2 0000020e: SWAP1 0000020f: SWAP2 00000210: AND 00000211: EQ 00000212: ISZERO 00000213: PUSH2 0x0298 00000216: JUMPI 00000217: PUSH1 0x02 00000219: SSTORE 0000021a: JUMP 0000021b: JUMPDEST 0000021c: PUSH2 0x0456 0000021f: PUSH1 0x04 00000221: CALLDATALOAD 00000222: PUSH1 0x24 00000224: CALLDATALOAD 00000225: PUSH1 0x04 00000227: DUP3 00000228: PUSH2 0x03e8 0000022b: DUP2 0000022c: LT 0000022d: ISZERO 0000022e: PUSH2 0x0002 00000231: JUMPI 00000232: POP 00000233: PUSH2 0x0fa0 00000236: DUP4 00000237: MUL 00000238: ADD 00000239: DUP2 0000023a: PUSH2 0x03e8 0000023d: DUP2 0000023e: LT 0000023f: ISZERO 00000240: PUSH2 0x0002 00000243: JUMPI 00000244: SWAP1 00000245: SWAP1 00000246: PUSH1 0x04 00000248: MUL 00000249: ADD 0000024a: PUSH1 0x00 0000024c: POP 0000024d: PUSH1 0x03 0000024f: DUP2 00000250: ADD 00000251: SLOAD 00000252: PUSH1 0x02 00000254: DUP3 00000255: ADD 00000256: SLOAD 00000257: DUP3 00000258: SLOAD 00000259: PUSH1 0x01 0000025b: SWAP4 0000025c: SWAP1 0000025d: SWAP4 0000025e: ADD 0000025f: SLOAD 00000260: PUSH1 0x01 00000262: PUSH1 0xa0 00000264: PUSH1 0x02 00000266: EXP 00000267: SUB 00000268: SWAP4 00000269: SWAP1 0000026a: SWAP4 0000026b: AND 0000026c: SWAP5 0000026d: POP 0000026e: SWAP2 0000026f: SWAP3 00000270: POP 00000271: DUP5 00000272: JUMP 00000273: JUMPDEST 00000274: PUSH2 0x0098 00000277: PUSH1 0x04 00000279: CALLDATALOAD 0000027a: PUSH1 0x00 0000027c: SLOAD 0000027d: PUSH1 0x01 0000027f: PUSH1 0xa0 00000281: PUSH1 0x02 00000283: EXP 00000284: SUB 00000285: SWAP1 00000286: DUP2 00000287: AND 00000288: CALLER 00000289: SWAP2 0000028a: SWAP1 0000028b: SWAP2 0000028c: AND 0000028d: EQ 0000028e: ISZERO 0000028f: PUSH2 0x0298 00000292: JUMPI 00000293: PUSH1 0x03 00000295: DUP2 00000296: SWAP1 00000297: SSTORE 00000298: JUMPDEST 00000299: POP 0000029a: JUMP 0000029b: JUMPDEST 0000029c: PUSH2 0x03f5 0000029f: PUSH1 0x02 000002a1: SLOAD 000002a2: DUP2 000002a3: JUMP 000002a4: JUMPDEST 000002a5: PUSH2 0x0487 000002a8: PUSH1 0x00 000002aa: SLOAD 000002ab: PUSH1 0x01 000002ad: PUSH1 0xa0 000002af: PUSH1 0x02 000002b1: EXP 000002b2: SUB 000002b3: AND 000002b4: DUP2 000002b5: JUMP 000002b6: JUMPDEST 000002b7: PUSH2 0x03f5 000002ba: PUSH1 0x04 000002bc: CALLDATALOAD 000002bd: PUSH1 0x24 000002bf: CALLDATALOAD 000002c0: PUSH1 0x44 000002c2: CALLDATALOAD 000002c3: JUMPDEST 000002c4: PUSH1 0x00 000002c6: PUSH1 0x00 000002c8: PUSH1 0x00 000002ca: PUSH1 0x00 000002cc: DUP7 000002cd: LT 000002ce: DUP1 000002cf: PUSH2 0x02da 000002d2: JUMPI 000002d3: POP 000002d4: PUSH2 0x03e8 000002d7: DUP7 000002d8: LT 000002d9: ISZERO 000002da: JUMPDEST 000002db: ISZERO 000002dc: PUSH2 0x05b1 000002df: JUMPI 000002e0: PUSH1 0x40 000002e2: DUP1 000002e3: MLOAD 000002e4: PUSH1 0x01 000002e6: PUSH1 0xa0 000002e8: PUSH1 0x02 000002ea: EXP 000002eb: SUB 000002ec: CALLER 000002ed: AND 000002ee: DUP2 000002ef: MSTORE 000002f0: DUP1 000002f1: DUP3 000002f2: ADD 000002f3: DUP9 000002f4: SWAP1 000002f5: MSTORE 000002f6: PUSH1 0x60 000002f8: PUSH1 0x20 000002fa: DUP3 000002fb: ADD 000002fc: DUP2 000002fd: SWAP1 000002fe: MSTORE 000002ff: PUSH1 0x19 00000301: SWAP1 00000302: DUP3 00000303: ADD 00000304: MSTORE 00000305: PUSH32 0x58206d757374206265203e203020616e64203c20313030302e00000000000000 00000326: PUSH1 0x80 00000328: DUP3 00000329: ADD 0000032a: MSTORE 0000032b: SWAP1 0000032c: MLOAD 0000032d: PUSH1 0x00 0000032f: DUP1 00000330: MLOAD 00000331: PUSH1 0x20 00000333: PUSH2 0x084e 00000336: DUP4 00000337: CODECOPY 00000338: DUP2 00000339: MLOAD 0000033a: SWAP2 0000033b: MSTORE 0000033c: SWAP2 0000033d: DUP2 0000033e: SWAP1 0000033f: SUB 00000340: PUSH1 0xa0 00000342: ADD 00000343: SWAP1 00000344: LOG1 00000345: PUSH1 0x00 00000347: SWAP3 00000348: POP 00000349: PUSH2 0x05a8 0000034c: JUMP 0000034d: JUMPDEST 0000034e: PUSH2 0x0098 00000351: PUSH1 0x04 00000353: CALLDATALOAD 00000354: PUSH1 0x00 00000356: SLOAD 00000357: PUSH1 0x01 00000359: PUSH1 0xa0 0000035b: PUSH1 0x02 0000035d: EXP 0000035e: SUB 0000035f: SWAP1 00000360: DUP2 00000361: AND 00000362: CALLER 00000363: SWAP2 00000364: SWAP1 00000365: SWAP2 00000366: AND 00000367: EQ 00000368: ISZERO 00000369: PUSH2 0x0298 0000036c: JUMPI 0000036d: PUSH1 0x01 0000036f: SSTORE 00000370: JUMP 00000371: JUMPDEST 00000372: PUSH2 0x03f5 00000375: PUSH1 0x03 00000377: SLOAD 00000378: DUP2 00000379: JUMP 0000037a: JUMPDEST 0000037b: PUSH2 0x0098 0000037e: PUSH1 0x00 00000380: SLOAD 00000381: PUSH1 0x01 00000383: PUSH1 0xa0 00000385: PUSH1 0x02 00000387: EXP 00000388: SUB 00000389: SWAP1 0000038a: DUP2 0000038b: AND 0000038c: CALLER 0000038d: SWAP2 0000038e: SWAP1 0000038f: SWAP2 00000390: AND 00000391: EQ 00000392: ISZERO 00000393: PUSH2 0x03bd 00000396: JUMPI 00000397: PUSH1 0x40 00000399: MLOAD 0000039a: PUSH1 0x00 0000039c: DUP1 0000039d: SLOAD 0000039e: PUSH1 0x01 000003a0: PUSH1 0xa0 000003a2: PUSH1 0x02 000003a4: EXP 000003a5: SUB 000003a6: SWAP1 000003a7: DUP2 000003a8: AND 000003a9: SWAP3 000003aa: ADDRESS 000003ab: SWAP1 000003ac: SWAP2 000003ad: AND 000003ae: BALANCE 000003af: SWAP1 000003b0: DUP3 000003b1: DUP2 000003b2: DUP2 000003b3: DUP2 000003b4: DUP6 000003b5: DUP9 000003b6: DUP4 000003b7: CALL 000003b8: POP 000003b9: POP 000003ba: POP 000003bb: POP 000003bc: POP 000003bd: JUMPDEST 000003be: JUMP 000003bf: JUMPDEST 000003c0: PUSH2 0x03f5 000003c3: PUSH1 0x04 000003c5: CALLDATALOAD 000003c6: PUSH1 0x24 000003c8: CALLDATALOAD 000003c9: PUSH1 0x44 000003cb: CALLDATALOAD 000003cc: PUSH1 0x64 000003ce: CALLDATALOAD 000003cf: PUSH1 0x84 000003d1: CALLDATALOAD 000003d2: PUSH1 0xa4 000003d4: CALLDATALOAD 000003d5: PUSH1 0x00 000003d7: PUSH2 0x04a4 000003da: DUP8 000003db: DUP8 000003dc: DUP6 000003dd: DUP8 000003de: PUSH2 0x0100 000003e1: MUL 000003e2: DUP10 000003e3: PUSH3 0x010000 000003e7: MUL 000003e8: DUP8 000003e9: PUSH3 0x100000 000003ed: MUL 000003ee: ADD 000003ef: ADD 000003f0: ADD 000003f1: PUSH2 0x02c3 000003f4: JUMP 000003f5: JUMPDEST 000003f6: PUSH1 0x40 000003f8: DUP1 000003f9: MLOAD 000003fa: SWAP2 000003fb: DUP3 000003fc: MSTORE 000003fd: MLOAD 000003fe: SWAP1 000003ff: DUP2 00000400: SWAP1 00000401: SUB 00000402: PUSH1 0x20 00000404: ADD 00000405: SWAP1 00000406: RETURN 00000407: JUMPDEST 00000408: PUSH1 0x40 0000040a: MLOAD 0000040b: DUP1 0000040c: DUP5 0000040d: PUSH2 0x7d00 00000410: DUP1 00000411: DUP4 00000412: DUP2 00000413: DUP5 00000414: PUSH1 0x00 00000416: PUSH1 0x04 00000418: PUSH2 0x0bc7 0000041b: CALL 0000041c: POP 0000041d: SWAP2 0000041e: DUP3 0000041f: ADD 00000420: SWAP2 00000421: DUP6 00000422: SWAP2 00000423: POP 00000424: DUP1 00000425: DUP4 00000426: DUP2 00000427: DUP5 00000428: PUSH1 0x00 0000042a: PUSH1 0x04 0000042c: PUSH2 0x0bc7 0000042f: CALL 00000430: POP 00000431: PUSH2 0xfa00 00000434: DUP5 00000435: ADD 00000436: SWAP3 00000437: POP 00000438: DUP5 00000439: SWAP2 0000043a: POP 0000043b: DUP1 0000043c: DUP4 0000043d: DUP2 0000043e: DUP5 0000043f: PUSH1 0x00 00000441: PUSH1 0x04 00000443: PUSH2 0x0bc7 00000446: CALL 00000447: POP 00000448: PUSH3 0x017700 0000044c: SWAP7 0000044d: POP 0000044e: SWAP3 0000044f: SWAP5 00000450: POP 00000451: POP 00000452: POP 00000453: POP 00000454: POP 00000455: RETURN 00000456: JUMPDEST 00000457: PUSH1 0x40 00000459: DUP1 0000045a: MLOAD 0000045b: PUSH1 0x01 0000045d: PUSH1 0xa0 0000045f: PUSH1 0x02 00000461: EXP 00000462: SUB 00000463: SWAP6 00000464: SWAP1 00000465: SWAP6 00000466: AND 00000467: DUP6 00000468: MSTORE 00000469: PUSH1 0x20 0000046b: DUP6 0000046c: ADD 0000046d: SWAP4 0000046e: SWAP1 0000046f: SWAP4 00000470: MSTORE 00000471: DUP4 00000472: DUP4 00000473: ADD 00000474: SWAP2 00000475: SWAP1 00000476: SWAP2 00000477: MSTORE 00000478: PUSH1 0x60 0000047a: DUP4 0000047b: ADD 0000047c: MSTORE 0000047d: MLOAD 0000047e: SWAP1 0000047f: DUP2 00000480: SWAP1 00000481: SUB 00000482: PUSH1 0x80 00000484: ADD 00000485: SWAP1 00000486: RETURN 00000487: JUMPDEST 00000488: PUSH1 0x40 0000048a: DUP1 0000048b: MLOAD 0000048c: PUSH1 0x01 0000048e: PUSH1 0xa0 00000490: PUSH1 0x02 00000492: EXP 00000493: SUB 00000494: SWAP3 00000495: SWAP1 00000496: SWAP3 00000497: AND 00000498: DUP3 00000499: MSTORE 0000049a: MLOAD 0000049b: SWAP1 0000049c: DUP2 0000049d: SWAP1 0000049e: SUB 0000049f: PUSH1 0x20 000004a1: ADD 000004a2: SWAP1 000004a3: RETURN 000004a4: JUMPDEST 000004a5: SWAP8 000004a6: SWAP7 000004a7: POP 000004a8: POP 000004a9: POP 000004aa: POP 000004ab: POP 000004ac: POP 000004ad: POP 000004ae: JUMP 000004af: JUMPDEST 000004b0: PUSH1 0x01 000004b2: SLOAD 000004b3: PUSH1 0x04 000004b5: DUP8 000004b6: PUSH2 0x03e8 000004b9: DUP2 000004ba: LT 000004bb: ISZERO 000004bc: PUSH2 0x0002 000004bf: JUMPI 000004c0: PUSH2 0x0fa0 000004c3: MUL 000004c4: ADD 000004c5: DUP7 000004c6: PUSH2 0x03e8 000004c9: DUP2 000004ca: LT 000004cb: ISZERO 000004cc: PUSH2 0x0002 000004cf: JUMPI 000004d0: PUSH1 0x04 000004d2: MUL 000004d3: ADD 000004d4: PUSH1 0x03 000004d6: ADD 000004d7: SLOAD 000004d8: MUL 000004d9: CALLVALUE 000004da: PUSH1 0x64 000004dc: MUL 000004dd: LT 000004de: ISZERO 000004df: PUSH2 0x06d2 000004e2: JUMPI 000004e3: PUSH1 0x01 000004e5: SLOAD 000004e6: PUSH1 0x00 000004e8: DUP1 000004e9: MLOAD 000004ea: PUSH1 0x20 000004ec: PUSH2 0x084e 000004ef: DUP4 000004f0: CODECOPY 000004f1: DUP2 000004f2: MLOAD 000004f3: SWAP2 000004f4: MSTORE 000004f5: SWAP1 000004f6: CALLER 000004f7: SWAP1 000004f8: PUSH1 0x64 000004fa: SWAP1 000004fb: PUSH1 0x04 000004fd: DUP11 000004fe: PUSH2 0x03e8 00000501: DUP2 00000502: LT 00000503: ISZERO 00000504: PUSH2 0x0002 00000507: JUMPI 00000508: PUSH2 0x0fa0 0000050b: MUL 0000050c: ADD 0000050d: DUP10 0000050e: PUSH2 0x03e8 00000511: DUP2 00000512: LT 00000513: ISZERO 00000514: PUSH2 0x0002 00000517: JUMPI 00000518: PUSH1 0x04 0000051a: MUL 0000051b: ADD 0000051c: PUSH1 0x00 0000051e: POP 0000051f: PUSH1 0x03 00000521: ADD 00000522: SLOAD 00000523: PUSH1 0x40 00000525: DUP1 00000526: MLOAD 00000527: PUSH1 0x01 00000529: PUSH1 0xa0 0000052b: PUSH1 0x02 0000052d: EXP 0000052e: SUB 0000052f: SWAP6 00000530: SWAP1 00000531: SWAP6 00000532: AND 00000533: DUP6 00000534: MSTORE 00000535: SWAP2 00000536: MUL 00000537: SWAP2 00000538: SWAP1 00000539: SWAP2 0000053a: DIV 0000053b: DUP3 0000053c: DUP3 0000053d: ADD 0000053e: MSTORE 0000053f: PUSH1 0x60 00000541: PUSH1 0x20 00000543: DUP4 00000544: ADD 00000545: DUP2 00000546: SWAP1 00000547: MSTORE 00000548: PUSH1 0x32 0000054a: SWAP1 0000054b: DUP4 0000054c: ADD 0000054d: MSTORE 0000054e: PUSH32 0x56616c7565206d7573742062652031302520686967686572207468616e206375 0000056f: PUSH1 0x80 00000571: DUP4 00000572: ADD 00000573: MSTORE 00000574: PUSH32 0x7272656e7420706978656c2070726963652e0000000000000000000000000000 00000595: PUSH1 0xa0 00000597: DUP4 00000598: ADD 00000599: MSTORE 0000059a: MLOAD 0000059b: SWAP1 0000059c: DUP2 0000059d: SWAP1 0000059e: SUB 0000059f: PUSH1 0xc0 000005a1: ADD 000005a2: SWAP1 000005a3: LOG1 000005a4: PUSH1 0x00 000005a6: SWAP3 000005a7: POP 000005a8: JUMPDEST 000005a9: POP 000005aa: POP 000005ab: SWAP4 000005ac: SWAP3 000005ad: POP 000005ae: POP 000005af: POP 000005b0: JUMP 000005b1: JUMPDEST 000005b2: PUSH1 0x00 000005b4: DUP6 000005b5: LT 000005b6: DUP1 000005b7: PUSH2 0x05c2 000005ba: JUMPI 000005bb: POP 000005bc: PUSH2 0x03e8 000005bf: DUP6 000005c0: LT 000005c1: ISZERO 000005c2: JUMPDEST 000005c3: ISZERO 000005c4: PUSH2 0x0635 000005c7: JUMPI 000005c8: PUSH1 0x40 000005ca: DUP1 000005cb: MLOAD 000005cc: PUSH1 0x01 000005ce: PUSH1 0xa0 000005d0: PUSH1 0x02 000005d2: EXP 000005d3: SUB 000005d4: CALLER 000005d5: AND 000005d6: DUP2 000005d7: MSTORE 000005d8: DUP1 000005d9: DUP3 000005da: ADD 000005db: DUP8 000005dc: SWAP1 000005dd: MSTORE 000005de: PUSH1 0x60 000005e0: PUSH1 0x20 000005e2: DUP3 000005e3: ADD 000005e4: DUP2 000005e5: SWAP1 000005e6: MSTORE 000005e7: PUSH1 0x19 000005e9: SWAP1 000005ea: DUP3 000005eb: ADD 000005ec: MSTORE 000005ed: PUSH32 0x59206d757374206265203e203020616e64203c20313030302e00000000000000 0000060e: PUSH1 0x80 00000610: DUP3 00000611: ADD 00000612: MSTORE 00000613: SWAP1 00000614: MLOAD 00000615: PUSH1 0x00 00000617: DUP1 00000618: MLOAD 00000619: PUSH1 0x20 0000061b: PUSH2 0x084e 0000061e: DUP4 0000061f: CODECOPY 00000620: DUP2 00000621: MLOAD 00000622: SWAP2 00000623: MSTORE 00000624: SWAP2 00000625: DUP2 00000626: SWAP1 00000627: SUB 00000628: PUSH1 0xa0 0000062a: ADD 0000062b: SWAP1 0000062c: LOG1 0000062d: PUSH1 0x00 0000062f: SWAP3 00000630: POP 00000631: PUSH2 0x05a8 00000634: JUMP 00000635: JUMPDEST 00000636: PUSH1 0x03 00000638: SLOAD 00000639: CALLVALUE 0000063a: LT 0000063b: ISZERO 0000063c: PUSH2 0x04af 0000063f: JUMPI 00000640: PUSH1 0x40 00000642: DUP1 00000643: MLOAD 00000644: PUSH1 0x01 00000646: PUSH1 0xa0 00000648: PUSH1 0x02 0000064a: EXP 0000064b: SUB 0000064c: CALLER 0000064d: AND 0000064e: DUP2 0000064f: MSTORE 00000650: CALLVALUE 00000651: DUP2 00000652: DUP4 00000653: ADD 00000654: MSTORE 00000655: PUSH1 0x60 00000657: PUSH1 0x20 00000659: DUP3 0000065a: ADD 0000065b: DUP2 0000065c: SWAP1 0000065d: MSTORE 0000065e: PUSH1 0x21 00000660: SWAP1 00000661: DUP3 00000662: ADD 00000663: MSTORE 00000664: PUSH32 0x4d696e696d756d20706978656c2070726963652069732035302066696e6e6579 00000685: PUSH1 0x80 00000687: DUP3 00000688: ADD 00000689: MSTORE 0000068a: PUSH32 0x2e00000000000000000000000000000000000000000000000000000000000000 000006ab: PUSH1 0xa0 000006ad: DUP3 000006ae: ADD 000006af: MSTORE 000006b0: SWAP1 000006b1: MLOAD 000006b2: PUSH1 0x00 000006b4: DUP1 000006b5: MLOAD 000006b6: PUSH1 0x20 000006b8: PUSH2 0x084e 000006bb: DUP4 000006bc: CODECOPY 000006bd: DUP2 000006be: MLOAD 000006bf: SWAP2 000006c0: MSTORE 000006c1: SWAP2 000006c2: DUP2 000006c3: SWAP1 000006c4: SUB 000006c5: PUSH1 0xc0 000006c7: ADD 000006c8: SWAP1 000006c9: LOG1 000006ca: PUSH1 0x00 000006cc: SWAP3 000006cd: POP 000006ce: PUSH2 0x05a8 000006d1: JUMP 000006d2: JUMPDEST 000006d3: PUSH1 0x04 000006d5: DUP7 000006d6: PUSH2 0x03e8 000006d9: DUP2 000006da: LT 000006db: ISZERO 000006dc: PUSH2 0x0002 000006df: JUMPI 000006e0: PUSH2 0x0fa0 000006e3: MUL 000006e4: ADD 000006e5: DUP6 000006e6: PUSH2 0x03e8 000006e9: DUP2 000006ea: LT 000006eb: ISZERO 000006ec: PUSH2 0x0002 000006ef: JUMPI 000006f0: PUSH1 0x04 000006f2: MUL 000006f3: ADD 000006f4: DUP1 000006f5: SLOAD 000006f6: SWAP1 000006f7: SWAP3 000006f8: POP 000006f9: PUSH1 0x00 000006fb: PUSH1 0x01 000006fd: PUSH1 0xa0 000006ff: PUSH1 0x02 00000701: EXP 00000702: SUB 00000703: SWAP2 00000704: SWAP1 00000705: SWAP2 00000706: AND 00000707: GT 00000708: ISZERO 00000709: PUSH2 0x0740 0000070c: JUMPI 0000070d: POP 0000070e: PUSH1 0x40 00000710: MLOAD 00000711: PUSH1 0x02 00000713: SLOAD 00000714: DUP3 00000715: SLOAD 00000716: PUSH1 0x64 00000718: CALLVALUE 00000719: SWAP3 0000071a: DUP4 0000071b: MUL 0000071c: DIV 0000071d: SWAP3 0000071e: PUSH1 0x01 00000720: PUSH1 0xa0 00000722: PUSH1 0x02 00000724: EXP 00000725: SUB 00000726: SWAP2 00000727: SWAP1 00000728: SWAP2 00000729: AND 0000072a: SWAP2 0000072b: PUSH1 0x00 0000072d: SWAP2 0000072e: SWAP1 0000072f: DUP5 00000730: SWAP1 00000731: SUB 00000732: SWAP1 00000733: DUP3 00000734: DUP2 00000735: DUP2 00000736: DUP2 00000737: DUP6 00000738: DUP9 00000739: DUP4 0000073a: CALL 0000073b: POP 0000073c: POP 0000073d: POP 0000073e: POP 0000073f: POP 00000740: JUMPDEST 00000741: PUSH1 0x40 00000743: DUP1 00000744: MLOAD 00000745: PUSH1 0x80 00000747: DUP2 00000748: ADD 00000749: DUP3 0000074a: MSTORE 0000074b: CALLER 0000074c: DUP2 0000074d: MSTORE 0000074e: NUMBER 0000074f: PUSH1 0x20 00000751: DUP3 00000752: ADD 00000753: MSTORE 00000754: SWAP1 00000755: DUP2 00000756: ADD 00000757: DUP6 00000758: SWAP1 00000759: MSTORE 0000075a: CALLVALUE 0000075b: PUSH1 0x60 0000075d: DUP3 0000075e: ADD 0000075f: MSTORE 00000760: PUSH1 0x04 00000762: DUP8 00000763: PUSH2 0x03e8 00000766: DUP2 00000767: LT 00000768: ISZERO 00000769: PUSH2 0x0002 0000076c: JUMPI 0000076d: PUSH2 0x0fa0 00000770: MUL 00000771: ADD 00000772: DUP7 00000773: PUSH2 0x03e8 00000776: DUP2 00000777: LT 00000778: ISZERO 00000779: PUSH2 0x0002 0000077c: JUMPI 0000077d: PUSH1 0x04 0000077f: MUL 00000780: ADD 00000781: DUP1 00000782: SLOAD 00000783: DUP3 00000784: MLOAD 00000785: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000079a: NOT 0000079b: SWAP2 0000079c: SWAP1 0000079d: SWAP2 0000079e: AND 0000079f: OR 000007a0: DUP2 000007a1: SSTORE 000007a2: PUSH1 0x20 000007a4: DUP3 000007a5: DUP2 000007a6: ADD 000007a7: MLOAD 000007a8: PUSH1 0x01 000007aa: DUP4 000007ab: ADD 000007ac: SSTORE 000007ad: PUSH1 0x40 000007af: DUP4 000007b0: DUP2 000007b1: ADD 000007b2: MLOAD 000007b3: PUSH1 0x02 000007b5: DUP5 000007b6: DUP2 000007b7: ADD 000007b8: SWAP2 000007b9: SWAP1 000007ba: SWAP2 000007bb: SSTORE 000007bc: PUSH1 0x60 000007be: SWAP5 000007bf: DUP6 000007c0: ADD 000007c1: MLOAD 000007c2: PUSH1 0x03 000007c4: SWAP5 000007c5: DUP6 000007c6: ADD 000007c7: SSTORE 000007c8: DUP7 000007c9: SLOAD 000007ca: SWAP1 000007cb: DUP8 000007cc: ADD 000007cd: SLOAD 000007ce: SWAP4 000007cf: DUP8 000007d0: ADD 000007d1: SLOAD 000007d2: DUP3 000007d3: MLOAD 000007d4: DUP13 000007d5: DUP2 000007d6: MSTORE 000007d7: SWAP4 000007d8: DUP5 000007d9: ADD 000007da: DUP12 000007db: SWAP1 000007dc: MSTORE 000007dd: PUSH1 0x01 000007df: PUSH1 0xa0 000007e1: PUSH1 0x02 000007e3: EXP 000007e4: SUB 000007e5: SWAP2 000007e6: DUP3 000007e7: AND 000007e8: DUP5 000007e9: DUP5 000007ea: ADD 000007eb: MSTORE 000007ec: SWAP5 000007ed: DUP4 000007ee: ADD 000007ef: SWAP4 000007f0: SWAP1 000007f1: SWAP4 000007f2: MSTORE 000007f3: PUSH1 0x80 000007f5: DUP3 000007f6: ADD 000007f7: SWAP4 000007f8: SWAP1 000007f9: SWAP4 000007fa: MSTORE 000007fb: CALLER 000007fc: SWAP1 000007fd: SWAP2 000007fe: AND 000007ff: PUSH1 0xa0 00000801: DUP3 00000802: ADD 00000803: MSTORE 00000804: PUSH1 0xc0 00000806: DUP2 00000807: ADD 00000808: DUP7 00000809: SWAP1 0000080a: MSTORE 0000080b: CALLVALUE 0000080c: PUSH1 0xe0 0000080e: DUP3 0000080f: ADD 00000810: MSTORE 00000811: SWAP1 00000812: MLOAD 00000813: PUSH32 0x26f34cb6b7870852e345e9eac424ccb8198e669c65b63734ccffd3f591abfd67 00000834: SWAP2 00000835: DUP2 00000836: SWAP1 00000837: SUB 00000838: PUSH2 0x0100 0000083b: ADD 0000083c: SWAP1 0000083d: LOG1 0000083e: PUSH1 0x01 00000840: SWAP3 00000841: POP 00000842: PUSH2 0x05a8 00000845: JUMP 00000846: JUMPDEST 00000847: POP 00000848: SWAP2 00000849: SWAP4 0000084a: SWAP1 0000084b: SWAP3 0000084c: POP 0000084d: JUMP 0000084e: REVERT 0000084f: CALLER 00000850: UNKNOWN(0xE9) 00000851: UNKNOWN(0x0D) 00000852: UNKNOWN(0x0E) 00000853: UNKNOWN(0xAC) 00000854: SWAP5 00000855: SMOD 00000856: SSTORE 00000857: UNKNOWN(0x27) 00000858: PUSH27
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: 0x977743a7211ab6d5274b91341ce5078bb5451e3c8191bfecd63ebbb3abb0d262
call_targets:
0x242034238b5d9c0001bc06320bb4cfd8d20d8ed4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x977743a7211ab6d5274b91341ce5078bb5451e3c8191bfecd63ebbb3abb0d262",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x242034238b5d9c0001bc06320bb4cfd8d20d8ed4"
],
"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": "0x1ff6c705",
"selector": "0x1ff6c705",
"calldata_variants": [
"0x1ff6c705",
"0x1ff6c7050000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x303a36e2",
"selector": "0x303a36e2",
"calldata_variants": [
"0x303a36e2",
"0x303a36e20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5ea8cd12",
"selector": "0x5ea8cd12",
"calldata_variants": [
"0x5ea8cd12",
"0x5ea8cd120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x69d640fd",
"selector": "0x69d640fd",
"calldata_variants": [
"0x69d640fd",
"0x69d640fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7ce3489b",
"selector": "0x7ce3489b",
"calldata_variants": [
"0x7ce3489b",
"0x7ce3489b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7fd6f15c",
"selector": "0x7fd6f15c",
"calldata_variants": [
"0x7fd6f15c",
"0x7fd6f15c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc943e51a",
"selector": "0xc943e51a",
"calldata_variants": [
"0xc943e51a",
"0xc943e51a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 951,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1051,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
},
{
"pc": 1071,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x977743a7211ab6d5274b91341ce5078bb5451e3c8191bfecd63ebbb3abb0d262
call_targets:
0x242034238b5d9c0001bc06320bb4cfd8d20d8ed4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x977743a7211ab6d5274b91341ce5078bb5451e3c8191bfecd63ebbb3abb0d262",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x242034238b5d9c0001bc06320bb4cfd8d20d8ed4"
],
"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": "0x1ff6c705",
"selector": "0x1ff6c705",
"calldata_variants": [
"0x1ff6c705",
"0x1ff6c7050000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x303a36e2",
"selector": "0x303a36e2",
"calldata_variants": [
"0x303a36e2",
"0x303a36e20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5ea8cd12",
"selector": "0x5ea8cd12",
"calldata_variants": [
"0x5ea8cd12",
"0x5ea8cd120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x69d640fd",
"selector": "0x69d640fd",
"calldata_variants": [
"0x69d640fd",
"0x69d640fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7ce3489b",
"selector": "0x7ce3489b",
"calldata_variants": [
"0x7ce3489b",
"0x7ce3489b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7fd6f15c",
"selector": "0x7fd6f15c",
"calldata_variants": [
"0x7fd6f15c",
"0x7fd6f15c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc943e51a",
"selector": "0xc943e51a",
"calldata_variants": [
"0xc943e51a",
"0xc943e51a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 951,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1051,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
},
{
"pc": 1071,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|