019ba928-f75f-717c-b7b9-f0dcb29a3c55
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 |
|---|---|---|---|---|
| 35186 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 35187 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 35188 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 35189 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 35190 | capability.graph | complete | 1 / 3 | 3 months ago |
| 35191 | detector.run | complete | 1 / 3 | 3 months ago |
| 35192 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x00be 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x8da5cb5b 00000026: GT 00000027: PUSH2 0x0076 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0xb27704fa 00000031: GT 00000032: PUSH2 0x005b 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0xb27704fa 0000003c: EQ 0000003d: PUSH2 0x015b 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xbf86d690 00000047: EQ 00000048: PUSH2 0x01d4 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xf2fde38b 00000052: EQ 00000053: PUSH2 0x01dc 00000056: JUMPI 00000057: PUSH2 0x00be 0000005a: JUMP 0000005b: JUMPDEST 0000005c: DUP1 0000005d: PUSH4 0x8da5cb5b 00000062: EQ 00000063: PUSH2 0x011d 00000066: JUMPI 00000067: DUP1 00000068: PUSH4 0x8f975a64 0000006d: EQ 0000006e: PUSH2 0x0125 00000071: JUMPI 00000072: PUSH2 0x00be 00000075: JUMP 00000076: JUMPDEST 00000077: DUP1 00000078: PUSH4 0x715018a6 0000007d: GT 0000007e: PUSH2 0x00a7 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x715018a6 00000088: EQ 00000089: PUSH2 0x00e7 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x766f13bc 00000093: EQ 00000094: PUSH2 0x00f1 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x8531a636 0000009e: EQ 0000009f: PUSH2 0x0115 000000a2: JUMPI 000000a3: PUSH2 0x00be 000000a6: JUMP 000000a7: JUMPDEST 000000a8: DUP1 000000a9: PUSH4 0x438cae7e 000000ae: EQ 000000af: PUSH2 0x00c3 000000b2: JUMPI 000000b3: DUP1 000000b4: PUSH4 0x664ab18e 000000b9: EQ 000000ba: PUSH2 0x00df 000000bd: JUMPI 000000be: JUMPDEST 000000bf: PUSH1 0x00 000000c1: DUP1 000000c2: REVERT 000000c3: JUMPDEST 000000c4: PUSH2 0x00cb 000000c7: PUSH2 0x0202 000000ca: JUMP 000000cb: JUMPDEST 000000cc: PUSH1 0x40 000000ce: DUP1 000000cf: MLOAD 000000d0: SWAP2 000000d1: ISZERO 000000d2: ISZERO 000000d3: DUP3 000000d4: MSTORE 000000d5: MLOAD 000000d6: SWAP1 000000d7: DUP2 000000d8: SWAP1 000000d9: SUB 000000da: PUSH1 0x20 000000dc: ADD 000000dd: SWAP1 000000de: RETURN 000000df: JUMPDEST 000000e0: PUSH2 0x00cb 000000e3: PUSH2 0x0282 000000e6: JUMP 000000e7: JUMPDEST 000000e8: PUSH2 0x00ef 000000eb: PUSH2 0x02d1 000000ee: JUMP 000000ef: JUMPDEST 000000f0: STOP 000000f1: JUMPDEST 000000f2: PUSH2 0x00f9 000000f5: PUSH2 0x039c 000000f8: JUMP 000000f9: JUMPDEST 000000fa: PUSH1 0x40 000000fc: DUP1 000000fd: MLOAD 000000fe: PUSH1 0x01 00000100: PUSH1 0x01 00000102: PUSH1 0xa0 00000104: SHL 00000105: SUB 00000106: SWAP1 00000107: SWAP3 00000108: AND 00000109: DUP3 0000010a: MSTORE 0000010b: MLOAD 0000010c: SWAP1 0000010d: DUP2 0000010e: SWAP1 0000010f: SUB 00000110: PUSH1 0x20 00000112: ADD 00000113: SWAP1 00000114: RETURN 00000115: JUMPDEST 00000116: PUSH2 0x00f9 00000119: PUSH2 0x03eb 0000011c: JUMP 0000011d: JUMPDEST 0000011e: PUSH2 0x00f9 00000121: PUSH2 0x03fa 00000124: JUMP 00000125: JUMPDEST 00000126: PUSH2 0x00ef 00000129: PUSH1 0x04 0000012b: DUP1 0000012c: CALLDATASIZE 0000012d: SUB 0000012e: PUSH1 0x60 00000130: DUP2 00000131: LT 00000132: ISZERO 00000133: PUSH2 0x013b 00000136: JUMPI 00000137: PUSH1 0x00 00000139: DUP1 0000013a: REVERT 0000013b: JUMPDEST 0000013c: POP 0000013d: PUSH1 0x01 0000013f: PUSH1 0x01 00000141: PUSH1 0xa0 00000143: SHL 00000144: SUB 00000145: DUP2 00000146: CALLDATALOAD 00000147: DUP2 00000148: AND 00000149: SWAP2 0000014a: PUSH1 0x20 0000014c: DUP2 0000014d: ADD 0000014e: CALLDATALOAD 0000014f: SWAP1 00000150: SWAP2 00000151: AND 00000152: SWAP1 00000153: PUSH1 0x40 00000155: ADD 00000156: CALLDATALOAD 00000157: PUSH2 0x0409 0000015a: JUMP 0000015b: JUMPDEST 0000015c: PUSH2 0x00ef 0000015f: PUSH1 0x04 00000161: DUP1 00000162: CALLDATASIZE 00000163: SUB 00000164: PUSH1 0x40 00000166: DUP2 00000167: LT 00000168: ISZERO 00000169: PUSH2 0x0171 0000016c: JUMPI 0000016d: PUSH1 0x00 0000016f: DUP1 00000170: REVERT 00000171: JUMPDEST 00000172: DUP2 00000173: ADD 00000174: SWAP1 00000175: PUSH1 0x20 00000177: DUP2 00000178: ADD 00000179: DUP2 0000017a: CALLDATALOAD 0000017b: PUSH5 0x0100000000 00000181: DUP2 00000182: GT 00000183: ISZERO 00000184: PUSH2 0x018c 00000187: JUMPI 00000188: PUSH1 0x00 0000018a: DUP1 0000018b: REVERT 0000018c: JUMPDEST 0000018d: DUP3 0000018e: ADD 0000018f: DUP4 00000190: PUSH1 0x20 00000192: DUP3 00000193: ADD 00000194: GT 00000195: ISZERO 00000196: PUSH2 0x019e 00000199: JUMPI 0000019a: PUSH1 0x00 0000019c: DUP1 0000019d: REVERT 0000019e: JUMPDEST 0000019f: DUP1 000001a0: CALLDATALOAD 000001a1: SWAP1 000001a2: PUSH1 0x20 000001a4: ADD 000001a5: SWAP2 000001a6: DUP5 000001a7: PUSH1 0x20 000001a9: DUP4 000001aa: MUL 000001ab: DUP5 000001ac: ADD 000001ad: GT 000001ae: PUSH5 0x0100000000 000001b4: DUP4 000001b5: GT 000001b6: OR 000001b7: ISZERO 000001b8: PUSH2 0x01c0 000001bb: JUMPI 000001bc: PUSH1 0x00 000001be: DUP1 000001bf: REVERT 000001c0: JUMPDEST 000001c1: SWAP2 000001c2: SWAP4 000001c3: POP 000001c4: SWAP2 000001c5: POP 000001c6: CALLDATALOAD 000001c7: PUSH1 0x01 000001c9: PUSH1 0x01 000001cb: PUSH1 0xa0 000001cd: SHL 000001ce: SUB 000001cf: AND 000001d0: PUSH2 0x0495 000001d3: JUMP 000001d4: JUMPDEST 000001d5: PUSH2 0x00cb 000001d8: PUSH2 0x05fc 000001db: JUMP 000001dc: JUMPDEST 000001dd: PUSH2 0x00ef 000001e0: PUSH1 0x04 000001e2: DUP1 000001e3: CALLDATASIZE 000001e4: SUB 000001e5: PUSH1 0x20 000001e7: DUP2 000001e8: LT 000001e9: ISZERO 000001ea: PUSH2 0x01f2 000001ed: JUMPI 000001ee: PUSH1 0x00 000001f0: DUP1 000001f1: REVERT 000001f2: JUMPDEST 000001f3: POP 000001f4: CALLDATALOAD 000001f5: PUSH1 0x01 000001f7: PUSH1 0x01 000001f9: PUSH1 0xa0 000001fb: SHL 000001fc: SUB 000001fd: AND 000001fe: PUSH2 0x064b 00000201: JUMP 00000202: JUMPDEST 00000203: PUSH1 0x00 00000205: DUP1 00000206: PUSH1 0x00 00000208: SWAP1 00000209: SLOAD 0000020a: SWAP1 0000020b: PUSH2 0x0100 0000020e: EXP 0000020f: SWAP1 00000210: DIV 00000211: PUSH1 0x01 00000213: PUSH1 0x01 00000215: PUSH1 0xa0 00000217: SHL 00000218: SUB 00000219: AND 0000021a: PUSH1 0x01 0000021c: PUSH1 0x01 0000021e: PUSH1 0xa0 00000220: SHL 00000221: SUB 00000222: AND 00000223: PUSH4 0x438cae7e 00000228: PUSH1 0x40 0000022a: MLOAD 0000022b: DUP2 0000022c: PUSH4 0xffffffff 00000231: AND 00000232: PUSH1 0xe0 00000234: SHL 00000235: DUP2 00000236: MSTORE 00000237: PUSH1 0x04 00000239: ADD 0000023a: PUSH1 0x20 0000023c: PUSH1 0x40 0000023e: MLOAD 0000023f: DUP1 00000240: DUP4 00000241: SUB 00000242: DUP2 00000243: DUP7 00000244: DUP1 00000245: EXTCODESIZE 00000246: ISZERO 00000247: DUP1 00000248: ISZERO 00000249: PUSH2 0x0251 0000024c: JUMPI 0000024d: PUSH1 0x00 0000024f: DUP1 00000250: REVERT 00000251: JUMPDEST 00000252: POP 00000253: GAS 00000254: STATICCALL 00000255: ISZERO 00000256: DUP1 00000257: ISZERO 00000258: PUSH2 0x0265 0000025b: JUMPI 0000025c: RETURNDATASIZE 0000025d: PUSH1 0x00 0000025f: DUP1 00000260: RETURNDATACOPY 00000261: RETURNDATASIZE 00000262: PUSH1 0x00 00000264: REVERT 00000265: JUMPDEST 00000266: POP 00000267: POP 00000268: POP 00000269: POP 0000026a: PUSH1 0x40 0000026c: MLOAD 0000026d: RETURNDATASIZE 0000026e: PUSH1 0x20 00000270: DUP2 00000271: LT 00000272: ISZERO 00000273: PUSH2 0x027b 00000276: JUMPI 00000277: PUSH1 0x00 00000279: DUP1 0000027a: REVERT 0000027b: JUMPDEST 0000027c: POP 0000027d: MLOAD 0000027e: SWAP1 0000027f: POP 00000280: SWAP1 00000281: JUMP 00000282: JUMPDEST 00000283: PUSH1 0x00 00000285: DUP1 00000286: PUSH1 0x00 00000288: SWAP1 00000289: SLOAD 0000028a: SWAP1 0000028b: PUSH2 0x0100 0000028e: EXP 0000028f: SWAP1 00000290: DIV 00000291: PUSH1 0x01 00000293: PUSH1 0x01 00000295: PUSH1 0xa0 00000297: SHL 00000298: SUB 00000299: AND 0000029a: PUSH1 0x01 0000029c: PUSH1 0x01 0000029e: PUSH1 0xa0 000002a0: SHL 000002a1: SUB 000002a2: AND 000002a3: PUSH4 0x664ab18e 000002a8: PUSH1 0x40 000002aa: MLOAD 000002ab: DUP2 000002ac: PUSH4 0xffffffff 000002b1: AND 000002b2: PUSH1 0xe0 000002b4: SHL 000002b5: DUP2 000002b6: MSTORE 000002b7: PUSH1 0x04 000002b9: ADD 000002ba: PUSH1 0x20 000002bc: PUSH1 0x40 000002be: MLOAD 000002bf: DUP1 000002c0: DUP4 000002c1: SUB 000002c2: DUP2 000002c3: DUP7 000002c4: DUP1 000002c5: EXTCODESIZE 000002c6: ISZERO 000002c7: DUP1 000002c8: ISZERO 000002c9: PUSH2 0x0251 000002cc: JUMPI 000002cd: PUSH1 0x00 000002cf: DUP1 000002d0: REVERT 000002d1: JUMPDEST 000002d2: PUSH2 0x02d9 000002d5: PUSH2 0x079c 000002d8: JUMP 000002d9: JUMPDEST 000002da: PUSH1 0x01 000002dc: PUSH1 0x01 000002de: PUSH1 0xa0 000002e0: SHL 000002e1: SUB 000002e2: AND 000002e3: PUSH2 0x02ea 000002e6: PUSH2 0x03fa 000002e9: JUMP 000002ea: JUMPDEST 000002eb: PUSH1 0x01 000002ed: PUSH1 0x01 000002ef: PUSH1 0xa0 000002f1: SHL 000002f2: SUB 000002f3: AND 000002f4: EQ 000002f5: PUSH2 0x0345 000002f8: JUMPI 000002f9: PUSH1 0x40 000002fb: DUP1 000002fc: MLOAD 000002fd: PUSH3 0x461bcd 00000301: PUSH1 0xe5 00000303: SHL 00000304: DUP2 00000305: MSTORE 00000306: PUSH1 0x20 00000308: PUSH1 0x04 0000030a: DUP3 0000030b: ADD 0000030c: DUP2 0000030d: SWAP1 0000030e: MSTORE 0000030f: PUSH1 0x24 00000311: DUP3 00000312: ADD 00000313: MSTORE 00000314: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000335: PUSH1 0x44 00000337: DUP3 00000338: ADD 00000339: MSTORE 0000033a: SWAP1 0000033b: MLOAD 0000033c: SWAP1 0000033d: DUP2 0000033e: SWAP1 0000033f: SUB 00000340: PUSH1 0x64 00000342: ADD 00000343: SWAP1 00000344: REVERT 00000345: JUMPDEST 00000346: PUSH1 0x01 00000348: SLOAD 00000349: PUSH1 0x40 0000034b: MLOAD 0000034c: PUSH1 0x00 0000034e: SWAP2 0000034f: PUSH1 0x01 00000351: PUSH1 0x01 00000353: PUSH1 0xa0 00000355: SHL 00000356: SUB 00000357: AND 00000358: SWAP1 00000359: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000037a: SWAP1 0000037b: DUP4 0000037c: SWAP1 0000037d: LOG3 0000037e: PUSH1 0x01 00000380: DUP1 00000381: SLOAD 00000382: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000397: NOT 00000398: AND 00000399: SWAP1 0000039a: SSTORE 0000039b: JUMP 0000039c: JUMPDEST 0000039d: PUSH1 0x00 0000039f: DUP1 000003a0: PUSH1 0x00 000003a2: SWAP1 000003a3: SLOAD 000003a4: SWAP1 000003a5: PUSH2 0x0100 000003a8: EXP 000003a9: SWAP1 000003aa: DIV 000003ab: PUSH1 0x01 000003ad: PUSH1 0x01 000003af: PUSH1 0xa0 000003b1: SHL 000003b2: SUB 000003b3: AND 000003b4: PUSH1 0x01 000003b6: PUSH1 0x01 000003b8: PUSH1 0xa0 000003ba: SHL 000003bb: SUB 000003bc: AND 000003bd: PUSH4 0x766f13bc 000003c2: PUSH1 0x40 000003c4: MLOAD 000003c5: DUP2 000003c6: PUSH4 0xffffffff 000003cb: AND 000003cc: PUSH1 0xe0 000003ce: SHL 000003cf: DUP2 000003d0: MSTORE 000003d1: PUSH1 0x04 000003d3: ADD 000003d4: PUSH1 0x20 000003d6: PUSH1 0x40 000003d8: MLOAD 000003d9: DUP1 000003da: DUP4 000003db: SUB 000003dc: DUP2 000003dd: DUP7 000003de: DUP1 000003df: EXTCODESIZE 000003e0: ISZERO 000003e1: DUP1 000003e2: ISZERO 000003e3: PUSH2 0x0251 000003e6: JUMPI 000003e7: PUSH1 0x00 000003e9: DUP1 000003ea: REVERT 000003eb: JUMPDEST 000003ec: PUSH1 0x00 000003ee: SLOAD 000003ef: PUSH1 0x01 000003f1: PUSH1 0x01 000003f3: PUSH1 0xa0 000003f5: SHL 000003f6: SUB 000003f7: AND 000003f8: SWAP1 000003f9: JUMP 000003fa: JUMPDEST 000003fb: PUSH1 0x01 000003fd: SLOAD 000003fe: PUSH1 0x01 00000400: PUSH1 0x01 00000402: PUSH1 0xa0 00000404: SHL 00000405: SUB 00000406: AND 00000407: SWAP1 00000408: JUMP 00000409: JUMPDEST 0000040a: PUSH2 0x0411 0000040d: PUSH2 0x079c 00000410: JUMP 00000411: JUMPDEST 00000412: PUSH1 0x01 00000414: PUSH1 0x01 00000416: PUSH1 0xa0 00000418: SHL 00000419: SUB 0000041a: AND 0000041b: PUSH2 0x0422 0000041e: PUSH2 0x03fa 00000421: JUMP 00000422: JUMPDEST 00000423: PUSH1 0x01 00000425: PUSH1 0x01 00000427: PUSH1 0xa0 00000429: SHL 0000042a: SUB 0000042b: AND 0000042c: EQ 0000042d: PUSH2 0x047d 00000430: JUMPI 00000431: PUSH1 0x40 00000433: DUP1 00000434: MLOAD 00000435: PUSH3 0x461bcd 00000439: PUSH1 0xe5 0000043b: SHL 0000043c: DUP2 0000043d: MSTORE 0000043e: PUSH1 0x20 00000440: PUSH1 0x04 00000442: DUP3 00000443: ADD 00000444: DUP2 00000445: SWAP1 00000446: MSTORE 00000447: PUSH1 0x24 00000449: DUP3 0000044a: ADD 0000044b: MSTORE 0000044c: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000046d: PUSH1 0x44 0000046f: DUP3 00000470: ADD 00000471: MSTORE 00000472: SWAP1 00000473: MLOAD 00000474: SWAP1 00000475: DUP2 00000476: SWAP1 00000477: SUB 00000478: PUSH1 0x64 0000047a: ADD 0000047b: SWAP1 0000047c: REVERT 0000047d: JUMPDEST 0000047e: PUSH2 0x0485 00000481: PUSH2 0x07a0 00000484: JUMP 00000485: JUMPDEST 00000486: PUSH2 0x0490 00000489: DUP4 0000048a: DUP4 0000048b: DUP4 0000048c: PUSH2 0x07fb 0000048f: JUMP 00000490: JUMPDEST 00000491: POP 00000492: POP 00000493: POP 00000494: JUMP 00000495: JUMPDEST 00000496: PUSH2 0x049d 00000499: PUSH2 0x097c 0000049c: JUMP 0000049d: JUMPDEST 0000049e: PUSH2 0x04a5 000004a1: PUSH2 0x039c 000004a4: JUMP 000004a5: JUMPDEST 000004a6: PUSH1 0x01 000004a8: PUSH1 0x01 000004aa: PUSH1 0xa0 000004ac: SHL 000004ad: SUB 000004ae: AND 000004af: CALLER 000004b0: PUSH1 0x01 000004b2: PUSH1 0x01 000004b4: PUSH1 0xa0 000004b6: SHL 000004b7: SUB 000004b8: AND 000004b9: EQ 000004ba: PUSH2 0x04f4 000004bd: JUMPI 000004be: PUSH1 0x40 000004c0: MLOAD 000004c1: PUSH3 0x461bcd 000004c5: PUSH1 0xe5 000004c7: SHL 000004c8: DUP2 000004c9: MSTORE 000004ca: PUSH1 0x04 000004cc: ADD 000004cd: DUP1 000004ce: DUP1 000004cf: PUSH1 0x20 000004d1: ADD 000004d2: DUP3 000004d3: DUP2 000004d4: SUB 000004d5: DUP3 000004d6: MSTORE 000004d7: PUSH1 0x37 000004d9: DUP2 000004da: MSTORE 000004db: PUSH1 0x20 000004dd: ADD 000004de: DUP1 000004df: PUSH2 0x09fc 000004e2: PUSH1 0x37 000004e4: SWAP2 000004e5: CODECOPY 000004e6: PUSH1 0x40 000004e8: ADD 000004e9: SWAP2 000004ea: POP 000004eb: POP 000004ec: PUSH1 0x40 000004ee: MLOAD 000004ef: DUP1 000004f0: SWAP2 000004f1: SUB 000004f2: SWAP1 000004f3: REVERT 000004f4: JUMPDEST 000004f5: PUSH1 0x01 000004f7: PUSH1 0x01 000004f9: PUSH1 0xa0 000004fb: SHL 000004fc: SUB 000004fd: DUP2 000004fe: AND 000004ff: PUSH2 0x0539 00000502: JUMPI 00000503: PUSH1 0x40 00000505: MLOAD 00000506: PUSH3 0x461bcd 0000050a: PUSH1 0xe5 0000050c: SHL 0000050d: DUP2 0000050e: MSTORE 0000050f: PUSH1 0x04 00000511: ADD 00000512: DUP1 00000513: DUP1 00000514: PUSH1 0x20 00000516: ADD 00000517: DUP3 00000518: DUP2 00000519: SUB 0000051a: DUP3 0000051b: MSTORE 0000051c: PUSH1 0x21 0000051e: DUP2 0000051f: MSTORE 00000520: PUSH1 0x20 00000522: ADD 00000523: DUP1 00000524: PUSH2 0x0a33 00000527: PUSH1 0x21 00000529: SWAP2 0000052a: CODECOPY 0000052b: PUSH1 0x40 0000052d: ADD 0000052e: SWAP2 0000052f: POP 00000530: POP 00000531: PUSH1 0x40 00000533: MLOAD 00000534: DUP1 00000535: SWAP2 00000536: SUB 00000537: SWAP1 00000538: REVERT 00000539: JUMPDEST 0000053a: PUSH1 0x00 0000053c: JUMPDEST 0000053d: DUP3 0000053e: DUP2 0000053f: LT 00000540: ISZERO 00000541: PUSH2 0x05f6 00000544: JUMPI 00000545: PUSH1 0x00 00000547: DUP5 00000548: DUP5 00000549: DUP4 0000054a: DUP2 0000054b: DUP2 0000054c: LT 0000054d: PUSH2 0x0552 00000550: JUMPI 00000551: INVALID 00000552: JUMPDEST 00000553: SWAP1 00000554: POP 00000555: PUSH1 0x20 00000557: MUL 00000558: ADD 00000559: CALLDATALOAD 0000055a: PUSH1 0x01 0000055c: PUSH1 0x01 0000055e: PUSH1 0xa0 00000560: SHL 00000561: SUB 00000562: AND 00000563: SWAP1 00000564: POP 00000565: PUSH1 0x00 00000567: DUP2 00000568: PUSH1 0x01 0000056a: PUSH1 0x01 0000056c: PUSH1 0xa0 0000056e: SHL 0000056f: SUB 00000570: AND 00000571: PUSH4 0x70a08231 00000576: ADDRESS 00000577: PUSH1 0x40 00000579: MLOAD 0000057a: DUP3 0000057b: PUSH4 0xffffffff 00000580: AND 00000581: PUSH1 0xe0 00000583: SHL 00000584: DUP2 00000585: MSTORE 00000586: PUSH1 0x04 00000588: ADD 00000589: DUP1 0000058a: DUP3 0000058b: PUSH1 0x01 0000058d: PUSH1 0x01 0000058f: PUSH1 0xa0 00000591: SHL 00000592: SUB 00000593: AND 00000594: DUP2 00000595: MSTORE 00000596: PUSH1 0x20 00000598: ADD 00000599: SWAP2 0000059a: POP 0000059b: POP 0000059c: PUSH1 0x20 0000059e: PUSH1 0x40 000005a0: MLOAD 000005a1: DUP1 000005a2: DUP4 000005a3: SUB 000005a4: DUP2 000005a5: DUP7 000005a6: DUP1 000005a7: EXTCODESIZE 000005a8: ISZERO 000005a9: DUP1 000005aa: ISZERO 000005ab: PUSH2 0x05b3 000005ae: JUMPI 000005af: PUSH1 0x00 000005b1: DUP1 000005b2: REVERT 000005b3: JUMPDEST 000005b4: POP 000005b5: GAS 000005b6: STATICCALL 000005b7: ISZERO 000005b8: DUP1 000005b9: ISZERO 000005ba: PUSH2 0x05c7 000005bd: JUMPI 000005be: RETURNDATASIZE 000005bf: PUSH1 0x00 000005c1: DUP1 000005c2: RETURNDATACOPY 000005c3: RETURNDATASIZE 000005c4: PUSH1 0x00 000005c6: REVERT 000005c7: JUMPDEST 000005c8: POP 000005c9: POP 000005ca: POP 000005cb: POP 000005cc: PUSH1 0x40 000005ce: MLOAD 000005cf: RETURNDATASIZE 000005d0: PUSH1 0x20 000005d2: DUP2 000005d3: LT 000005d4: ISZERO 000005d5: PUSH2 0x05dd 000005d8: JUMPI 000005d9: PUSH1 0x00 000005db: DUP1 000005dc: REVERT 000005dd: JUMPDEST 000005de: POP 000005df: MLOAD 000005e0: SWAP1 000005e1: POP 000005e2: PUSH2 0x05ec 000005e5: DUP3 000005e6: DUP6 000005e7: DUP4 000005e8: PUSH2 0x07fb 000005eb: JUMP 000005ec: JUMPDEST 000005ed: POP 000005ee: POP 000005ef: PUSH1 0x01 000005f1: ADD 000005f2: PUSH2 0x053c 000005f5: JUMP 000005f6: JUMPDEST 000005f7: POP 000005f8: POP 000005f9: POP 000005fa: POP 000005fb: JUMP 000005fc: JUMPDEST 000005fd: PUSH1 0x00 000005ff: DUP1 00000600: PUSH1 0x00 00000602: SWAP1 00000603: SLOAD 00000604: SWAP1 00000605: PUSH2 0x0100 00000608: EXP 00000609: SWAP1 0000060a: DIV 0000060b: PUSH1 0x01 0000060d: PUSH1 0x01 0000060f: PUSH1 0xa0 00000611: SHL 00000612: SUB 00000613: AND 00000614: PUSH1 0x01 00000616: PUSH1 0x01 00000618: PUSH1 0xa0 0000061a: SHL 0000061b: SUB 0000061c: AND 0000061d: PUSH4 0xbf86d690 00000622: PUSH1 0x40 00000624: MLOAD 00000625: DUP2 00000626: PUSH4 0xffffffff 0000062b: AND 0000062c: PUSH1 0xe0 0000062e: SHL 0000062f: DUP2 00000630: MSTORE 00000631: PUSH1 0x04 00000633: ADD 00000634: PUSH1 0x20 00000636: PUSH1 0x40 00000638: MLOAD 00000639: DUP1 0000063a: DUP4 0000063b: SUB 0000063c: DUP2 0000063d: DUP7 0000063e: DUP1 0000063f: EXTCODESIZE 00000640: ISZERO 00000641: DUP1 00000642: ISZERO 00000643: PUSH2 0x0251 00000646: JUMPI 00000647: PUSH1 0x00 00000649: DUP1 0000064a: REVERT 0000064b: JUMPDEST 0000064c: PUSH2 0x0653 0000064f: PUSH2 0x079c 00000652: JUMP 00000653: JUMPDEST 00000654: PUSH1 0x01 00000656: PUSH1 0x01 00000658: PUSH1 0xa0 0000065a: SHL 0000065b: SUB 0000065c: AND 0000065d: PUSH2 0x0664 00000660: PUSH2 0x03fa 00000663: JUMP 00000664: JUMPDEST 00000665: PUSH1 0x01 00000667: PUSH1 0x01 00000669: PUSH1 0xa0 0000066b: SHL 0000066c: SUB 0000066d: AND 0000066e: EQ 0000066f: PUSH2 0x06bf 00000672: JUMPI 00000673: PUSH1 0x40 00000675: DUP1 00000676: MLOAD 00000677: PUSH3 0x461bcd 0000067b: PUSH1 0xe5 0000067d: SHL 0000067e: DUP2 0000067f: MSTORE 00000680: PUSH1 0x20 00000682: PUSH1 0x04 00000684: DUP3 00000685: ADD 00000686: DUP2 00000687: SWAP1 00000688: MSTORE 00000689: PUSH1 0x24 0000068b: DUP3 0000068c: ADD 0000068d: MSTORE 0000068e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000006af: PUSH1 0x44 000006b1: DUP3 000006b2: ADD 000006b3: MSTORE 000006b4: SWAP1 000006b5: MLOAD 000006b6: SWAP1 000006b7: DUP2 000006b8: SWAP1 000006b9: SUB 000006ba: PUSH1 0x64 000006bc: ADD 000006bd: SWAP1 000006be: REVERT 000006bf: JUMPDEST 000006c0: PUSH1 0x01 000006c2: PUSH1 0x01 000006c4: PUSH1 0xa0 000006c6: SHL 000006c7: SUB 000006c8: DUP2 000006c9: AND 000006ca: PUSH2 0x0704 000006cd: JUMPI 000006ce: PUSH1 0x40 000006d0: MLOAD 000006d1: PUSH3 0x461bcd 000006d5: PUSH1 0xe5 000006d7: SHL 000006d8: DUP2 000006d9: MSTORE 000006da: PUSH1 0x04 000006dc: ADD 000006dd: DUP1 000006de: DUP1 000006df: PUSH1 0x20 000006e1: ADD 000006e2: DUP3 000006e3: DUP2 000006e4: SUB 000006e5: DUP3 000006e6: MSTORE 000006e7: PUSH1 0x26 000006e9: DUP2 000006ea: MSTORE 000006eb: PUSH1 0x20 000006ed: ADD 000006ee: DUP1 000006ef: PUSH2 0x09d6 000006f2: PUSH1 0x26 000006f4: SWAP2 000006f5: CODECOPY 000006f6: PUSH1 0x40 000006f8: ADD 000006f9: SWAP2 000006fa: POP 000006fb: POP 000006fc: PUSH1 0x40 000006fe: MLOAD 000006ff: DUP1 00000700: SWAP2 00000701: SUB 00000702: SWAP1 00000703: REVERT 00000704: JUMPDEST 00000705: PUSH1 0x01 00000707: SLOAD 00000708: PUSH1 0x40 0000070a: MLOAD 0000070b: PUSH1 0x01 0000070d: PUSH1 0x01 0000070f: PUSH1 0xa0 00000711: SHL 00000712: SUB 00000713: DUP1 00000714: DUP5 00000715: AND 00000716: SWAP3 00000717: AND 00000718: SWAP1 00000719: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000073a: SWAP1 0000073b: PUSH1 0x00 0000073d: SWAP1 0000073e: LOG3 0000073f: PUSH1 0x01 00000741: DUP1 00000742: SLOAD 00000743: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000758: NOT 00000759: AND 0000075a: PUSH1 0x01 0000075c: PUSH1 0x01 0000075e: PUSH1 0xa0 00000760: SHL 00000761: SUB 00000762: SWAP3 00000763: SWAP1 00000764: SWAP3 00000765: AND 00000766: SWAP2 00000767: SWAP1 00000768: SWAP2 00000769: OR 0000076a: SWAP1 0000076b: SSTORE 0000076c: JUMP 0000076d: JUMPDEST 0000076e: PUSH1 0x00 00000770: DUP1 00000771: SLOAD 00000772: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000787: NOT 00000788: AND 00000789: PUSH1 0x01 0000078b: PUSH1 0x01 0000078d: PUSH1 0xa0 0000078f: SHL 00000790: SUB 00000791: SWAP3 00000792: SWAP1 00000793: SWAP3 00000794: AND 00000795: SWAP2 00000796: SWAP1 00000797: SWAP2 00000798: OR 00000799: SWAP1 0000079a: SSTORE 0000079b: JUMP 0000079c: JUMPDEST 0000079d: CALLER 0000079e: SWAP1 0000079f: JUMP 000007a0: JUMPDEST 000007a1: PUSH2 0x07a8 000007a4: PUSH2 0x0282 000007a7: JUMP 000007a8: JUMPDEST 000007a9: PUSH2 0x07f9 000007ac: JUMPI 000007ad: PUSH1 0x40 000007af: DUP1 000007b0: MLOAD 000007b1: PUSH3 0x461bcd 000007b5: PUSH1 0xe5 000007b7: SHL 000007b8: DUP2 000007b9: MSTORE 000007ba: PUSH1 0x20 000007bc: PUSH1 0x04 000007be: DUP3 000007bf: ADD 000007c0: MSTORE 000007c1: PUSH1 0x16 000007c3: PUSH1 0x24 000007c5: DUP3 000007c6: ADD 000007c7: MSTORE 000007c8: PUSH32 0x506f77657265643a206973206e6f74206f6e6c696e6500000000000000000000 000007e9: PUSH1 0x44 000007eb: DUP3 000007ec: ADD 000007ed: MSTORE 000007ee: SWAP1 000007ef: MLOAD 000007f0: SWAP1 000007f1: DUP2 000007f2: SWAP1 000007f3: SUB 000007f4: PUSH1 0x64 000007f6: ADD 000007f7: SWAP1 000007f8: REVERT 000007f9: JUMPDEST 000007fa: JUMP 000007fb: JUMPDEST 000007fc: PUSH1 0x40 000007fe: DUP1 000007ff: MLOAD 00000800: PUSH1 0x01 00000802: PUSH1 0x01 00000804: PUSH1 0xa0 00000806: SHL 00000807: SUB 00000808: DUP5 00000809: DUP2 0000080a: AND 0000080b: PUSH1 0x24 0000080d: DUP4 0000080e: ADD 0000080f: MSTORE 00000810: PUSH1 0x44 00000812: DUP1 00000813: DUP4 00000814: ADD 00000815: DUP6 00000816: SWAP1 00000817: MSTORE 00000818: DUP4 00000819: MLOAD 0000081a: DUP1 0000081b: DUP5 0000081c: SUB 0000081d: SWAP1 0000081e: SWAP2 0000081f: ADD 00000820: DUP2 00000821: MSTORE 00000822: PUSH1 0x64 00000824: SWAP1 00000825: SWAP3 00000826: ADD 00000827: DUP4 00000828: MSTORE 00000829: PUSH1 0x20 0000082b: DUP3 0000082c: ADD 0000082d: DUP1 0000082e: MLOAD 0000082f: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000084c: AND 0000084d: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 0000086e: OR 0000086f: DUP2 00000870: MSTORE 00000871: SWAP3 00000872: MLOAD 00000873: DUP3 00000874: MLOAD 00000875: PUSH1 0x00 00000877: SWAP5 00000878: DUP6 00000879: SWAP5 0000087a: SWAP4 0000087b: DUP10 0000087c: AND 0000087d: SWAP4 0000087e: SWAP3 0000087f: SWAP2 00000880: DUP3 00000881: SWAP2 00000882: SWAP1 00000883: DUP1 00000884: DUP4 00000885: DUP4 00000886: JUMPDEST 00000887: PUSH1 0x20 00000889: DUP4 0000088a: LT 0000088b: PUSH2 0x08a5 0000088e: JUMPI 0000088f: DUP1 00000890: MLOAD 00000891: DUP3 00000892: MSTORE 00000893: PUSH1 0x1f 00000895: NOT 00000896: SWAP1 00000897: SWAP3 00000898: ADD 00000899: SWAP2 0000089a: PUSH1 0x20 0000089c: SWAP2 0000089d: DUP3 0000089e: ADD 0000089f: SWAP2 000008a0: ADD 000008a1: PUSH2 0x0886 000008a4: JUMP 000008a5: JUMPDEST 000008a6: PUSH1 0x01 000008a8: DUP4 000008a9: PUSH1 0x20 000008ab: SUB 000008ac: PUSH2 0x0100 000008af: EXP 000008b0: SUB 000008b1: DUP1 000008b2: NOT 000008b3: DUP3 000008b4: MLOAD 000008b5: AND 000008b6: DUP2 000008b7: DUP5 000008b8: MLOAD 000008b9: AND 000008ba: DUP1 000008bb: DUP3 000008bc: OR 000008bd: DUP6 000008be: MSTORE 000008bf: POP 000008c0: POP 000008c1: POP 000008c2: POP 000008c3: POP 000008c4: POP 000008c5: SWAP1 000008c6: POP 000008c7: ADD 000008c8: SWAP2 000008c9: POP 000008ca: POP 000008cb: PUSH1 0x00 000008cd: PUSH1 0x40 000008cf: MLOAD 000008d0: DUP1 000008d1: DUP4 000008d2: SUB 000008d3: DUP2 000008d4: PUSH1 0x00 000008d6: DUP7 000008d7: GAS 000008d8: CALL 000008d9: SWAP2 000008da: POP 000008db: POP 000008dc: RETURNDATASIZE 000008dd: DUP1 000008de: PUSH1 0x00 000008e0: DUP2 000008e1: EQ 000008e2: PUSH2 0x0907 000008e5: JUMPI 000008e6: PUSH1 0x40 000008e8: MLOAD 000008e9: SWAP2 000008ea: POP 000008eb: PUSH1 0x1f 000008ed: NOT 000008ee: PUSH1 0x3f 000008f0: RETURNDATASIZE 000008f1: ADD 000008f2: AND 000008f3: DUP3 000008f4: ADD 000008f5: PUSH1 0x40 000008f7: MSTORE 000008f8: RETURNDATASIZE 000008f9: DUP3 000008fa: MSTORE 000008fb: RETURNDATASIZE 000008fc: PUSH1 0x00 000008fe: PUSH1 0x20 00000900: DUP5 00000901: ADD 00000902: RETURNDATACOPY 00000903: PUSH2 0x090c 00000906: JUMP 00000907: JUMPDEST 00000908: PUSH1 0x60 0000090a: SWAP2 0000090b: POP 0000090c: JUMPDEST 0000090d: POP 0000090e: SWAP2 0000090f: POP 00000910: SWAP2 00000911: POP 00000912: DUP2 00000913: DUP1 00000914: ISZERO 00000915: PUSH2 0x093a 00000918: JUMPI 00000919: POP 0000091a: DUP1 0000091b: MLOAD 0000091c: ISZERO 0000091d: DUP1 0000091e: PUSH2 0x093a 00000921: JUMPI 00000922: POP 00000923: DUP1 00000924: DUP1 00000925: PUSH1 0x20 00000927: ADD 00000928: SWAP1 00000929: MLOAD 0000092a: PUSH1 0x20 0000092c: DUP2 0000092d: LT 0000092e: ISZERO 0000092f: PUSH2 0x0937 00000932: JUMPI 00000933: PUSH1 0x00 00000935: DUP1 00000936: REVERT 00000937: JUMPDEST 00000938: POP 00000939: MLOAD 0000093a: JUMPDEST 0000093b: PUSH2 0x0975 0000093e: JUMPI 0000093f: PUSH1 0x40 00000941: MLOAD 00000942: PUSH3 0x461bcd 00000946: PUSH1 0xe5 00000948: SHL 00000949: DUP2 0000094a: MSTORE 0000094b: PUSH1 0x04 0000094d: ADD 0000094e: DUP1 0000094f: DUP1 00000950: PUSH1 0x20 00000952: ADD 00000953: DUP3 00000954: DUP2 00000955: SUB 00000956: DUP3 00000957: MSTORE 00000958: PUSH1 0x2d 0000095a: DUP2 0000095b: MSTORE 0000095c: PUSH1 0x20 0000095e: ADD 0000095f: DUP1 00000960: PUSH2 0x0a54 00000963: PUSH1 0x2d 00000965: SWAP2 00000966: CODECOPY 00000967: PUSH1 0x40 00000969: ADD 0000096a: SWAP2 0000096b: POP 0000096c: POP 0000096d: PUSH1 0x40 0000096f: MLOAD 00000970: DUP1 00000971: SWAP2 00000972: SUB 00000973: SWAP1 00000974: REVERT 00000975: JUMPDEST 00000976: POP 00000977: POP 00000978: POP 00000979: POP 0000097a: POP 0000097b: JUMP 0000097c: JUMPDEST 0000097d: PUSH2 0x0984 00000980: PUSH2 0x05fc 00000983: JUMP 00000984: JUMPDEST 00000985: PUSH2 0x07f9 00000988: JUMPI 00000989: PUSH1 0x40 0000098b: DUP1 0000098c: MLOAD 0000098d: PUSH3 0x461bcd 00000991: PUSH1 0xe5 00000993: SHL 00000994: DUP2 00000995: MSTORE 00000996: PUSH1 0x20 00000998: PUSH1 0x04 0000099a: DUP3 0000099b: ADD 0000099c: MSTORE 0000099d: PUSH1 0x18 0000099f: PUSH1 0x24 000009a1: DUP3 000009a2: ADD 000009a3: MSTORE 000009a4: PUSH32 0x506f77657265643a206973206e6f742073687574646f776e0000000000000000 000009c5: PUSH1 0x44 000009c7: DUP3 000009c8: ADD 000009c9: MSTORE 000009ca: SWAP1 000009cb: MLOAD 000009cc: SWAP1 000009cd: DUP2 000009ce: SWAP1 000009cf: SUB 000009d0: PUSH1 0x64 000009d2: ADD 000009d3: SWAP1 000009d4: REVERT 000009d5: INVALID 000009d6: UNKNOWN(0x4F) 000009d7: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520 000009f0: PUSH27 0x65726f2061646472657373526577617264506f6f6c3a206f6e6c79 00000a0c: KECCAK256 00000a0d: PUSH4 0x6f6e7472 00000a12: PUSH16 0x6c6c65722063616e2077697468647261 00000a23: PUSH24 0x2061667465722073687574646f776e526577617264506f6f 00000a3c: PUSH13 0x3a20726563697069656e74206e 00000a4a: PUSH16 0x7420646566696e65645472616e736665 00000a5b: PUSH19 0x48656c7065723a3a736166655472616e736665 00000a6f: PUSH19 0x3a207472616e73666572206661696c6564a264 00000a83: PUSH10 0x70667358221220137189 00000a8e: MULMOD 00000a8f: PUSH21 0x4e5266f4db3163082d67fd8d3e1911771954df230f 00000aa5: MLOAD 00000aa6: UNKNOWN(0x22) 00000aa7: UNKNOWN(0x2B) 00000aa8: EQ 00000aa9: PUSH20
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x83f427ce525b50e2deafec797d69d1cf0549319128daf594ce559a391147bc77
call_targets:
0xc73a92c92056fc1b17f37d4297af53cd68ae2b79
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x83f427ce525b50e2deafec797d69d1cf0549319128daf594ce559a391147bc77",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc73a92c92056fc1b17f37d4297af53cd68ae2b79"
],
"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": "0xb27704fa",
"selector": "0xb27704fa",
"calldata_variants": [
"0xb27704fa",
"0xb27704fa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf86d690",
"selector": "0xbf86d690",
"calldata_variants": [
"0xbf86d690",
"0xbf86d6900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f975a64",
"selector": "0x8f975a64",
"calldata_variants": [
"0x8f975a64",
"0x8f975a640000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x766f13bc",
"selector": "0x766f13bc",
"calldata_variants": [
"0x766f13bc",
"0x766f13bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8531a636",
"selector": "0x8531a636",
"calldata_variants": [
"0x8531a636",
"0x8531a6360000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2264,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x83f427ce525b50e2deafec797d69d1cf0549319128daf594ce559a391147bc77
call_targets:
0xc73a92c92056fc1b17f37d4297af53cd68ae2b79
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x83f427ce525b50e2deafec797d69d1cf0549319128daf594ce559a391147bc77",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc73a92c92056fc1b17f37d4297af53cd68ae2b79"
],
"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": "0xb27704fa",
"selector": "0xb27704fa",
"calldata_variants": [
"0xb27704fa",
"0xb27704fa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf86d690",
"selector": "0xbf86d690",
"calldata_variants": [
"0xbf86d690",
"0xbf86d6900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8f975a64",
"selector": "0x8f975a64",
"calldata_variants": [
"0x8f975a64",
"0x8f975a640000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x766f13bc",
"selector": "0x766f13bc",
"calldata_variants": [
"0x766f13bc",
"0x766f13bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8531a636",
"selector": "0x8531a636",
"calldata_variants": [
"0x8531a636",
"0x8531a6360000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2264,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 5
}
|