019b477e-ddc7-7089-86b9-4d3788196527
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 |
|---|---|---|---|---|
| 30019 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 30020 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 93301 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 93302 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 93303 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 93304 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x004d 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x117803e3 00000018: EQ 00000019: PUSH2 0x00c8 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0x251c1aa3 00000023: EQ 00000024: PUSH2 0x00f2 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0x439370b1 0000002e: EQ 0000002f: PUSH2 0x011c 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xa0ef91df 00000039: EQ 0000003a: PUSH2 0x0126 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xaf8f23d2 00000044: EQ 00000045: PUSH2 0x013c 00000048: JUMPI 00000049: PUSH2 0x008d 0000004c: JUMP 0000004d: JUMPDEST 0000004e: CALLDATASIZE 0000004f: PUSH2 0x008d 00000052: JUMPI 00000053: PUSH1 0x40 00000055: MLOAD 00000056: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000077: DUP2 00000078: MSTORE 00000079: PUSH1 0x04 0000007b: ADD 0000007c: PUSH2 0x0084 0000007f: SWAP1 00000080: PUSH2 0x057e 00000083: JUMP 00000084: JUMPDEST 00000085: PUSH1 0x40 00000087: MLOAD 00000088: DUP1 00000089: SWAP2 0000008a: SUB 0000008b: SWAP1 0000008c: REVERT 0000008d: JUMPDEST 0000008e: PUSH1 0x40 00000090: MLOAD 00000091: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000000b2: DUP2 000000b3: MSTORE 000000b4: PUSH1 0x04 000000b6: ADD 000000b7: PUSH2 0x00bf 000000ba: SWAP1 000000bb: PUSH2 0x05e6 000000be: JUMP 000000bf: JUMPDEST 000000c0: PUSH1 0x40 000000c2: MLOAD 000000c3: DUP1 000000c4: SWAP2 000000c5: SUB 000000c6: SWAP1 000000c7: REVERT 000000c8: JUMPDEST 000000c9: CALLVALUE 000000ca: DUP1 000000cb: ISZERO 000000cc: PUSH2 0x00d3 000000cf: JUMPI 000000d0: PUSH0 000000d1: PUSH0 000000d2: REVERT 000000d3: JUMPDEST 000000d4: POP 000000d5: PUSH2 0x00dc 000000d8: PUSH2 0x0166 000000db: JUMP 000000dc: JUMPDEST 000000dd: PUSH1 0x40 000000df: MLOAD 000000e0: PUSH2 0x00e9 000000e3: SWAP2 000000e4: SWAP1 000000e5: PUSH2 0x0643 000000e8: JUMP 000000e9: JUMPDEST 000000ea: PUSH1 0x40 000000ec: MLOAD 000000ed: DUP1 000000ee: SWAP2 000000ef: SUB 000000f0: SWAP1 000000f1: RETURN 000000f2: JUMPDEST 000000f3: CALLVALUE 000000f4: DUP1 000000f5: ISZERO 000000f6: PUSH2 0x00fd 000000f9: JUMPI 000000fa: PUSH0 000000fb: PUSH0 000000fc: REVERT 000000fd: JUMPDEST 000000fe: POP 000000ff: PUSH2 0x0106 00000102: PUSH2 0x018a 00000105: JUMP 00000106: JUMPDEST 00000107: PUSH1 0x40 00000109: MLOAD 0000010a: PUSH2 0x0113 0000010d: SWAP2 0000010e: SWAP1 0000010f: PUSH2 0x0674 00000112: JUMP 00000113: JUMPDEST 00000114: PUSH1 0x40 00000116: MLOAD 00000117: DUP1 00000118: SWAP2 00000119: SUB 0000011a: SWAP1 0000011b: RETURN 0000011c: JUMPDEST 0000011d: PUSH2 0x0124 00000120: PUSH2 0x018f 00000123: JUMP 00000124: JUMPDEST 00000125: STOP 00000126: JUMPDEST 00000127: CALLVALUE 00000128: DUP1 00000129: ISZERO 0000012a: PUSH2 0x0131 0000012d: JUMPI 0000012e: PUSH0 0000012f: PUSH0 00000130: REVERT 00000131: JUMPDEST 00000132: POP 00000133: PUSH2 0x013a 00000136: PUSH2 0x022c 00000139: JUMP 0000013a: JUMPDEST 0000013b: STOP 0000013c: JUMPDEST 0000013d: CALLVALUE 0000013e: DUP1 0000013f: ISZERO 00000140: PUSH2 0x0147 00000143: JUMPI 00000144: PUSH0 00000145: PUSH0 00000146: REVERT 00000147: JUMPDEST 00000148: POP 00000149: PUSH2 0x0150 0000014c: PUSH2 0x0408 0000014f: JUMP 00000150: JUMPDEST 00000151: PUSH1 0x40 00000153: MLOAD 00000154: PUSH2 0x015d 00000157: SWAP2 00000158: SWAP1 00000159: PUSH2 0x0674 0000015c: JUMP 0000015d: JUMPDEST 0000015e: PUSH1 0x40 00000160: MLOAD 00000161: DUP1 00000162: SWAP2 00000163: SUB 00000164: SWAP1 00000165: RETURN 00000166: JUMPDEST 00000167: PUSH32 0x000000000000000000000000a66f98775ed1e073036fea9eec293e8174ec410e 00000188: DUP2 00000189: JUMP 0000018a: JUMPDEST 0000018b: PUSH0 0000018c: SLOAD 0000018d: DUP2 0000018e: JUMP 0000018f: JUMPDEST 00000190: PUSH2 0x0197 00000193: PUSH2 0x040f 00000196: JUMP 00000197: JUMPDEST 00000198: PUSH0 00000199: CALLVALUE 0000019a: GT 0000019b: PUSH2 0x01d9 0000019e: JUMPI 0000019f: PUSH1 0x40 000001a1: MLOAD 000001a2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000001c3: DUP2 000001c4: MSTORE 000001c5: PUSH1 0x04 000001c7: ADD 000001c8: PUSH2 0x01d0 000001cb: SWAP1 000001cc: PUSH2 0x06d7 000001cf: JUMP 000001d0: JUMPDEST 000001d1: PUSH1 0x40 000001d3: MLOAD 000001d4: DUP1 000001d5: SWAP2 000001d6: SUB 000001d7: SWAP1 000001d8: REVERT 000001d9: JUMPDEST 000001da: CALLER 000001db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001f0: AND 000001f1: PUSH32 0x73a19dd210f1a7f902193214c0ee91dd35ee5b4d920cba8d519eca65a7b488ca 00000212: CALLVALUE 00000213: PUSH0 00000214: SLOAD 00000215: PUSH1 0x40 00000217: MLOAD 00000218: PUSH2 0x0222 0000021b: SWAP3 0000021c: SWAP2 0000021d: SWAP1 0000021e: PUSH2 0x06f5 00000221: JUMP 00000222: JUMPDEST 00000223: PUSH1 0x40 00000225: MLOAD 00000226: DUP1 00000227: SWAP2 00000228: SUB 00000229: SWAP1 0000022a: LOG2 0000022b: JUMP 0000022c: JUMPDEST 0000022d: PUSH2 0x0234 00000230: PUSH2 0x040f 00000233: JUMP 00000234: JUMPDEST 00000235: PUSH2 0x023c 00000238: PUSH2 0x049f 0000023b: JUMP 0000023c: JUMPDEST 0000023d: PUSH0 0000023e: SLOAD 0000023f: TIMESTAMP 00000240: LT 00000241: ISZERO 00000242: PUSH2 0x0280 00000245: JUMPI 00000246: PUSH1 0x40 00000248: MLOAD 00000249: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000026a: DUP2 0000026b: MSTORE 0000026c: PUSH1 0x04 0000026e: ADD 0000026f: PUSH2 0x0277 00000272: SWAP1 00000273: PUSH2 0x0766 00000276: JUMP 00000277: JUMPDEST 00000278: PUSH1 0x40 0000027a: MLOAD 0000027b: DUP1 0000027c: SWAP2 0000027d: SUB 0000027e: SWAP1 0000027f: REVERT 00000280: JUMPDEST 00000281: PUSH0 00000282: SELFBALANCE 00000283: SWAP1 00000284: POP 00000285: PUSH0 00000286: DUP2 00000287: GT 00000288: PUSH2 0x02c6 0000028b: JUMPI 0000028c: PUSH1 0x40 0000028e: MLOAD 0000028f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000002b0: DUP2 000002b1: MSTORE 000002b2: PUSH1 0x04 000002b4: ADD 000002b5: PUSH2 0x02bd 000002b8: SWAP1 000002b9: PUSH2 0x07ce 000002bc: JUMP 000002bd: JUMPDEST 000002be: PUSH1 0x40 000002c0: MLOAD 000002c1: DUP1 000002c2: SWAP2 000002c3: SUB 000002c4: SWAP1 000002c5: REVERT 000002c6: JUMPDEST 000002c7: PUSH0 000002c8: PUSH32 0x000000000000000000000000a66f98775ed1e073036fea9eec293e8174ec410e 000002e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002fe: AND 000002ff: DUP3 00000300: PUSH1 0x40 00000302: MLOAD 00000303: PUSH2 0x030b 00000306: SWAP1 00000307: PUSH2 0x0819 0000030a: JUMP 0000030b: JUMPDEST 0000030c: PUSH0 0000030d: PUSH1 0x40 0000030f: MLOAD 00000310: DUP1 00000311: DUP4 00000312: SUB 00000313: DUP2 00000314: DUP6 00000315: DUP8 00000316: GAS 00000317: CALL 00000318: SWAP3 00000319: POP 0000031a: POP 0000031b: POP 0000031c: RETURNDATASIZE 0000031d: DUP1 0000031e: PUSH0 0000031f: DUP2 00000320: EQ 00000321: PUSH2 0x0345 00000324: JUMPI 00000325: PUSH1 0x40 00000327: MLOAD 00000328: SWAP2 00000329: POP 0000032a: PUSH1 0x1f 0000032c: NOT 0000032d: PUSH1 0x3f 0000032f: RETURNDATASIZE 00000330: ADD 00000331: AND 00000332: DUP3 00000333: ADD 00000334: PUSH1 0x40 00000336: MSTORE 00000337: RETURNDATASIZE 00000338: DUP3 00000339: MSTORE 0000033a: RETURNDATASIZE 0000033b: PUSH0 0000033c: PUSH1 0x20 0000033e: DUP5 0000033f: ADD 00000340: RETURNDATACOPY 00000341: PUSH2 0x034a 00000344: JUMP 00000345: JUMPDEST 00000346: PUSH1 0x60 00000348: SWAP2 00000349: POP 0000034a: JUMPDEST 0000034b: POP 0000034c: POP 0000034d: SWAP1 0000034e: POP 0000034f: DUP1 00000350: PUSH2 0x038e 00000353: JUMPI 00000354: PUSH1 0x40 00000356: MLOAD 00000357: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000378: DUP2 00000379: MSTORE 0000037a: PUSH1 0x04 0000037c: ADD 0000037d: PUSH2 0x0385 00000380: SWAP1 00000381: PUSH2 0x0877 00000384: JUMP 00000385: JUMPDEST 00000386: PUSH1 0x40 00000388: MLOAD 00000389: DUP1 0000038a: SWAP2 0000038b: SUB 0000038c: SWAP1 0000038d: REVERT 0000038e: JUMPDEST 0000038f: PUSH32 0x000000000000000000000000a66f98775ed1e073036fea9eec293e8174ec410e 000003b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c5: AND 000003c6: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5 000003e7: DUP4 000003e8: PUSH1 0x40 000003ea: MLOAD 000003eb: PUSH2 0x03f4 000003ee: SWAP2 000003ef: SWAP1 000003f0: PUSH2 0x0674 000003f3: JUMP 000003f4: JUMPDEST 000003f5: PUSH1 0x40 000003f7: MLOAD 000003f8: DUP1 000003f9: SWAP2 000003fa: SUB 000003fb: SWAP1 000003fc: LOG2 000003fd: POP 000003fe: POP 000003ff: PUSH2 0x0406 00000402: PUSH2 0x0509 00000405: JUMP 00000406: JUMPDEST 00000407: JUMP 00000408: JUMPDEST 00000409: PUSH3 0x83d600 0000040d: DUP2 0000040e: JUMP 0000040f: JUMPDEST 00000410: PUSH32 0x000000000000000000000000a66f98775ed1e073036fea9eec293e8174ec410e 00000431: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000446: AND 00000447: CALLER 00000448: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000045d: AND 0000045e: EQ 0000045f: PUSH2 0x049d 00000462: JUMPI 00000463: PUSH1 0x40 00000465: MLOAD 00000466: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000487: DUP2 00000488: MSTORE 00000489: PUSH1 0x04 0000048b: ADD 0000048c: PUSH2 0x0494 0000048f: SWAP1 00000490: PUSH2 0x08df 00000493: JUMP 00000494: JUMPDEST 00000495: PUSH1 0x40 00000497: MLOAD 00000498: DUP1 00000499: SWAP2 0000049a: SUB 0000049b: SWAP1 0000049c: REVERT 0000049d: JUMPDEST 0000049e: JUMP 0000049f: JUMPDEST 000004a0: PUSH1 0x01 000004a2: PUSH0 000004a3: SWAP1 000004a4: SLOAD 000004a5: SWAP1 000004a6: PUSH2 0x0100 000004a9: EXP 000004aa: SWAP1 000004ab: DIV 000004ac: PUSH1 0xff 000004ae: AND 000004af: ISZERO 000004b0: PUSH2 0x04ee 000004b3: JUMPI 000004b4: PUSH1 0x40 000004b6: MLOAD 000004b7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000004d8: DUP2 000004d9: MSTORE 000004da: PUSH1 0x04 000004dc: ADD 000004dd: PUSH2 0x04e5 000004e0: SWAP1 000004e1: PUSH2 0x0947 000004e4: JUMP 000004e5: JUMPDEST 000004e6: PUSH1 0x40 000004e8: MLOAD 000004e9: DUP1 000004ea: SWAP2 000004eb: SUB 000004ec: SWAP1 000004ed: REVERT 000004ee: JUMPDEST 000004ef: PUSH1 0x01 000004f1: DUP1 000004f2: PUSH0 000004f3: PUSH2 0x0100 000004f6: EXP 000004f7: DUP2 000004f8: SLOAD 000004f9: DUP2 000004fa: PUSH1 0xff 000004fc: MUL 000004fd: NOT 000004fe: AND 000004ff: SWAP1 00000500: DUP4 00000501: ISZERO 00000502: ISZERO 00000503: MUL 00000504: OR 00000505: SWAP1 00000506: SSTORE 00000507: POP 00000508: JUMP 00000509: JUMPDEST 0000050a: PUSH0 0000050b: PUSH1 0x01 0000050d: PUSH0 0000050e: PUSH2 0x0100 00000511: EXP 00000512: DUP2 00000513: SLOAD 00000514: DUP2 00000515: PUSH1 0xff 00000517: MUL 00000518: NOT 00000519: AND 0000051a: SWAP1 0000051b: DUP4 0000051c: ISZERO 0000051d: ISZERO 0000051e: MUL 0000051f: OR 00000520: SWAP1 00000521: SSTORE 00000522: POP 00000523: JUMP 00000524: JUMPDEST 00000525: PUSH0 00000526: DUP3 00000527: DUP3 00000528: MSTORE 00000529: PUSH1 0x20 0000052b: DUP3 0000052c: ADD 0000052d: SWAP1 0000052e: POP 0000052f: SWAP3 00000530: SWAP2 00000531: POP 00000532: POP 00000533: JUMP 00000534: JUMPDEST 00000535: PUSH32 0x757365206465706f736974457468282900000000000000000000000000000000 00000556: PUSH0 00000557: DUP3 00000558: ADD 00000559: MSTORE 0000055a: POP 0000055b: JUMP 0000055c: JUMPDEST 0000055d: PUSH0 0000055e: PUSH2 0x0568 00000561: PUSH1 0x10 00000563: DUP4 00000564: PUSH2 0x0524 00000567: JUMP 00000568: JUMPDEST 00000569: SWAP2 0000056a: POP 0000056b: PUSH2 0x0573 0000056e: DUP3 0000056f: PUSH2 0x0534 00000572: JUMP 00000573: JUMPDEST 00000574: PUSH1 0x20 00000576: DUP3 00000577: ADD 00000578: SWAP1 00000579: POP 0000057a: SWAP2 0000057b: SWAP1 0000057c: POP 0000057d: JUMP 0000057e: JUMPDEST 0000057f: PUSH0 00000580: PUSH1 0x20 00000582: DUP3 00000583: ADD 00000584: SWAP1 00000585: POP 00000586: DUP2 00000587: DUP2 00000588: SUB 00000589: PUSH0 0000058a: DUP4 0000058b: ADD 0000058c: MSTORE 0000058d: PUSH2 0x0595 00000590: DUP2 00000591: PUSH2 0x055c 00000594: JUMP 00000595: JUMPDEST 00000596: SWAP1 00000597: POP 00000598: SWAP2 00000599: SWAP1 0000059a: POP 0000059b: JUMP 0000059c: JUMPDEST 0000059d: PUSH32 0x696e76616c696400000000000000000000000000000000000000000000000000 000005be: PUSH0 000005bf: DUP3 000005c0: ADD 000005c1: MSTORE 000005c2: POP 000005c3: JUMP 000005c4: JUMPDEST 000005c5: PUSH0 000005c6: PUSH2 0x05d0 000005c9: PUSH1 0x07 000005cb: DUP4 000005cc: PUSH2 0x0524 000005cf: JUMP 000005d0: JUMPDEST 000005d1: SWAP2 000005d2: POP 000005d3: PUSH2 0x05db 000005d6: DUP3 000005d7: PUSH2 0x059c 000005da: JUMP 000005db: JUMPDEST 000005dc: PUSH1 0x20 000005de: DUP3 000005df: ADD 000005e0: SWAP1 000005e1: POP 000005e2: SWAP2 000005e3: SWAP1 000005e4: POP 000005e5: JUMP 000005e6: JUMPDEST 000005e7: PUSH0 000005e8: PUSH1 0x20 000005ea: DUP3 000005eb: ADD 000005ec: SWAP1 000005ed: POP 000005ee: DUP2 000005ef: DUP2 000005f0: SUB 000005f1: PUSH0 000005f2: DUP4 000005f3: ADD 000005f4: MSTORE 000005f5: PUSH2 0x05fd 000005f8: DUP2 000005f9: PUSH2 0x05c4 000005fc: JUMP 000005fd: JUMPDEST 000005fe: SWAP1 000005ff: POP 00000600: SWAP2 00000601: SWAP1 00000602: POP 00000603: JUMP 00000604: JUMPDEST 00000605: PUSH0 00000606: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000061b: DUP3 0000061c: AND 0000061d: SWAP1 0000061e: POP 0000061f: SWAP2 00000620: SWAP1 00000621: POP 00000622: JUMP 00000623: JUMPDEST 00000624: PUSH0 00000625: PUSH2 0x062d 00000628: DUP3 00000629: PUSH2 0x0604 0000062c: JUMP 0000062d: JUMPDEST 0000062e: SWAP1 0000062f: POP 00000630: SWAP2 00000631: SWAP1 00000632: POP 00000633: JUMP 00000634: JUMPDEST 00000635: PUSH2 0x063d 00000638: DUP2 00000639: PUSH2 0x0623 0000063c: JUMP 0000063d: JUMPDEST 0000063e: DUP3 0000063f: MSTORE 00000640: POP 00000641: POP 00000642: JUMP 00000643: JUMPDEST 00000644: PUSH0 00000645: PUSH1 0x20 00000647: DUP3 00000648: ADD 00000649: SWAP1 0000064a: POP 0000064b: PUSH2 0x0656 0000064e: PUSH0 0000064f: DUP4 00000650: ADD 00000651: DUP5 00000652: PUSH2 0x0634 00000655: JUMP 00000656: JUMPDEST 00000657: SWAP3 00000658: SWAP2 00000659: POP 0000065a: POP 0000065b: JUMP 0000065c: JUMPDEST 0000065d: PUSH0 0000065e: DUP2 0000065f: SWAP1 00000660: POP 00000661: SWAP2 00000662: SWAP1 00000663: POP 00000664: JUMP 00000665: JUMPDEST 00000666: PUSH2 0x066e 00000669: DUP2 0000066a: PUSH2 0x065c 0000066d: JUMP 0000066e: JUMPDEST 0000066f: DUP3 00000670: MSTORE 00000671: POP 00000672: POP 00000673: JUMP 00000674: JUMPDEST 00000675: PUSH0 00000676: PUSH1 0x20 00000678: DUP3 00000679: ADD 0000067a: SWAP1 0000067b: POP 0000067c: PUSH2 0x0687 0000067f: PUSH0 00000680: DUP4 00000681: ADD 00000682: DUP5 00000683: PUSH2 0x0665 00000686: JUMP 00000687: JUMPDEST 00000688: SWAP3 00000689: SWAP2 0000068a: POP 0000068b: POP 0000068c: JUMP 0000068d: JUMPDEST 0000068e: PUSH32 0x7a65726f2076616c756500000000000000000000000000000000000000000000 000006af: PUSH0 000006b0: DUP3 000006b1: ADD 000006b2: MSTORE 000006b3: POP 000006b4: JUMP 000006b5: JUMPDEST 000006b6: PUSH0 000006b7: PUSH2 0x06c1 000006ba: PUSH1 0x0a 000006bc: DUP4 000006bd: PUSH2 0x0524 000006c0: JUMP 000006c1: JUMPDEST 000006c2: SWAP2 000006c3: POP 000006c4: PUSH2 0x06cc 000006c7: DUP3 000006c8: PUSH2 0x068d 000006cb: JUMP 000006cc: JUMPDEST 000006cd: PUSH1 0x20 000006cf: DUP3 000006d0: ADD 000006d1: SWAP1 000006d2: POP 000006d3: SWAP2 000006d4: SWAP1 000006d5: POP 000006d6: JUMP 000006d7: JUMPDEST 000006d8: PUSH0 000006d9: PUSH1 0x20 000006db: DUP3 000006dc: ADD 000006dd: SWAP1 000006de: POP 000006df: DUP2 000006e0: DUP2 000006e1: SUB 000006e2: PUSH0 000006e3: DUP4 000006e4: ADD 000006e5: MSTORE 000006e6: PUSH2 0x06ee 000006e9: DUP2 000006ea: PUSH2 0x06b5 000006ed: JUMP 000006ee: JUMPDEST 000006ef: SWAP1 000006f0: POP 000006f1: SWAP2 000006f2: SWAP1 000006f3: POP 000006f4: JUMP 000006f5: JUMPDEST 000006f6: PUSH0 000006f7: PUSH1 0x40 000006f9: DUP3 000006fa: ADD 000006fb: SWAP1 000006fc: POP 000006fd: PUSH2 0x0708 00000700: PUSH0 00000701: DUP4 00000702: ADD 00000703: DUP6 00000704: PUSH2 0x0665 00000707: JUMP 00000708: JUMPDEST 00000709: PUSH2 0x0715 0000070c: PUSH1 0x20 0000070e: DUP4 0000070f: ADD 00000710: DUP5 00000711: PUSH2 0x0665 00000714: JUMP 00000715: JUMPDEST 00000716: SWAP4 00000717: SWAP3 00000718: POP 00000719: POP 0000071a: POP 0000071b: JUMP 0000071c: JUMPDEST 0000071d: PUSH32 0x7374696c6c206c6f636b65640000000000000000000000000000000000000000 0000073e: PUSH0 0000073f: DUP3 00000740: ADD 00000741: MSTORE 00000742: POP 00000743: JUMP 00000744: JUMPDEST 00000745: PUSH0 00000746: PUSH2 0x0750 00000749: PUSH1 0x0c 0000074b: DUP4 0000074c: PUSH2 0x0524 0000074f: JUMP 00000750: JUMPDEST 00000751: SWAP2 00000752: POP 00000753: PUSH2 0x075b 00000756: DUP3 00000757: PUSH2 0x071c 0000075a: JUMP 0000075b: JUMPDEST 0000075c: PUSH1 0x20 0000075e: DUP3 0000075f: ADD 00000760: SWAP1 00000761: POP 00000762: SWAP2 00000763: SWAP1 00000764: POP 00000765: JUMP 00000766: JUMPDEST 00000767: PUSH0 00000768: PUSH1 0x20 0000076a: DUP3 0000076b: ADD 0000076c: SWAP1 0000076d: POP 0000076e: DUP2 0000076f: DUP2 00000770: SUB 00000771: PUSH0 00000772: DUP4 00000773: ADD 00000774: MSTORE 00000775: PUSH2 0x077d 00000778: DUP2 00000779: PUSH2 0x0744 0000077c: JUMP 0000077d: JUMPDEST 0000077e: SWAP1 0000077f: POP 00000780: SWAP2 00000781: SWAP1 00000782: POP 00000783: JUMP 00000784: JUMPDEST 00000785: PUSH32 0x6e6f7468696e6720746f20776974686472617700000000000000000000000000 000007a6: PUSH0 000007a7: DUP3 000007a8: ADD 000007a9: MSTORE 000007aa: POP 000007ab: JUMP 000007ac: JUMPDEST 000007ad: PUSH0 000007ae: PUSH2 0x07b8 000007b1: PUSH1 0x13 000007b3: DUP4 000007b4: PUSH2 0x0524 000007b7: JUMP 000007b8: JUMPDEST 000007b9: SWAP2 000007ba: POP 000007bb: PUSH2 0x07c3 000007be: DUP3 000007bf: PUSH2 0x0784 000007c2: JUMP 000007c3: JUMPDEST 000007c4: PUSH1 0x20 000007c6: DUP3 000007c7: ADD 000007c8: SWAP1 000007c9: POP 000007ca: SWAP2 000007cb: SWAP1 000007cc: POP 000007cd: JUMP 000007ce: JUMPDEST 000007cf: PUSH0 000007d0: PUSH1 0x20 000007d2: DUP3 000007d3: ADD 000007d4: SWAP1 000007d5: POP 000007d6: DUP2 000007d7: DUP2 000007d8: SUB 000007d9: PUSH0 000007da: DUP4 000007db: ADD 000007dc: MSTORE 000007dd: PUSH2 0x07e5 000007e0: DUP2 000007e1: PUSH2 0x07ac 000007e4: JUMP 000007e5: JUMPDEST 000007e6: SWAP1 000007e7: POP 000007e8: SWAP2 000007e9: SWAP1 000007ea: POP 000007eb: JUMP 000007ec: JUMPDEST 000007ed: PUSH0 000007ee: DUP2 000007ef: SWAP1 000007f0: POP 000007f1: SWAP3 000007f2: SWAP2 000007f3: POP 000007f4: POP 000007f5: JUMP 000007f6: JUMPDEST 000007f7: POP 000007f8: JUMP 000007f9: JUMPDEST 000007fa: PUSH0 000007fb: PUSH2 0x0804 000007fe: PUSH0 000007ff: DUP4 00000800: PUSH2 0x07ec 00000803: JUMP 00000804: JUMPDEST 00000805: SWAP2 00000806: POP 00000807: PUSH2 0x080f 0000080a: DUP3 0000080b: PUSH2 0x07f6 0000080e: JUMP 0000080f: JUMPDEST 00000810: PUSH0 00000811: DUP3 00000812: ADD 00000813: SWAP1 00000814: POP 00000815: SWAP2 00000816: SWAP1 00000817: POP 00000818: JUMP 00000819: JUMPDEST 0000081a: PUSH0 0000081b: PUSH2 0x0823 0000081e: DUP3 0000081f: PUSH2 0x07f9 00000822: JUMP 00000823: JUMPDEST 00000824: SWAP2 00000825: POP 00000826: DUP2 00000827: SWAP1 00000828: POP 00000829: SWAP2 0000082a: SWAP1 0000082b: POP 0000082c: JUMP 0000082d: JUMPDEST 0000082e: PUSH32 0x7472616e73666572206661696c65640000000000000000000000000000000000 0000084f: PUSH0 00000850: DUP3 00000851: ADD 00000852: MSTORE 00000853: POP 00000854: JUMP 00000855: JUMPDEST 00000856: PUSH0 00000857: PUSH2 0x0861 0000085a: PUSH1 0x0f 0000085c: DUP4 0000085d: PUSH2 0x0524 00000860: JUMP 00000861: JUMPDEST 00000862: SWAP2 00000863: POP 00000864: PUSH2 0x086c 00000867: DUP3 00000868: PUSH2 0x082d 0000086b: JUMP 0000086c: JUMPDEST 0000086d: PUSH1 0x20 0000086f: DUP3 00000870: ADD 00000871: SWAP1 00000872: POP 00000873: SWAP2 00000874: SWAP1 00000875: POP 00000876: JUMP 00000877: JUMPDEST 00000878: PUSH0 00000879: PUSH1 0x20 0000087b: DUP3 0000087c: ADD 0000087d: SWAP1 0000087e: POP 0000087f: DUP2 00000880: DUP2 00000881: SUB 00000882: PUSH0 00000883: DUP4 00000884: ADD 00000885: MSTORE 00000886: PUSH2 0x088e 00000889: DUP2 0000088a: PUSH2 0x0855 0000088d: JUMP 0000088e: JUMPDEST 0000088f: SWAP1 00000890: POP 00000891: SWAP2 00000892: SWAP1 00000893: POP 00000894: JUMP 00000895: JUMPDEST 00000896: PUSH32 0x6e6f74206f776e65720000000000000000000000000000000000000000000000 000008b7: PUSH0 000008b8: DUP3 000008b9: ADD 000008ba: MSTORE 000008bb: POP 000008bc: JUMP 000008bd: JUMPDEST 000008be: PUSH0 000008bf: PUSH2 0x08c9 000008c2: PUSH1 0x09 000008c4: DUP4 000008c5: PUSH2 0x0524 000008c8: JUMP 000008c9: JUMPDEST 000008ca: SWAP2 000008cb: POP 000008cc: PUSH2 0x08d4 000008cf: DUP3 000008d0: PUSH2 0x0895 000008d3: JUMP 000008d4: JUMPDEST 000008d5: PUSH1 0x20 000008d7: DUP3 000008d8: ADD 000008d9: SWAP1 000008da: POP 000008db: SWAP2 000008dc: SWAP1 000008dd: POP 000008de: JUMP 000008df: JUMPDEST 000008e0: PUSH0 000008e1: PUSH1 0x20 000008e3: DUP3 000008e4: ADD 000008e5: SWAP1 000008e6: POP 000008e7: DUP2 000008e8: DUP2 000008e9: SUB 000008ea: PUSH0 000008eb: DUP4 000008ec: ADD 000008ed: MSTORE 000008ee: PUSH2 0x08f6 000008f1: DUP2 000008f2: PUSH2 0x08bd 000008f5: JUMP 000008f6: JUMPDEST 000008f7: SWAP1 000008f8: POP 000008f9: SWAP2 000008fa: SWAP1 000008fb: POP 000008fc: JUMP 000008fd: JUMPDEST 000008fe: PUSH32 0x7265656e7472616e740000000000000000000000000000000000000000000000 0000091f: PUSH0 00000920: DUP3 00000921: ADD 00000922: MSTORE 00000923: POP 00000924: JUMP 00000925: JUMPDEST 00000926: PUSH0 00000927: PUSH2 0x0931 0000092a: PUSH1 0x09 0000092c: DUP4 0000092d: PUSH2 0x0524 00000930: JUMP 00000931: JUMPDEST 00000932: SWAP2 00000933: POP 00000934: PUSH2 0x093c 00000937: DUP3 00000938: PUSH2 0x08fd 0000093b: JUMP 0000093c: JUMPDEST 0000093d: PUSH1 0x20 0000093f: DUP3 00000940: ADD 00000941: SWAP1 00000942: POP 00000943: SWAP2 00000944: SWAP1 00000945: POP 00000946: JUMP 00000947: JUMPDEST 00000948: PUSH0 00000949: PUSH1 0x20 0000094b: DUP3 0000094c: ADD 0000094d: SWAP1 0000094e: POP 0000094f: DUP2 00000950: DUP2 00000951: SUB 00000952: PUSH0 00000953: DUP4 00000954: ADD 00000955: MSTORE 00000956: PUSH2 0x095e 00000959: DUP2 0000095a: PUSH2 0x0925 0000095d: JUMP 0000095e: JUMPDEST 0000095f: SWAP1 00000960: POP 00000961: SWAP2 00000962: SWAP1 00000963: POP 00000964: JUMP 00000965: INVALID 00000966: LOG2 00000967: PUSH5 0x6970667358 0000096d: UNKNOWN(0x22) 0000096e: SLT 0000096f: KECCAK256 00000970: JUMPI 00000971: KECCAK256 00000972: UNKNOWN(0xDB) 00000973: UNKNOWN(0x0F) 00000974: UNKNOWN(0xFB) 00000975: MSTORE 00000976: LOG0 00000977: TSTORE 00000978: PUSH24 0x2e4f35a22a53c765dee81b3ad49b31254d2e549aeba80b64 00000991: PUSH20
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x848bbae8d29a1b6b773f7301b97dc7edda10ec1a608d67d33ba15e7e66ecd946
call_targets:
0x7b33a100417aaf44adbd7c8aed5dc8f0fde3b3e0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x848bbae8d29a1b6b773f7301b97dc7edda10ec1a608d67d33ba15e7e66ecd946",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7b33a100417aaf44adbd7c8aed5dc8f0fde3b3e0"
],
"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": "0x117803e3",
"selector": "0x117803e3",
"calldata_variants": [
"0x117803e3",
"0x117803e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x251c1aa3",
"selector": "0x251c1aa3",
"calldata_variants": [
"0x251c1aa3",
"0x251c1aa30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x439370b1",
"selector": "0x439370b1",
"calldata_variants": [
"0x439370b1",
"0x439370b10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0ef91df",
"selector": "0xa0ef91df",
"calldata_variants": [
"0xa0ef91df",
"0xa0ef91df0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaf8f23d2",
"selector": "0xaf8f23d2",
"calldata_variants": [
"0xaf8f23d2",
"0xaf8f23d20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 791,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 1095,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x848bbae8d29a1b6b773f7301b97dc7edda10ec1a608d67d33ba15e7e66ecd946
call_targets:
0x7b33a100417aaf44adbd7c8aed5dc8f0fde3b3e0
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x848bbae8d29a1b6b773f7301b97dc7edda10ec1a608d67d33ba15e7e66ecd946",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7b33a100417aaf44adbd7c8aed5dc8f0fde3b3e0"
],
"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": "0x117803e3",
"selector": "0x117803e3",
"calldata_variants": [
"0x117803e3",
"0x117803e30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x251c1aa3",
"selector": "0x251c1aa3",
"calldata_variants": [
"0x251c1aa3",
"0x251c1aa30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x439370b1",
"selector": "0x439370b1",
"calldata_variants": [
"0x439370b1",
"0x439370b10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0ef91df",
"selector": "0xa0ef91df",
"calldata_variants": [
"0xa0ef91df",
"0xa0ef91df0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaf8f23d2",
"selector": "0xaf8f23d2",
"calldata_variants": [
"0xaf8f23d2",
"0xaf8f23d20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 791,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 1095,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|