019b3844-8b56-7346-aa28-0fd26ce653d3
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 |
|---|---|---|---|---|
| 11783 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 11784 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 98834 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 98835 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 98836 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 98837 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x004a 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: PUSH4 0xffffffff 00000033: AND 00000034: DUP1 00000035: PUSH4 0x9ac84414 0000003a: EQ 0000003b: PUSH2 0x004e 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf5f6d3af 00000045: EQ 00000046: PUSH2 0x007b 00000049: JUMPI 0000004a: JUMPDEST 0000004b: JUMPDEST 0000004c: JUMPDEST 0000004d: STOP 0000004e: JUMPDEST 0000004f: CALLVALUE 00000050: ISZERO 00000051: PUSH2 0x0059 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: PUSH2 0x0061 0000005d: PUSH2 0x00cc 00000060: JUMP 00000061: JUMPDEST 00000062: PUSH1 0x40 00000064: MLOAD 00000065: DUP1 00000066: DUP3 00000067: ISZERO 00000068: ISZERO 00000069: ISZERO 0000006a: ISZERO 0000006b: DUP2 0000006c: MSTORE 0000006d: PUSH1 0x20 0000006f: ADD 00000070: SWAP2 00000071: POP 00000072: POP 00000073: PUSH1 0x40 00000075: MLOAD 00000076: DUP1 00000077: SWAP2 00000078: SUB 00000079: SWAP1 0000007a: RETURN 0000007b: JUMPDEST 0000007c: CALLVALUE 0000007d: ISZERO 0000007e: PUSH2 0x0086 00000081: JUMPI 00000082: PUSH1 0x00 00000084: DUP1 00000085: REVERT 00000086: JUMPDEST 00000087: PUSH2 0x00b2 0000008a: PUSH1 0x04 0000008c: DUP1 0000008d: DUP1 0000008e: CALLDATALOAD 0000008f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000a4: AND 000000a5: SWAP1 000000a6: PUSH1 0x20 000000a8: ADD 000000a9: SWAP1 000000aa: SWAP2 000000ab: SWAP1 000000ac: POP 000000ad: POP 000000ae: PUSH2 0x03d2 000000b1: JUMP 000000b2: JUMPDEST 000000b3: PUSH1 0x40 000000b5: MLOAD 000000b6: DUP1 000000b7: DUP3 000000b8: ISZERO 000000b9: ISZERO 000000ba: ISZERO 000000bb: ISZERO 000000bc: DUP2 000000bd: MSTORE 000000be: PUSH1 0x20 000000c0: ADD 000000c1: SWAP2 000000c2: POP 000000c3: POP 000000c4: PUSH1 0x40 000000c6: MLOAD 000000c7: DUP1 000000c8: SWAP2 000000c9: SUB 000000ca: SWAP1 000000cb: RETURN 000000cc: JUMPDEST 000000cd: PUSH1 0x00 000000cf: DUP1 000000d0: PUSH1 0x00 000000d2: DUP1 000000d3: PUSH1 0x00 000000d5: SWAP1 000000d6: SLOAD 000000d7: SWAP1 000000d8: PUSH2 0x0100 000000db: EXP 000000dc: SWAP1 000000dd: DIV 000000de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000f3: AND 000000f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000109: AND 0000010a: PUSH4 0x88af30c3 0000010f: PUSH1 0x00 00000111: PUSH1 0x40 00000113: MLOAD 00000114: PUSH1 0x20 00000116: ADD 00000117: MSTORE 00000118: PUSH1 0x40 0000011a: MLOAD 0000011b: DUP2 0000011c: PUSH4 0xffffffff 00000121: AND 00000122: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000140: MUL 00000141: DUP2 00000142: MSTORE 00000143: PUSH1 0x04 00000145: ADD 00000146: PUSH1 0x20 00000148: PUSH1 0x40 0000014a: MLOAD 0000014b: DUP1 0000014c: DUP4 0000014d: SUB 0000014e: DUP2 0000014f: PUSH1 0x00 00000151: DUP8 00000152: DUP1 00000153: EXTCODESIZE 00000154: ISZERO 00000155: ISZERO 00000156: PUSH2 0x015e 00000159: JUMPI 0000015a: PUSH1 0x00 0000015c: DUP1 0000015d: REVERT 0000015e: JUMPDEST 0000015f: PUSH2 0x02c6 00000162: GAS 00000163: SUB 00000164: CALL 00000165: ISZERO 00000166: ISZERO 00000167: PUSH2 0x016f 0000016a: JUMPI 0000016b: PUSH1 0x00 0000016d: DUP1 0000016e: REVERT 0000016f: JUMPDEST 00000170: POP 00000171: POP 00000172: POP 00000173: PUSH1 0x40 00000175: MLOAD 00000176: DUP1 00000177: MLOAD 00000178: SWAP1 00000179: POP 0000017a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000018f: AND 00000190: CALLER 00000191: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001a6: AND 000001a7: EQ 000001a8: ISZERO 000001a9: ISZERO 000001aa: PUSH2 0x01b2 000001ad: JUMPI 000001ae: PUSH1 0x00 000001b0: DUP1 000001b1: REVERT 000001b2: JUMPDEST 000001b3: PUSH1 0x00 000001b5: DUP1 000001b6: SWAP1 000001b7: SLOAD 000001b8: SWAP1 000001b9: PUSH2 0x0100 000001bc: EXP 000001bd: SWAP1 000001be: DIV 000001bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001d4: AND 000001d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001ea: AND 000001eb: PUSH4 0x4d112847 000001f0: PUSH1 0x00 000001f2: PUSH1 0x40 000001f4: MLOAD 000001f5: PUSH1 0x20 000001f7: ADD 000001f8: MSTORE 000001f9: PUSH1 0x40 000001fb: MLOAD 000001fc: DUP2 000001fd: PUSH4 0xffffffff 00000202: AND 00000203: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000221: MUL 00000222: DUP2 00000223: MSTORE 00000224: PUSH1 0x04 00000226: ADD 00000227: PUSH1 0x20 00000229: PUSH1 0x40 0000022b: MLOAD 0000022c: DUP1 0000022d: DUP4 0000022e: SUB 0000022f: DUP2 00000230: PUSH1 0x00 00000232: DUP8 00000233: DUP1 00000234: EXTCODESIZE 00000235: ISZERO 00000236: ISZERO 00000237: PUSH2 0x023f 0000023a: JUMPI 0000023b: PUSH1 0x00 0000023d: DUP1 0000023e: REVERT 0000023f: JUMPDEST 00000240: PUSH2 0x02c6 00000243: GAS 00000244: SUB 00000245: CALL 00000246: ISZERO 00000247: ISZERO 00000248: PUSH2 0x0250 0000024b: JUMPI 0000024c: PUSH1 0x00 0000024e: DUP1 0000024f: REVERT 00000250: JUMPDEST 00000251: POP 00000252: POP 00000253: POP 00000254: PUSH1 0x40 00000256: MLOAD 00000257: DUP1 00000258: MLOAD 00000259: SWAP1 0000025a: POP 0000025b: ISZERO 0000025c: PUSH2 0x0264 0000025f: JUMPI 00000260: PUSH1 0x00 00000262: DUP1 00000263: REVERT 00000264: JUMPDEST 00000265: PUSH1 0x00 00000267: DUP1 00000268: SWAP1 00000269: SLOAD 0000026a: SWAP1 0000026b: PUSH2 0x0100 0000026e: EXP 0000026f: SWAP1 00000270: DIV 00000271: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000286: AND 00000287: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000029c: AND 0000029d: PUSH4 0x88af30c3 000002a2: PUSH1 0x00 000002a4: PUSH1 0x40 000002a6: MLOAD 000002a7: PUSH1 0x20 000002a9: ADD 000002aa: MSTORE 000002ab: PUSH1 0x40 000002ad: MLOAD 000002ae: DUP2 000002af: PUSH4 0xffffffff 000002b4: AND 000002b5: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000002d3: MUL 000002d4: DUP2 000002d5: MSTORE 000002d6: PUSH1 0x04 000002d8: ADD 000002d9: PUSH1 0x20 000002db: PUSH1 0x40 000002dd: MLOAD 000002de: DUP1 000002df: DUP4 000002e0: SUB 000002e1: DUP2 000002e2: PUSH1 0x00 000002e4: DUP8 000002e5: DUP1 000002e6: EXTCODESIZE 000002e7: ISZERO 000002e8: ISZERO 000002e9: PUSH2 0x02f1 000002ec: JUMPI 000002ed: PUSH1 0x00 000002ef: DUP1 000002f0: REVERT 000002f1: JUMPDEST 000002f2: PUSH2 0x02c6 000002f5: GAS 000002f6: SUB 000002f7: CALL 000002f8: ISZERO 000002f9: ISZERO 000002fa: PUSH2 0x0302 000002fd: JUMPI 000002fe: PUSH1 0x00 00000300: DUP1 00000301: REVERT 00000302: JUMPDEST 00000303: POP 00000304: POP 00000305: POP 00000306: PUSH1 0x40 00000308: MLOAD 00000309: DUP1 0000030a: MLOAD 0000030b: SWAP1 0000030c: POP 0000030d: SWAP2 0000030e: POP 0000030f: ADDRESS 00000310: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000325: AND 00000326: BALANCE 00000327: SWAP1 00000328: POP 00000329: DUP2 0000032a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000033f: AND 00000340: PUSH2 0x08fc 00000343: DUP3 00000344: SWAP1 00000345: DUP2 00000346: ISZERO 00000347: MUL 00000348: SWAP1 00000349: PUSH1 0x40 0000034b: MLOAD 0000034c: PUSH1 0x00 0000034e: PUSH1 0x40 00000350: MLOAD 00000351: DUP1 00000352: DUP4 00000353: SUB 00000354: DUP2 00000355: DUP6 00000356: DUP9 00000357: DUP9 00000358: CALL 00000359: SWAP4 0000035a: POP 0000035b: POP 0000035c: POP 0000035d: POP 0000035e: SWAP3 0000035f: POP 00000360: PUSH32 0xa5f4158b9915ca5ad0185833847c637702ae9d5c1510023e9a5d4f13c26657bd 00000381: DUP3 00000382: DUP3 00000383: PUSH1 0x40 00000385: MLOAD 00000386: DUP1 00000387: DUP4 00000388: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000039d: AND 0000039e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003b3: AND 000003b4: DUP2 000003b5: MSTORE 000003b6: PUSH1 0x20 000003b8: ADD 000003b9: DUP3 000003ba: DUP2 000003bb: MSTORE 000003bc: PUSH1 0x20 000003be: ADD 000003bf: SWAP3 000003c0: POP 000003c1: POP 000003c2: POP 000003c3: PUSH1 0x40 000003c5: MLOAD 000003c6: DUP1 000003c7: SWAP2 000003c8: SUB 000003c9: SWAP1 000003ca: LOG1 000003cb: JUMPDEST 000003cc: JUMPDEST 000003cd: JUMPDEST 000003ce: POP 000003cf: POP 000003d0: SWAP1 000003d1: JUMP 000003d2: JUMPDEST 000003d3: PUSH1 0x00 000003d5: DUP1 000003d6: PUSH1 0x00 000003d8: DUP1 000003d9: PUSH1 0x00 000003db: DUP1 000003dc: SWAP1 000003dd: SLOAD 000003de: SWAP1 000003df: PUSH2 0x0100 000003e2: EXP 000003e3: SWAP1 000003e4: DIV 000003e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003fa: AND 000003fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000410: AND 00000411: PUSH4 0x88af30c3 00000416: PUSH1 0x00 00000418: PUSH1 0x40 0000041a: MLOAD 0000041b: PUSH1 0x20 0000041d: ADD 0000041e: MSTORE 0000041f: PUSH1 0x40 00000421: MLOAD 00000422: DUP2 00000423: PUSH4 0xffffffff 00000428: AND 00000429: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000447: MUL 00000448: DUP2 00000449: MSTORE 0000044a: PUSH1 0x04 0000044c: ADD 0000044d: PUSH1 0x20 0000044f: PUSH1 0x40 00000451: MLOAD 00000452: DUP1 00000453: DUP4 00000454: SUB 00000455: DUP2 00000456: PUSH1 0x00 00000458: DUP8 00000459: DUP1 0000045a: EXTCODESIZE 0000045b: ISZERO 0000045c: ISZERO 0000045d: PUSH2 0x0465 00000460: JUMPI 00000461: PUSH1 0x00 00000463: DUP1 00000464: REVERT 00000465: JUMPDEST 00000466: PUSH2 0x02c6 00000469: GAS 0000046a: SUB 0000046b: CALL 0000046c: ISZERO 0000046d: ISZERO 0000046e: PUSH2 0x0476 00000471: JUMPI 00000472: PUSH1 0x00 00000474: DUP1 00000475: REVERT 00000476: JUMPDEST 00000477: POP 00000478: POP 00000479: POP 0000047a: PUSH1 0x40 0000047c: MLOAD 0000047d: DUP1 0000047e: MLOAD 0000047f: SWAP1 00000480: POP 00000481: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000496: AND 00000497: CALLER 00000498: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ad: AND 000004ae: EQ 000004af: ISZERO 000004b0: ISZERO 000004b1: PUSH2 0x04b9 000004b4: JUMPI 000004b5: PUSH1 0x00 000004b7: DUP1 000004b8: REVERT 000004b9: JUMPDEST 000004ba: PUSH1 0x00 000004bc: DUP1 000004bd: SWAP1 000004be: SLOAD 000004bf: SWAP1 000004c0: PUSH2 0x0100 000004c3: EXP 000004c4: SWAP1 000004c5: DIV 000004c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004db: AND 000004dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004f1: AND 000004f2: PUSH4 0x4d112847 000004f7: PUSH1 0x00 000004f9: PUSH1 0x40 000004fb: MLOAD 000004fc: PUSH1 0x20 000004fe: ADD 000004ff: MSTORE 00000500: PUSH1 0x40 00000502: MLOAD 00000503: DUP2 00000504: PUSH4 0xffffffff 00000509: AND 0000050a: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000528: MUL 00000529: DUP2 0000052a: MSTORE 0000052b: PUSH1 0x04 0000052d: ADD 0000052e: PUSH1 0x20 00000530: PUSH1 0x40 00000532: MLOAD 00000533: DUP1 00000534: DUP4 00000535: SUB 00000536: DUP2 00000537: PUSH1 0x00 00000539: DUP8 0000053a: DUP1 0000053b: EXTCODESIZE 0000053c: ISZERO 0000053d: ISZERO 0000053e: PUSH2 0x0546 00000541: JUMPI 00000542: PUSH1 0x00 00000544: DUP1 00000545: REVERT 00000546: JUMPDEST 00000547: PUSH2 0x02c6 0000054a: GAS 0000054b: SUB 0000054c: CALL 0000054d: ISZERO 0000054e: ISZERO 0000054f: PUSH2 0x0557 00000552: JUMPI 00000553: PUSH1 0x00 00000555: DUP1 00000556: REVERT 00000557: JUMPDEST 00000558: POP 00000559: POP 0000055a: POP 0000055b: PUSH1 0x40 0000055d: MLOAD 0000055e: DUP1 0000055f: MLOAD 00000560: SWAP1 00000561: POP 00000562: ISZERO 00000563: PUSH2 0x056b 00000566: JUMPI 00000567: PUSH1 0x00 00000569: DUP1 0000056a: REVERT 0000056b: JUMPDEST 0000056c: PUSH1 0x00 0000056e: DUP1 0000056f: SWAP1 00000570: SLOAD 00000571: SWAP1 00000572: PUSH2 0x0100 00000575: EXP 00000576: SWAP1 00000577: DIV 00000578: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000058d: AND 0000058e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a3: AND 000005a4: PUSH4 0x88af30c3 000005a9: PUSH1 0x00 000005ab: PUSH1 0x40 000005ad: MLOAD 000005ae: PUSH1 0x20 000005b0: ADD 000005b1: MSTORE 000005b2: PUSH1 0x40 000005b4: MLOAD 000005b5: DUP2 000005b6: PUSH4 0xffffffff 000005bb: AND 000005bc: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000005da: MUL 000005db: DUP2 000005dc: MSTORE 000005dd: PUSH1 0x04 000005df: ADD 000005e0: PUSH1 0x20 000005e2: PUSH1 0x40 000005e4: MLOAD 000005e5: DUP1 000005e6: DUP4 000005e7: SUB 000005e8: DUP2 000005e9: PUSH1 0x00 000005eb: DUP8 000005ec: DUP1 000005ed: EXTCODESIZE 000005ee: ISZERO 000005ef: ISZERO 000005f0: PUSH2 0x05f8 000005f3: JUMPI 000005f4: PUSH1 0x00 000005f6: DUP1 000005f7: REVERT 000005f8: JUMPDEST 000005f9: PUSH2 0x02c6 000005fc: GAS 000005fd: SUB 000005fe: CALL 000005ff: ISZERO 00000600: ISZERO 00000601: PUSH2 0x0609 00000604: JUMPI 00000605: PUSH1 0x00 00000607: DUP1 00000608: REVERT 00000609: JUMPDEST 0000060a: POP 0000060b: POP 0000060c: POP 0000060d: PUSH1 0x40 0000060f: MLOAD 00000610: DUP1 00000611: MLOAD 00000612: SWAP1 00000613: POP 00000614: SWAP3 00000615: POP 00000616: DUP5 00000617: SWAP2 00000618: POP 00000619: DUP2 0000061a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000062f: AND 00000630: PUSH4 0x70a08231 00000635: ADDRESS 00000636: PUSH1 0x00 00000638: PUSH1 0x40 0000063a: MLOAD 0000063b: PUSH1 0x20 0000063d: ADD 0000063e: MSTORE 0000063f: PUSH1 0x40 00000641: MLOAD 00000642: DUP3 00000643: PUSH4 0xffffffff 00000648: AND 00000649: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000667: MUL 00000668: DUP2 00000669: MSTORE 0000066a: PUSH1 0x04 0000066c: ADD 0000066d: DUP1 0000066e: DUP3 0000066f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000684: AND 00000685: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000069a: AND 0000069b: DUP2 0000069c: MSTORE 0000069d: PUSH1 0x20 0000069f: ADD 000006a0: SWAP2 000006a1: POP 000006a2: POP 000006a3: PUSH1 0x20 000006a5: PUSH1 0x40 000006a7: MLOAD 000006a8: DUP1 000006a9: DUP4 000006aa: SUB 000006ab: DUP2 000006ac: PUSH1 0x00 000006ae: DUP8 000006af: DUP1 000006b0: EXTCODESIZE 000006b1: ISZERO 000006b2: ISZERO 000006b3: PUSH2 0x06bb 000006b6: JUMPI 000006b7: PUSH1 0x00 000006b9: DUP1 000006ba: REVERT 000006bb: JUMPDEST 000006bc: PUSH2 0x02c6 000006bf: GAS 000006c0: SUB 000006c1: CALL 000006c2: ISZERO 000006c3: ISZERO 000006c4: PUSH2 0x06cc 000006c7: JUMPI 000006c8: PUSH1 0x00 000006ca: DUP1 000006cb: REVERT 000006cc: JUMPDEST 000006cd: POP 000006ce: POP 000006cf: POP 000006d0: PUSH1 0x40 000006d2: MLOAD 000006d3: DUP1 000006d4: MLOAD 000006d5: SWAP1 000006d6: POP 000006d7: SWAP1 000006d8: POP 000006d9: DUP2 000006da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ef: AND 000006f0: PUSH4 0xa9059cbb 000006f5: DUP5 000006f6: DUP4 000006f7: PUSH1 0x00 000006f9: PUSH1 0x40 000006fb: MLOAD 000006fc: PUSH1 0x20 000006fe: ADD 000006ff: MSTORE 00000700: PUSH1 0x40 00000702: MLOAD 00000703: DUP4 00000704: PUSH4 0xffffffff 00000709: AND 0000070a: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000728: MUL 00000729: DUP2 0000072a: MSTORE 0000072b: PUSH1 0x04 0000072d: ADD 0000072e: DUP1 0000072f: DUP4 00000730: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000745: AND 00000746: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000075b: AND 0000075c: DUP2 0000075d: MSTORE 0000075e: PUSH1 0x20 00000760: ADD 00000761: DUP3 00000762: DUP2 00000763: MSTORE 00000764: PUSH1 0x20 00000766: ADD 00000767: SWAP3 00000768: POP 00000769: POP 0000076a: POP 0000076b: PUSH1 0x20 0000076d: PUSH1 0x40 0000076f: MLOAD 00000770: DUP1 00000771: DUP4 00000772: SUB 00000773: DUP2 00000774: PUSH1 0x00 00000776: DUP8 00000777: DUP1 00000778: EXTCODESIZE 00000779: ISZERO 0000077a: ISZERO 0000077b: PUSH2 0x0783 0000077e: JUMPI 0000077f: PUSH1 0x00 00000781: DUP1 00000782: REVERT 00000783: JUMPDEST 00000784: PUSH2 0x02c6 00000787: GAS 00000788: SUB 00000789: CALL 0000078a: ISZERO 0000078b: ISZERO 0000078c: PUSH2 0x0794 0000078f: JUMPI 00000790: PUSH1 0x00 00000792: DUP1 00000793: REVERT 00000794: JUMPDEST 00000795: POP 00000796: POP 00000797: POP 00000798: PUSH1 0x40 0000079a: MLOAD 0000079b: DUP1 0000079c: MLOAD 0000079d: SWAP1 0000079e: POP 0000079f: SWAP4 000007a0: POP 000007a1: PUSH32 0xa5f4158b9915ca5ad0185833847c637702ae9d5c1510023e9a5d4f13c26657bd 000007c2: DUP4 000007c3: DUP3 000007c4: PUSH1 0x40 000007c6: MLOAD 000007c7: DUP1 000007c8: DUP4 000007c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007de: AND 000007df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007f4: AND 000007f5: DUP2 000007f6: MSTORE 000007f7: PUSH1 0x20 000007f9: ADD 000007fa: DUP3 000007fb: DUP2 000007fc: MSTORE 000007fd: PUSH1 0x20 000007ff: ADD 00000800: SWAP3 00000801: POP 00000802: POP 00000803: POP 00000804: PUSH1 0x40 00000806: MLOAD 00000807: DUP1 00000808: SWAP2 00000809: SUB 0000080a: SWAP1 0000080b: LOG1 0000080c: JUMPDEST 0000080d: JUMPDEST 0000080e: JUMPDEST 0000080f: POP 00000810: POP 00000811: POP 00000812: SWAP2 00000813: SWAP1 00000814: POP 00000815: JUMP 00000816: STOP 00000817: LOG1 00000818: PUSH6 0x627a7a723058 0000081f: KECCAK256 00000820: SWAP6 00000821: DUP1 00000822: SWAP11 00000823: GT 00000824: UNKNOWN(0xD0) 00000825: PUSH13 0x415fd0cd5ff0aa025b5cdc6f96 00000833: UNKNOWN(0xDF) 00000834: XOR 00000835: PUSH9 0xf0cc9fd14b56d9699f 0000083f: UNKNOWN(0xE7) 00000840: STOP 00000841: UNKNOWN(0x29)
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 |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xd72ce1010bfcf682486807cb162fb46b62c587164eb82944cb53e05cd2467de8
call_targets:
0x2ad589b4cc2fe767f5a9abea942960861660ff16
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd72ce1010bfcf682486807cb162fb46b62c587164eb82944cb53e05cd2467de8",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2ad589b4cc2fe767f5a9abea942960861660ff16"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9ac84414",
"selector": "0x9ac84414",
"calldata_variants": [
"0x9ac84414",
"0x9ac844140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5f6d3af",
"selector": "0xf5f6d3af",
"calldata_variants": [
"0xf5f6d3af",
"0xf5f6d3af0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 356,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 581,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 759,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 9,
"guards_detected": [
{
"pc": 400,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1175,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 9
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xd72ce1010bfcf682486807cb162fb46b62c587164eb82944cb53e05cd2467de8
call_targets:
0x2ad589b4cc2fe767f5a9abea942960861660ff16
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd72ce1010bfcf682486807cb162fb46b62c587164eb82944cb53e05cd2467de8",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2ad589b4cc2fe767f5a9abea942960861660ff16"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9ac84414",
"selector": "0x9ac84414",
"calldata_variants": [
"0x9ac84414",
"0x9ac844140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf5f6d3af",
"selector": "0xf5f6d3af",
"calldata_variants": [
"0xf5f6d3af",
"0xf5f6d3af0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 356,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 581,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 759,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 9,
"guards_detected": [
{
"pc": 400,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1175,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|