019b477e-af3a-71dc-87d1-e44942f45429
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 |
|---|---|---|---|---|
| 21741 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 21742 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 64798 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 64799 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 64800 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 64801 | 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 0x00da 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x1284c8f5 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x00dc 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x14139904 00000046: EQ 00000047: PUSH2 0x0103 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x173a2b5c 00000051: EQ 00000052: PUSH2 0x0134 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x19b05f49 0000005c: EQ 0000005d: PUSH2 0x0149 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x216aa0ba 00000067: EQ 00000068: PUSH2 0x0161 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x3aef3900 00000072: EQ 00000073: PUSH2 0x0176 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x3e8a9439 0000007d: EQ 0000007e: PUSH2 0x018b 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x6e3f3f1a 00000088: EQ 00000089: PUSH2 0x01a0 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x72c1df4c 00000093: EQ 00000094: PUSH2 0x01cb 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x8485b90c 0000009e: EQ 0000009f: PUSH2 0x01df 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x92abb859 000000a9: EQ 000000aa: PUSH2 0x01f4 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xcc3c74a1 000000b4: EQ 000000b5: PUSH2 0x0209 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xd05efd40 000000bf: EQ 000000c0: PUSH2 0x021e 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xd826f88f 000000ca: EQ 000000cb: PUSH2 0x0233 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xdd34abd3 000000d5: EQ 000000d6: PUSH2 0x0248 000000d9: JUMPI 000000da: JUMPDEST 000000db: STOP 000000dc: JUMPDEST 000000dd: CALLVALUE 000000de: DUP1 000000df: ISZERO 000000e0: PUSH2 0x00e8 000000e3: JUMPI 000000e4: PUSH1 0x00 000000e6: DUP1 000000e7: REVERT 000000e8: JUMPDEST 000000e9: POP 000000ea: PUSH2 0x00f1 000000ed: PUSH2 0x025c 000000f0: JUMP 000000f1: JUMPDEST 000000f2: PUSH1 0x40 000000f4: DUP1 000000f5: MLOAD 000000f6: SWAP2 000000f7: DUP3 000000f8: MSTORE 000000f9: MLOAD 000000fa: SWAP1 000000fb: DUP2 000000fc: SWAP1 000000fd: SUB 000000fe: PUSH1 0x20 00000100: ADD 00000101: SWAP1 00000102: RETURN 00000103: JUMPDEST 00000104: CALLVALUE 00000105: DUP1 00000106: ISZERO 00000107: PUSH2 0x010f 0000010a: JUMPI 0000010b: PUSH1 0x00 0000010d: DUP1 0000010e: REVERT 0000010f: JUMPDEST 00000110: POP 00000111: PUSH2 0x0118 00000114: PUSH2 0x0262 00000117: JUMP 00000118: JUMPDEST 00000119: PUSH1 0x40 0000011b: DUP1 0000011c: MLOAD 0000011d: PUSH1 0x01 0000011f: PUSH1 0xa0 00000121: PUSH1 0x02 00000123: EXP 00000124: SUB 00000125: SWAP1 00000126: SWAP3 00000127: AND 00000128: DUP3 00000129: MSTORE 0000012a: MLOAD 0000012b: SWAP1 0000012c: DUP2 0000012d: SWAP1 0000012e: SUB 0000012f: PUSH1 0x20 00000131: ADD 00000132: SWAP1 00000133: RETURN 00000134: JUMPDEST 00000135: CALLVALUE 00000136: DUP1 00000137: ISZERO 00000138: PUSH2 0x0140 0000013b: JUMPI 0000013c: PUSH1 0x00 0000013e: DUP1 0000013f: REVERT 00000140: JUMPDEST 00000141: POP 00000142: PUSH2 0x00f1 00000145: PUSH2 0x0271 00000148: JUMP 00000149: JUMPDEST 0000014a: CALLVALUE 0000014b: DUP1 0000014c: ISZERO 0000014d: PUSH2 0x0155 00000150: JUMPI 00000151: PUSH1 0x00 00000153: DUP1 00000154: REVERT 00000155: JUMPDEST 00000156: POP 00000157: PUSH2 0x00da 0000015a: PUSH1 0x04 0000015c: CALLDATALOAD 0000015d: PUSH2 0x0277 00000160: JUMP 00000161: JUMPDEST 00000162: CALLVALUE 00000163: DUP1 00000164: ISZERO 00000165: PUSH2 0x016d 00000168: JUMPI 00000169: PUSH1 0x00 0000016b: DUP1 0000016c: REVERT 0000016d: JUMPDEST 0000016e: POP 0000016f: PUSH2 0x00f1 00000172: PUSH2 0x0444 00000175: JUMP 00000176: JUMPDEST 00000177: CALLVALUE 00000178: DUP1 00000179: ISZERO 0000017a: PUSH2 0x0182 0000017d: JUMPI 0000017e: PUSH1 0x00 00000180: DUP1 00000181: REVERT 00000182: JUMPDEST 00000183: POP 00000184: PUSH2 0x0118 00000187: PUSH2 0x044a 0000018a: JUMP 0000018b: JUMPDEST 0000018c: CALLVALUE 0000018d: DUP1 0000018e: ISZERO 0000018f: PUSH2 0x0197 00000192: JUMPI 00000193: PUSH1 0x00 00000195: DUP1 00000196: REVERT 00000197: JUMPDEST 00000198: POP 00000199: PUSH2 0x0118 0000019c: PUSH2 0x0459 0000019f: JUMP 000001a0: JUMPDEST 000001a1: CALLVALUE 000001a2: DUP1 000001a3: ISZERO 000001a4: PUSH2 0x01ac 000001a7: JUMPI 000001a8: PUSH1 0x00 000001aa: DUP1 000001ab: REVERT 000001ac: JUMPDEST 000001ad: POP 000001ae: PUSH2 0x00da 000001b1: PUSH1 0x01 000001b3: PUSH1 0xa0 000001b5: PUSH1 0x02 000001b7: EXP 000001b8: SUB 000001b9: PUSH1 0x04 000001bb: CALLDATALOAD 000001bc: DUP2 000001bd: AND 000001be: SWAP1 000001bf: PUSH1 0x24 000001c1: CALLDATALOAD 000001c2: SWAP1 000001c3: PUSH1 0x44 000001c5: CALLDATALOAD 000001c6: AND 000001c7: PUSH2 0x0468 000001ca: JUMP 000001cb: JUMPDEST 000001cc: PUSH2 0x00da 000001cf: PUSH1 0x01 000001d1: PUSH1 0xa0 000001d3: PUSH1 0x02 000001d5: EXP 000001d6: SUB 000001d7: PUSH1 0x04 000001d9: CALLDATALOAD 000001da: AND 000001db: PUSH2 0x0557 000001de: JUMP 000001df: JUMPDEST 000001e0: CALLVALUE 000001e1: DUP1 000001e2: ISZERO 000001e3: PUSH2 0x01eb 000001e6: JUMPI 000001e7: PUSH1 0x00 000001e9: DUP1 000001ea: REVERT 000001eb: JUMPDEST 000001ec: POP 000001ed: PUSH2 0x0118 000001f0: PUSH2 0x0628 000001f3: JUMP 000001f4: JUMPDEST 000001f5: CALLVALUE 000001f6: DUP1 000001f7: ISZERO 000001f8: PUSH2 0x0200 000001fb: JUMPI 000001fc: PUSH1 0x00 000001fe: DUP1 000001ff: REVERT 00000200: JUMPDEST 00000201: POP 00000202: PUSH2 0x00f1 00000205: PUSH2 0x0637 00000208: JUMP 00000209: JUMPDEST 0000020a: CALLVALUE 0000020b: DUP1 0000020c: ISZERO 0000020d: PUSH2 0x0215 00000210: JUMPI 00000211: PUSH1 0x00 00000213: DUP1 00000214: REVERT 00000215: JUMPDEST 00000216: POP 00000217: PUSH2 0x00f1 0000021a: PUSH2 0x063d 0000021d: JUMP 0000021e: JUMPDEST 0000021f: CALLVALUE 00000220: DUP1 00000221: ISZERO 00000222: PUSH2 0x022a 00000225: JUMPI 00000226: PUSH1 0x00 00000228: DUP1 00000229: REVERT 0000022a: JUMPDEST 0000022b: POP 0000022c: PUSH2 0x0118 0000022f: PUSH2 0x0643 00000232: JUMP 00000233: JUMPDEST 00000234: CALLVALUE 00000235: DUP1 00000236: ISZERO 00000237: PUSH2 0x023f 0000023a: JUMPI 0000023b: PUSH1 0x00 0000023d: DUP1 0000023e: REVERT 0000023f: JUMPDEST 00000240: POP 00000241: PUSH2 0x00da 00000244: PUSH2 0x0652 00000247: JUMP 00000248: JUMPDEST 00000249: PUSH2 0x00da 0000024c: PUSH1 0x01 0000024e: PUSH1 0xa0 00000250: PUSH1 0x02 00000252: EXP 00000253: SUB 00000254: PUSH1 0x04 00000256: CALLDATALOAD 00000257: AND 00000258: PUSH2 0x06d9 0000025b: JUMP 0000025c: JUMPDEST 0000025d: PUSH1 0x09 0000025f: SLOAD 00000260: DUP2 00000261: JUMP 00000262: JUMPDEST 00000263: PUSH1 0x01 00000265: SLOAD 00000266: PUSH1 0x01 00000268: PUSH1 0xa0 0000026a: PUSH1 0x02 0000026c: EXP 0000026d: SUB 0000026e: AND 0000026f: DUP2 00000270: JUMP 00000271: JUMPDEST 00000272: PUSH1 0x05 00000274: SLOAD 00000275: DUP2 00000276: JUMP 00000277: JUMPDEST 00000278: PUSH1 0x00 0000027a: DUP1 0000027b: SLOAD 0000027c: DUP2 0000027d: SWAP1 0000027e: DUP2 0000027f: SWAP1 00000280: DUP2 00000281: SWAP1 00000282: PUSH1 0x01 00000284: PUSH1 0xa0 00000286: PUSH1 0x02 00000288: EXP 00000289: SUB 0000028a: AND 0000028b: CALLER 0000028c: EQ 0000028d: DUP1 0000028e: PUSH2 0x02a1 00000291: JUMPI 00000292: POP 00000293: PUSH1 0x01 00000295: SLOAD 00000296: PUSH1 0x01 00000298: PUSH1 0xa0 0000029a: PUSH1 0x02 0000029c: EXP 0000029d: SUB 0000029e: AND 0000029f: CALLER 000002a0: EQ 000002a1: JUMPDEST 000002a2: ISZERO 000002a3: ISZERO 000002a4: PUSH2 0x02ac 000002a7: JUMPI 000002a8: PUSH1 0x00 000002aa: DUP1 000002ab: REVERT 000002ac: JUMPDEST 000002ad: PUSH1 0x07 000002af: SLOAD 000002b0: DUP6 000002b1: EQ 000002b2: PUSH2 0x02ba 000002b5: JUMPI 000002b6: PUSH1 0x00 000002b8: DUP1 000002b9: REVERT 000002ba: JUMPDEST 000002bb: PUSH1 0x05 000002bd: SLOAD 000002be: PUSH1 0x00 000002c0: LT 000002c1: PUSH2 0x02c9 000002c4: JUMPI 000002c5: PUSH1 0x00 000002c7: DUP1 000002c8: REVERT 000002c9: JUMPDEST 000002ca: PUSH1 0x04 000002cc: SLOAD 000002cd: PUSH1 0x01 000002cf: PUSH1 0xa0 000002d1: PUSH1 0x02 000002d3: EXP 000002d4: SUB 000002d5: AND 000002d6: ISZERO 000002d7: ISZERO 000002d8: PUSH2 0x02e0 000002db: JUMPI 000002dc: PUSH1 0x00 000002de: DUP1 000002df: REVERT 000002e0: JUMPDEST 000002e1: PUSH1 0x02 000002e3: SLOAD 000002e4: PUSH1 0x01 000002e6: PUSH1 0xa0 000002e8: PUSH1 0x02 000002ea: EXP 000002eb: SUB 000002ec: AND 000002ed: CALLER 000002ee: EQ 000002ef: ISZERO 000002f0: DUP1 000002f1: PUSH2 0x02fc 000002f4: JUMPI 000002f5: POP 000002f6: PUSH1 0x06 000002f8: SLOAD 000002f9: NUMBER 000002fa: LT 000002fb: ISZERO 000002fc: JUMPDEST 000002fd: ISZERO 000002fe: ISZERO 000002ff: PUSH2 0x0307 00000302: JUMPI 00000303: PUSH1 0x00 00000305: DUP1 00000306: REVERT 00000307: JUMPDEST 00000308: PUSH1 0x03 0000030a: SLOAD 0000030b: PUSH1 0x04 0000030d: SLOAD 0000030e: PUSH1 0x05 00000310: SLOAD 00000311: PUSH1 0x01 00000313: PUSH1 0xa0 00000315: PUSH1 0x02 00000317: EXP 00000318: SUB 00000319: SWAP3 0000031a: DUP4 0000031b: AND 0000031c: SWAP7 0000031d: POP 0000031e: SWAP2 0000031f: AND 00000320: SWAP4 00000321: POP 00000322: SWAP2 00000323: POP 00000324: PUSH2 0x032b 00000327: PUSH2 0x0652 0000032a: JUMP 0000032b: JUMPDEST 0000032c: PUSH1 0x01 0000032e: PUSH1 0xa0 00000330: PUSH1 0x02 00000332: EXP 00000333: SUB 00000334: DUP5 00000335: AND 00000336: ISZERO 00000337: ISZERO 00000338: PUSH2 0x0385 0000033b: JUMPI 0000033c: ADDRESS 0000033d: BALANCE 0000033e: DUP3 0000033f: GT 00000340: ISZERO 00000341: PUSH2 0x0349 00000344: JUMPI 00000345: PUSH1 0x00 00000347: DUP1 00000348: REVERT 00000349: JUMPDEST 0000034a: PUSH1 0x40 0000034c: MLOAD 0000034d: PUSH1 0x01 0000034f: PUSH1 0xa0 00000351: PUSH1 0x02 00000353: EXP 00000354: SUB 00000355: DUP5 00000356: AND 00000357: SWAP1 00000358: DUP4 00000359: ISZERO 0000035a: PUSH2 0x08fc 0000035d: MUL 0000035e: SWAP1 0000035f: DUP5 00000360: SWAP1 00000361: PUSH1 0x00 00000363: DUP2 00000364: DUP2 00000365: DUP2 00000366: DUP6 00000367: DUP9 00000368: DUP9 00000369: CALL 0000036a: SWAP4 0000036b: POP 0000036c: POP 0000036d: POP 0000036e: POP 0000036f: ISZERO 00000370: DUP1 00000371: ISZERO 00000372: PUSH2 0x037f 00000375: JUMPI 00000376: RETURNDATASIZE 00000377: PUSH1 0x00 00000379: DUP1 0000037a: RETURNDATACOPY 0000037b: RETURNDATASIZE 0000037c: PUSH1 0x00 0000037e: REVERT 0000037f: JUMPDEST 00000380: POP 00000381: PUSH2 0x040a 00000384: JUMP 00000385: JUMPDEST 00000386: POP 00000387: PUSH1 0x40 00000389: DUP1 0000038a: MLOAD 0000038b: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 000003ac: DUP2 000003ad: MSTORE 000003ae: PUSH1 0x01 000003b0: PUSH1 0xa0 000003b2: PUSH1 0x02 000003b4: EXP 000003b5: SUB 000003b6: DUP5 000003b7: DUP2 000003b8: AND 000003b9: PUSH1 0x04 000003bb: DUP4 000003bc: ADD 000003bd: MSTORE 000003be: PUSH1 0x24 000003c0: DUP3 000003c1: ADD 000003c2: DUP5 000003c3: SWAP1 000003c4: MSTORE 000003c5: SWAP2 000003c6: MLOAD 000003c7: DUP6 000003c8: SWAP3 000003c9: DUP4 000003ca: AND 000003cb: SWAP2 000003cc: PUSH4 0xa9059cbb 000003d1: SWAP2 000003d2: PUSH1 0x44 000003d4: DUP1 000003d5: DUP4 000003d6: ADD 000003d7: SWAP3 000003d8: PUSH1 0x00 000003da: SWAP3 000003db: SWAP2 000003dc: SWAP1 000003dd: DUP3 000003de: SWAP1 000003df: SUB 000003e0: ADD 000003e1: DUP2 000003e2: DUP4 000003e3: DUP8 000003e4: DUP1 000003e5: EXTCODESIZE 000003e6: ISZERO 000003e7: DUP1 000003e8: ISZERO 000003e9: PUSH2 0x03f1 000003ec: JUMPI 000003ed: PUSH1 0x00 000003ef: DUP1 000003f0: REVERT 000003f1: JUMPDEST 000003f2: POP 000003f3: GAS 000003f4: CALL 000003f5: ISZERO 000003f6: DUP1 000003f7: ISZERO 000003f8: PUSH2 0x0405 000003fb: JUMPI 000003fc: RETURNDATASIZE 000003fd: PUSH1 0x00 000003ff: DUP1 00000400: RETURNDATACOPY 00000401: RETURNDATASIZE 00000402: PUSH1 0x00 00000404: REVERT 00000405: JUMPDEST 00000406: POP 00000407: POP 00000408: POP 00000409: POP 0000040a: JUMPDEST 0000040b: PUSH1 0x40 0000040d: DUP1 0000040e: MLOAD 0000040f: DUP7 00000410: DUP2 00000411: MSTORE 00000412: SWAP1 00000413: MLOAD 00000414: PUSH32 0xa573f6e77cec35b255a3fb35b673473461473d63e293d50c5eba0d7d18942383 00000435: SWAP2 00000436: DUP2 00000437: SWAP1 00000438: SUB 00000439: PUSH1 0x20 0000043b: ADD 0000043c: SWAP1 0000043d: LOG1 0000043e: POP 0000043f: POP 00000440: POP 00000441: POP 00000442: POP 00000443: JUMP 00000444: JUMPDEST 00000445: PUSH1 0x06 00000447: SLOAD 00000448: DUP2 00000449: JUMP 0000044a: JUMPDEST 0000044b: PUSH1 0x03 0000044d: SLOAD 0000044e: PUSH1 0x01 00000450: PUSH1 0xa0 00000452: PUSH1 0x02 00000454: EXP 00000455: SUB 00000456: AND 00000457: DUP2 00000458: JUMP 00000459: JUMPDEST 0000045a: PUSH1 0x04 0000045c: SLOAD 0000045d: PUSH1 0x01 0000045f: PUSH1 0xa0 00000461: PUSH1 0x02 00000463: EXP 00000464: SUB 00000465: AND 00000466: DUP2 00000467: JUMP 00000468: JUMPDEST 00000469: PUSH1 0x00 0000046b: SLOAD 0000046c: PUSH1 0x01 0000046e: PUSH1 0xa0 00000470: PUSH1 0x02 00000472: EXP 00000473: SUB 00000474: AND 00000475: CALLER 00000476: EQ 00000477: DUP1 00000478: PUSH2 0x048b 0000047b: JUMPI 0000047c: POP 0000047d: PUSH1 0x01 0000047f: SLOAD 00000480: PUSH1 0x01 00000482: PUSH1 0xa0 00000484: PUSH1 0x02 00000486: EXP 00000487: SUB 00000488: AND 00000489: CALLER 0000048a: EQ 0000048b: JUMPDEST 0000048c: ISZERO 0000048d: ISZERO 0000048e: PUSH2 0x0496 00000491: JUMPI 00000492: PUSH1 0x00 00000494: DUP1 00000495: REVERT 00000496: JUMPDEST 00000497: PUSH1 0x07 00000499: DUP1 0000049a: SLOAD 0000049b: PUSH1 0x01 0000049d: ADD 0000049e: SWAP1 0000049f: DUP2 000004a0: SWAP1 000004a1: SSTORE 000004a2: PUSH1 0x02 000004a4: DUP1 000004a5: SLOAD 000004a6: CALLER 000004a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004bc: NOT 000004bd: SWAP2 000004be: DUP3 000004bf: AND 000004c0: OR 000004c1: SWAP2 000004c2: DUP3 000004c3: SWAP1 000004c4: SSTORE 000004c5: PUSH1 0x03 000004c7: DUP1 000004c8: SLOAD 000004c9: DUP3 000004ca: AND 000004cb: PUSH1 0x01 000004cd: PUSH1 0xa0 000004cf: PUSH1 0x02 000004d1: EXP 000004d2: SUB 000004d3: DUP9 000004d4: DUP2 000004d5: AND 000004d6: SWAP2 000004d7: SWAP1 000004d8: SWAP2 000004d9: OR 000004da: SWAP2 000004db: DUP3 000004dc: SWAP1 000004dd: SSTORE 000004de: PUSH1 0x05 000004e0: DUP8 000004e1: SWAP1 000004e2: SSTORE 000004e3: PUSH1 0x04 000004e5: DUP1 000004e6: SLOAD 000004e7: SWAP1 000004e8: SWAP4 000004e9: AND 000004ea: DUP7 000004eb: DUP3 000004ec: AND 000004ed: OR 000004ee: SWAP3 000004ef: DUP4 000004f0: SWAP1 000004f1: SSTORE 000004f2: PUSH1 0x08 000004f4: SLOAD 000004f5: NUMBER 000004f6: ADD 000004f7: PUSH1 0x06 000004f9: DUP2 000004fa: SWAP1 000004fb: SSTORE 000004fc: PUSH1 0x40 000004fe: DUP1 000004ff: MLOAD 00000500: SWAP7 00000501: DUP8 00000502: MSTORE 00000503: SWAP5 00000504: DUP3 00000505: AND 00000506: PUSH1 0x20 00000508: DUP8 00000509: ADD 0000050a: MSTORE 0000050b: SWAP2 0000050c: DUP2 0000050d: AND 0000050e: DUP6 0000050f: DUP6 00000510: ADD 00000511: MSTORE 00000512: PUSH1 0x60 00000514: DUP6 00000515: ADD 00000516: DUP8 00000517: SWAP1 00000518: MSTORE 00000519: SWAP2 0000051a: SWAP1 0000051b: SWAP2 0000051c: AND 0000051d: PUSH1 0x80 0000051f: DUP5 00000520: ADD 00000521: MSTORE 00000522: PUSH1 0xa0 00000524: DUP4 00000525: ADD 00000526: MSTORE 00000527: MLOAD 00000528: PUSH32 0xc4edd54a9f95c32a4b15457b7427b13ebb01696e4ba5163153b70f5cc8bb93c4 00000549: SWAP2 0000054a: PUSH1 0xc0 0000054c: SWAP1 0000054d: DUP3 0000054e: SWAP1 0000054f: SUB 00000550: ADD 00000551: SWAP1 00000552: LOG1 00000553: POP 00000554: POP 00000555: POP 00000556: JUMP 00000557: JUMPDEST 00000558: PUSH1 0x01 0000055a: SLOAD 0000055b: PUSH1 0x01 0000055d: PUSH1 0xa0 0000055f: PUSH1 0x02 00000561: EXP 00000562: SUB 00000563: AND 00000564: CALLER 00000565: EQ 00000566: PUSH2 0x056e 00000569: JUMPI 0000056a: PUSH1 0x00 0000056c: DUP1 0000056d: REVERT 0000056e: JUMPDEST 0000056f: PUSH1 0x09 00000571: SLOAD 00000572: CALLVALUE 00000573: EQ 00000574: PUSH2 0x057c 00000577: JUMPI 00000578: PUSH1 0x00 0000057a: DUP1 0000057b: REVERT 0000057c: JUMPDEST 0000057d: PUSH1 0x01 0000057f: SLOAD 00000580: PUSH1 0x09 00000582: SLOAD 00000583: PUSH1 0x40 00000585: MLOAD 00000586: PUSH1 0x01 00000588: PUSH1 0xa0 0000058a: PUSH1 0x02 0000058c: EXP 0000058d: SUB 0000058e: SWAP1 0000058f: SWAP3 00000590: AND 00000591: SWAP2 00000592: DUP2 00000593: ISZERO 00000594: PUSH2 0x08fc 00000597: MUL 00000598: SWAP2 00000599: SWAP1 0000059a: PUSH1 0x00 0000059c: DUP2 0000059d: DUP2 0000059e: DUP2 0000059f: DUP6 000005a0: DUP9 000005a1: DUP9 000005a2: CALL 000005a3: SWAP4 000005a4: POP 000005a5: POP 000005a6: POP 000005a7: POP 000005a8: ISZERO 000005a9: DUP1 000005aa: ISZERO 000005ab: PUSH2 0x05b8 000005ae: JUMPI 000005af: RETURNDATASIZE 000005b0: PUSH1 0x00 000005b2: DUP1 000005b3: RETURNDATACOPY 000005b4: RETURNDATASIZE 000005b5: PUSH1 0x00 000005b7: REVERT 000005b8: JUMPDEST 000005b9: POP 000005ba: PUSH2 0x05c1 000005bd: PUSH2 0x0652 000005c0: JUMP 000005c1: JUMPDEST 000005c2: PUSH1 0x01 000005c4: DUP1 000005c5: SLOAD 000005c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005db: NOT 000005dc: AND 000005dd: PUSH1 0x01 000005df: PUSH1 0xa0 000005e1: PUSH1 0x02 000005e3: EXP 000005e4: SUB 000005e5: DUP4 000005e6: DUP2 000005e7: AND 000005e8: SWAP2 000005e9: SWAP1 000005ea: SWAP2 000005eb: OR 000005ec: SWAP2 000005ed: DUP3 000005ee: SWAP1 000005ef: SSTORE 000005f0: PUSH1 0x40 000005f2: DUP1 000005f3: MLOAD 000005f4: SWAP3 000005f5: SWAP1 000005f6: SWAP2 000005f7: AND 000005f8: DUP3 000005f9: MSTORE 000005fa: MLOAD 000005fb: PUSH32 0x8a77cbe0c7cf02f4277c58f952726d98e488a397059e9a58c0637d7486ae0f3e 0000061c: SWAP2 0000061d: PUSH1 0x20 0000061f: SWAP1 00000620: DUP3 00000621: SWAP1 00000622: SUB 00000623: ADD 00000624: SWAP1 00000625: LOG1 00000626: POP 00000627: JUMP 00000628: JUMPDEST 00000629: PUSH1 0x02 0000062b: SLOAD 0000062c: PUSH1 0x01 0000062e: PUSH1 0xa0 00000630: PUSH1 0x02 00000632: EXP 00000633: SUB 00000634: AND 00000635: DUP2 00000636: JUMP 00000637: JUMPDEST 00000638: PUSH1 0x08 0000063a: SLOAD 0000063b: DUP2 0000063c: JUMP 0000063d: JUMPDEST 0000063e: PUSH1 0x07 00000640: SLOAD 00000641: DUP2 00000642: JUMP 00000643: JUMPDEST 00000644: PUSH1 0x00 00000646: SLOAD 00000647: PUSH1 0x01 00000649: PUSH1 0xa0 0000064b: PUSH1 0x02 0000064d: EXP 0000064e: SUB 0000064f: AND 00000650: DUP2 00000651: JUMP 00000652: JUMPDEST 00000653: PUSH1 0x00 00000655: SLOAD 00000656: PUSH1 0x01 00000658: PUSH1 0xa0 0000065a: PUSH1 0x02 0000065c: EXP 0000065d: SUB 0000065e: AND 0000065f: CALLER 00000660: EQ 00000661: DUP1 00000662: PUSH2 0x0675 00000665: JUMPI 00000666: POP 00000667: PUSH1 0x01 00000669: SLOAD 0000066a: PUSH1 0x01 0000066c: PUSH1 0xa0 0000066e: PUSH1 0x02 00000670: EXP 00000671: SUB 00000672: AND 00000673: CALLER 00000674: EQ 00000675: JUMPDEST 00000676: ISZERO 00000677: ISZERO 00000678: PUSH2 0x0680 0000067b: JUMPI 0000067c: PUSH1 0x00 0000067e: DUP1 0000067f: REVERT 00000680: JUMPDEST 00000681: PUSH1 0x07 00000683: DUP1 00000684: SLOAD 00000685: PUSH1 0x01 00000687: ADD 00000688: SWAP1 00000689: DUP2 0000068a: SWAP1 0000068b: SSTORE 0000068c: PUSH3 0x0f4240 00000690: LT 00000691: ISZERO 00000692: PUSH2 0x069b 00000695: JUMPI 00000696: PUSH1 0x00 00000698: PUSH1 0x07 0000069a: SSTORE 0000069b: JUMPDEST 0000069c: PUSH1 0x02 0000069e: DUP1 0000069f: SLOAD 000006a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006b5: NOT 000006b6: SWAP1 000006b7: DUP2 000006b8: AND 000006b9: SWAP1 000006ba: SWAP2 000006bb: SSTORE 000006bc: PUSH1 0x03 000006be: DUP1 000006bf: SLOAD 000006c0: DUP3 000006c1: AND 000006c2: SWAP1 000006c3: SSTORE 000006c4: PUSH1 0x00 000006c6: PUSH1 0x05 000006c8: DUP2 000006c9: SWAP1 000006ca: SSTORE 000006cb: PUSH1 0x04 000006cd: DUP1 000006ce: SLOAD 000006cf: SWAP1 000006d0: SWAP3 000006d1: AND 000006d2: SWAP1 000006d3: SWAP2 000006d4: SSTORE 000006d5: PUSH1 0x06 000006d7: SSTORE 000006d8: JUMP 000006d9: JUMPDEST 000006da: PUSH1 0x00 000006dc: SLOAD 000006dd: PUSH1 0x01 000006df: PUSH1 0xa0 000006e1: PUSH1 0x02 000006e3: EXP 000006e4: SUB 000006e5: AND 000006e6: CALLER 000006e7: EQ 000006e8: PUSH2 0x06f0 000006eb: JUMPI 000006ec: PUSH1 0x00 000006ee: DUP1 000006ef: REVERT 000006f0: JUMPDEST 000006f1: PUSH1 0x09 000006f3: SLOAD 000006f4: CALLVALUE 000006f5: EQ 000006f6: PUSH2 0x06fe 000006f9: JUMPI 000006fa: PUSH1 0x00 000006fc: DUP1 000006fd: REVERT 000006fe: JUMPDEST 000006ff: PUSH1 0x00 00000701: DUP1 00000702: SLOAD 00000703: PUSH1 0x09 00000705: SLOAD 00000706: PUSH1 0x40 00000708: MLOAD 00000709: PUSH1 0x01 0000070b: PUSH1 0xa0 0000070d: PUSH1 0x02 0000070f: EXP 00000710: SUB 00000711: SWAP1 00000712: SWAP3 00000713: AND 00000714: SWAP3 00000715: DUP2 00000716: ISZERO 00000717: PUSH2 0x08fc 0000071a: MUL 0000071b: SWAP3 0000071c: SWAP1 0000071d: DUP2 0000071e: DUP2 0000071f: DUP2 00000720: DUP6 00000721: DUP9 00000722: DUP9 00000723: CALL 00000724: SWAP4 00000725: POP 00000726: POP 00000727: POP 00000728: POP 00000729: ISZERO 0000072a: DUP1 0000072b: ISZERO 0000072c: PUSH2 0x0739 0000072f: JUMPI 00000730: RETURNDATASIZE 00000731: PUSH1 0x00 00000733: DUP1 00000734: RETURNDATACOPY 00000735: RETURNDATASIZE 00000736: PUSH1 0x00 00000738: REVERT 00000739: JUMPDEST 0000073a: POP 0000073b: PUSH2 0x0742 0000073e: PUSH2 0x0652 00000741: JUMP 00000742: JUMPDEST 00000743: PUSH1 0x00 00000745: DUP1 00000746: SLOAD 00000747: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000075c: NOT 0000075d: AND 0000075e: PUSH1 0x01 00000760: PUSH1 0xa0 00000762: PUSH1 0x02 00000764: EXP 00000765: SUB 00000766: DUP4 00000767: DUP2 00000768: AND 00000769: SWAP2 0000076a: SWAP1 0000076b: SWAP2 0000076c: OR 0000076d: SWAP2 0000076e: DUP3 0000076f: SWAP1 00000770: SSTORE 00000771: PUSH1 0x40 00000773: DUP1 00000774: MLOAD 00000775: SWAP3 00000776: SWAP1 00000777: SWAP2 00000778: AND 00000779: DUP3 0000077a: MSTORE 0000077b: MLOAD 0000077c: PUSH32 0x80419656043a70fa57ed1372d16ac1eb1ac05cd428a6d9c52b218d77b19fc06d 0000079d: SWAP2 0000079e: PUSH1 0x20 000007a0: SWAP1 000007a1: DUP3 000007a2: SWAP1 000007a3: SUB 000007a4: ADD 000007a5: SWAP1 000007a6: LOG1 000007a7: POP 000007a8: JUMP 000007a9: STOP 000007aa: LOG1 000007ab: PUSH6 0x627a7a723058 000007b2: KECCAK256 000007b3: PUSH15 0xce83737d6bac5f38b8149b05f1e23d 000007c3: UNKNOWN(0xCD) 000007c4: UNKNOWN(0xD6) 000007c5: SDIV 000007c6: UNKNOWN(0xB5) 000007c7: MCOPY 000007c8: UNKNOWN(0xC1) 000007c9: CODECOPY 000007ca: SWAP15 000007cb: UNKNOWN(0xAD) 000007cc: PUSH26
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x9496f37e9dc2b23778fea5bda3a10f558c54e517df49be5bd4770508febdc426
call_targets:
0x73f09b50960f87af26ff4817a93c0f5efd0aa9e2
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9496f37e9dc2b23778fea5bda3a10f558c54e517df49be5bd4770508febdc426",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x73f09b50960f87af26ff4817a93c0f5efd0aa9e2"
],
"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": "0x1284c8f5",
"selector": "0x1284c8f5",
"calldata_variants": [
"0x1284c8f5",
"0x1284c8f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14139904",
"selector": "0x14139904",
"calldata_variants": [
"0x14139904",
"0x141399040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x173a2b5c",
"selector": "0x173a2b5c",
"calldata_variants": [
"0x173a2b5c",
"0x173a2b5c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19b05f49",
"selector": "0x19b05f49",
"calldata_variants": [
"0x19b05f49",
"0x19b05f490000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x216aa0ba",
"selector": "0x216aa0ba",
"calldata_variants": [
"0x216aa0ba",
"0x216aa0ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3aef3900",
"selector": "0x3aef3900",
"calldata_variants": [
"0x3aef3900",
"0x3aef39000000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3e8a9439",
"selector": "0x3e8a9439",
"calldata_variants": [
"0x3e8a9439",
"0x3e8a94390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e3f3f1a",
"selector": "0x6e3f3f1a",
"calldata_variants": [
"0x6e3f3f1a",
"0x6e3f3f1a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 873,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1012,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1442,
"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: 0x9496f37e9dc2b23778fea5bda3a10f558c54e517df49be5bd4770508febdc426
call_targets:
0x73f09b50960f87af26ff4817a93c0f5efd0aa9e2
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9496f37e9dc2b23778fea5bda3a10f558c54e517df49be5bd4770508febdc426",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x73f09b50960f87af26ff4817a93c0f5efd0aa9e2"
],
"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": "0x1284c8f5",
"selector": "0x1284c8f5",
"calldata_variants": [
"0x1284c8f5",
"0x1284c8f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14139904",
"selector": "0x14139904",
"calldata_variants": [
"0x14139904",
"0x141399040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x173a2b5c",
"selector": "0x173a2b5c",
"calldata_variants": [
"0x173a2b5c",
"0x173a2b5c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19b05f49",
"selector": "0x19b05f49",
"calldata_variants": [
"0x19b05f49",
"0x19b05f490000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x216aa0ba",
"selector": "0x216aa0ba",
"calldata_variants": [
"0x216aa0ba",
"0x216aa0ba0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3aef3900",
"selector": "0x3aef3900",
"calldata_variants": [
"0x3aef3900",
"0x3aef39000000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3e8a9439",
"selector": "0x3e8a9439",
"calldata_variants": [
"0x3e8a9439",
"0x3e8a94390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e3f3f1a",
"selector": "0x6e3f3f1a",
"calldata_variants": [
"0x6e3f3f1a",
"0x6e3f3f1a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 873,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1012,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1442,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|