019b477e-d9fb-728a-907e-9948a8f6f2a4
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 |
|---|---|---|---|---|
| 29391 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 29392 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 108217 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 108218 | capability.graph | complete | 1 / 3 | 1 week ago |
| 108219 | detector.run | complete | 1 / 3 | 1 week ago |
| 108220 | 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 0x002c 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x0a3b0a4f 00000018: EQ 00000019: PUSH2 0x018b 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xbabcc539 00000023: EQ 00000024: PUSH2 0x01b3 00000027: JUMPI 00000028: PUSH2 0x00de 0000002b: JUMP 0000002c: JUMPDEST 0000002d: CALLDATASIZE 0000002e: PUSH2 0x00de 00000031: JUMPI 00000032: PUSH2 0x003a 00000035: CALLER 00000036: PUSH2 0x01ef 00000039: JUMP 0000003a: JUMPDEST 0000003b: ISZERO 0000003c: PUSH2 0x004d 0000003f: JUMPI 00000040: PUSH2 0x0048 00000043: CALLVALUE 00000044: PUSH2 0x028a 00000047: JUMP 00000048: JUMPDEST 00000049: PUSH2 0x00dc 0000004c: JUMP 0000004d: JUMPDEST 0000004e: PUSH0 0000004f: JUMPDEST 00000050: PUSH1 0x96 00000052: DUP2 00000053: LT 00000054: ISZERO 00000055: PUSH2 0x0068 00000058: JUMPI 00000059: DUP1 0000005a: PUSH0 0000005b: MSTORE 0000005c: DUP1 0000005d: DUP1 0000005e: PUSH1 0x01 00000060: ADD 00000061: SWAP2 00000062: POP 00000063: POP 00000064: PUSH2 0x004f 00000067: JUMP 00000068: JUMPDEST 00000069: POP 0000006a: CALLER 0000006b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000080: AND 00000081: PUSH1 0x01 00000083: CALLVALUE 00000084: PUSH2 0x008d 00000087: SWAP2 00000088: SWAP1 00000089: PUSH2 0x0537 0000008c: JUMP 0000008d: JUMPDEST 0000008e: PUSH1 0x40 00000090: MLOAD 00000091: PUSH2 0x0099 00000094: SWAP1 00000095: PUSH2 0x0597 00000098: JUMP 00000099: JUMPDEST 0000009a: PUSH0 0000009b: PUSH1 0x40 0000009d: MLOAD 0000009e: DUP1 0000009f: DUP4 000000a0: SUB 000000a1: DUP2 000000a2: DUP6 000000a3: DUP8 000000a4: GAS 000000a5: CALL 000000a6: SWAP3 000000a7: POP 000000a8: POP 000000a9: POP 000000aa: RETURNDATASIZE 000000ab: DUP1 000000ac: PUSH0 000000ad: DUP2 000000ae: EQ 000000af: PUSH2 0x00d3 000000b2: JUMPI 000000b3: PUSH1 0x40 000000b5: MLOAD 000000b6: SWAP2 000000b7: POP 000000b8: PUSH1 0x1f 000000ba: NOT 000000bb: PUSH1 0x3f 000000bd: RETURNDATASIZE 000000be: ADD 000000bf: AND 000000c0: DUP3 000000c1: ADD 000000c2: PUSH1 0x40 000000c4: MSTORE 000000c5: RETURNDATASIZE 000000c6: DUP3 000000c7: MSTORE 000000c8: RETURNDATASIZE 000000c9: PUSH0 000000ca: PUSH1 0x20 000000cc: DUP5 000000cd: ADD 000000ce: RETURNDATACOPY 000000cf: PUSH2 0x00d8 000000d2: JUMP 000000d3: JUMPDEST 000000d4: PUSH1 0x60 000000d6: SWAP2 000000d7: POP 000000d8: JUMPDEST 000000d9: POP 000000da: POP 000000db: POP 000000dc: JUMPDEST 000000dd: STOP 000000de: JUMPDEST 000000df: PUSH2 0x00e7 000000e2: CALLER 000000e3: PUSH2 0x01ef 000000e6: JUMP 000000e7: JUMPDEST 000000e8: ISZERO 000000e9: PUSH2 0x00fa 000000ec: JUMPI 000000ed: PUSH2 0x00f5 000000f0: CALLVALUE 000000f1: PUSH2 0x028a 000000f4: JUMP 000000f5: JUMPDEST 000000f6: PUSH2 0x0189 000000f9: JUMP 000000fa: JUMPDEST 000000fb: PUSH0 000000fc: JUMPDEST 000000fd: PUSH1 0x96 000000ff: DUP2 00000100: LT 00000101: ISZERO 00000102: PUSH2 0x0115 00000105: JUMPI 00000106: DUP1 00000107: PUSH0 00000108: MSTORE 00000109: DUP1 0000010a: DUP1 0000010b: PUSH1 0x01 0000010d: ADD 0000010e: SWAP2 0000010f: POP 00000110: POP 00000111: PUSH2 0x00fc 00000114: JUMP 00000115: JUMPDEST 00000116: POP 00000117: CALLER 00000118: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000012d: AND 0000012e: PUSH1 0x01 00000130: CALLVALUE 00000131: PUSH2 0x013a 00000134: SWAP2 00000135: SWAP1 00000136: PUSH2 0x0537 00000139: JUMP 0000013a: JUMPDEST 0000013b: PUSH1 0x40 0000013d: MLOAD 0000013e: PUSH2 0x0146 00000141: SWAP1 00000142: PUSH2 0x0597 00000145: JUMP 00000146: JUMPDEST 00000147: PUSH0 00000148: PUSH1 0x40 0000014a: MLOAD 0000014b: DUP1 0000014c: DUP4 0000014d: SUB 0000014e: DUP2 0000014f: DUP6 00000150: DUP8 00000151: GAS 00000152: CALL 00000153: SWAP3 00000154: POP 00000155: POP 00000156: POP 00000157: RETURNDATASIZE 00000158: DUP1 00000159: PUSH0 0000015a: DUP2 0000015b: EQ 0000015c: PUSH2 0x0180 0000015f: JUMPI 00000160: PUSH1 0x40 00000162: MLOAD 00000163: SWAP2 00000164: POP 00000165: PUSH1 0x1f 00000167: NOT 00000168: PUSH1 0x3f 0000016a: RETURNDATASIZE 0000016b: ADD 0000016c: AND 0000016d: DUP3 0000016e: ADD 0000016f: PUSH1 0x40 00000171: MSTORE 00000172: RETURNDATASIZE 00000173: DUP3 00000174: MSTORE 00000175: RETURNDATASIZE 00000176: PUSH0 00000177: PUSH1 0x20 00000179: DUP5 0000017a: ADD 0000017b: RETURNDATACOPY 0000017c: PUSH2 0x0185 0000017f: JUMP 00000180: JUMPDEST 00000181: PUSH1 0x60 00000183: SWAP2 00000184: POP 00000185: JUMPDEST 00000186: POP 00000187: POP 00000188: POP 00000189: JUMPDEST 0000018a: STOP 0000018b: JUMPDEST 0000018c: CALLVALUE 0000018d: DUP1 0000018e: ISZERO 0000018f: PUSH2 0x0196 00000192: JUMPI 00000193: PUSH0 00000194: DUP1 00000195: REVERT 00000196: JUMPDEST 00000197: POP 00000198: PUSH2 0x01b1 0000019b: PUSH1 0x04 0000019d: DUP1 0000019e: CALLDATASIZE 0000019f: SUB 000001a0: DUP2 000001a1: ADD 000001a2: SWAP1 000001a3: PUSH2 0x01ac 000001a6: SWAP2 000001a7: SWAP1 000001a8: PUSH2 0x0609 000001ab: JUMP 000001ac: JUMPDEST 000001ad: PUSH2 0x045b 000001b0: JUMP 000001b1: JUMPDEST 000001b2: STOP 000001b3: JUMPDEST 000001b4: CALLVALUE 000001b5: DUP1 000001b6: ISZERO 000001b7: PUSH2 0x01be 000001ba: JUMPI 000001bb: PUSH0 000001bc: DUP1 000001bd: REVERT 000001be: JUMPDEST 000001bf: POP 000001c0: PUSH2 0x01d9 000001c3: PUSH1 0x04 000001c5: DUP1 000001c6: CALLDATASIZE 000001c7: SUB 000001c8: DUP2 000001c9: ADD 000001ca: SWAP1 000001cb: PUSH2 0x01d4 000001ce: SWAP2 000001cf: SWAP1 000001d0: PUSH2 0x0609 000001d3: JUMP 000001d4: JUMPDEST 000001d5: PUSH2 0x01ef 000001d8: JUMP 000001d9: JUMPDEST 000001da: PUSH1 0x40 000001dc: MLOAD 000001dd: PUSH2 0x01e6 000001e0: SWAP2 000001e1: SWAP1 000001e2: PUSH2 0x064e 000001e5: JUMP 000001e6: JUMPDEST 000001e7: PUSH1 0x40 000001e9: MLOAD 000001ea: DUP1 000001eb: SWAP2 000001ec: SUB 000001ed: SWAP1 000001ee: RETURN 000001ef: JUMPDEST 000001f0: PUSH0 000001f1: PUSH1 0x01 000001f3: PUSH0 000001f4: DUP4 000001f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000020a: AND 0000020b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000220: AND 00000221: DUP2 00000222: MSTORE 00000223: PUSH1 0x20 00000225: ADD 00000226: SWAP1 00000227: DUP2 00000228: MSTORE 00000229: PUSH1 0x20 0000022b: ADD 0000022c: PUSH0 0000022d: KECCAK256 0000022e: PUSH0 0000022f: SWAP1 00000230: SLOAD 00000231: SWAP1 00000232: PUSH2 0x0100 00000235: EXP 00000236: SWAP1 00000237: DIV 00000238: PUSH1 0xff 0000023a: AND 0000023b: DUP1 0000023c: ISZERO 0000023d: PUSH2 0x0283 00000240: JUMPI 00000241: POP 00000242: TIMESTAMP 00000243: PUSH1 0x02 00000245: PUSH0 00000246: DUP5 00000247: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000025c: AND 0000025d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000272: AND 00000273: DUP2 00000274: MSTORE 00000275: PUSH1 0x20 00000277: ADD 00000278: SWAP1 00000279: DUP2 0000027a: MSTORE 0000027b: PUSH1 0x20 0000027d: ADD 0000027e: PUSH0 0000027f: KECCAK256 00000280: SLOAD 00000281: LT 00000282: ISZERO 00000283: JUMPDEST 00000284: SWAP1 00000285: POP 00000286: SWAP2 00000287: SWAP1 00000288: POP 00000289: JUMP 0000028a: JUMPDEST 0000028b: PUSH0 0000028c: DUP1 0000028d: PUSH0 0000028e: DUP1 0000028f: SLOAD 00000290: SWAP1 00000291: PUSH2 0x0100 00000294: EXP 00000295: SWAP1 00000296: DIV 00000297: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ac: AND 000002ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002c2: AND 000002c3: PUSH1 0x40 000002c5: MLOAD 000002c6: PUSH1 0x24 000002c8: ADD 000002c9: PUSH1 0x40 000002cb: MLOAD 000002cc: PUSH1 0x20 000002ce: DUP2 000002cf: DUP4 000002d0: SUB 000002d1: SUB 000002d2: DUP2 000002d3: MSTORE 000002d4: SWAP1 000002d5: PUSH1 0x40 000002d7: MSTORE 000002d8: PUSH32 0x9b2d7f6500000000000000000000000000000000000000000000000000000000 000002f9: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000316: NOT 00000317: AND 00000318: PUSH1 0x20 0000031a: DUP3 0000031b: ADD 0000031c: DUP1 0000031d: MLOAD 0000031e: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000033b: DUP4 0000033c: DUP2 0000033d: DUP4 0000033e: AND 0000033f: OR 00000340: DUP4 00000341: MSTORE 00000342: POP 00000343: POP 00000344: POP 00000345: POP 00000346: PUSH1 0x40 00000348: MLOAD 00000349: PUSH2 0x0352 0000034c: SWAP2 0000034d: SWAP1 0000034e: PUSH2 0x06af 00000351: JUMP 00000352: JUMPDEST 00000353: PUSH0 00000354: PUSH1 0x40 00000356: MLOAD 00000357: DUP1 00000358: DUP4 00000359: SUB 0000035a: DUP2 0000035b: PUSH0 0000035c: DUP7 0000035d: GAS 0000035e: CALL 0000035f: SWAP2 00000360: POP 00000361: POP 00000362: RETURNDATASIZE 00000363: DUP1 00000364: PUSH0 00000365: DUP2 00000366: EQ 00000367: PUSH2 0x038b 0000036a: JUMPI 0000036b: PUSH1 0x40 0000036d: MLOAD 0000036e: SWAP2 0000036f: POP 00000370: PUSH1 0x1f 00000372: NOT 00000373: PUSH1 0x3f 00000375: RETURNDATASIZE 00000376: ADD 00000377: AND 00000378: DUP3 00000379: ADD 0000037a: PUSH1 0x40 0000037c: MSTORE 0000037d: RETURNDATASIZE 0000037e: DUP3 0000037f: MSTORE 00000380: RETURNDATASIZE 00000381: PUSH0 00000382: PUSH1 0x20 00000384: DUP5 00000385: ADD 00000386: RETURNDATACOPY 00000387: PUSH2 0x0390 0000038a: JUMP 0000038b: JUMPDEST 0000038c: PUSH1 0x60 0000038e: SWAP2 0000038f: POP 00000390: JUMPDEST 00000391: POP 00000392: SWAP2 00000393: POP 00000394: SWAP2 00000395: POP 00000396: PUSH0 00000397: DUP2 00000398: DUP1 00000399: PUSH1 0x20 0000039b: ADD 0000039c: SWAP1 0000039d: MLOAD 0000039e: DUP2 0000039f: ADD 000003a0: SWAP1 000003a1: PUSH2 0x03aa 000003a4: SWAP2 000003a5: SWAP1 000003a6: PUSH2 0x0700 000003a9: JUMP 000003aa: JUMPDEST 000003ab: SWAP1 000003ac: POP 000003ad: DUP1 000003ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c3: AND 000003c4: DUP5 000003c5: PUSH1 0x40 000003c7: MLOAD 000003c8: PUSH2 0x03d0 000003cb: SWAP1 000003cc: PUSH2 0x0597 000003cf: JUMP 000003d0: JUMPDEST 000003d1: PUSH0 000003d2: PUSH1 0x40 000003d4: MLOAD 000003d5: DUP1 000003d6: DUP4 000003d7: SUB 000003d8: DUP2 000003d9: DUP6 000003da: DUP8 000003db: GAS 000003dc: CALL 000003dd: SWAP3 000003de: POP 000003df: POP 000003e0: POP 000003e1: RETURNDATASIZE 000003e2: DUP1 000003e3: PUSH0 000003e4: DUP2 000003e5: EQ 000003e6: PUSH2 0x040a 000003e9: JUMPI 000003ea: PUSH1 0x40 000003ec: MLOAD 000003ed: SWAP2 000003ee: POP 000003ef: PUSH1 0x1f 000003f1: NOT 000003f2: PUSH1 0x3f 000003f4: RETURNDATASIZE 000003f5: ADD 000003f6: AND 000003f7: DUP3 000003f8: ADD 000003f9: PUSH1 0x40 000003fb: MSTORE 000003fc: RETURNDATASIZE 000003fd: DUP3 000003fe: MSTORE 000003ff: RETURNDATASIZE 00000400: PUSH0 00000401: PUSH1 0x20 00000403: DUP5 00000404: ADD 00000405: RETURNDATACOPY 00000406: PUSH2 0x040f 00000409: JUMP 0000040a: JUMPDEST 0000040b: PUSH1 0x60 0000040d: SWAP2 0000040e: POP 0000040f: JUMPDEST 00000410: POP 00000411: POP 00000412: DUP1 00000413: SWAP4 00000414: POP 00000415: POP 00000416: DUP3 00000417: ISZERO 00000418: PUSH2 0x0455 0000041b: JUMPI 0000041c: PUSH32 0xfceb437c298f40d64702ac26411b2316e79f3c28ffa60edfc891ad4fc8ab82ca 0000043d: CALLER 0000043e: DUP6 0000043f: PUSH1 0x40 00000441: MLOAD 00000442: PUSH2 0x044c 00000445: SWAP3 00000446: SWAP2 00000447: SWAP1 00000448: PUSH2 0x0749 0000044b: JUMP 0000044c: JUMPDEST 0000044d: PUSH1 0x40 0000044f: MLOAD 00000450: DUP1 00000451: SWAP2 00000452: SUB 00000453: SWAP1 00000454: LOG1 00000455: JUMPDEST 00000456: POP 00000457: POP 00000458: POP 00000459: POP 0000045a: JUMP 0000045b: JUMPDEST 0000045c: PUSH1 0x01 0000045e: DUP1 0000045f: PUSH0 00000460: DUP4 00000461: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000476: AND 00000477: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000048c: AND 0000048d: DUP2 0000048e: MSTORE 0000048f: PUSH1 0x20 00000491: ADD 00000492: SWAP1 00000493: DUP2 00000494: MSTORE 00000495: PUSH1 0x20 00000497: ADD 00000498: PUSH0 00000499: KECCAK256 0000049a: PUSH0 0000049b: PUSH2 0x0100 0000049e: EXP 0000049f: DUP2 000004a0: SLOAD 000004a1: DUP2 000004a2: PUSH1 0xff 000004a4: MUL 000004a5: NOT 000004a6: AND 000004a7: SWAP1 000004a8: DUP4 000004a9: ISZERO 000004aa: ISZERO 000004ab: MUL 000004ac: OR 000004ad: SWAP1 000004ae: SSTORE 000004af: POP 000004b0: PUSH2 0x5460 000004b3: TIMESTAMP 000004b4: PUSH2 0x04bd 000004b7: SWAP2 000004b8: SWAP1 000004b9: PUSH2 0x0537 000004bc: JUMP 000004bd: JUMPDEST 000004be: PUSH1 0x02 000004c0: PUSH0 000004c1: DUP4 000004c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004d7: AND 000004d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ed: AND 000004ee: DUP2 000004ef: MSTORE 000004f0: PUSH1 0x20 000004f2: ADD 000004f3: SWAP1 000004f4: DUP2 000004f5: MSTORE 000004f6: PUSH1 0x20 000004f8: ADD 000004f9: PUSH0 000004fa: KECCAK256 000004fb: DUP2 000004fc: SWAP1 000004fd: SSTORE 000004fe: POP 000004ff: POP 00000500: JUMP 00000501: JUMPDEST 00000502: PUSH0 00000503: DUP2 00000504: SWAP1 00000505: POP 00000506: SWAP2 00000507: SWAP1 00000508: POP 00000509: JUMP 0000050a: JUMPDEST 0000050b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000052c: PUSH0 0000052d: MSTORE 0000052e: PUSH1 0x11 00000530: PUSH1 0x04 00000532: MSTORE 00000533: PUSH1 0x24 00000535: PUSH0 00000536: REVERT 00000537: JUMPDEST 00000538: PUSH0 00000539: PUSH2 0x0541 0000053c: DUP3 0000053d: PUSH2 0x0501 00000540: JUMP 00000541: JUMPDEST 00000542: SWAP2 00000543: POP 00000544: PUSH2 0x054c 00000547: DUP4 00000548: PUSH2 0x0501 0000054b: JUMP 0000054c: JUMPDEST 0000054d: SWAP3 0000054e: POP 0000054f: DUP3 00000550: DUP3 00000551: ADD 00000552: SWAP1 00000553: POP 00000554: DUP1 00000555: DUP3 00000556: GT 00000557: ISZERO 00000558: PUSH2 0x0564 0000055b: JUMPI 0000055c: PUSH2 0x0563 0000055f: PUSH2 0x050a 00000562: JUMP 00000563: JUMPDEST 00000564: JUMPDEST 00000565: SWAP3 00000566: SWAP2 00000567: POP 00000568: POP 00000569: JUMP 0000056a: JUMPDEST 0000056b: PUSH0 0000056c: DUP2 0000056d: SWAP1 0000056e: POP 0000056f: SWAP3 00000570: SWAP2 00000571: POP 00000572: POP 00000573: JUMP 00000574: JUMPDEST 00000575: POP 00000576: JUMP 00000577: JUMPDEST 00000578: PUSH0 00000579: PUSH2 0x0582 0000057c: PUSH0 0000057d: DUP4 0000057e: PUSH2 0x056a 00000581: JUMP 00000582: JUMPDEST 00000583: SWAP2 00000584: POP 00000585: PUSH2 0x058d 00000588: DUP3 00000589: PUSH2 0x0574 0000058c: JUMP 0000058d: JUMPDEST 0000058e: PUSH0 0000058f: DUP3 00000590: ADD 00000591: SWAP1 00000592: POP 00000593: SWAP2 00000594: SWAP1 00000595: POP 00000596: JUMP 00000597: JUMPDEST 00000598: PUSH0 00000599: PUSH2 0x05a1 0000059c: DUP3 0000059d: PUSH2 0x0577 000005a0: JUMP 000005a1: JUMPDEST 000005a2: SWAP2 000005a3: POP 000005a4: DUP2 000005a5: SWAP1 000005a6: POP 000005a7: SWAP2 000005a8: SWAP1 000005a9: POP 000005aa: JUMP 000005ab: JUMPDEST 000005ac: PUSH0 000005ad: DUP1 000005ae: REVERT 000005af: JUMPDEST 000005b0: PUSH0 000005b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c6: DUP3 000005c7: AND 000005c8: SWAP1 000005c9: POP 000005ca: SWAP2 000005cb: SWAP1 000005cc: POP 000005cd: JUMP 000005ce: JUMPDEST 000005cf: PUSH0 000005d0: PUSH2 0x05d8 000005d3: DUP3 000005d4: PUSH2 0x05af 000005d7: JUMP 000005d8: JUMPDEST 000005d9: SWAP1 000005da: POP 000005db: SWAP2 000005dc: SWAP1 000005dd: POP 000005de: JUMP 000005df: JUMPDEST 000005e0: PUSH2 0x05e8 000005e3: DUP2 000005e4: PUSH2 0x05ce 000005e7: JUMP 000005e8: JUMPDEST 000005e9: DUP2 000005ea: EQ 000005eb: PUSH2 0x05f2 000005ee: JUMPI 000005ef: PUSH0 000005f0: DUP1 000005f1: REVERT 000005f2: JUMPDEST 000005f3: POP 000005f4: JUMP 000005f5: JUMPDEST 000005f6: PUSH0 000005f7: DUP2 000005f8: CALLDATALOAD 000005f9: SWAP1 000005fa: POP 000005fb: PUSH2 0x0603 000005fe: DUP2 000005ff: PUSH2 0x05df 00000602: JUMP 00000603: JUMPDEST 00000604: SWAP3 00000605: SWAP2 00000606: POP 00000607: POP 00000608: JUMP 00000609: JUMPDEST 0000060a: PUSH0 0000060b: PUSH1 0x20 0000060d: DUP3 0000060e: DUP5 0000060f: SUB 00000610: SLT 00000611: ISZERO 00000612: PUSH2 0x061e 00000615: JUMPI 00000616: PUSH2 0x061d 00000619: PUSH2 0x05ab 0000061c: JUMP 0000061d: JUMPDEST 0000061e: JUMPDEST 0000061f: PUSH0 00000620: PUSH2 0x062b 00000623: DUP5 00000624: DUP3 00000625: DUP6 00000626: ADD 00000627: PUSH2 0x05f5 0000062a: JUMP 0000062b: JUMPDEST 0000062c: SWAP2 0000062d: POP 0000062e: POP 0000062f: SWAP3 00000630: SWAP2 00000631: POP 00000632: POP 00000633: JUMP 00000634: JUMPDEST 00000635: PUSH0 00000636: DUP2 00000637: ISZERO 00000638: ISZERO 00000639: SWAP1 0000063a: POP 0000063b: SWAP2 0000063c: SWAP1 0000063d: POP 0000063e: JUMP 0000063f: JUMPDEST 00000640: PUSH2 0x0648 00000643: DUP2 00000644: PUSH2 0x0634 00000647: JUMP 00000648: JUMPDEST 00000649: DUP3 0000064a: MSTORE 0000064b: POP 0000064c: POP 0000064d: JUMP 0000064e: JUMPDEST 0000064f: PUSH0 00000650: PUSH1 0x20 00000652: DUP3 00000653: ADD 00000654: SWAP1 00000655: POP 00000656: PUSH2 0x0661 00000659: PUSH0 0000065a: DUP4 0000065b: ADD 0000065c: DUP5 0000065d: PUSH2 0x063f 00000660: JUMP 00000661: JUMPDEST 00000662: SWAP3 00000663: SWAP2 00000664: POP 00000665: POP 00000666: JUMP 00000667: JUMPDEST 00000668: PUSH0 00000669: DUP2 0000066a: MLOAD 0000066b: SWAP1 0000066c: POP 0000066d: SWAP2 0000066e: SWAP1 0000066f: POP 00000670: JUMP 00000671: JUMPDEST 00000672: DUP3 00000673: DUP2 00000674: DUP4 00000675: MCOPY 00000676: PUSH0 00000677: DUP4 00000678: DUP4 00000679: ADD 0000067a: MSTORE 0000067b: POP 0000067c: POP 0000067d: POP 0000067e: JUMP 0000067f: JUMPDEST 00000680: PUSH0 00000681: PUSH2 0x0689 00000684: DUP3 00000685: PUSH2 0x0667 00000688: JUMP 00000689: JUMPDEST 0000068a: PUSH2 0x0693 0000068d: DUP2 0000068e: DUP6 0000068f: PUSH2 0x056a 00000692: JUMP 00000693: JUMPDEST 00000694: SWAP4 00000695: POP 00000696: PUSH2 0x06a3 00000699: DUP2 0000069a: DUP6 0000069b: PUSH1 0x20 0000069d: DUP7 0000069e: ADD 0000069f: PUSH2 0x0671 000006a2: JUMP 000006a3: JUMPDEST 000006a4: DUP1 000006a5: DUP5 000006a6: ADD 000006a7: SWAP2 000006a8: POP 000006a9: POP 000006aa: SWAP3 000006ab: SWAP2 000006ac: POP 000006ad: POP 000006ae: JUMP 000006af: JUMPDEST 000006b0: PUSH0 000006b1: PUSH2 0x06ba 000006b4: DUP3 000006b5: DUP5 000006b6: PUSH2 0x067f 000006b9: JUMP 000006ba: JUMPDEST 000006bb: SWAP2 000006bc: POP 000006bd: DUP2 000006be: SWAP1 000006bf: POP 000006c0: SWAP3 000006c1: SWAP2 000006c2: POP 000006c3: POP 000006c4: JUMP 000006c5: JUMPDEST 000006c6: PUSH0 000006c7: PUSH2 0x06cf 000006ca: DUP3 000006cb: PUSH2 0x05af 000006ce: JUMP 000006cf: JUMPDEST 000006d0: SWAP1 000006d1: POP 000006d2: SWAP2 000006d3: SWAP1 000006d4: POP 000006d5: JUMP 000006d6: JUMPDEST 000006d7: PUSH2 0x06df 000006da: DUP2 000006db: PUSH2 0x06c5 000006de: JUMP 000006df: JUMPDEST 000006e0: DUP2 000006e1: EQ 000006e2: PUSH2 0x06e9 000006e5: JUMPI 000006e6: PUSH0 000006e7: DUP1 000006e8: REVERT 000006e9: JUMPDEST 000006ea: POP 000006eb: JUMP 000006ec: JUMPDEST 000006ed: PUSH0 000006ee: DUP2 000006ef: MLOAD 000006f0: SWAP1 000006f1: POP 000006f2: PUSH2 0x06fa 000006f5: DUP2 000006f6: PUSH2 0x06d6 000006f9: JUMP 000006fa: JUMPDEST 000006fb: SWAP3 000006fc: SWAP2 000006fd: POP 000006fe: POP 000006ff: JUMP 00000700: JUMPDEST 00000701: PUSH0 00000702: PUSH1 0x20 00000704: DUP3 00000705: DUP5 00000706: SUB 00000707: SLT 00000708: ISZERO 00000709: PUSH2 0x0715 0000070c: JUMPI 0000070d: PUSH2 0x0714 00000710: PUSH2 0x05ab 00000713: JUMP 00000714: JUMPDEST 00000715: JUMPDEST 00000716: PUSH0 00000717: PUSH2 0x0722 0000071a: DUP5 0000071b: DUP3 0000071c: DUP6 0000071d: ADD 0000071e: PUSH2 0x06ec 00000721: JUMP 00000722: JUMPDEST 00000723: SWAP2 00000724: POP 00000725: POP 00000726: SWAP3 00000727: SWAP2 00000728: POP 00000729: POP 0000072a: JUMP 0000072b: JUMPDEST 0000072c: PUSH2 0x0734 0000072f: DUP2 00000730: PUSH2 0x05ce 00000733: JUMP 00000734: JUMPDEST 00000735: DUP3 00000736: MSTORE 00000737: POP 00000738: POP 00000739: JUMP 0000073a: JUMPDEST 0000073b: PUSH2 0x0743 0000073e: DUP2 0000073f: PUSH2 0x0501 00000742: JUMP 00000743: JUMPDEST 00000744: DUP3 00000745: MSTORE 00000746: POP 00000747: POP 00000748: JUMP 00000749: JUMPDEST 0000074a: PUSH0 0000074b: PUSH1 0x40 0000074d: DUP3 0000074e: ADD 0000074f: SWAP1 00000750: POP 00000751: PUSH2 0x075c 00000754: PUSH0 00000755: DUP4 00000756: ADD 00000757: DUP6 00000758: PUSH2 0x072b 0000075b: JUMP 0000075c: JUMPDEST 0000075d: PUSH2 0x0769 00000760: PUSH1 0x20 00000762: DUP4 00000763: ADD 00000764: DUP5 00000765: PUSH2 0x073a 00000768: JUMP 00000769: JUMPDEST 0000076a: SWAP4 0000076b: SWAP3 0000076c: POP 0000076d: POP 0000076e: POP 0000076f: JUMP 00000770: INVALID 00000771: LOG2 00000772: PUSH5 0x6970667358 00000778: UNKNOWN(0x22) 00000779: SLT 0000077a: KECCAK256 0000077b: SWAP8 0000077c: BLOCKHASH 0000077d: PUSH19 0x5f7c2c1b89066bda6f0ee1eea2fd478a82c830 00000791: DUP1 00000792: DIFFICULTY 00000793: SWAP7 00000794: PUSH12 0x12baceaec2e064736f6c6343 000007a1: STOP 000007a2: ADDMOD 000007a3: BYTE 000007a4: STOP 000007a5: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x37257a0ace6d447edf3913f9eb8dbf4e018819c63246f412641ebea22ddc9b1f
call_targets:
0x00000aefa30074ae21dfda7a2eed346323a00000
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x37257a0ace6d447edf3913f9eb8dbf4e018819c63246f412641ebea22ddc9b1f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x00000aefa30074ae21dfda7a2eed346323a00000"
],
"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": "0x0a3b0a4f",
"selector": "0x0a3b0a4f",
"calldata_variants": [
"0x0a3b0a4f",
"0x0a3b0a4f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbabcc539",
"selector": "0xbabcc539",
"calldata_variants": [
"0xbabcc539",
"0xbabcc5390000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 165,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 338,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 862,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x37257a0ace6d447edf3913f9eb8dbf4e018819c63246f412641ebea22ddc9b1f
call_targets:
0x00000aefa30074ae21dfda7a2eed346323a00000
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x37257a0ace6d447edf3913f9eb8dbf4e018819c63246f412641ebea22ddc9b1f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x00000aefa30074ae21dfda7a2eed346323a00000"
],
"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": "0x0a3b0a4f",
"selector": "0x0a3b0a4f",
"calldata_variants": [
"0x0a3b0a4f",
"0x0a3b0a4f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbabcc539",
"selector": "0xbabcc539",
"calldata_variants": [
"0xbabcc539",
"0xbabcc5390000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 165,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 338,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 862,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|