019b477e-af1b-708f-b1e7-79f45ac8d437
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 |
|---|---|---|---|---|
| 21717 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 21718 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 65402 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 65403 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 65404 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 65405 | 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 0x00af 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x06fdde03 0000003c: EQ 0000003d: PUSH2 0x0161 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x18160ddd 00000047: EQ 00000048: PUSH2 0x01f1 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x23b872dd 00000052: EQ 00000053: PUSH2 0x021c 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x3ccfd60b 0000005d: EQ 0000005e: PUSH2 0x02a1 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x70a08231 00000068: EQ 00000069: PUSH2 0x02b8 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x715018a6 00000073: EQ 00000074: PUSH2 0x030f 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x8da5cb5b 0000007e: EQ 0000007f: PUSH2 0x0326 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x95d89b41 00000089: EQ 0000008a: PUSH2 0x037d 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0xa876ff9c 00000094: EQ 00000095: PUSH2 0x040d 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0xf2fde38b 0000009f: EQ 000000a0: PUSH2 0x043c 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0xf6745f5c 000000aa: EQ 000000ab: PUSH2 0x047f 000000ae: JUMPI 000000af: JUMPDEST 000000b0: PUSH2 0x0101 000000b3: CALLVALUE 000000b4: PUSH1 0x01 000000b6: PUSH1 0x00 000000b8: CALLER 000000b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000ce: AND 000000cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000e4: AND 000000e5: DUP2 000000e6: MSTORE 000000e7: PUSH1 0x20 000000e9: ADD 000000ea: SWAP1 000000eb: DUP2 000000ec: MSTORE 000000ed: PUSH1 0x20 000000ef: ADD 000000f0: PUSH1 0x00 000000f2: KECCAK256 000000f3: SLOAD 000000f4: PUSH2 0x04ae 000000f7: SWAP1 000000f8: SWAP2 000000f9: SWAP1 000000fa: PUSH4 0xffffffff 000000ff: AND 00000100: JUMP 00000101: JUMPDEST 00000102: PUSH1 0x01 00000104: PUSH1 0x00 00000106: CALLER 00000107: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000011c: AND 0000011d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000132: AND 00000133: DUP2 00000134: MSTORE 00000135: PUSH1 0x20 00000137: ADD 00000138: SWAP1 00000139: DUP2 0000013a: MSTORE 0000013b: PUSH1 0x20 0000013d: ADD 0000013e: PUSH1 0x00 00000140: KECCAK256 00000141: DUP2 00000142: SWAP1 00000143: SSTORE 00000144: POP 00000145: PUSH2 0x0159 00000148: CALLVALUE 00000149: PUSH1 0x05 0000014b: SLOAD 0000014c: PUSH2 0x04ae 0000014f: SWAP1 00000150: SWAP2 00000151: SWAP1 00000152: PUSH4 0xffffffff 00000157: AND 00000158: JUMP 00000159: JUMPDEST 0000015a: PUSH1 0x05 0000015c: DUP2 0000015d: SWAP1 0000015e: SSTORE 0000015f: POP 00000160: STOP 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 0x0176 00000172: PUSH2 0x04ca 00000175: JUMP 00000176: JUMPDEST 00000177: PUSH1 0x40 00000179: MLOAD 0000017a: DUP1 0000017b: DUP1 0000017c: PUSH1 0x20 0000017e: ADD 0000017f: DUP3 00000180: DUP2 00000181: SUB 00000182: DUP3 00000183: MSTORE 00000184: DUP4 00000185: DUP2 00000186: DUP2 00000187: MLOAD 00000188: DUP2 00000189: MSTORE 0000018a: PUSH1 0x20 0000018c: ADD 0000018d: SWAP2 0000018e: POP 0000018f: DUP1 00000190: MLOAD 00000191: SWAP1 00000192: PUSH1 0x20 00000194: ADD 00000195: SWAP1 00000196: DUP1 00000197: DUP4 00000198: DUP4 00000199: PUSH1 0x00 0000019b: JUMPDEST 0000019c: DUP4 0000019d: DUP2 0000019e: LT 0000019f: ISZERO 000001a0: PUSH2 0x01b6 000001a3: JUMPI 000001a4: DUP1 000001a5: DUP3 000001a6: ADD 000001a7: MLOAD 000001a8: DUP2 000001a9: DUP5 000001aa: ADD 000001ab: MSTORE 000001ac: PUSH1 0x20 000001ae: DUP2 000001af: ADD 000001b0: SWAP1 000001b1: POP 000001b2: PUSH2 0x019b 000001b5: JUMP 000001b6: JUMPDEST 000001b7: POP 000001b8: POP 000001b9: POP 000001ba: POP 000001bb: SWAP1 000001bc: POP 000001bd: SWAP1 000001be: DUP2 000001bf: ADD 000001c0: SWAP1 000001c1: PUSH1 0x1f 000001c3: AND 000001c4: DUP1 000001c5: ISZERO 000001c6: PUSH2 0x01e3 000001c9: JUMPI 000001ca: DUP1 000001cb: DUP3 000001cc: SUB 000001cd: DUP1 000001ce: MLOAD 000001cf: PUSH1 0x01 000001d1: DUP4 000001d2: PUSH1 0x20 000001d4: SUB 000001d5: PUSH2 0x0100 000001d8: EXP 000001d9: SUB 000001da: NOT 000001db: AND 000001dc: DUP2 000001dd: MSTORE 000001de: PUSH1 0x20 000001e0: ADD 000001e1: SWAP2 000001e2: POP 000001e3: JUMPDEST 000001e4: POP 000001e5: SWAP3 000001e6: POP 000001e7: POP 000001e8: POP 000001e9: PUSH1 0x40 000001eb: MLOAD 000001ec: DUP1 000001ed: SWAP2 000001ee: SUB 000001ef: SWAP1 000001f0: RETURN 000001f1: JUMPDEST 000001f2: CALLVALUE 000001f3: DUP1 000001f4: ISZERO 000001f5: PUSH2 0x01fd 000001f8: JUMPI 000001f9: PUSH1 0x00 000001fb: DUP1 000001fc: REVERT 000001fd: JUMPDEST 000001fe: POP 000001ff: PUSH2 0x0206 00000202: PUSH2 0x0568 00000205: JUMP 00000206: JUMPDEST 00000207: PUSH1 0x40 00000209: MLOAD 0000020a: DUP1 0000020b: DUP3 0000020c: DUP2 0000020d: MSTORE 0000020e: PUSH1 0x20 00000210: ADD 00000211: SWAP2 00000212: POP 00000213: POP 00000214: PUSH1 0x40 00000216: MLOAD 00000217: DUP1 00000218: SWAP2 00000219: SUB 0000021a: SWAP1 0000021b: RETURN 0000021c: JUMPDEST 0000021d: CALLVALUE 0000021e: DUP1 0000021f: ISZERO 00000220: PUSH2 0x0228 00000223: JUMPI 00000224: PUSH1 0x00 00000226: DUP1 00000227: REVERT 00000228: JUMPDEST 00000229: POP 0000022a: PUSH2 0x0287 0000022d: PUSH1 0x04 0000022f: DUP1 00000230: CALLDATASIZE 00000231: SUB 00000232: DUP2 00000233: ADD 00000234: SWAP1 00000235: DUP1 00000236: DUP1 00000237: CALLDATALOAD 00000238: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000024d: AND 0000024e: SWAP1 0000024f: PUSH1 0x20 00000251: ADD 00000252: SWAP1 00000253: SWAP3 00000254: SWAP2 00000255: SWAP1 00000256: DUP1 00000257: CALLDATALOAD 00000258: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000026d: AND 0000026e: SWAP1 0000026f: PUSH1 0x20 00000271: ADD 00000272: SWAP1 00000273: SWAP3 00000274: SWAP2 00000275: SWAP1 00000276: DUP1 00000277: CALLDATALOAD 00000278: SWAP1 00000279: PUSH1 0x20 0000027b: ADD 0000027c: SWAP1 0000027d: SWAP3 0000027e: SWAP2 0000027f: SWAP1 00000280: POP 00000281: POP 00000282: POP 00000283: PUSH2 0x056e 00000286: JUMP 00000287: JUMPDEST 00000288: PUSH1 0x40 0000028a: MLOAD 0000028b: DUP1 0000028c: DUP3 0000028d: ISZERO 0000028e: ISZERO 0000028f: ISZERO 00000290: ISZERO 00000291: DUP2 00000292: MSTORE 00000293: PUSH1 0x20 00000295: ADD 00000296: SWAP2 00000297: POP 00000298: POP 00000299: PUSH1 0x40 0000029b: MLOAD 0000029c: DUP1 0000029d: SWAP2 0000029e: SUB 0000029f: SWAP1 000002a0: RETURN 000002a1: JUMPDEST 000002a2: CALLVALUE 000002a3: DUP1 000002a4: ISZERO 000002a5: PUSH2 0x02ad 000002a8: JUMPI 000002a9: PUSH1 0x00 000002ab: DUP1 000002ac: REVERT 000002ad: JUMPDEST 000002ae: POP 000002af: PUSH2 0x02b6 000002b2: PUSH2 0x0700 000002b5: JUMP 000002b6: JUMPDEST 000002b7: STOP 000002b8: JUMPDEST 000002b9: CALLVALUE 000002ba: DUP1 000002bb: ISZERO 000002bc: PUSH2 0x02c4 000002bf: JUMPI 000002c0: PUSH1 0x00 000002c2: DUP1 000002c3: REVERT 000002c4: JUMPDEST 000002c5: POP 000002c6: PUSH2 0x02f9 000002c9: PUSH1 0x04 000002cb: DUP1 000002cc: CALLDATASIZE 000002cd: SUB 000002ce: DUP2 000002cf: ADD 000002d0: SWAP1 000002d1: DUP1 000002d2: DUP1 000002d3: CALLDATALOAD 000002d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e9: AND 000002ea: SWAP1 000002eb: PUSH1 0x20 000002ed: ADD 000002ee: SWAP1 000002ef: SWAP3 000002f0: SWAP2 000002f1: SWAP1 000002f2: POP 000002f3: POP 000002f4: POP 000002f5: PUSH2 0x084b 000002f8: JUMP 000002f9: JUMPDEST 000002fa: PUSH1 0x40 000002fc: MLOAD 000002fd: DUP1 000002fe: DUP3 000002ff: DUP2 00000300: MSTORE 00000301: PUSH1 0x20 00000303: ADD 00000304: SWAP2 00000305: POP 00000306: POP 00000307: PUSH1 0x40 00000309: MLOAD 0000030a: DUP1 0000030b: SWAP2 0000030c: SUB 0000030d: SWAP1 0000030e: RETURN 0000030f: JUMPDEST 00000310: CALLVALUE 00000311: DUP1 00000312: ISZERO 00000313: PUSH2 0x031b 00000316: JUMPI 00000317: PUSH1 0x00 00000319: DUP1 0000031a: REVERT 0000031b: JUMPDEST 0000031c: POP 0000031d: PUSH2 0x0324 00000320: PUSH2 0x0894 00000323: JUMP 00000324: JUMPDEST 00000325: STOP 00000326: JUMPDEST 00000327: CALLVALUE 00000328: DUP1 00000329: ISZERO 0000032a: PUSH2 0x0332 0000032d: JUMPI 0000032e: PUSH1 0x00 00000330: DUP1 00000331: REVERT 00000332: JUMPDEST 00000333: POP 00000334: PUSH2 0x033b 00000337: PUSH2 0x0996 0000033a: JUMP 0000033b: JUMPDEST 0000033c: PUSH1 0x40 0000033e: MLOAD 0000033f: DUP1 00000340: DUP3 00000341: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000356: AND 00000357: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000036c: AND 0000036d: DUP2 0000036e: MSTORE 0000036f: PUSH1 0x20 00000371: ADD 00000372: SWAP2 00000373: POP 00000374: POP 00000375: PUSH1 0x40 00000377: MLOAD 00000378: DUP1 00000379: SWAP2 0000037a: SUB 0000037b: SWAP1 0000037c: RETURN 0000037d: JUMPDEST 0000037e: CALLVALUE 0000037f: DUP1 00000380: ISZERO 00000381: PUSH2 0x0389 00000384: JUMPI 00000385: PUSH1 0x00 00000387: DUP1 00000388: REVERT 00000389: JUMPDEST 0000038a: POP 0000038b: PUSH2 0x0392 0000038e: PUSH2 0x09bb 00000391: JUMP 00000392: JUMPDEST 00000393: PUSH1 0x40 00000395: MLOAD 00000396: DUP1 00000397: DUP1 00000398: PUSH1 0x20 0000039a: ADD 0000039b: DUP3 0000039c: DUP2 0000039d: SUB 0000039e: DUP3 0000039f: MSTORE 000003a0: DUP4 000003a1: DUP2 000003a2: DUP2 000003a3: MLOAD 000003a4: DUP2 000003a5: MSTORE 000003a6: PUSH1 0x20 000003a8: ADD 000003a9: SWAP2 000003aa: POP 000003ab: DUP1 000003ac: MLOAD 000003ad: SWAP1 000003ae: PUSH1 0x20 000003b0: ADD 000003b1: SWAP1 000003b2: DUP1 000003b3: DUP4 000003b4: DUP4 000003b5: PUSH1 0x00 000003b7: JUMPDEST 000003b8: DUP4 000003b9: DUP2 000003ba: LT 000003bb: ISZERO 000003bc: PUSH2 0x03d2 000003bf: JUMPI 000003c0: DUP1 000003c1: DUP3 000003c2: ADD 000003c3: MLOAD 000003c4: DUP2 000003c5: DUP5 000003c6: ADD 000003c7: MSTORE 000003c8: PUSH1 0x20 000003ca: DUP2 000003cb: ADD 000003cc: SWAP1 000003cd: POP 000003ce: PUSH2 0x03b7 000003d1: JUMP 000003d2: JUMPDEST 000003d3: POP 000003d4: POP 000003d5: POP 000003d6: POP 000003d7: SWAP1 000003d8: POP 000003d9: SWAP1 000003da: DUP2 000003db: ADD 000003dc: SWAP1 000003dd: PUSH1 0x1f 000003df: AND 000003e0: DUP1 000003e1: ISZERO 000003e2: PUSH2 0x03ff 000003e5: JUMPI 000003e6: DUP1 000003e7: DUP3 000003e8: SUB 000003e9: DUP1 000003ea: MLOAD 000003eb: PUSH1 0x01 000003ed: DUP4 000003ee: PUSH1 0x20 000003f0: SUB 000003f1: PUSH2 0x0100 000003f4: EXP 000003f5: SUB 000003f6: NOT 000003f7: AND 000003f8: DUP2 000003f9: MSTORE 000003fa: PUSH1 0x20 000003fc: ADD 000003fd: SWAP2 000003fe: POP 000003ff: JUMPDEST 00000400: POP 00000401: SWAP3 00000402: POP 00000403: POP 00000404: POP 00000405: PUSH1 0x40 00000407: MLOAD 00000408: DUP1 00000409: SWAP2 0000040a: SUB 0000040b: SWAP1 0000040c: RETURN 0000040d: JUMPDEST 0000040e: CALLVALUE 0000040f: DUP1 00000410: ISZERO 00000411: PUSH2 0x0419 00000414: JUMPI 00000415: PUSH1 0x00 00000417: DUP1 00000418: REVERT 00000419: JUMPDEST 0000041a: POP 0000041b: PUSH2 0x043a 0000041e: PUSH1 0x04 00000420: DUP1 00000421: CALLDATASIZE 00000422: SUB 00000423: DUP2 00000424: ADD 00000425: SWAP1 00000426: DUP1 00000427: DUP1 00000428: CALLDATALOAD 00000429: ISZERO 0000042a: ISZERO 0000042b: SWAP1 0000042c: PUSH1 0x20 0000042e: ADD 0000042f: SWAP1 00000430: SWAP3 00000431: SWAP2 00000432: SWAP1 00000433: POP 00000434: POP 00000435: POP 00000436: PUSH2 0x0a59 00000439: JUMP 0000043a: JUMPDEST 0000043b: STOP 0000043c: JUMPDEST 0000043d: CALLVALUE 0000043e: DUP1 0000043f: ISZERO 00000440: PUSH2 0x0448 00000443: JUMPI 00000444: PUSH1 0x00 00000446: DUP1 00000447: REVERT 00000448: JUMPDEST 00000449: POP 0000044a: PUSH2 0x047d 0000044d: PUSH1 0x04 0000044f: DUP1 00000450: CALLDATASIZE 00000451: SUB 00000452: DUP2 00000453: ADD 00000454: SWAP1 00000455: DUP1 00000456: DUP1 00000457: CALLDATALOAD 00000458: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000046d: AND 0000046e: SWAP1 0000046f: PUSH1 0x20 00000471: ADD 00000472: SWAP1 00000473: SWAP3 00000474: SWAP2 00000475: SWAP1 00000476: POP 00000477: POP 00000478: POP 00000479: PUSH2 0x0ad1 0000047c: JUMP 0000047d: JUMPDEST 0000047e: STOP 0000047f: JUMPDEST 00000480: CALLVALUE 00000481: DUP1 00000482: ISZERO 00000483: PUSH2 0x048b 00000486: JUMPI 00000487: PUSH1 0x00 00000489: DUP1 0000048a: REVERT 0000048b: JUMPDEST 0000048c: POP 0000048d: PUSH2 0x0494 00000490: PUSH2 0x0c26 00000493: JUMP 00000494: JUMPDEST 00000495: PUSH1 0x40 00000497: MLOAD 00000498: DUP1 00000499: DUP3 0000049a: ISZERO 0000049b: ISZERO 0000049c: ISZERO 0000049d: ISZERO 0000049e: DUP2 0000049f: MSTORE 000004a0: PUSH1 0x20 000004a2: ADD 000004a3: SWAP2 000004a4: POP 000004a5: POP 000004a6: PUSH1 0x40 000004a8: MLOAD 000004a9: DUP1 000004aa: SWAP2 000004ab: SUB 000004ac: SWAP1 000004ad: RETURN 000004ae: JUMPDEST 000004af: PUSH1 0x00 000004b1: DUP2 000004b2: DUP4 000004b3: ADD 000004b4: SWAP1 000004b5: POP 000004b6: DUP3 000004b7: DUP2 000004b8: LT 000004b9: ISZERO 000004ba: ISZERO 000004bb: ISZERO 000004bc: PUSH2 0x04c1 000004bf: JUMPI 000004c0: INVALID 000004c1: JUMPDEST 000004c2: DUP1 000004c3: SWAP1 000004c4: POP 000004c5: SWAP3 000004c6: SWAP2 000004c7: POP 000004c8: POP 000004c9: JUMP 000004ca: JUMPDEST 000004cb: PUSH1 0x03 000004cd: DUP1 000004ce: SLOAD 000004cf: PUSH1 0x01 000004d1: DUP2 000004d2: PUSH1 0x01 000004d4: AND 000004d5: ISZERO 000004d6: PUSH2 0x0100 000004d9: MUL 000004da: SUB 000004db: AND 000004dc: PUSH1 0x02 000004de: SWAP1 000004df: DIV 000004e0: DUP1 000004e1: PUSH1 0x1f 000004e3: ADD 000004e4: PUSH1 0x20 000004e6: DUP1 000004e7: SWAP2 000004e8: DIV 000004e9: MUL 000004ea: PUSH1 0x20 000004ec: ADD 000004ed: PUSH1 0x40 000004ef: MLOAD 000004f0: SWAP1 000004f1: DUP2 000004f2: ADD 000004f3: PUSH1 0x40 000004f5: MSTORE 000004f6: DUP1 000004f7: SWAP3 000004f8: SWAP2 000004f9: SWAP1 000004fa: DUP2 000004fb: DUP2 000004fc: MSTORE 000004fd: PUSH1 0x20 000004ff: ADD 00000500: DUP3 00000501: DUP1 00000502: SLOAD 00000503: PUSH1 0x01 00000505: DUP2 00000506: PUSH1 0x01 00000508: AND 00000509: ISZERO 0000050a: PUSH2 0x0100 0000050d: MUL 0000050e: SUB 0000050f: AND 00000510: PUSH1 0x02 00000512: SWAP1 00000513: DIV 00000514: DUP1 00000515: ISZERO 00000516: PUSH2 0x0560 00000519: JUMPI 0000051a: DUP1 0000051b: PUSH1 0x1f 0000051d: LT 0000051e: PUSH2 0x0535 00000521: JUMPI 00000522: PUSH2 0x0100 00000525: DUP1 00000526: DUP4 00000527: SLOAD 00000528: DIV 00000529: MUL 0000052a: DUP4 0000052b: MSTORE 0000052c: SWAP2 0000052d: PUSH1 0x20 0000052f: ADD 00000530: SWAP2 00000531: PUSH2 0x0560 00000534: JUMP 00000535: JUMPDEST 00000536: DUP3 00000537: ADD 00000538: SWAP2 00000539: SWAP1 0000053a: PUSH1 0x00 0000053c: MSTORE 0000053d: PUSH1 0x20 0000053f: PUSH1 0x00 00000541: KECCAK256 00000542: SWAP1 00000543: JUMPDEST 00000544: DUP2 00000545: SLOAD 00000546: DUP2 00000547: MSTORE 00000548: SWAP1 00000549: PUSH1 0x01 0000054b: ADD 0000054c: SWAP1 0000054d: PUSH1 0x20 0000054f: ADD 00000550: DUP1 00000551: DUP4 00000552: GT 00000553: PUSH2 0x0543 00000556: JUMPI 00000557: DUP3 00000558: SWAP1 00000559: SUB 0000055a: PUSH1 0x1f 0000055c: AND 0000055d: DUP3 0000055e: ADD 0000055f: SWAP2 00000560: JUMPDEST 00000561: POP 00000562: POP 00000563: POP 00000564: POP 00000565: POP 00000566: DUP2 00000567: JUMP 00000568: JUMPDEST 00000569: PUSH1 0x05 0000056b: SLOAD 0000056c: DUP2 0000056d: JUMP 0000056e: JUMPDEST 0000056f: PUSH1 0x00 00000571: DUP1 00000572: PUSH1 0x00 00000574: SWAP1 00000575: SLOAD 00000576: SWAP1 00000577: PUSH2 0x0100 0000057a: EXP 0000057b: SWAP1 0000057c: DIV 0000057d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000592: AND 00000593: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a8: AND 000005a9: CALLER 000005aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005bf: AND 000005c0: EQ 000005c1: ISZERO 000005c2: ISZERO 000005c3: PUSH2 0x05cb 000005c6: JUMPI 000005c7: PUSH1 0x00 000005c9: DUP1 000005ca: REVERT 000005cb: JUMPDEST 000005cc: PUSH2 0x061d 000005cf: DUP3 000005d0: PUSH1 0x01 000005d2: PUSH1 0x00 000005d4: DUP8 000005d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ea: AND 000005eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000600: AND 00000601: DUP2 00000602: MSTORE 00000603: PUSH1 0x20 00000605: ADD 00000606: SWAP1 00000607: DUP2 00000608: MSTORE 00000609: PUSH1 0x20 0000060b: ADD 0000060c: PUSH1 0x00 0000060e: KECCAK256 0000060f: SLOAD 00000610: PUSH2 0x0c39 00000613: SWAP1 00000614: SWAP2 00000615: SWAP1 00000616: PUSH4 0xffffffff 0000061b: AND 0000061c: JUMP 0000061d: JUMPDEST 0000061e: PUSH1 0x01 00000620: PUSH1 0x00 00000622: DUP7 00000623: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000638: AND 00000639: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000064e: AND 0000064f: DUP2 00000650: MSTORE 00000651: PUSH1 0x20 00000653: ADD 00000654: SWAP1 00000655: DUP2 00000656: MSTORE 00000657: PUSH1 0x20 00000659: ADD 0000065a: PUSH1 0x00 0000065c: KECCAK256 0000065d: DUP2 0000065e: SWAP1 0000065f: SSTORE 00000660: POP 00000661: PUSH2 0x06b2 00000664: DUP3 00000665: PUSH1 0x01 00000667: PUSH1 0x00 00000669: DUP7 0000066a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000067f: AND 00000680: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000695: AND 00000696: DUP2 00000697: MSTORE 00000698: PUSH1 0x20 0000069a: ADD 0000069b: SWAP1 0000069c: DUP2 0000069d: MSTORE 0000069e: PUSH1 0x20 000006a0: ADD 000006a1: PUSH1 0x00 000006a3: KECCAK256 000006a4: SLOAD 000006a5: PUSH2 0x04ae 000006a8: SWAP1 000006a9: SWAP2 000006aa: SWAP1 000006ab: PUSH4 0xffffffff 000006b0: AND 000006b1: JUMP 000006b2: JUMPDEST 000006b3: PUSH1 0x01 000006b5: PUSH1 0x00 000006b7: DUP6 000006b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006cd: AND 000006ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006e3: AND 000006e4: DUP2 000006e5: MSTORE 000006e6: PUSH1 0x20 000006e8: ADD 000006e9: SWAP1 000006ea: DUP2 000006eb: MSTORE 000006ec: PUSH1 0x20 000006ee: ADD 000006ef: PUSH1 0x00 000006f1: KECCAK256 000006f2: DUP2 000006f3: SWAP1 000006f4: SSTORE 000006f5: POP 000006f6: PUSH1 0x01 000006f8: SWAP1 000006f9: POP 000006fa: SWAP4 000006fb: SWAP3 000006fc: POP 000006fd: POP 000006fe: POP 000006ff: JUMP 00000700: JUMPDEST 00000701: PUSH1 0x00 00000703: PUSH1 0x02 00000705: PUSH1 0x00 00000707: SWAP1 00000708: SLOAD 00000709: SWAP1 0000070a: PUSH2 0x0100 0000070d: EXP 0000070e: SWAP1 0000070f: DIV 00000710: PUSH1 0xff 00000712: AND 00000713: ISZERO 00000714: ISZERO 00000715: PUSH2 0x071d 00000718: JUMPI 00000719: PUSH1 0x00 0000071b: DUP1 0000071c: REVERT 0000071d: JUMPDEST 0000071e: PUSH1 0x01 00000720: PUSH1 0x00 00000722: CALLER 00000723: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000738: AND 00000739: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000074e: AND 0000074f: DUP2 00000750: MSTORE 00000751: PUSH1 0x20 00000753: ADD 00000754: SWAP1 00000755: DUP2 00000756: MSTORE 00000757: PUSH1 0x20 00000759: ADD 0000075a: PUSH1 0x00 0000075c: KECCAK256 0000075d: SLOAD 0000075e: SWAP1 0000075f: POP 00000760: PUSH1 0x01 00000762: PUSH1 0x00 00000764: CALLER 00000765: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000077a: AND 0000077b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000790: AND 00000791: DUP2 00000792: MSTORE 00000793: PUSH1 0x20 00000795: ADD 00000796: SWAP1 00000797: DUP2 00000798: MSTORE 00000799: PUSH1 0x20 0000079b: ADD 0000079c: PUSH1 0x00 0000079e: KECCAK256 0000079f: PUSH1 0x00 000007a1: SWAP1 000007a2: SSTORE 000007a3: PUSH2 0x07b7 000007a6: DUP2 000007a7: PUSH1 0x05 000007a9: SLOAD 000007aa: PUSH2 0x0c39 000007ad: SWAP1 000007ae: SWAP2 000007af: SWAP1 000007b0: PUSH4 0xffffffff 000007b5: AND 000007b6: JUMP 000007b7: JUMPDEST 000007b8: PUSH1 0x05 000007ba: DUP2 000007bb: SWAP1 000007bc: SSTORE 000007bd: POP 000007be: CALLER 000007bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007d4: AND 000007d5: PUSH2 0x08fc 000007d8: DUP3 000007d9: SWAP1 000007da: DUP2 000007db: ISZERO 000007dc: MUL 000007dd: SWAP1 000007de: PUSH1 0x40 000007e0: MLOAD 000007e1: PUSH1 0x00 000007e3: PUSH1 0x40 000007e5: MLOAD 000007e6: DUP1 000007e7: DUP4 000007e8: SUB 000007e9: DUP2 000007ea: DUP6 000007eb: DUP9 000007ec: DUP9 000007ed: CALL 000007ee: SWAP4 000007ef: POP 000007f0: POP 000007f1: POP 000007f2: POP 000007f3: ISZERO 000007f4: DUP1 000007f5: ISZERO 000007f6: PUSH2 0x0803 000007f9: JUMPI 000007fa: RETURNDATASIZE 000007fb: PUSH1 0x00 000007fd: DUP1 000007fe: RETURNDATACOPY 000007ff: RETURNDATASIZE 00000800: PUSH1 0x00 00000802: REVERT 00000803: JUMPDEST 00000804: POP 00000805: DUP1 00000806: CALLER 00000807: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000081c: AND 0000081d: PUSH32 0x6cca423c6ffc06e62a0acc433965e074b11c28479b0449250ce3ff65ac9e39fe 0000083e: PUSH1 0x40 00000840: MLOAD 00000841: PUSH1 0x40 00000843: MLOAD 00000844: DUP1 00000845: SWAP2 00000846: SUB 00000847: SWAP1 00000848: LOG3 00000849: POP 0000084a: JUMP 0000084b: JUMPDEST 0000084c: PUSH1 0x00 0000084e: PUSH1 0x01 00000850: PUSH1 0x00 00000852: DUP4 00000853: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000868: AND 00000869: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000087e: AND 0000087f: DUP2 00000880: MSTORE 00000881: PUSH1 0x20 00000883: ADD 00000884: SWAP1 00000885: DUP2 00000886: MSTORE 00000887: PUSH1 0x20 00000889: ADD 0000088a: PUSH1 0x00 0000088c: KECCAK256 0000088d: SLOAD 0000088e: SWAP1 0000088f: POP 00000890: SWAP2 00000891: SWAP1 00000892: POP 00000893: JUMP 00000894: JUMPDEST 00000895: PUSH1 0x00 00000897: DUP1 00000898: SWAP1 00000899: SLOAD 0000089a: SWAP1 0000089b: PUSH2 0x0100 0000089e: EXP 0000089f: SWAP1 000008a0: DIV 000008a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008b6: AND 000008b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008cc: AND 000008cd: CALLER 000008ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e3: AND 000008e4: EQ 000008e5: ISZERO 000008e6: ISZERO 000008e7: PUSH2 0x08ef 000008ea: JUMPI 000008eb: PUSH1 0x00 000008ed: DUP1 000008ee: REVERT 000008ef: JUMPDEST 000008f0: PUSH1 0x00 000008f2: DUP1 000008f3: SWAP1 000008f4: SLOAD 000008f5: SWAP1 000008f6: PUSH2 0x0100 000008f9: EXP 000008fa: SWAP1 000008fb: DIV 000008fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000911: AND 00000912: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000927: AND 00000928: PUSH32 0xf8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c64820 00000949: PUSH1 0x40 0000094b: MLOAD 0000094c: PUSH1 0x40 0000094e: MLOAD 0000094f: DUP1 00000950: SWAP2 00000951: SUB 00000952: SWAP1 00000953: LOG2 00000954: PUSH1 0x00 00000956: DUP1 00000957: PUSH1 0x00 00000959: PUSH2 0x0100 0000095c: EXP 0000095d: DUP2 0000095e: SLOAD 0000095f: DUP2 00000960: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000975: MUL 00000976: NOT 00000977: AND 00000978: SWAP1 00000979: DUP4 0000097a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000098f: AND 00000990: MUL 00000991: OR 00000992: SWAP1 00000993: SSTORE 00000994: POP 00000995: JUMP 00000996: JUMPDEST 00000997: PUSH1 0x00 00000999: DUP1 0000099a: SWAP1 0000099b: SLOAD 0000099c: SWAP1 0000099d: PUSH2 0x0100 000009a0: EXP 000009a1: SWAP1 000009a2: DIV 000009a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b8: AND 000009b9: DUP2 000009ba: JUMP 000009bb: JUMPDEST 000009bc: PUSH1 0x04 000009be: DUP1 000009bf: SLOAD 000009c0: PUSH1 0x01 000009c2: DUP2 000009c3: PUSH1 0x01 000009c5: AND 000009c6: ISZERO 000009c7: PUSH2 0x0100 000009ca: MUL 000009cb: SUB 000009cc: AND 000009cd: PUSH1 0x02 000009cf: SWAP1 000009d0: DIV 000009d1: DUP1 000009d2: PUSH1 0x1f 000009d4: ADD 000009d5: PUSH1 0x20 000009d7: DUP1 000009d8: SWAP2 000009d9: DIV 000009da: MUL 000009db: PUSH1 0x20 000009dd: ADD 000009de: PUSH1 0x40 000009e0: MLOAD 000009e1: SWAP1 000009e2: DUP2 000009e3: ADD 000009e4: PUSH1 0x40 000009e6: MSTORE 000009e7: DUP1 000009e8: SWAP3 000009e9: SWAP2 000009ea: SWAP1 000009eb: DUP2 000009ec: DUP2 000009ed: MSTORE 000009ee: PUSH1 0x20 000009f0: ADD 000009f1: DUP3 000009f2: DUP1 000009f3: SLOAD 000009f4: PUSH1 0x01 000009f6: DUP2 000009f7: PUSH1 0x01 000009f9: AND 000009fa: ISZERO 000009fb: PUSH2 0x0100 000009fe: MUL 000009ff: SUB 00000a00: AND 00000a01: PUSH1 0x02 00000a03: SWAP1 00000a04: DIV 00000a05: DUP1 00000a06: ISZERO 00000a07: PUSH2 0x0a51 00000a0a: JUMPI 00000a0b: DUP1 00000a0c: PUSH1 0x1f 00000a0e: LT 00000a0f: PUSH2 0x0a26 00000a12: JUMPI 00000a13: PUSH2 0x0100 00000a16: DUP1 00000a17: DUP4 00000a18: SLOAD 00000a19: DIV 00000a1a: MUL 00000a1b: DUP4 00000a1c: MSTORE 00000a1d: SWAP2 00000a1e: PUSH1 0x20 00000a20: ADD 00000a21: SWAP2 00000a22: PUSH2 0x0a51 00000a25: JUMP 00000a26: JUMPDEST 00000a27: DUP3 00000a28: ADD 00000a29: SWAP2 00000a2a: SWAP1 00000a2b: PUSH1 0x00 00000a2d: MSTORE 00000a2e: PUSH1 0x20 00000a30: PUSH1 0x00 00000a32: KECCAK256 00000a33: SWAP1 00000a34: JUMPDEST 00000a35: DUP2 00000a36: SLOAD 00000a37: DUP2 00000a38: MSTORE 00000a39: SWAP1 00000a3a: PUSH1 0x01 00000a3c: ADD 00000a3d: SWAP1 00000a3e: PUSH1 0x20 00000a40: ADD 00000a41: DUP1 00000a42: DUP4 00000a43: GT 00000a44: PUSH2 0x0a34 00000a47: JUMPI 00000a48: DUP3 00000a49: SWAP1 00000a4a: SUB 00000a4b: PUSH1 0x1f 00000a4d: AND 00000a4e: DUP3 00000a4f: ADD 00000a50: SWAP2 00000a51: JUMPDEST 00000a52: POP 00000a53: POP 00000a54: POP 00000a55: POP 00000a56: POP 00000a57: DUP2 00000a58: JUMP 00000a59: JUMPDEST 00000a5a: PUSH1 0x00 00000a5c: DUP1 00000a5d: SWAP1 00000a5e: SLOAD 00000a5f: SWAP1 00000a60: PUSH2 0x0100 00000a63: EXP 00000a64: SWAP1 00000a65: DIV 00000a66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a7b: AND 00000a7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a91: AND 00000a92: CALLER 00000a93: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa8: AND 00000aa9: EQ 00000aaa: ISZERO 00000aab: ISZERO 00000aac: PUSH2 0x0ab4 00000aaf: JUMPI 00000ab0: PUSH1 0x00 00000ab2: DUP1 00000ab3: REVERT 00000ab4: JUMPDEST 00000ab5: DUP1 00000ab6: PUSH1 0x02 00000ab8: PUSH1 0x00 00000aba: PUSH2 0x0100 00000abd: EXP 00000abe: DUP2 00000abf: SLOAD 00000ac0: DUP2 00000ac1: PUSH1 0xff 00000ac3: MUL 00000ac4: NOT 00000ac5: AND 00000ac6: SWAP1 00000ac7: DUP4 00000ac8: ISZERO 00000ac9: ISZERO 00000aca: MUL 00000acb: OR 00000acc: SWAP1 00000acd: SSTORE 00000ace: POP 00000acf: POP 00000ad0: JUMP 00000ad1: JUMPDEST 00000ad2: PUSH1 0x00 00000ad4: DUP1 00000ad5: SWAP1 00000ad6: SLOAD 00000ad7: SWAP1 00000ad8: PUSH2 0x0100 00000adb: EXP 00000adc: SWAP1 00000add: DIV 00000ade: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000af3: AND 00000af4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b09: AND 00000b0a: CALLER 00000b0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b20: AND 00000b21: EQ 00000b22: ISZERO 00000b23: ISZERO 00000b24: PUSH2 0x0b2c 00000b27: JUMPI 00000b28: PUSH1 0x00 00000b2a: DUP1 00000b2b: REVERT 00000b2c: JUMPDEST 00000b2d: PUSH1 0x00 00000b2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b44: AND 00000b45: DUP2 00000b46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b5b: AND 00000b5c: EQ 00000b5d: ISZERO 00000b5e: ISZERO 00000b5f: ISZERO 00000b60: PUSH2 0x0b68 00000b63: JUMPI 00000b64: PUSH1 0x00 00000b66: DUP1 00000b67: REVERT 00000b68: JUMPDEST 00000b69: DUP1 00000b6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b7f: AND 00000b80: PUSH1 0x00 00000b82: DUP1 00000b83: SWAP1 00000b84: SLOAD 00000b85: SWAP1 00000b86: PUSH2 0x0100 00000b89: EXP 00000b8a: SWAP1 00000b8b: DIV 00000b8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ba1: AND 00000ba2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bb7: AND 00000bb8: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000bd9: PUSH1 0x40 00000bdb: MLOAD 00000bdc: PUSH1 0x40 00000bde: MLOAD 00000bdf: DUP1 00000be0: SWAP2 00000be1: SUB 00000be2: SWAP1 00000be3: LOG3 00000be4: DUP1 00000be5: PUSH1 0x00 00000be7: DUP1 00000be8: PUSH2 0x0100 00000beb: EXP 00000bec: DUP2 00000bed: SLOAD 00000bee: DUP2 00000bef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c04: MUL 00000c05: NOT 00000c06: AND 00000c07: SWAP1 00000c08: DUP4 00000c09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c1e: AND 00000c1f: MUL 00000c20: OR 00000c21: SWAP1 00000c22: SSTORE 00000c23: POP 00000c24: POP 00000c25: JUMP 00000c26: JUMPDEST 00000c27: PUSH1 0x02 00000c29: PUSH1 0x00 00000c2b: SWAP1 00000c2c: SLOAD 00000c2d: SWAP1 00000c2e: PUSH2 0x0100 00000c31: EXP 00000c32: SWAP1 00000c33: DIV 00000c34: PUSH1 0xff 00000c36: AND 00000c37: DUP2 00000c38: JUMP 00000c39: JUMPDEST 00000c3a: PUSH1 0x00 00000c3c: DUP3 00000c3d: DUP3 00000c3e: GT 00000c3f: ISZERO 00000c40: ISZERO 00000c41: ISZERO 00000c42: PUSH2 0x0c47 00000c45: JUMPI 00000c46: INVALID 00000c47: JUMPDEST 00000c48: DUP2 00000c49: DUP4 00000c4a: SUB 00000c4b: SWAP1 00000c4c: POP 00000c4d: SWAP3 00000c4e: SWAP2 00000c4f: POP 00000c50: POP 00000c51: JUMP 00000c52: STOP 00000c53: LOG1 00000c54: PUSH6 0x627a7a723058 00000c5b: KECCAK256 00000c5c: PUSH10 0x168e9f3586cdc34e5b12 00000c67: MCOPY 00000c68: UNKNOWN(0xD6) 00000c69: SLOAD 00000c6a: DUP11 00000c6b: CODECOPY 00000c6c: TLOAD 00000c6d: GASPRICE 00000c6e: UNKNOWN(0xD5) 00000c6f: PUSH13 0x1d7c2e1cbfe6f73ba38f7a5900 00000c7d: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xbcc656f481ad4e3020840c1a2461e9c32adb7d4c3ef1668c29577cb3df02c77e
call_targets:
0x19cca07f524a0aee89fe1554ddd9faa30fe2b437
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbcc656f481ad4e3020840c1a2461e9c32adb7d4c3ef1668c29577cb3df02c77e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x19cca07f524a0aee89fe1554ddd9faa30fe2b437"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2029,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 1449,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2253,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2706,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2826,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xbcc656f481ad4e3020840c1a2461e9c32adb7d4c3ef1668c29577cb3df02c77e
call_targets:
0x19cca07f524a0aee89fe1554ddd9faa30fe2b437
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xbcc656f481ad4e3020840c1a2461e9c32adb7d4c3ef1668c29577cb3df02c77e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x19cca07f524a0aee89fe1554ddd9faa30fe2b437"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2029,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 1449,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2253,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2706,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2826,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|