019b3844-9533-701b-9bdf-fa66957ee678
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 |
|---|---|---|---|---|
| 13323 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 13324 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 112194 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 112195 | capability.graph | complete | 1 / 3 | 1 week ago |
| 112196 | detector.run | complete | 1 / 3 | 1 week ago |
| 112197 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0055 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x392e53cd 00000019: EQ 0000001a: PUSH2 0x0057 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x41232f6b 00000024: EQ 00000025: PUSH2 0x0086 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x44df8e70 0000002f: EQ 00000030: PUSH2 0x00dd 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x456a7cd8 0000003a: EQ 0000003b: PUSH2 0x010c 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x8da5cb5b 00000045: EQ 00000046: PUSH2 0x0137 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xb792e6ec 00000050: EQ 00000051: PUSH2 0x018e 00000054: JUMPI 00000055: JUMPDEST 00000056: STOP 00000057: JUMPDEST 00000058: CALLVALUE 00000059: DUP1 0000005a: ISZERO 0000005b: PUSH2 0x0063 0000005e: JUMPI 0000005f: PUSH1 0x00 00000061: DUP1 00000062: REVERT 00000063: JUMPDEST 00000064: POP 00000065: PUSH2 0x006c 00000068: PUSH2 0x0201 0000006b: JUMP 0000006c: JUMPDEST 0000006d: PUSH1 0x40 0000006f: MLOAD 00000070: DUP1 00000071: DUP3 00000072: ISZERO 00000073: ISZERO 00000074: ISZERO 00000075: ISZERO 00000076: DUP2 00000077: MSTORE 00000078: PUSH1 0x20 0000007a: ADD 0000007b: SWAP2 0000007c: POP 0000007d: POP 0000007e: PUSH1 0x40 00000080: MLOAD 00000081: DUP1 00000082: SWAP2 00000083: SUB 00000084: SWAP1 00000085: RETURN 00000086: JUMPDEST 00000087: CALLVALUE 00000088: DUP1 00000089: ISZERO 0000008a: PUSH2 0x0092 0000008d: JUMPI 0000008e: PUSH1 0x00 00000090: DUP1 00000091: REVERT 00000092: JUMPDEST 00000093: POP 00000094: PUSH2 0x009b 00000097: PUSH2 0x0214 0000009a: JUMP 0000009b: JUMPDEST 0000009c: PUSH1 0x40 0000009e: MLOAD 0000009f: DUP1 000000a0: DUP3 000000a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000b6: AND 000000b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000cc: AND 000000cd: DUP2 000000ce: MSTORE 000000cf: PUSH1 0x20 000000d1: ADD 000000d2: SWAP2 000000d3: POP 000000d4: POP 000000d5: PUSH1 0x40 000000d7: MLOAD 000000d8: DUP1 000000d9: SWAP2 000000da: SUB 000000db: SWAP1 000000dc: RETURN 000000dd: JUMPDEST 000000de: CALLVALUE 000000df: DUP1 000000e0: ISZERO 000000e1: PUSH2 0x00e9 000000e4: JUMPI 000000e5: PUSH1 0x00 000000e7: DUP1 000000e8: REVERT 000000e9: JUMPDEST 000000ea: POP 000000eb: PUSH2 0x00f2 000000ee: PUSH2 0x0239 000000f1: JUMP 000000f2: JUMPDEST 000000f3: PUSH1 0x40 000000f5: MLOAD 000000f6: DUP1 000000f7: DUP3 000000f8: ISZERO 000000f9: ISZERO 000000fa: ISZERO 000000fb: ISZERO 000000fc: DUP2 000000fd: MSTORE 000000fe: PUSH1 0x20 00000100: ADD 00000101: SWAP2 00000102: POP 00000103: POP 00000104: PUSH1 0x40 00000106: MLOAD 00000107: DUP1 00000108: SWAP2 00000109: SUB 0000010a: SWAP1 0000010b: RETURN 0000010c: JUMPDEST 0000010d: CALLVALUE 0000010e: DUP1 0000010f: ISZERO 00000110: PUSH2 0x0118 00000113: JUMPI 00000114: PUSH1 0x00 00000116: DUP1 00000117: REVERT 00000118: JUMPDEST 00000119: POP 0000011a: PUSH2 0x0121 0000011d: PUSH2 0x06a6 00000120: JUMP 00000121: JUMPDEST 00000122: PUSH1 0x40 00000124: MLOAD 00000125: DUP1 00000126: DUP3 00000127: DUP2 00000128: MSTORE 00000129: PUSH1 0x20 0000012b: ADD 0000012c: SWAP2 0000012d: POP 0000012e: POP 0000012f: PUSH1 0x40 00000131: MLOAD 00000132: DUP1 00000133: SWAP2 00000134: SUB 00000135: SWAP1 00000136: RETURN 00000137: JUMPDEST 00000138: CALLVALUE 00000139: DUP1 0000013a: ISZERO 0000013b: PUSH2 0x0143 0000013e: JUMPI 0000013f: PUSH1 0x00 00000141: DUP1 00000142: REVERT 00000143: JUMPDEST 00000144: POP 00000145: PUSH2 0x014c 00000148: PUSH2 0x06ac 0000014b: JUMP 0000014c: JUMPDEST 0000014d: PUSH1 0x40 0000014f: MLOAD 00000150: DUP1 00000151: DUP3 00000152: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000167: AND 00000168: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000017d: AND 0000017e: DUP2 0000017f: MSTORE 00000180: PUSH1 0x20 00000182: ADD 00000183: SWAP2 00000184: POP 00000185: POP 00000186: PUSH1 0x40 00000188: MLOAD 00000189: DUP1 0000018a: SWAP2 0000018b: SUB 0000018c: SWAP1 0000018d: RETURN 0000018e: JUMPDEST 0000018f: CALLVALUE 00000190: DUP1 00000191: ISZERO 00000192: PUSH2 0x019a 00000195: JUMPI 00000196: PUSH1 0x00 00000198: DUP1 00000199: REVERT 0000019a: JUMPDEST 0000019b: POP 0000019c: PUSH2 0x01e7 0000019f: PUSH1 0x04 000001a1: DUP1 000001a2: CALLDATASIZE 000001a3: SUB 000001a4: PUSH1 0x40 000001a6: DUP2 000001a7: LT 000001a8: ISZERO 000001a9: PUSH2 0x01b1 000001ac: JUMPI 000001ad: PUSH1 0x00 000001af: DUP1 000001b0: REVERT 000001b1: JUMPDEST 000001b2: DUP2 000001b3: ADD 000001b4: SWAP1 000001b5: DUP1 000001b6: DUP1 000001b7: CALLDATALOAD 000001b8: SWAP1 000001b9: PUSH1 0x20 000001bb: ADD 000001bc: SWAP1 000001bd: SWAP3 000001be: SWAP2 000001bf: SWAP1 000001c0: DUP1 000001c1: CALLDATALOAD 000001c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001d7: AND 000001d8: SWAP1 000001d9: PUSH1 0x20 000001db: ADD 000001dc: SWAP1 000001dd: SWAP3 000001de: SWAP2 000001df: SWAP1 000001e0: POP 000001e1: POP 000001e2: POP 000001e3: PUSH2 0x06d2 000001e6: JUMP 000001e7: JUMPDEST 000001e8: PUSH1 0x40 000001ea: MLOAD 000001eb: DUP1 000001ec: DUP3 000001ed: ISZERO 000001ee: ISZERO 000001ef: ISZERO 000001f0: ISZERO 000001f1: DUP2 000001f2: MSTORE 000001f3: PUSH1 0x20 000001f5: ADD 000001f6: SWAP2 000001f7: POP 000001f8: POP 000001f9: PUSH1 0x40 000001fb: MLOAD 000001fc: DUP1 000001fd: SWAP2 000001fe: SUB 000001ff: SWAP1 00000200: RETURN 00000201: JUMPDEST 00000202: PUSH1 0x01 00000204: PUSH1 0x00 00000206: SWAP1 00000207: SLOAD 00000208: SWAP1 00000209: PUSH2 0x0100 0000020c: EXP 0000020d: SWAP1 0000020e: DIV 0000020f: PUSH1 0xff 00000211: AND 00000212: DUP2 00000213: JUMP 00000214: JUMPDEST 00000215: PUSH1 0x01 00000217: DUP1 00000218: SWAP1 00000219: SLOAD 0000021a: SWAP1 0000021b: PUSH2 0x0100 0000021e: EXP 0000021f: SWAP1 00000220: DIV 00000221: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000236: AND 00000237: DUP2 00000238: JUMP 00000239: JUMPDEST 0000023a: PUSH1 0x00 0000023c: PUSH1 0x01 0000023e: PUSH1 0x00 00000240: SWAP1 00000241: SLOAD 00000242: SWAP1 00000243: PUSH2 0x0100 00000246: EXP 00000247: SWAP1 00000248: DIV 00000249: PUSH1 0xff 0000024b: AND 0000024c: PUSH2 0x02bd 0000024f: JUMPI 00000250: PUSH1 0x40 00000252: MLOAD 00000253: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000274: DUP2 00000275: MSTORE 00000276: PUSH1 0x04 00000278: ADD 00000279: DUP1 0000027a: DUP1 0000027b: PUSH1 0x20 0000027d: ADD 0000027e: DUP3 0000027f: DUP2 00000280: SUB 00000281: DUP3 00000282: MSTORE 00000283: PUSH1 0x1b 00000285: DUP2 00000286: MSTORE 00000287: PUSH1 0x20 00000289: ADD 0000028a: DUP1 0000028b: PUSH32 0x636f6e7472616374206973206e6f7420696e697469616c697a65640000000000 000002ac: DUP2 000002ad: MSTORE 000002ae: POP 000002af: PUSH1 0x20 000002b1: ADD 000002b2: SWAP2 000002b3: POP 000002b4: POP 000002b5: PUSH1 0x40 000002b7: MLOAD 000002b8: DUP1 000002b9: SWAP2 000002ba: SUB 000002bb: SWAP1 000002bc: REVERT 000002bd: JUMPDEST 000002be: PUSH1 0x00 000002c0: PUSH1 0x01 000002c2: DUP1 000002c3: SWAP1 000002c4: SLOAD 000002c5: SWAP1 000002c6: PUSH2 0x0100 000002c9: EXP 000002ca: SWAP1 000002cb: DIV 000002cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e1: AND 000002e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002f7: AND 000002f8: PUSH4 0x70a08231 000002fd: CALLER 000002fe: PUSH1 0x40 00000300: MLOAD 00000301: DUP3 00000302: PUSH4 0xffffffff 00000307: AND 00000308: PUSH1 0xe0 0000030a: SHL 0000030b: DUP2 0000030c: MSTORE 0000030d: PUSH1 0x04 0000030f: ADD 00000310: DUP1 00000311: DUP3 00000312: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000327: AND 00000328: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000033d: AND 0000033e: DUP2 0000033f: MSTORE 00000340: PUSH1 0x20 00000342: ADD 00000343: SWAP2 00000344: POP 00000345: POP 00000346: PUSH1 0x20 00000348: PUSH1 0x40 0000034a: MLOAD 0000034b: DUP1 0000034c: DUP4 0000034d: SUB 0000034e: DUP2 0000034f: DUP7 00000350: DUP1 00000351: EXTCODESIZE 00000352: ISZERO 00000353: DUP1 00000354: ISZERO 00000355: PUSH2 0x035d 00000358: JUMPI 00000359: PUSH1 0x00 0000035b: DUP1 0000035c: REVERT 0000035d: JUMPDEST 0000035e: POP 0000035f: GAS 00000360: STATICCALL 00000361: ISZERO 00000362: DUP1 00000363: ISZERO 00000364: PUSH2 0x0371 00000367: JUMPI 00000368: RETURNDATASIZE 00000369: PUSH1 0x00 0000036b: DUP1 0000036c: RETURNDATACOPY 0000036d: RETURNDATASIZE 0000036e: PUSH1 0x00 00000370: REVERT 00000371: JUMPDEST 00000372: POP 00000373: POP 00000374: POP 00000375: POP 00000376: PUSH1 0x40 00000378: MLOAD 00000379: RETURNDATASIZE 0000037a: PUSH1 0x20 0000037c: DUP2 0000037d: LT 0000037e: ISZERO 0000037f: PUSH2 0x0387 00000382: JUMPI 00000383: PUSH1 0x00 00000385: DUP1 00000386: REVERT 00000387: JUMPDEST 00000388: DUP2 00000389: ADD 0000038a: SWAP1 0000038b: DUP1 0000038c: DUP1 0000038d: MLOAD 0000038e: SWAP1 0000038f: PUSH1 0x20 00000391: ADD 00000392: SWAP1 00000393: SWAP3 00000394: SWAP2 00000395: SWAP1 00000396: POP 00000397: POP 00000398: POP 00000399: SWAP1 0000039a: POP 0000039b: PUSH1 0x00 0000039d: PUSH2 0x03a8 000003a0: DUP3 000003a1: PUSH1 0x00 000003a3: SLOAD 000003a4: PUSH2 0x0918 000003a7: JUMP 000003a8: JUMPDEST 000003a9: SWAP1 000003aa: POP 000003ab: DUP1 000003ac: SELFBALANCE 000003ad: LT 000003ae: ISZERO 000003af: PUSH2 0x0403 000003b2: JUMPI 000003b3: PUSH1 0x40 000003b5: MLOAD 000003b6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000003d7: DUP2 000003d8: MSTORE 000003d9: PUSH1 0x04 000003db: ADD 000003dc: DUP1 000003dd: DUP1 000003de: PUSH1 0x20 000003e0: ADD 000003e1: DUP3 000003e2: DUP2 000003e3: SUB 000003e4: DUP3 000003e5: MSTORE 000003e6: PUSH1 0x23 000003e8: DUP2 000003e9: MSTORE 000003ea: PUSH1 0x20 000003ec: ADD 000003ed: DUP1 000003ee: PUSH2 0x099f 000003f1: PUSH1 0x23 000003f3: SWAP2 000003f4: CODECOPY 000003f5: PUSH1 0x40 000003f7: ADD 000003f8: SWAP2 000003f9: POP 000003fa: POP 000003fb: PUSH1 0x40 000003fd: MLOAD 000003fe: DUP1 000003ff: SWAP2 00000400: SUB 00000401: SWAP1 00000402: REVERT 00000403: JUMPDEST 00000404: PUSH1 0x01 00000406: DUP1 00000407: SWAP1 00000408: SLOAD 00000409: SWAP1 0000040a: PUSH2 0x0100 0000040d: EXP 0000040e: SWAP1 0000040f: DIV 00000410: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000425: AND 00000426: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000043b: AND 0000043c: PUSH4 0x23b872dd 00000441: CALLER 00000442: PUSH1 0x00 00000444: DUP6 00000445: PUSH1 0x40 00000447: MLOAD 00000448: DUP5 00000449: PUSH4 0xffffffff 0000044e: AND 0000044f: PUSH1 0xe0 00000451: SHL 00000452: DUP2 00000453: MSTORE 00000454: PUSH1 0x04 00000456: ADD 00000457: DUP1 00000458: DUP5 00000459: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000046e: AND 0000046f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000484: AND 00000485: DUP2 00000486: MSTORE 00000487: PUSH1 0x20 00000489: ADD 0000048a: DUP4 0000048b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a0: AND 000004a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b6: AND 000004b7: DUP2 000004b8: MSTORE 000004b9: PUSH1 0x20 000004bb: ADD 000004bc: DUP3 000004bd: DUP2 000004be: MSTORE 000004bf: PUSH1 0x20 000004c1: ADD 000004c2: SWAP4 000004c3: POP 000004c4: POP 000004c5: POP 000004c6: POP 000004c7: PUSH1 0x20 000004c9: PUSH1 0x40 000004cb: MLOAD 000004cc: DUP1 000004cd: DUP4 000004ce: SUB 000004cf: DUP2 000004d0: PUSH1 0x00 000004d2: DUP8 000004d3: DUP1 000004d4: EXTCODESIZE 000004d5: ISZERO 000004d6: DUP1 000004d7: ISZERO 000004d8: PUSH2 0x04e0 000004db: JUMPI 000004dc: PUSH1 0x00 000004de: DUP1 000004df: REVERT 000004e0: JUMPDEST 000004e1: POP 000004e2: GAS 000004e3: CALL 000004e4: ISZERO 000004e5: DUP1 000004e6: ISZERO 000004e7: PUSH2 0x04f4 000004ea: JUMPI 000004eb: RETURNDATASIZE 000004ec: PUSH1 0x00 000004ee: DUP1 000004ef: RETURNDATACOPY 000004f0: RETURNDATASIZE 000004f1: PUSH1 0x00 000004f3: REVERT 000004f4: JUMPDEST 000004f5: POP 000004f6: POP 000004f7: POP 000004f8: POP 000004f9: PUSH1 0x40 000004fb: MLOAD 000004fc: RETURNDATASIZE 000004fd: PUSH1 0x20 000004ff: DUP2 00000500: LT 00000501: ISZERO 00000502: PUSH2 0x050a 00000505: JUMPI 00000506: PUSH1 0x00 00000508: DUP1 00000509: REVERT 0000050a: JUMPDEST 0000050b: DUP2 0000050c: ADD 0000050d: SWAP1 0000050e: DUP1 0000050f: DUP1 00000510: MLOAD 00000511: SWAP1 00000512: PUSH1 0x20 00000514: ADD 00000515: SWAP1 00000516: SWAP3 00000517: SWAP2 00000518: SWAP1 00000519: POP 0000051a: POP 0000051b: POP 0000051c: PUSH2 0x0570 0000051f: JUMPI 00000520: PUSH1 0x40 00000522: MLOAD 00000523: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000544: DUP2 00000545: MSTORE 00000546: PUSH1 0x04 00000548: ADD 00000549: DUP1 0000054a: DUP1 0000054b: PUSH1 0x20 0000054d: ADD 0000054e: DUP3 0000054f: DUP2 00000550: SUB 00000551: DUP3 00000552: MSTORE 00000553: PUSH1 0x25 00000555: DUP2 00000556: MSTORE 00000557: PUSH1 0x20 00000559: ADD 0000055a: DUP1 0000055b: PUSH2 0x0a05 0000055e: PUSH1 0x25 00000560: SWAP2 00000561: CODECOPY 00000562: PUSH1 0x40 00000564: ADD 00000565: SWAP2 00000566: POP 00000567: POP 00000568: PUSH1 0x40 0000056a: MLOAD 0000056b: DUP1 0000056c: SWAP2 0000056d: SUB 0000056e: SWAP1 0000056f: REVERT 00000570: JUMPDEST 00000571: PUSH1 0x00 00000573: CALLER 00000574: SWAP1 00000575: POP 00000576: DUP1 00000577: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000058c: AND 0000058d: DUP3 0000058e: PUSH1 0x40 00000590: MLOAD 00000591: DUP1 00000592: PUSH1 0x00 00000594: ADD 00000595: SWAP1 00000596: POP 00000597: PUSH1 0x00 00000599: PUSH1 0x40 0000059b: MLOAD 0000059c: DUP1 0000059d: DUP4 0000059e: SUB 0000059f: DUP2 000005a0: DUP6 000005a1: DUP8 000005a2: GAS 000005a3: CALL 000005a4: SWAP3 000005a5: POP 000005a6: POP 000005a7: POP 000005a8: RETURNDATASIZE 000005a9: DUP1 000005aa: PUSH1 0x00 000005ac: DUP2 000005ad: EQ 000005ae: PUSH2 0x05d3 000005b1: JUMPI 000005b2: PUSH1 0x40 000005b4: MLOAD 000005b5: SWAP2 000005b6: POP 000005b7: PUSH1 0x1f 000005b9: NOT 000005ba: PUSH1 0x3f 000005bc: RETURNDATASIZE 000005bd: ADD 000005be: AND 000005bf: DUP3 000005c0: ADD 000005c1: PUSH1 0x40 000005c3: MSTORE 000005c4: RETURNDATASIZE 000005c5: DUP3 000005c6: MSTORE 000005c7: RETURNDATASIZE 000005c8: PUSH1 0x00 000005ca: PUSH1 0x20 000005cc: DUP5 000005cd: ADD 000005ce: RETURNDATACOPY 000005cf: PUSH2 0x05d8 000005d2: JUMP 000005d3: JUMPDEST 000005d4: PUSH1 0x60 000005d6: SWAP2 000005d7: POP 000005d8: JUMPDEST 000005d9: POP 000005da: POP 000005db: DUP1 000005dc: SWAP5 000005dd: POP 000005de: POP 000005df: DUP4 000005e0: PUSH2 0x0651 000005e3: JUMPI 000005e4: PUSH1 0x40 000005e6: MLOAD 000005e7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000608: DUP2 00000609: MSTORE 0000060a: PUSH1 0x04 0000060c: ADD 0000060d: DUP1 0000060e: DUP1 0000060f: PUSH1 0x20 00000611: ADD 00000612: DUP3 00000613: DUP2 00000614: SUB 00000615: DUP3 00000616: MSTORE 00000617: PUSH1 0x18 00000619: DUP2 0000061a: MSTORE 0000061b: PUSH1 0x20 0000061d: ADD 0000061e: DUP1 0000061f: PUSH32 0x5472616e73666572206f66204574686572206661696c65640000000000000000 00000640: DUP2 00000641: MSTORE 00000642: POP 00000643: PUSH1 0x20 00000645: ADD 00000646: SWAP2 00000647: POP 00000648: POP 00000649: PUSH1 0x40 0000064b: MLOAD 0000064c: DUP1 0000064d: SWAP2 0000064e: SUB 0000064f: SWAP1 00000650: REVERT 00000651: JUMPDEST 00000652: DUP3 00000653: DUP2 00000654: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000669: AND 0000066a: PUSH32 0x73f04af9dcc582a923ec15d3eea990fe34adabfff2879e28d44572e01a54abb6 0000068b: DUP5 0000068c: PUSH1 0x40 0000068e: MLOAD 0000068f: DUP1 00000690: DUP3 00000691: DUP2 00000692: MSTORE 00000693: PUSH1 0x20 00000695: ADD 00000696: SWAP2 00000697: POP 00000698: POP 00000699: PUSH1 0x40 0000069b: MLOAD 0000069c: DUP1 0000069d: SWAP2 0000069e: SUB 0000069f: SWAP1 000006a0: LOG3 000006a1: POP 000006a2: POP 000006a3: POP 000006a4: SWAP1 000006a5: JUMP 000006a6: JUMPDEST 000006a7: PUSH1 0x00 000006a9: SLOAD 000006aa: DUP2 000006ab: JUMP 000006ac: JUMPDEST 000006ad: PUSH1 0x02 000006af: PUSH1 0x00 000006b1: SWAP1 000006b2: SLOAD 000006b3: SWAP1 000006b4: PUSH2 0x0100 000006b7: EXP 000006b8: SWAP1 000006b9: DIV 000006ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006cf: AND 000006d0: DUP2 000006d1: JUMP 000006d2: JUMPDEST 000006d3: PUSH1 0x00 000006d5: CALLER 000006d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006eb: AND 000006ec: PUSH1 0x02 000006ee: PUSH1 0x00 000006f0: SWAP1 000006f1: SLOAD 000006f2: SWAP1 000006f3: PUSH2 0x0100 000006f6: EXP 000006f7: SWAP1 000006f8: DIV 000006f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000070e: AND 0000070f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000724: AND 00000725: EQ 00000726: PUSH2 0x072e 00000729: JUMPI 0000072a: PUSH1 0x00 0000072c: DUP1 0000072d: REVERT 0000072e: JUMPDEST 0000072f: PUSH1 0x01 00000731: PUSH1 0x00 00000733: SWAP1 00000734: SLOAD 00000735: SWAP1 00000736: PUSH2 0x0100 00000739: EXP 0000073a: SWAP1 0000073b: DIV 0000073c: PUSH1 0xff 0000073e: AND 0000073f: ISZERO 00000740: PUSH2 0x07b1 00000743: JUMPI 00000744: PUSH1 0x40 00000746: MLOAD 00000747: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000768: DUP2 00000769: MSTORE 0000076a: PUSH1 0x04 0000076c: ADD 0000076d: DUP1 0000076e: DUP1 0000076f: PUSH1 0x20 00000771: ADD 00000772: DUP3 00000773: DUP2 00000774: SUB 00000775: DUP3 00000776: MSTORE 00000777: PUSH1 0x1f 00000779: DUP2 0000077a: MSTORE 0000077b: PUSH1 0x20 0000077d: ADD 0000077e: DUP1 0000077f: PUSH32 0x636f6e747261637420697320616c726561647920696e697469616c697a656400 000007a0: DUP2 000007a1: MSTORE 000007a2: POP 000007a3: PUSH1 0x20 000007a5: ADD 000007a6: SWAP2 000007a7: POP 000007a8: POP 000007a9: PUSH1 0x40 000007ab: MLOAD 000007ac: DUP1 000007ad: SWAP2 000007ae: SUB 000007af: SWAP1 000007b0: REVERT 000007b1: JUMPDEST 000007b2: PUSH1 0x00 000007b4: DUP4 000007b5: GT 000007b6: PUSH2 0x0827 000007b9: JUMPI 000007ba: PUSH1 0x40 000007bc: MLOAD 000007bd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007de: DUP2 000007df: MSTORE 000007e0: PUSH1 0x04 000007e2: ADD 000007e3: DUP1 000007e4: DUP1 000007e5: PUSH1 0x20 000007e7: ADD 000007e8: DUP3 000007e9: DUP2 000007ea: SUB 000007eb: DUP3 000007ec: MSTORE 000007ed: PUSH1 0x13 000007ef: DUP2 000007f0: MSTORE 000007f1: PUSH1 0x20 000007f3: ADD 000007f4: DUP1 000007f5: PUSH32 0x726174652063616e6e6f74206265207a65726f00000000000000000000000000 00000816: DUP2 00000817: MSTORE 00000818: POP 00000819: PUSH1 0x20 0000081b: ADD 0000081c: SWAP2 0000081d: POP 0000081e: POP 0000081f: PUSH1 0x40 00000821: MLOAD 00000822: DUP1 00000823: SWAP2 00000824: SUB 00000825: SWAP1 00000826: REVERT 00000827: JUMPDEST 00000828: PUSH1 0x00 0000082a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000083f: AND 00000840: DUP3 00000841: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000856: AND 00000857: EQ 00000858: ISZERO 00000859: PUSH2 0x08ad 0000085c: JUMPI 0000085d: PUSH1 0x40 0000085f: MLOAD 00000860: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000881: DUP2 00000882: MSTORE 00000883: PUSH1 0x04 00000885: ADD 00000886: DUP1 00000887: DUP1 00000888: PUSH1 0x20 0000088a: ADD 0000088b: DUP3 0000088c: DUP2 0000088d: SUB 0000088e: DUP3 0000088f: MSTORE 00000890: PUSH1 0x22 00000892: DUP2 00000893: MSTORE 00000894: PUSH1 0x20 00000896: ADD 00000897: DUP1 00000898: PUSH2 0x09e3 0000089b: PUSH1 0x22 0000089d: SWAP2 0000089e: CODECOPY 0000089f: PUSH1 0x40 000008a1: ADD 000008a2: SWAP2 000008a3: POP 000008a4: POP 000008a5: PUSH1 0x40 000008a7: MLOAD 000008a8: DUP1 000008a9: SWAP2 000008aa: SUB 000008ab: SWAP1 000008ac: REVERT 000008ad: JUMPDEST 000008ae: DUP3 000008af: PUSH1 0x00 000008b1: DUP2 000008b2: SWAP1 000008b3: SSTORE 000008b4: POP 000008b5: DUP2 000008b6: PUSH1 0x01 000008b8: DUP1 000008b9: PUSH2 0x0100 000008bc: EXP 000008bd: DUP2 000008be: SLOAD 000008bf: DUP2 000008c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008d5: MUL 000008d6: NOT 000008d7: AND 000008d8: SWAP1 000008d9: DUP4 000008da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ef: AND 000008f0: MUL 000008f1: OR 000008f2: SWAP1 000008f3: SSTORE 000008f4: POP 000008f5: PUSH1 0x01 000008f7: DUP1 000008f8: PUSH1 0x00 000008fa: PUSH2 0x0100 000008fd: EXP 000008fe: DUP2 000008ff: SLOAD 00000900: DUP2 00000901: PUSH1 0xff 00000903: MUL 00000904: NOT 00000905: AND 00000906: SWAP1 00000907: DUP4 00000908: ISZERO 00000909: ISZERO 0000090a: MUL 0000090b: OR 0000090c: SWAP1 0000090d: SSTORE 0000090e: POP 0000090f: PUSH1 0x01 00000911: SWAP1 00000912: POP 00000913: SWAP3 00000914: SWAP2 00000915: POP 00000916: POP 00000917: JUMP 00000918: JUMPDEST 00000919: PUSH1 0x00 0000091b: DUP1 0000091c: DUP4 0000091d: EQ 0000091e: ISZERO 0000091f: PUSH2 0x092b 00000922: JUMPI 00000923: PUSH1 0x00 00000925: SWAP1 00000926: POP 00000927: PUSH2 0x0998 0000092a: JUMP 0000092b: JUMPDEST 0000092c: PUSH1 0x00 0000092e: DUP3 0000092f: DUP5 00000930: MUL 00000931: SWAP1 00000932: POP 00000933: DUP3 00000934: DUP5 00000935: DUP3 00000936: DUP2 00000937: PUSH2 0x093c 0000093a: JUMPI 0000093b: INVALID 0000093c: JUMPDEST 0000093d: DIV 0000093e: EQ 0000093f: PUSH2 0x0993 00000942: JUMPI 00000943: PUSH1 0x40 00000945: MLOAD 00000946: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000967: DUP2 00000968: MSTORE 00000969: PUSH1 0x04 0000096b: ADD 0000096c: DUP1 0000096d: DUP1 0000096e: PUSH1 0x20 00000970: ADD 00000971: DUP3 00000972: DUP2 00000973: SUB 00000974: DUP3 00000975: MSTORE 00000976: PUSH1 0x21 00000978: DUP2 00000979: MSTORE 0000097a: PUSH1 0x20 0000097c: ADD 0000097d: DUP1 0000097e: PUSH2 0x09c2 00000981: PUSH1 0x21 00000983: SWAP2 00000984: CODECOPY 00000985: PUSH1 0x40 00000987: ADD 00000988: SWAP2 00000989: POP 0000098a: POP 0000098b: PUSH1 0x40 0000098d: MLOAD 0000098e: DUP1 0000098f: SWAP2 00000990: SUB 00000991: SWAP1 00000992: REVERT 00000993: JUMPDEST 00000994: DUP1 00000995: SWAP2 00000996: POP 00000997: POP 00000998: JUMPDEST 00000999: SWAP3 0000099a: SWAP2 0000099b: POP 0000099c: POP 0000099d: JUMP 0000099e: INVALID 0000099f: NUMBER 000009a0: PUSH16 0x6e747261637420646f6573206e6f7420 000009b1: PUSH9 0x61766520656e6f7567 000009bb: PUSH9 0x2066756e6473536166 000009c5: PUSH6 0x4d6174683a20 000009cc: PUSH14 0x756c7469706c69636174696f6e20 000009db: PUSH16 0x766572666c6f7744474420746f6b656e 000009ec: KECCAK256 000009ed: PUSH4 0x6f6e7472 000009f2: PUSH2 0x6374 000009f5: KECCAK256 000009f6: PUSH4 0x616e6e6f 000009fb: PUSH21 0x20626520656d7074794e6f2044474473206f722044 00000a11: SELFBALANCE 00000a12: DIFFICULTY 00000a13: KECCAK256 00000a14: PUSH2 0x6363 00000a17: PUSH16 0x756e74206e6f7420617574686f72697a 00000a28: PUSH6 0x64a265627a7a 00000a2f: PUSH19 0x3158202885d2b0131e91bf0109fdf1877ed808 00000a43: UNKNOWN(0x4F) 00000a44: SGT 00000a45: UNKNOWN(0xA9) 00000a46: SGT 00000a47: UNKNOWN(0x26) 00000a48: UNKNOWN(0xEB) 00000a49: PUSH31
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 | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xa6ddb26ab293f7cc297f39ce0375dc8667b5e0bf0810b2304044308297a0b4a3
call_targets:
0x23ea10cc1e6ebdb499d24e45369a35f43627062f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa6ddb26ab293f7cc297f39ce0375dc8667b5e0bf0810b2304044308297a0b4a3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x23ea10cc1e6ebdb499d24e45369a35f43627062f"
],
"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": "0x392e53cd",
"selector": "0x392e53cd",
"calldata_variants": [
"0x392e53cd",
"0x392e53cd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41232f6b",
"selector": "0x41232f6b",
"calldata_variants": [
"0x41232f6b",
"0x41232f6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x44df8e70",
"selector": "0x44df8e70",
"calldata_variants": [
"0x44df8e70",
"0x44df8e700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x456a7cd8",
"selector": "0x456a7cd8",
"calldata_variants": [
"0x456a7cd8",
"0x456a7cd80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb792e6ec",
"selector": "0xb792e6ec",
"calldata_variants": [
"0xb792e6ec",
"0xb792e6ec0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1251,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1443,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xa6ddb26ab293f7cc297f39ce0375dc8667b5e0bf0810b2304044308297a0b4a3
call_targets:
0x23ea10cc1e6ebdb499d24e45369a35f43627062f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa6ddb26ab293f7cc297f39ce0375dc8667b5e0bf0810b2304044308297a0b4a3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x23ea10cc1e6ebdb499d24e45369a35f43627062f"
],
"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": "0x392e53cd",
"selector": "0x392e53cd",
"calldata_variants": [
"0x392e53cd",
"0x392e53cd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41232f6b",
"selector": "0x41232f6b",
"calldata_variants": [
"0x41232f6b",
"0x41232f6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x44df8e70",
"selector": "0x44df8e70",
"calldata_variants": [
"0x44df8e70",
"0x44df8e700000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x456a7cd8",
"selector": "0x456a7cd8",
"calldata_variants": [
"0x456a7cd8",
"0x456a7cd80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb792e6ec",
"selector": "0xb792e6ec",
"calldata_variants": [
"0xb792e6ec",
"0xb792e6ec0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1251,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1443,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|