019b477e-c9d4-7117-9a18-d418c677761c
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 |
|---|---|---|---|---|
| 26389 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26390 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 69538 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 69539 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 69540 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 69541 | 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 0x00ec 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x008a 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xce7c2ac2 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xce7c2ac2 0000002f: EQ 00000030: PUSH2 0x02a5 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd79779b2 0000003a: EQ 0000003b: PUSH2 0x02db 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe33b7de3 00000045: EQ 00000046: PUSH2 0x0311 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x0326 00000054: JUMPI 00000055: PUSH1 0x00 00000057: DUP1 00000058: REVERT 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x8da5cb5b 00000060: EQ 00000061: PUSH2 0x0211 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x9852595c 0000006b: EQ 0000006c: PUSH2 0x022f 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xa3f8eace 00000076: EQ 00000077: PUSH2 0x0265 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xc45ac050 00000081: EQ 00000082: PUSH2 0x0285 00000085: JUMPI 00000086: PUSH1 0x00 00000088: DUP1 00000089: REVERT 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x48b75044 00000091: GT 00000092: PUSH2 0x00c6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x48b75044 0000009c: EQ 0000009d: PUSH2 0x0184 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x522f6815 000000a7: EQ 000000a8: PUSH2 0x01a4 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x715018a6 000000b2: EQ 000000b3: PUSH2 0x01c4 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x8b83209b 000000bd: EQ 000000be: PUSH2 0x01d9 000000c1: JUMPI 000000c2: PUSH1 0x00 000000c4: DUP1 000000c5: REVERT 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0x19165587 000000cd: EQ 000000ce: PUSH2 0x00f8 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x3a98ef39 000000d8: EQ 000000d9: PUSH2 0x011a 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x406072a9 000000e3: EQ 000000e4: PUSH2 0x013e 000000e7: JUMPI 000000e8: PUSH1 0x00 000000ea: DUP1 000000eb: REVERT 000000ec: JUMPDEST 000000ed: CALLDATASIZE 000000ee: PUSH2 0x00f3 000000f1: JUMPI 000000f2: STOP 000000f3: JUMPDEST 000000f4: PUSH1 0x00 000000f6: DUP1 000000f7: REVERT 000000f8: JUMPDEST 000000f9: CALLVALUE 000000fa: DUP1 000000fb: ISZERO 000000fc: PUSH2 0x0104 000000ff: JUMPI 00000100: PUSH1 0x00 00000102: DUP1 00000103: REVERT 00000104: JUMPDEST 00000105: POP 00000106: PUSH2 0x0118 00000109: PUSH2 0x0113 0000010c: CALLDATASIZE 0000010d: PUSH1 0x04 0000010f: PUSH2 0x0c93 00000112: JUMP 00000113: JUMPDEST 00000114: PUSH2 0x0346 00000117: JUMP 00000118: JUMPDEST 00000119: STOP 0000011a: JUMPDEST 0000011b: CALLVALUE 0000011c: DUP1 0000011d: ISZERO 0000011e: PUSH2 0x0126 00000121: JUMPI 00000122: PUSH1 0x00 00000124: DUP1 00000125: REVERT 00000126: JUMPDEST 00000127: POP 00000128: PUSH1 0x00 0000012a: SLOAD 0000012b: JUMPDEST 0000012c: PUSH1 0x40 0000012e: MLOAD 0000012f: SWAP1 00000130: DUP2 00000131: MSTORE 00000132: PUSH1 0x20 00000134: ADD 00000135: JUMPDEST 00000136: PUSH1 0x40 00000138: MLOAD 00000139: DUP1 0000013a: SWAP2 0000013b: SUB 0000013c: SWAP1 0000013d: RETURN 0000013e: JUMPDEST 0000013f: CALLVALUE 00000140: DUP1 00000141: ISZERO 00000142: PUSH2 0x014a 00000145: JUMPI 00000146: PUSH1 0x00 00000148: DUP1 00000149: REVERT 0000014a: JUMPDEST 0000014b: POP 0000014c: PUSH2 0x012b 0000014f: PUSH2 0x0159 00000152: CALLDATASIZE 00000153: PUSH1 0x04 00000155: PUSH2 0x0cb0 00000158: JUMP 00000159: JUMPDEST 0000015a: PUSH1 0x01 0000015c: PUSH1 0x01 0000015e: PUSH1 0xa0 00000160: SHL 00000161: SUB 00000162: SWAP2 00000163: DUP3 00000164: AND 00000165: PUSH1 0x00 00000167: SWAP1 00000168: DUP2 00000169: MSTORE 0000016a: PUSH1 0x06 0000016c: PUSH1 0x20 0000016e: SWAP1 0000016f: DUP2 00000170: MSTORE 00000171: PUSH1 0x40 00000173: DUP1 00000174: DUP4 00000175: KECCAK256 00000176: SWAP4 00000177: SWAP1 00000178: SWAP5 00000179: AND 0000017a: DUP3 0000017b: MSTORE 0000017c: SWAP2 0000017d: SWAP1 0000017e: SWAP2 0000017f: MSTORE 00000180: KECCAK256 00000181: SLOAD 00000182: SWAP1 00000183: JUMP 00000184: JUMPDEST 00000185: CALLVALUE 00000186: DUP1 00000187: ISZERO 00000188: PUSH2 0x0190 0000018b: JUMPI 0000018c: PUSH1 0x00 0000018e: DUP1 0000018f: REVERT 00000190: JUMPDEST 00000191: POP 00000192: PUSH2 0x0118 00000195: PUSH2 0x019f 00000198: CALLDATASIZE 00000199: PUSH1 0x04 0000019b: PUSH2 0x0cb0 0000019e: JUMP 0000019f: JUMPDEST 000001a0: PUSH2 0x03bd 000001a3: JUMP 000001a4: JUMPDEST 000001a5: CALLVALUE 000001a6: DUP1 000001a7: ISZERO 000001a8: PUSH2 0x01b0 000001ab: JUMPI 000001ac: PUSH1 0x00 000001ae: DUP1 000001af: REVERT 000001b0: JUMPDEST 000001b1: POP 000001b2: PUSH2 0x0118 000001b5: PUSH2 0x01bf 000001b8: CALLDATASIZE 000001b9: PUSH1 0x04 000001bb: PUSH2 0x0ce9 000001be: JUMP 000001bf: JUMPDEST 000001c0: PUSH2 0x0431 000001c3: JUMP 000001c4: JUMPDEST 000001c5: CALLVALUE 000001c6: DUP1 000001c7: ISZERO 000001c8: PUSH2 0x01d0 000001cb: JUMPI 000001cc: PUSH1 0x00 000001ce: DUP1 000001cf: REVERT 000001d0: JUMPDEST 000001d1: POP 000001d2: PUSH2 0x0118 000001d5: PUSH2 0x0474 000001d8: JUMP 000001d9: JUMPDEST 000001da: CALLVALUE 000001db: DUP1 000001dc: ISZERO 000001dd: PUSH2 0x01e5 000001e0: JUMPI 000001e1: PUSH1 0x00 000001e3: DUP1 000001e4: REVERT 000001e5: JUMPDEST 000001e6: POP 000001e7: PUSH2 0x01f9 000001ea: PUSH2 0x01f4 000001ed: CALLDATASIZE 000001ee: PUSH1 0x04 000001f0: PUSH2 0x0d15 000001f3: JUMP 000001f4: JUMPDEST 000001f5: PUSH2 0x0488 000001f8: JUMP 000001f9: JUMPDEST 000001fa: PUSH1 0x40 000001fc: MLOAD 000001fd: PUSH1 0x01 000001ff: PUSH1 0x01 00000201: PUSH1 0xa0 00000203: SHL 00000204: SUB 00000205: SWAP1 00000206: SWAP2 00000207: AND 00000208: DUP2 00000209: MSTORE 0000020a: PUSH1 0x20 0000020c: ADD 0000020d: PUSH2 0x0135 00000210: JUMP 00000211: JUMPDEST 00000212: CALLVALUE 00000213: DUP1 00000214: ISZERO 00000215: PUSH2 0x021d 00000218: JUMPI 00000219: PUSH1 0x00 0000021b: DUP1 0000021c: REVERT 0000021d: JUMPDEST 0000021e: POP 0000021f: PUSH1 0x07 00000221: SLOAD 00000222: PUSH1 0x01 00000224: PUSH1 0x01 00000226: PUSH1 0xa0 00000228: SHL 00000229: SUB 0000022a: AND 0000022b: PUSH2 0x01f9 0000022e: JUMP 0000022f: JUMPDEST 00000230: CALLVALUE 00000231: DUP1 00000232: ISZERO 00000233: PUSH2 0x023b 00000236: JUMPI 00000237: PUSH1 0x00 00000239: DUP1 0000023a: REVERT 0000023b: JUMPDEST 0000023c: POP 0000023d: PUSH2 0x012b 00000240: PUSH2 0x024a 00000243: CALLDATASIZE 00000244: PUSH1 0x04 00000246: PUSH2 0x0c93 00000249: JUMP 0000024a: JUMPDEST 0000024b: PUSH1 0x01 0000024d: PUSH1 0x01 0000024f: PUSH1 0xa0 00000251: SHL 00000252: SUB 00000253: AND 00000254: PUSH1 0x00 00000256: SWAP1 00000257: DUP2 00000258: MSTORE 00000259: PUSH1 0x03 0000025b: PUSH1 0x20 0000025d: MSTORE 0000025e: PUSH1 0x40 00000260: SWAP1 00000261: KECCAK256 00000262: SLOAD 00000263: SWAP1 00000264: JUMP 00000265: JUMPDEST 00000266: CALLVALUE 00000267: DUP1 00000268: ISZERO 00000269: PUSH2 0x0271 0000026c: JUMPI 0000026d: PUSH1 0x00 0000026f: DUP1 00000270: REVERT 00000271: JUMPDEST 00000272: POP 00000273: PUSH2 0x012b 00000276: PUSH2 0x0280 00000279: CALLDATASIZE 0000027a: PUSH1 0x04 0000027c: PUSH2 0x0c93 0000027f: JUMP 00000280: JUMPDEST 00000281: PUSH2 0x04b8 00000284: JUMP 00000285: JUMPDEST 00000286: CALLVALUE 00000287: DUP1 00000288: ISZERO 00000289: PUSH2 0x0291 0000028c: JUMPI 0000028d: PUSH1 0x00 0000028f: DUP1 00000290: REVERT 00000291: JUMPDEST 00000292: POP 00000293: PUSH2 0x012b 00000296: PUSH2 0x02a0 00000299: CALLDATASIZE 0000029a: PUSH1 0x04 0000029c: PUSH2 0x0cb0 0000029f: JUMP 000002a0: JUMPDEST 000002a1: PUSH2 0x0500 000002a4: JUMP 000002a5: JUMPDEST 000002a6: CALLVALUE 000002a7: DUP1 000002a8: ISZERO 000002a9: PUSH2 0x02b1 000002ac: JUMPI 000002ad: PUSH1 0x00 000002af: DUP1 000002b0: REVERT 000002b1: JUMPDEST 000002b2: POP 000002b3: PUSH2 0x012b 000002b6: PUSH2 0x02c0 000002b9: CALLDATASIZE 000002ba: PUSH1 0x04 000002bc: PUSH2 0x0c93 000002bf: JUMP 000002c0: JUMPDEST 000002c1: PUSH1 0x01 000002c3: PUSH1 0x01 000002c5: PUSH1 0xa0 000002c7: SHL 000002c8: SUB 000002c9: AND 000002ca: PUSH1 0x00 000002cc: SWAP1 000002cd: DUP2 000002ce: MSTORE 000002cf: PUSH1 0x02 000002d1: PUSH1 0x20 000002d3: MSTORE 000002d4: PUSH1 0x40 000002d6: SWAP1 000002d7: KECCAK256 000002d8: SLOAD 000002d9: SWAP1 000002da: JUMP 000002db: JUMPDEST 000002dc: CALLVALUE 000002dd: DUP1 000002de: ISZERO 000002df: PUSH2 0x02e7 000002e2: JUMPI 000002e3: PUSH1 0x00 000002e5: DUP1 000002e6: REVERT 000002e7: JUMPDEST 000002e8: POP 000002e9: PUSH2 0x012b 000002ec: PUSH2 0x02f6 000002ef: CALLDATASIZE 000002f0: PUSH1 0x04 000002f2: PUSH2 0x0c93 000002f5: JUMP 000002f6: JUMPDEST 000002f7: PUSH1 0x01 000002f9: PUSH1 0x01 000002fb: PUSH1 0xa0 000002fd: SHL 000002fe: SUB 000002ff: AND 00000300: PUSH1 0x00 00000302: SWAP1 00000303: DUP2 00000304: MSTORE 00000305: PUSH1 0x05 00000307: PUSH1 0x20 00000309: MSTORE 0000030a: PUSH1 0x40 0000030c: SWAP1 0000030d: KECCAK256 0000030e: SLOAD 0000030f: SWAP1 00000310: JUMP 00000311: JUMPDEST 00000312: CALLVALUE 00000313: DUP1 00000314: ISZERO 00000315: PUSH2 0x031d 00000318: JUMPI 00000319: PUSH1 0x00 0000031b: DUP1 0000031c: REVERT 0000031d: JUMPDEST 0000031e: POP 0000031f: PUSH1 0x01 00000321: SLOAD 00000322: PUSH2 0x012b 00000325: JUMP 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 0x0118 00000337: PUSH2 0x0341 0000033a: CALLDATASIZE 0000033b: PUSH1 0x04 0000033d: PUSH2 0x0c93 00000340: JUMP 00000341: JUMPDEST 00000342: PUSH2 0x05cb 00000345: JUMP 00000346: JUMPDEST 00000347: CALLER 00000348: PUSH1 0x01 0000034a: PUSH1 0x01 0000034c: PUSH1 0xa0 0000034e: SHL 0000034f: SUB 00000350: DUP3 00000351: AND 00000352: EQ 00000353: DUP1 00000354: PUSH2 0x0367 00000357: JUMPI 00000358: POP 00000359: PUSH1 0x07 0000035b: SLOAD 0000035c: PUSH1 0x01 0000035e: PUSH1 0x01 00000360: PUSH1 0xa0 00000362: SHL 00000363: SUB 00000364: AND 00000365: CALLER 00000366: EQ 00000367: JUMPDEST 00000368: PUSH2 0x03b1 0000036b: JUMPI 0000036c: PUSH1 0x40 0000036e: MLOAD 0000036f: PUSH3 0x461bcd 00000373: PUSH1 0xe5 00000375: SHL 00000376: DUP2 00000377: MSTORE 00000378: PUSH1 0x20 0000037a: PUSH1 0x04 0000037c: DUP3 0000037d: ADD 0000037e: MSTORE 0000037f: PUSH1 0x16 00000381: PUSH1 0x24 00000383: DUP3 00000384: ADD 00000385: MSTORE 00000386: PUSH22 0x2932b632b0b9b29d103737903832b936b4b9b9b4b7b7 0000039d: PUSH1 0x51 0000039f: SHL 000003a0: PUSH1 0x44 000003a2: DUP3 000003a3: ADD 000003a4: MSTORE 000003a5: PUSH1 0x64 000003a7: ADD 000003a8: JUMPDEST 000003a9: PUSH1 0x40 000003ab: MLOAD 000003ac: DUP1 000003ad: SWAP2 000003ae: SUB 000003af: SWAP1 000003b0: REVERT 000003b1: JUMPDEST 000003b2: PUSH2 0x03ba 000003b5: DUP2 000003b6: PUSH2 0x0641 000003b9: JUMP 000003ba: JUMPDEST 000003bb: POP 000003bc: JUMP 000003bd: JUMPDEST 000003be: CALLER 000003bf: PUSH1 0x01 000003c1: PUSH1 0x01 000003c3: PUSH1 0xa0 000003c5: SHL 000003c6: SUB 000003c7: DUP3 000003c8: AND 000003c9: EQ 000003ca: DUP1 000003cb: PUSH2 0x03de 000003ce: JUMPI 000003cf: POP 000003d0: PUSH1 0x07 000003d2: SLOAD 000003d3: PUSH1 0x01 000003d5: PUSH1 0x01 000003d7: PUSH1 0xa0 000003d9: SHL 000003da: SUB 000003db: AND 000003dc: CALLER 000003dd: EQ 000003de: JUMPDEST 000003df: PUSH2 0x0423 000003e2: JUMPI 000003e3: PUSH1 0x40 000003e5: MLOAD 000003e6: PUSH3 0x461bcd 000003ea: PUSH1 0xe5 000003ec: SHL 000003ed: DUP2 000003ee: MSTORE 000003ef: PUSH1 0x20 000003f1: PUSH1 0x04 000003f3: DUP3 000003f4: ADD 000003f5: MSTORE 000003f6: PUSH1 0x16 000003f8: PUSH1 0x24 000003fa: DUP3 000003fb: ADD 000003fc: MSTORE 000003fd: PUSH22 0x2932b632b0b9b29d103737903832b936b4b9b9b4b7b7 00000414: PUSH1 0x51 00000416: SHL 00000417: PUSH1 0x44 00000419: DUP3 0000041a: ADD 0000041b: MSTORE 0000041c: PUSH1 0x64 0000041e: ADD 0000041f: PUSH2 0x03a8 00000422: JUMP 00000423: JUMPDEST 00000424: PUSH2 0x042d 00000427: DUP3 00000428: DUP3 00000429: PUSH2 0x073a 0000042c: JUMP 0000042d: JUMPDEST 0000042e: POP 0000042f: POP 00000430: JUMP 00000431: JUMPDEST 00000432: PUSH2 0x0439 00000435: PUSH2 0x085d 00000438: JUMP 00000439: JUMPDEST 0000043a: PUSH1 0x40 0000043c: MLOAD 0000043d: PUSH1 0x01 0000043f: PUSH1 0x01 00000441: PUSH1 0xa0 00000443: SHL 00000444: SUB 00000445: DUP4 00000446: AND 00000447: SWAP1 00000448: DUP3 00000449: ISZERO 0000044a: PUSH2 0x08fc 0000044d: MUL 0000044e: SWAP1 0000044f: DUP4 00000450: SWAP1 00000451: PUSH1 0x00 00000453: DUP2 00000454: DUP2 00000455: DUP2 00000456: DUP6 00000457: DUP9 00000458: DUP9 00000459: CALL 0000045a: SWAP4 0000045b: POP 0000045c: POP 0000045d: POP 0000045e: POP 0000045f: ISZERO 00000460: DUP1 00000461: ISZERO 00000462: PUSH2 0x046f 00000465: JUMPI 00000466: RETURNDATASIZE 00000467: PUSH1 0x00 00000469: DUP1 0000046a: RETURNDATACOPY 0000046b: RETURNDATASIZE 0000046c: PUSH1 0x00 0000046e: REVERT 0000046f: JUMPDEST 00000470: POP 00000471: POP 00000472: POP 00000473: JUMP 00000474: JUMPDEST 00000475: PUSH2 0x047c 00000478: PUSH2 0x085d 0000047b: JUMP 0000047c: JUMPDEST 0000047d: PUSH2 0x0486 00000480: PUSH1 0x00 00000482: PUSH2 0x08b7 00000485: JUMP 00000486: JUMPDEST 00000487: JUMP 00000488: JUMPDEST 00000489: PUSH1 0x00 0000048b: PUSH1 0x04 0000048d: DUP3 0000048e: DUP2 0000048f: SLOAD 00000490: DUP2 00000491: LT 00000492: PUSH2 0x049d 00000495: JUMPI 00000496: PUSH2 0x049d 00000499: PUSH2 0x0d2e 0000049c: JUMP 0000049d: JUMPDEST 0000049e: PUSH1 0x00 000004a0: SWAP2 000004a1: DUP3 000004a2: MSTORE 000004a3: PUSH1 0x20 000004a5: SWAP1 000004a6: SWAP2 000004a7: KECCAK256 000004a8: ADD 000004a9: SLOAD 000004aa: PUSH1 0x01 000004ac: PUSH1 0x01 000004ae: PUSH1 0xa0 000004b0: SHL 000004b1: SUB 000004b2: AND 000004b3: SWAP3 000004b4: SWAP2 000004b5: POP 000004b6: POP 000004b7: JUMP 000004b8: JUMPDEST 000004b9: PUSH1 0x00 000004bb: DUP1 000004bc: PUSH2 0x04c4 000004bf: PUSH1 0x01 000004c1: SLOAD 000004c2: SWAP1 000004c3: JUMP 000004c4: JUMPDEST 000004c5: PUSH2 0x04ce 000004c8: SWAP1 000004c9: SELFBALANCE 000004ca: PUSH2 0x0d5a 000004cd: JUMP 000004ce: JUMPDEST 000004cf: SWAP1 000004d0: POP 000004d1: PUSH2 0x04f9 000004d4: DUP4 000004d5: DUP3 000004d6: PUSH2 0x04f4 000004d9: DUP7 000004da: PUSH1 0x01 000004dc: PUSH1 0x01 000004de: PUSH1 0xa0 000004e0: SHL 000004e1: SUB 000004e2: AND 000004e3: PUSH1 0x00 000004e5: SWAP1 000004e6: DUP2 000004e7: MSTORE 000004e8: PUSH1 0x03 000004ea: PUSH1 0x20 000004ec: MSTORE 000004ed: PUSH1 0x40 000004ef: SWAP1 000004f0: KECCAK256 000004f1: SLOAD 000004f2: SWAP1 000004f3: JUMP 000004f4: JUMPDEST 000004f5: PUSH2 0x0909 000004f8: JUMP 000004f9: JUMPDEST 000004fa: SWAP4 000004fb: SWAP3 000004fc: POP 000004fd: POP 000004fe: POP 000004ff: JUMP 00000500: JUMPDEST 00000501: PUSH1 0x01 00000503: PUSH1 0x01 00000505: PUSH1 0xa0 00000507: SHL 00000508: SUB 00000509: DUP3 0000050a: AND 0000050b: PUSH1 0x00 0000050d: SWAP1 0000050e: DUP2 0000050f: MSTORE 00000510: PUSH1 0x05 00000512: PUSH1 0x20 00000514: MSTORE 00000515: PUSH1 0x40 00000517: DUP2 00000518: KECCAK256 00000519: SLOAD 0000051a: DUP2 0000051b: SWAP1 0000051c: PUSH1 0x40 0000051e: MLOAD 0000051f: PUSH4 0x70a08231 00000524: PUSH1 0xe0 00000526: SHL 00000527: DUP2 00000528: MSTORE 00000529: ADDRESS 0000052a: PUSH1 0x04 0000052c: DUP3 0000052d: ADD 0000052e: MSTORE 0000052f: PUSH1 0x01 00000531: PUSH1 0x01 00000533: PUSH1 0xa0 00000535: SHL 00000536: SUB 00000537: DUP7 00000538: AND 00000539: SWAP1 0000053a: PUSH4 0x70a08231 0000053f: SWAP1 00000540: PUSH1 0x24 00000542: ADD 00000543: PUSH1 0x20 00000545: PUSH1 0x40 00000547: MLOAD 00000548: DUP1 00000549: DUP4 0000054a: SUB 0000054b: DUP2 0000054c: DUP7 0000054d: GAS 0000054e: STATICCALL 0000054f: ISZERO 00000550: DUP1 00000551: ISZERO 00000552: PUSH2 0x055f 00000555: JUMPI 00000556: RETURNDATASIZE 00000557: PUSH1 0x00 00000559: DUP1 0000055a: RETURNDATACOPY 0000055b: RETURNDATASIZE 0000055c: PUSH1 0x00 0000055e: REVERT 0000055f: JUMPDEST 00000560: POP 00000561: POP 00000562: POP 00000563: POP 00000564: PUSH1 0x40 00000566: MLOAD 00000567: RETURNDATASIZE 00000568: PUSH1 0x1f 0000056a: NOT 0000056b: PUSH1 0x1f 0000056d: DUP3 0000056e: ADD 0000056f: AND 00000570: DUP3 00000571: ADD 00000572: DUP1 00000573: PUSH1 0x40 00000575: MSTORE 00000576: POP 00000577: DUP2 00000578: ADD 00000579: SWAP1 0000057a: PUSH2 0x0583 0000057d: SWAP2 0000057e: SWAP1 0000057f: PUSH2 0x0d72 00000582: JUMP 00000583: JUMPDEST 00000584: PUSH2 0x058d 00000587: SWAP2 00000588: SWAP1 00000589: PUSH2 0x0d5a 0000058c: JUMP 0000058d: JUMPDEST 0000058e: PUSH1 0x01 00000590: PUSH1 0x01 00000592: PUSH1 0xa0 00000594: SHL 00000595: SUB 00000596: DUP1 00000597: DUP7 00000598: AND 00000599: PUSH1 0x00 0000059b: SWAP1 0000059c: DUP2 0000059d: MSTORE 0000059e: PUSH1 0x06 000005a0: PUSH1 0x20 000005a2: SWAP1 000005a3: DUP2 000005a4: MSTORE 000005a5: PUSH1 0x40 000005a7: DUP1 000005a8: DUP4 000005a9: KECCAK256 000005aa: SWAP4 000005ab: DUP9 000005ac: AND 000005ad: DUP4 000005ae: MSTORE 000005af: SWAP3 000005b0: SWAP1 000005b1: MSTORE 000005b2: KECCAK256 000005b3: SLOAD 000005b4: SWAP1 000005b5: SWAP2 000005b6: POP 000005b7: PUSH2 0x05c3 000005ba: SWAP1 000005bb: DUP5 000005bc: SWAP1 000005bd: DUP4 000005be: SWAP1 000005bf: PUSH2 0x0909 000005c2: JUMP 000005c3: JUMPDEST 000005c4: SWAP5 000005c5: SWAP4 000005c6: POP 000005c7: POP 000005c8: POP 000005c9: POP 000005ca: JUMP 000005cb: JUMPDEST 000005cc: PUSH2 0x05d3 000005cf: PUSH2 0x085d 000005d2: JUMP 000005d3: JUMPDEST 000005d4: PUSH1 0x01 000005d6: PUSH1 0x01 000005d8: PUSH1 0xa0 000005da: SHL 000005db: SUB 000005dc: DUP2 000005dd: AND 000005de: PUSH2 0x0638 000005e1: JUMPI 000005e2: PUSH1 0x40 000005e4: MLOAD 000005e5: PUSH3 0x461bcd 000005e9: PUSH1 0xe5 000005eb: SHL 000005ec: DUP2 000005ed: MSTORE 000005ee: PUSH1 0x20 000005f0: PUSH1 0x04 000005f2: DUP3 000005f3: ADD 000005f4: MSTORE 000005f5: PUSH1 0x26 000005f7: PUSH1 0x24 000005f9: DUP3 000005fa: ADD 000005fb: MSTORE 000005fc: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 0000061d: PUSH1 0x44 0000061f: DUP3 00000620: ADD 00000621: MSTORE 00000622: PUSH6 0x646472657373 00000629: PUSH1 0xd0 0000062b: SHL 0000062c: PUSH1 0x64 0000062e: DUP3 0000062f: ADD 00000630: MSTORE 00000631: PUSH1 0x84 00000633: ADD 00000634: PUSH2 0x03a8 00000637: JUMP 00000638: JUMPDEST 00000639: PUSH2 0x03ba 0000063c: DUP2 0000063d: PUSH2 0x08b7 00000640: JUMP 00000641: JUMPDEST 00000642: PUSH1 0x01 00000644: PUSH1 0x01 00000646: PUSH1 0xa0 00000648: SHL 00000649: SUB 0000064a: DUP2 0000064b: AND 0000064c: PUSH1 0x00 0000064e: SWAP1 0000064f: DUP2 00000650: MSTORE 00000651: PUSH1 0x02 00000653: PUSH1 0x20 00000655: MSTORE 00000656: PUSH1 0x40 00000658: SWAP1 00000659: KECCAK256 0000065a: SLOAD 0000065b: PUSH2 0x0676 0000065e: JUMPI 0000065f: PUSH1 0x40 00000661: MLOAD 00000662: PUSH3 0x461bcd 00000666: PUSH1 0xe5 00000668: SHL 00000669: DUP2 0000066a: MSTORE 0000066b: PUSH1 0x04 0000066d: ADD 0000066e: PUSH2 0x03a8 00000671: SWAP1 00000672: PUSH2 0x0d8b 00000675: JUMP 00000676: JUMPDEST 00000677: PUSH1 0x00 00000679: PUSH2 0x0681 0000067c: DUP3 0000067d: PUSH2 0x04b8 00000680: JUMP 00000681: JUMPDEST 00000682: SWAP1 00000683: POP 00000684: DUP1 00000685: PUSH1 0x00 00000687: SUB 00000688: PUSH2 0x06a3 0000068b: JUMPI 0000068c: PUSH1 0x40 0000068e: MLOAD 0000068f: PUSH3 0x461bcd 00000693: PUSH1 0xe5 00000695: SHL 00000696: DUP2 00000697: MSTORE 00000698: PUSH1 0x04 0000069a: ADD 0000069b: PUSH2 0x03a8 0000069e: SWAP1 0000069f: PUSH2 0x0dd1 000006a2: JUMP 000006a3: JUMPDEST 000006a4: PUSH1 0x01 000006a6: PUSH1 0x01 000006a8: PUSH1 0xa0 000006aa: SHL 000006ab: SUB 000006ac: DUP3 000006ad: AND 000006ae: PUSH1 0x00 000006b0: SWAP1 000006b1: DUP2 000006b2: MSTORE 000006b3: PUSH1 0x03 000006b5: PUSH1 0x20 000006b7: MSTORE 000006b8: PUSH1 0x40 000006ba: DUP2 000006bb: KECCAK256 000006bc: DUP1 000006bd: SLOAD 000006be: DUP4 000006bf: SWAP3 000006c0: SWAP1 000006c1: PUSH2 0x06cb 000006c4: SWAP1 000006c5: DUP5 000006c6: SWAP1 000006c7: PUSH2 0x0d5a 000006ca: JUMP 000006cb: JUMPDEST 000006cc: SWAP3 000006cd: POP 000006ce: POP 000006cf: DUP2 000006d0: SWAP1 000006d1: SSTORE 000006d2: POP 000006d3: DUP1 000006d4: PUSH1 0x01 000006d6: PUSH1 0x00 000006d8: DUP3 000006d9: DUP3 000006da: SLOAD 000006db: PUSH2 0x06e4 000006de: SWAP2 000006df: SWAP1 000006e0: PUSH2 0x0d5a 000006e3: JUMP 000006e4: JUMPDEST 000006e5: SWAP1 000006e6: SWAP2 000006e7: SSTORE 000006e8: POP 000006e9: PUSH2 0x06f4 000006ec: SWAP1 000006ed: POP 000006ee: DUP3 000006ef: DUP3 000006f0: PUSH2 0x0944 000006f3: JUMP 000006f4: JUMPDEST 000006f5: PUSH1 0x40 000006f7: DUP1 000006f8: MLOAD 000006f9: PUSH1 0x01 000006fb: PUSH1 0x01 000006fd: PUSH1 0xa0 000006ff: SHL 00000700: SUB 00000701: DUP5 00000702: AND 00000703: DUP2 00000704: MSTORE 00000705: PUSH1 0x20 00000707: DUP2 00000708: ADD 00000709: DUP4 0000070a: SWAP1 0000070b: MSTORE 0000070c: PUSH32 0xdf20fd1e76bc69d672e4814fafb2c449bba3a5369d8359adf9e05e6fde87b056 0000072d: SWAP2 0000072e: ADD 0000072f: PUSH1 0x40 00000731: MLOAD 00000732: DUP1 00000733: SWAP2 00000734: SUB 00000735: SWAP1 00000736: LOG1 00000737: POP 00000738: POP 00000739: JUMP 0000073a: JUMPDEST 0000073b: PUSH1 0x01 0000073d: PUSH1 0x01 0000073f: PUSH1 0xa0 00000741: SHL 00000742: SUB 00000743: DUP2 00000744: AND 00000745: PUSH1 0x00 00000747: SWAP1 00000748: DUP2 00000749: MSTORE 0000074a: PUSH1 0x02 0000074c: PUSH1 0x20 0000074e: MSTORE 0000074f: PUSH1 0x40 00000751: SWAP1 00000752: KECCAK256 00000753: SLOAD 00000754: PUSH2 0x076f 00000757: JUMPI 00000758: PUSH1 0x40 0000075a: MLOAD 0000075b: PUSH3 0x461bcd 0000075f: PUSH1 0xe5 00000761: SHL 00000762: DUP2 00000763: MSTORE 00000764: PUSH1 0x04 00000766: ADD 00000767: PUSH2 0x03a8 0000076a: SWAP1 0000076b: PUSH2 0x0d8b 0000076e: JUMP 0000076f: JUMPDEST 00000770: PUSH1 0x00 00000772: PUSH2 0x077b 00000775: DUP4 00000776: DUP4 00000777: PUSH2 0x0500 0000077a: JUMP 0000077b: JUMPDEST 0000077c: SWAP1 0000077d: POP 0000077e: DUP1 0000077f: PUSH1 0x00 00000781: SUB 00000782: PUSH2 0x079d 00000785: JUMPI 00000786: PUSH1 0x40 00000788: MLOAD 00000789: PUSH3 0x461bcd 0000078d: PUSH1 0xe5 0000078f: SHL 00000790: DUP2 00000791: MSTORE 00000792: PUSH1 0x04 00000794: ADD 00000795: PUSH2 0x03a8 00000798: SWAP1 00000799: PUSH2 0x0dd1 0000079c: JUMP 0000079d: JUMPDEST 0000079e: PUSH1 0x01 000007a0: PUSH1 0x01 000007a2: PUSH1 0xa0 000007a4: SHL 000007a5: SUB 000007a6: DUP1 000007a7: DUP5 000007a8: AND 000007a9: PUSH1 0x00 000007ab: SWAP1 000007ac: DUP2 000007ad: MSTORE 000007ae: PUSH1 0x06 000007b0: PUSH1 0x20 000007b2: SWAP1 000007b3: DUP2 000007b4: MSTORE 000007b5: PUSH1 0x40 000007b7: DUP1 000007b8: DUP4 000007b9: KECCAK256 000007ba: SWAP4 000007bb: DUP7 000007bc: AND 000007bd: DUP4 000007be: MSTORE 000007bf: SWAP3 000007c0: SWAP1 000007c1: MSTORE 000007c2: SWAP1 000007c3: DUP2 000007c4: KECCAK256 000007c5: DUP1 000007c6: SLOAD 000007c7: DUP4 000007c8: SWAP3 000007c9: SWAP1 000007ca: PUSH2 0x07d4 000007cd: SWAP1 000007ce: DUP5 000007cf: SWAP1 000007d0: PUSH2 0x0d5a 000007d3: JUMP 000007d4: JUMPDEST 000007d5: SWAP1 000007d6: SWAP2 000007d7: SSTORE 000007d8: POP 000007d9: POP 000007da: PUSH1 0x01 000007dc: PUSH1 0x01 000007de: PUSH1 0xa0 000007e0: SHL 000007e1: SUB 000007e2: DUP4 000007e3: AND 000007e4: PUSH1 0x00 000007e6: SWAP1 000007e7: DUP2 000007e8: MSTORE 000007e9: PUSH1 0x05 000007eb: PUSH1 0x20 000007ed: MSTORE 000007ee: PUSH1 0x40 000007f0: DUP2 000007f1: KECCAK256 000007f2: DUP1 000007f3: SLOAD 000007f4: DUP4 000007f5: SWAP3 000007f6: SWAP1 000007f7: PUSH2 0x0801 000007fa: SWAP1 000007fb: DUP5 000007fc: SWAP1 000007fd: PUSH2 0x0d5a 00000800: JUMP 00000801: JUMPDEST 00000802: SWAP1 00000803: SWAP2 00000804: SSTORE 00000805: POP 00000806: PUSH2 0x0812 00000809: SWAP1 0000080a: POP 0000080b: DUP4 0000080c: DUP4 0000080d: DUP4 0000080e: PUSH2 0x0a5d 00000811: JUMP 00000812: JUMPDEST 00000813: PUSH1 0x40 00000815: DUP1 00000816: MLOAD 00000817: PUSH1 0x01 00000819: PUSH1 0x01 0000081b: PUSH1 0xa0 0000081d: SHL 0000081e: SUB 0000081f: DUP5 00000820: DUP2 00000821: AND 00000822: DUP3 00000823: MSTORE 00000824: PUSH1 0x20 00000826: DUP3 00000827: ADD 00000828: DUP5 00000829: SWAP1 0000082a: MSTORE 0000082b: DUP6 0000082c: AND 0000082d: SWAP2 0000082e: PUSH32 0x3be5b7a71e84ed12875d241991c70855ac5817d847039e17a9d895c1ceb0f18a 0000084f: SWAP2 00000850: ADD 00000851: PUSH1 0x40 00000853: MLOAD 00000854: DUP1 00000855: SWAP2 00000856: SUB 00000857: SWAP1 00000858: LOG2 00000859: POP 0000085a: POP 0000085b: POP 0000085c: JUMP 0000085d: JUMPDEST 0000085e: PUSH1 0x07 00000860: SLOAD 00000861: PUSH1 0x01 00000863: PUSH1 0x01 00000865: PUSH1 0xa0 00000867: SHL 00000868: SUB 00000869: AND 0000086a: CALLER 0000086b: EQ 0000086c: PUSH2 0x0486 0000086f: JUMPI 00000870: PUSH1 0x40 00000872: MLOAD 00000873: PUSH3 0x461bcd 00000877: PUSH1 0xe5 00000879: SHL 0000087a: DUP2 0000087b: MSTORE 0000087c: PUSH1 0x20 0000087e: PUSH1 0x04 00000880: DUP3 00000881: ADD 00000882: DUP2 00000883: SWAP1 00000884: MSTORE 00000885: PUSH1 0x24 00000887: DUP3 00000888: ADD 00000889: MSTORE 0000088a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000008ab: PUSH1 0x44 000008ad: DUP3 000008ae: ADD 000008af: MSTORE 000008b0: PUSH1 0x64 000008b2: ADD 000008b3: PUSH2 0x03a8 000008b6: JUMP 000008b7: JUMPDEST 000008b8: PUSH1 0x07 000008ba: DUP1 000008bb: SLOAD 000008bc: PUSH1 0x01 000008be: PUSH1 0x01 000008c0: PUSH1 0xa0 000008c2: SHL 000008c3: SUB 000008c4: DUP4 000008c5: DUP2 000008c6: AND 000008c7: PUSH1 0x01 000008c9: PUSH1 0x01 000008cb: PUSH1 0xa0 000008cd: SHL 000008ce: SUB 000008cf: NOT 000008d0: DUP4 000008d1: AND 000008d2: DUP2 000008d3: OR 000008d4: SWAP1 000008d5: SWAP4 000008d6: SSTORE 000008d7: PUSH1 0x40 000008d9: MLOAD 000008da: SWAP2 000008db: AND 000008dc: SWAP2 000008dd: SWAP1 000008de: DUP3 000008df: SWAP1 000008e0: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000901: SWAP1 00000902: PUSH1 0x00 00000904: SWAP1 00000905: LOG3 00000906: POP 00000907: POP 00000908: JUMP 00000909: JUMPDEST 0000090a: PUSH1 0x00 0000090c: DUP1 0000090d: SLOAD 0000090e: PUSH1 0x01 00000910: PUSH1 0x01 00000912: PUSH1 0xa0 00000914: SHL 00000915: SUB 00000916: DUP6 00000917: AND 00000918: DUP3 00000919: MSTORE 0000091a: PUSH1 0x02 0000091c: PUSH1 0x20 0000091e: MSTORE 0000091f: PUSH1 0x40 00000921: DUP3 00000922: KECCAK256 00000923: SLOAD 00000924: DUP4 00000925: SWAP2 00000926: SWAP1 00000927: PUSH2 0x0930 0000092a: SWAP1 0000092b: DUP7 0000092c: PUSH2 0x0e1c 0000092f: JUMP 00000930: JUMPDEST 00000931: PUSH2 0x093a 00000934: SWAP2 00000935: SWAP1 00000936: PUSH2 0x0e3b 00000939: JUMP 0000093a: JUMPDEST 0000093b: PUSH2 0x05c3 0000093e: SWAP2 0000093f: SWAP1 00000940: PUSH2 0x0e5d 00000943: JUMP 00000944: JUMPDEST 00000945: DUP1 00000946: SELFBALANCE 00000947: LT 00000948: ISZERO 00000949: PUSH2 0x0994 0000094c: JUMPI 0000094d: PUSH1 0x40 0000094f: MLOAD 00000950: PUSH3 0x461bcd 00000954: PUSH1 0xe5 00000956: SHL 00000957: DUP2 00000958: MSTORE 00000959: PUSH1 0x20 0000095b: PUSH1 0x04 0000095d: DUP3 0000095e: ADD 0000095f: MSTORE 00000960: PUSH1 0x1d 00000962: PUSH1 0x24 00000964: DUP3 00000965: ADD 00000966: MSTORE 00000967: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 00000988: PUSH1 0x44 0000098a: DUP3 0000098b: ADD 0000098c: MSTORE 0000098d: PUSH1 0x64 0000098f: ADD 00000990: PUSH2 0x03a8 00000993: JUMP 00000994: JUMPDEST 00000995: PUSH1 0x00 00000997: DUP3 00000998: PUSH1 0x01 0000099a: PUSH1 0x01 0000099c: PUSH1 0xa0 0000099e: SHL 0000099f: SUB 000009a0: AND 000009a1: DUP3 000009a2: PUSH1 0x40 000009a4: MLOAD 000009a5: PUSH1 0x00 000009a7: PUSH1 0x40 000009a9: MLOAD 000009aa: DUP1 000009ab: DUP4 000009ac: SUB 000009ad: DUP2 000009ae: DUP6 000009af: DUP8 000009b0: GAS 000009b1: CALL 000009b2: SWAP3 000009b3: POP 000009b4: POP 000009b5: POP 000009b6: RETURNDATASIZE 000009b7: DUP1 000009b8: PUSH1 0x00 000009ba: DUP2 000009bb: EQ 000009bc: PUSH2 0x09e1 000009bf: JUMPI 000009c0: PUSH1 0x40 000009c2: MLOAD 000009c3: SWAP2 000009c4: POP 000009c5: PUSH1 0x1f 000009c7: NOT 000009c8: PUSH1 0x3f 000009ca: RETURNDATASIZE 000009cb: ADD 000009cc: AND 000009cd: DUP3 000009ce: ADD 000009cf: PUSH1 0x40 000009d1: MSTORE 000009d2: RETURNDATASIZE 000009d3: DUP3 000009d4: MSTORE 000009d5: RETURNDATASIZE 000009d6: PUSH1 0x00 000009d8: PUSH1 0x20 000009da: DUP5 000009db: ADD 000009dc: RETURNDATACOPY 000009dd: PUSH2 0x09e6 000009e0: JUMP 000009e1: JUMPDEST 000009e2: PUSH1 0x60 000009e4: SWAP2 000009e5: POP 000009e6: JUMPDEST 000009e7: POP 000009e8: POP 000009e9: SWAP1 000009ea: POP 000009eb: DUP1 000009ec: PUSH2 0x046f 000009ef: JUMPI 000009f0: PUSH1 0x40 000009f2: MLOAD 000009f3: PUSH3 0x461bcd 000009f7: PUSH1 0xe5 000009f9: SHL 000009fa: DUP2 000009fb: MSTORE 000009fc: PUSH1 0x20 000009fe: PUSH1 0x04 00000a00: DUP3 00000a01: ADD 00000a02: MSTORE 00000a03: PUSH1 0x3a 00000a05: PUSH1 0x24 00000a07: DUP3 00000a08: ADD 00000a09: MSTORE 00000a0a: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 00000a2b: PUSH1 0x44 00000a2d: DUP3 00000a2e: ADD 00000a2f: MSTORE 00000a30: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 00000a51: PUSH1 0x64 00000a53: DUP3 00000a54: ADD 00000a55: MSTORE 00000a56: PUSH1 0x84 00000a58: ADD 00000a59: PUSH2 0x03a8 00000a5c: JUMP 00000a5d: JUMPDEST 00000a5e: PUSH1 0x40 00000a60: DUP1 00000a61: MLOAD 00000a62: PUSH1 0x01 00000a64: PUSH1 0x01 00000a66: PUSH1 0xa0 00000a68: SHL 00000a69: SUB 00000a6a: DUP5 00000a6b: DUP2 00000a6c: AND 00000a6d: PUSH1 0x24 00000a6f: DUP4 00000a70: ADD 00000a71: MSTORE 00000a72: PUSH1 0x44 00000a74: DUP1 00000a75: DUP4 00000a76: ADD 00000a77: DUP6 00000a78: SWAP1 00000a79: MSTORE 00000a7a: DUP4 00000a7b: MLOAD 00000a7c: DUP1 00000a7d: DUP5 00000a7e: SUB 00000a7f: SWAP1 00000a80: SWAP2 00000a81: ADD 00000a82: DUP2 00000a83: MSTORE 00000a84: PUSH1 0x64 00000a86: SWAP1 00000a87: SWAP3 00000a88: ADD 00000a89: DUP4 00000a8a: MSTORE 00000a8b: PUSH1 0x20 00000a8d: DUP1 00000a8e: DUP4 00000a8f: ADD 00000a90: DUP1 00000a91: MLOAD 00000a92: PUSH1 0x01 00000a94: PUSH1 0x01 00000a96: PUSH1 0xe0 00000a98: SHL 00000a99: SUB 00000a9a: AND 00000a9b: PUSH4 0xa9059cbb 00000aa0: PUSH1 0xe0 00000aa2: SHL 00000aa3: OR 00000aa4: SWAP1 00000aa5: MSTORE 00000aa6: DUP4 00000aa7: MLOAD 00000aa8: DUP1 00000aa9: DUP6 00000aaa: ADD 00000aab: SWAP1 00000aac: SWAP5 00000aad: MSTORE 00000aae: DUP1 00000aaf: DUP5 00000ab0: MSTORE 00000ab1: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000ad2: SWAP1 00000ad3: DUP5 00000ad4: ADD 00000ad5: MSTORE 00000ad6: PUSH2 0x046f 00000ad9: SWAP3 00000ada: DUP7 00000adb: SWAP3 00000adc: SWAP2 00000add: PUSH1 0x00 00000adf: SWAP2 00000ae0: PUSH2 0x0aed 00000ae3: SWAP2 00000ae4: DUP6 00000ae5: AND 00000ae6: SWAP1 00000ae7: DUP5 00000ae8: SWAP1 00000ae9: PUSH2 0x0b6a 00000aec: JUMP 00000aed: JUMPDEST 00000aee: DUP1 00000aef: MLOAD 00000af0: SWAP1 00000af1: SWAP2 00000af2: POP 00000af3: ISZERO 00000af4: PUSH2 0x046f 00000af7: JUMPI 00000af8: DUP1 00000af9: DUP1 00000afa: PUSH1 0x20 00000afc: ADD 00000afd: SWAP1 00000afe: MLOAD 00000aff: DUP2 00000b00: ADD 00000b01: SWAP1 00000b02: PUSH2 0x0b0b 00000b05: SWAP2 00000b06: SWAP1 00000b07: PUSH2 0x0e74 00000b0a: JUMP 00000b0b: JUMPDEST 00000b0c: PUSH2 0x046f 00000b0f: JUMPI 00000b10: PUSH1 0x40 00000b12: MLOAD 00000b13: PUSH3 0x461bcd 00000b17: PUSH1 0xe5 00000b19: SHL 00000b1a: DUP2 00000b1b: MSTORE 00000b1c: PUSH1 0x20 00000b1e: PUSH1 0x04 00000b20: DUP3 00000b21: ADD 00000b22: MSTORE 00000b23: PUSH1 0x2a 00000b25: PUSH1 0x24 00000b27: DUP3 00000b28: ADD 00000b29: MSTORE 00000b2a: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00000b4b: PUSH1 0x44 00000b4d: DUP3 00000b4e: ADD 00000b4f: MSTORE 00000b50: PUSH10 0x1bdd081cdd58d8d95959 00000b5b: PUSH1 0xb2 00000b5d: SHL 00000b5e: PUSH1 0x64 00000b60: DUP3 00000b61: ADD 00000b62: MSTORE 00000b63: PUSH1 0x84 00000b65: ADD 00000b66: PUSH2 0x03a8 00000b69: JUMP 00000b6a: JUMPDEST 00000b6b: PUSH1 0x60 00000b6d: PUSH2 0x05c3 00000b70: DUP5 00000b71: DUP5 00000b72: PUSH1 0x00 00000b74: DUP6 00000b75: DUP6 00000b76: PUSH1 0x01 00000b78: PUSH1 0x01 00000b7a: PUSH1 0xa0 00000b7c: SHL 00000b7d: SUB 00000b7e: DUP6 00000b7f: AND 00000b80: EXTCODESIZE 00000b81: PUSH2 0x0bcc 00000b84: JUMPI 00000b85: PUSH1 0x40 00000b87: MLOAD 00000b88: PUSH3 0x461bcd 00000b8c: PUSH1 0xe5 00000b8e: SHL 00000b8f: DUP2 00000b90: MSTORE 00000b91: PUSH1 0x20 00000b93: PUSH1 0x04 00000b95: DUP3 00000b96: ADD 00000b97: MSTORE 00000b98: PUSH1 0x1d 00000b9a: PUSH1 0x24 00000b9c: DUP3 00000b9d: ADD 00000b9e: MSTORE 00000b9f: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00000bc0: PUSH1 0x44 00000bc2: DUP3 00000bc3: ADD 00000bc4: MSTORE 00000bc5: PUSH1 0x64 00000bc7: ADD 00000bc8: PUSH2 0x03a8 00000bcb: JUMP 00000bcc: JUMPDEST 00000bcd: PUSH1 0x00 00000bcf: DUP1 00000bd0: DUP7 00000bd1: PUSH1 0x01 00000bd3: PUSH1 0x01 00000bd5: PUSH1 0xa0 00000bd7: SHL 00000bd8: SUB 00000bd9: AND 00000bda: DUP6 00000bdb: DUP8 00000bdc: PUSH1 0x40 00000bde: MLOAD 00000bdf: PUSH2 0x0be8 00000be2: SWAP2 00000be3: SWAP1 00000be4: PUSH2 0x0ec6 00000be7: JUMP 00000be8: JUMPDEST 00000be9: PUSH1 0x00 00000beb: PUSH1 0x40 00000bed: MLOAD 00000bee: DUP1 00000bef: DUP4 00000bf0: SUB 00000bf1: DUP2 00000bf2: DUP6 00000bf3: DUP8 00000bf4: GAS 00000bf5: CALL 00000bf6: SWAP3 00000bf7: POP 00000bf8: POP 00000bf9: POP 00000bfa: RETURNDATASIZE 00000bfb: DUP1 00000bfc: PUSH1 0x00 00000bfe: DUP2 00000bff: EQ 00000c00: PUSH2 0x0c25 00000c03: JUMPI 00000c04: PUSH1 0x40 00000c06: MLOAD 00000c07: SWAP2 00000c08: POP 00000c09: PUSH1 0x1f 00000c0b: NOT 00000c0c: PUSH1 0x3f 00000c0e: RETURNDATASIZE 00000c0f: ADD 00000c10: AND 00000c11: DUP3 00000c12: ADD 00000c13: PUSH1 0x40 00000c15: MSTORE 00000c16: RETURNDATASIZE 00000c17: DUP3 00000c18: MSTORE 00000c19: RETURNDATASIZE 00000c1a: PUSH1 0x00 00000c1c: PUSH1 0x20 00000c1e: DUP5 00000c1f: ADD 00000c20: RETURNDATACOPY 00000c21: PUSH2 0x0c2a 00000c24: JUMP 00000c25: JUMPDEST 00000c26: PUSH1 0x60 00000c28: SWAP2 00000c29: POP 00000c2a: JUMPDEST 00000c2b: POP 00000c2c: SWAP2 00000c2d: POP 00000c2e: SWAP2 00000c2f: POP 00000c30: PUSH2 0x0c3a 00000c33: DUP3 00000c34: DUP3 00000c35: DUP7 00000c36: PUSH2 0x0c45 00000c39: JUMP 00000c3a: JUMPDEST 00000c3b: SWAP8 00000c3c: SWAP7 00000c3d: POP 00000c3e: POP 00000c3f: POP 00000c40: POP 00000c41: POP 00000c42: POP 00000c43: POP 00000c44: JUMP 00000c45: JUMPDEST 00000c46: PUSH1 0x60 00000c48: DUP4 00000c49: ISZERO 00000c4a: PUSH2 0x0c54 00000c4d: JUMPI 00000c4e: POP 00000c4f: DUP2 00000c50: PUSH2 0x04f9 00000c53: JUMP 00000c54: JUMPDEST 00000c55: DUP3 00000c56: MLOAD 00000c57: ISZERO 00000c58: PUSH2 0x0c64 00000c5b: JUMPI 00000c5c: DUP3 00000c5d: MLOAD 00000c5e: DUP1 00000c5f: DUP5 00000c60: PUSH1 0x20 00000c62: ADD 00000c63: REVERT 00000c64: JUMPDEST 00000c65: DUP2 00000c66: PUSH1 0x40 00000c68: MLOAD 00000c69: PUSH3 0x461bcd 00000c6d: PUSH1 0xe5 00000c6f: SHL 00000c70: DUP2 00000c71: MSTORE 00000c72: PUSH1 0x04 00000c74: ADD 00000c75: PUSH2 0x03a8 00000c78: SWAP2 00000c79: SWAP1 00000c7a: PUSH2 0x0ee2 00000c7d: JUMP 00000c7e: JUMPDEST 00000c7f: PUSH1 0x01 00000c81: PUSH1 0x01 00000c83: PUSH1 0xa0 00000c85: SHL 00000c86: SUB 00000c87: DUP2 00000c88: AND 00000c89: DUP2 00000c8a: EQ 00000c8b: PUSH2 0x03ba 00000c8e: JUMPI 00000c8f: PUSH1 0x00 00000c91: DUP1 00000c92: REVERT 00000c93: JUMPDEST 00000c94: PUSH1 0x00 00000c96: PUSH1 0x20 00000c98: DUP3 00000c99: DUP5 00000c9a: SUB 00000c9b: SLT 00000c9c: ISZERO 00000c9d: PUSH2 0x0ca5 00000ca0: JUMPI 00000ca1: PUSH1 0x00 00000ca3: DUP1 00000ca4: REVERT 00000ca5: JUMPDEST 00000ca6: DUP2 00000ca7: CALLDATALOAD 00000ca8: PUSH2 0x04f9 00000cab: DUP2 00000cac: PUSH2 0x0c7e 00000caf: JUMP 00000cb0: JUMPDEST 00000cb1: PUSH1 0x00 00000cb3: DUP1 00000cb4: PUSH1 0x40 00000cb6: DUP4 00000cb7: DUP6 00000cb8: SUB 00000cb9: SLT 00000cba: ISZERO 00000cbb: PUSH2 0x0cc3 00000cbe: JUMPI 00000cbf: PUSH1 0x00 00000cc1: DUP1 00000cc2: REVERT 00000cc3: JUMPDEST 00000cc4: DUP3 00000cc5: CALLDATALOAD 00000cc6: PUSH2 0x0cce 00000cc9: DUP2 00000cca: PUSH2 0x0c7e 00000ccd: JUMP 00000cce: JUMPDEST 00000ccf: SWAP2 00000cd0: POP 00000cd1: PUSH1 0x20 00000cd3: DUP4 00000cd4: ADD 00000cd5: CALLDATALOAD 00000cd6: PUSH2 0x0cde 00000cd9: DUP2 00000cda: PUSH2 0x0c7e 00000cdd: JUMP 00000cde: JUMPDEST 00000cdf: DUP1 00000ce0: SWAP2 00000ce1: POP 00000ce2: POP 00000ce3: SWAP3 00000ce4: POP 00000ce5: SWAP3 00000ce6: SWAP1 00000ce7: POP 00000ce8: JUMP 00000ce9: JUMPDEST 00000cea: PUSH1 0x00 00000cec: DUP1 00000ced: PUSH1 0x40 00000cef: DUP4 00000cf0: DUP6 00000cf1: SUB 00000cf2: SLT 00000cf3: ISZERO 00000cf4: PUSH2 0x0cfc 00000cf7: JUMPI 00000cf8: PUSH1 0x00 00000cfa: DUP1 00000cfb: REVERT 00000cfc: JUMPDEST 00000cfd: DUP3 00000cfe: CALLDATALOAD 00000cff: PUSH2 0x0d07 00000d02: DUP2 00000d03: PUSH2 0x0c7e 00000d06: JUMP 00000d07: JUMPDEST 00000d08: SWAP5 00000d09: PUSH1 0x20 00000d0b: SWAP4 00000d0c: SWAP1 00000d0d: SWAP4 00000d0e: ADD 00000d0f: CALLDATALOAD 00000d10: SWAP4 00000d11: POP 00000d12: POP 00000d13: POP 00000d14: JUMP 00000d15: JUMPDEST 00000d16: PUSH1 0x00 00000d18: PUSH1 0x20 00000d1a: DUP3 00000d1b: DUP5 00000d1c: SUB 00000d1d: SLT 00000d1e: ISZERO 00000d1f: PUSH2 0x0d27 00000d22: JUMPI 00000d23: PUSH1 0x00 00000d25: DUP1 00000d26: REVERT 00000d27: JUMPDEST 00000d28: POP 00000d29: CALLDATALOAD 00000d2a: SWAP2 00000d2b: SWAP1 00000d2c: POP 00000d2d: JUMP 00000d2e: JUMPDEST 00000d2f: PUSH4 0x4e487b71 00000d34: PUSH1 0xe0 00000d36: SHL 00000d37: PUSH1 0x00 00000d39: MSTORE 00000d3a: PUSH1 0x32 00000d3c: PUSH1 0x04 00000d3e: MSTORE 00000d3f: PUSH1 0x24 00000d41: PUSH1 0x00 00000d43: REVERT 00000d44: JUMPDEST 00000d45: PUSH4 0x4e487b71 00000d4a: PUSH1 0xe0 00000d4c: SHL 00000d4d: PUSH1 0x00 00000d4f: MSTORE 00000d50: PUSH1 0x11 00000d52: PUSH1 0x04 00000d54: MSTORE 00000d55: PUSH1 0x24 00000d57: PUSH1 0x00 00000d59: REVERT 00000d5a: JUMPDEST 00000d5b: PUSH1 0x00 00000d5d: DUP3 00000d5e: NOT 00000d5f: DUP3 00000d60: GT 00000d61: ISZERO 00000d62: PUSH2 0x0d6d 00000d65: JUMPI 00000d66: PUSH2 0x0d6d 00000d69: PUSH2 0x0d44 00000d6c: JUMP 00000d6d: JUMPDEST 00000d6e: POP 00000d6f: ADD 00000d70: SWAP1 00000d71: JUMP 00000d72: JUMPDEST 00000d73: PUSH1 0x00 00000d75: PUSH1 0x20 00000d77: DUP3 00000d78: DUP5 00000d79: SUB 00000d7a: SLT 00000d7b: ISZERO 00000d7c: PUSH2 0x0d84 00000d7f: JUMPI 00000d80: PUSH1 0x00 00000d82: DUP1 00000d83: REVERT 00000d84: JUMPDEST 00000d85: POP 00000d86: MLOAD 00000d87: SWAP2 00000d88: SWAP1 00000d89: POP 00000d8a: JUMP 00000d8b: JUMPDEST 00000d8c: PUSH1 0x20 00000d8e: DUP1 00000d8f: DUP3 00000d90: MSTORE 00000d91: PUSH1 0x26 00000d93: SWAP1 00000d94: DUP3 00000d95: ADD 00000d96: MSTORE 00000d97: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e7420686173206e6f20 00000db8: PUSH1 0x40 00000dba: DUP3 00000dbb: ADD 00000dbc: MSTORE 00000dbd: PUSH6 0x736861726573 00000dc4: PUSH1 0xd0 00000dc6: SHL 00000dc7: PUSH1 0x60 00000dc9: DUP3 00000dca: ADD 00000dcb: MSTORE 00000dcc: PUSH1 0x80 00000dce: ADD 00000dcf: SWAP1 00000dd0: JUMP 00000dd1: JUMPDEST 00000dd2: PUSH1 0x20 00000dd4: DUP1 00000dd5: DUP3 00000dd6: MSTORE 00000dd7: PUSH1 0x2b 00000dd9: SWAP1 00000dda: DUP3 00000ddb: ADD 00000ddc: MSTORE 00000ddd: PUSH32 0x5061796d656e7453706c69747465723a206163636f756e74206973206e6f7420 00000dfe: PUSH1 0x40 00000e00: DUP3 00000e01: ADD 00000e02: MSTORE 00000e03: PUSH11 0x191d59481c185e5b595b9d 00000e0f: PUSH1 0xaa 00000e11: SHL 00000e12: PUSH1 0x60 00000e14: DUP3 00000e15: ADD 00000e16: MSTORE 00000e17: PUSH1 0x80 00000e19: ADD 00000e1a: SWAP1 00000e1b: JUMP 00000e1c: JUMPDEST 00000e1d: PUSH1 0x00 00000e1f: DUP2 00000e20: PUSH1 0x00 00000e22: NOT 00000e23: DIV 00000e24: DUP4 00000e25: GT 00000e26: DUP3 00000e27: ISZERO 00000e28: ISZERO 00000e29: AND 00000e2a: ISZERO 00000e2b: PUSH2 0x0e36 00000e2e: JUMPI 00000e2f: PUSH2 0x0e36 00000e32: PUSH2 0x0d44 00000e35: JUMP 00000e36: JUMPDEST 00000e37: POP 00000e38: MUL 00000e39: SWAP1 00000e3a: JUMP 00000e3b: JUMPDEST 00000e3c: PUSH1 0x00 00000e3e: DUP3 00000e3f: PUSH2 0x0e58 00000e42: JUMPI 00000e43: PUSH4 0x4e487b71 00000e48: PUSH1 0xe0 00000e4a: SHL 00000e4b: PUSH1 0x00 00000e4d: MSTORE 00000e4e: PUSH1 0x12 00000e50: PUSH1 0x04 00000e52: MSTORE 00000e53: PUSH1 0x24 00000e55: PUSH1 0x00 00000e57: REVERT 00000e58: JUMPDEST 00000e59: POP 00000e5a: DIV 00000e5b: SWAP1 00000e5c: JUMP 00000e5d: JUMPDEST 00000e5e: PUSH1 0x00 00000e60: DUP3 00000e61: DUP3 00000e62: LT 00000e63: ISZERO 00000e64: PUSH2 0x0e6f 00000e67: JUMPI 00000e68: PUSH2 0x0e6f 00000e6b: PUSH2 0x0d44 00000e6e: JUMP 00000e6f: JUMPDEST 00000e70: POP 00000e71: SUB 00000e72: SWAP1 00000e73: JUMP 00000e74: JUMPDEST 00000e75: PUSH1 0x00 00000e77: PUSH1 0x20 00000e79: DUP3 00000e7a: DUP5 00000e7b: SUB 00000e7c: SLT 00000e7d: ISZERO 00000e7e: PUSH2 0x0e86 00000e81: JUMPI 00000e82: PUSH1 0x00 00000e84: DUP1 00000e85: REVERT 00000e86: JUMPDEST 00000e87: DUP2 00000e88: MLOAD 00000e89: DUP1 00000e8a: ISZERO 00000e8b: ISZERO 00000e8c: DUP2 00000e8d: EQ 00000e8e: PUSH2 0x04f9 00000e91: JUMPI 00000e92: PUSH1 0x00 00000e94: DUP1 00000e95: REVERT 00000e96: JUMPDEST 00000e97: PUSH1 0x00 00000e99: JUMPDEST 00000e9a: DUP4 00000e9b: DUP2 00000e9c: LT 00000e9d: ISZERO 00000e9e: PUSH2 0x0eb1 00000ea1: JUMPI 00000ea2: DUP2 00000ea3: DUP2 00000ea4: ADD 00000ea5: MLOAD 00000ea6: DUP4 00000ea7: DUP3 00000ea8: ADD 00000ea9: MSTORE 00000eaa: PUSH1 0x20 00000eac: ADD 00000ead: PUSH2 0x0e99 00000eb0: JUMP 00000eb1: JUMPDEST 00000eb2: DUP4 00000eb3: DUP2 00000eb4: GT 00000eb5: ISZERO 00000eb6: PUSH2 0x0ec0 00000eb9: JUMPI 00000eba: PUSH1 0x00 00000ebc: DUP5 00000ebd: DUP5 00000ebe: ADD 00000ebf: MSTORE 00000ec0: JUMPDEST 00000ec1: POP 00000ec2: POP 00000ec3: POP 00000ec4: POP 00000ec5: JUMP 00000ec6: JUMPDEST 00000ec7: PUSH1 0x00 00000ec9: DUP3 00000eca: MLOAD 00000ecb: PUSH2 0x0ed8 00000ece: DUP2 00000ecf: DUP5 00000ed0: PUSH1 0x20 00000ed2: DUP8 00000ed3: ADD 00000ed4: PUSH2 0x0e96 00000ed7: JUMP 00000ed8: JUMPDEST 00000ed9: SWAP2 00000eda: SWAP1 00000edb: SWAP2 00000edc: ADD 00000edd: SWAP3 00000ede: SWAP2 00000edf: POP 00000ee0: POP 00000ee1: JUMP 00000ee2: JUMPDEST 00000ee3: PUSH1 0x20 00000ee5: DUP2 00000ee6: MSTORE 00000ee7: PUSH1 0x00 00000ee9: DUP3 00000eea: MLOAD 00000eeb: DUP1 00000eec: PUSH1 0x20 00000eee: DUP5 00000eef: ADD 00000ef0: MSTORE 00000ef1: PUSH2 0x0f01 00000ef4: DUP2 00000ef5: PUSH1 0x40 00000ef7: DUP6 00000ef8: ADD 00000ef9: PUSH1 0x20 00000efb: DUP8 00000efc: ADD 00000efd: PUSH2 0x0e96 00000f00: JUMP 00000f01: JUMPDEST 00000f02: PUSH1 0x1f 00000f04: ADD 00000f05: PUSH1 0x1f 00000f07: NOT 00000f08: AND 00000f09: SWAP2 00000f0a: SWAP1 00000f0b: SWAP2 00000f0c: ADD 00000f0d: PUSH1 0x40 00000f0f: ADD 00000f10: SWAP3 00000f11: SWAP2 00000f12: POP 00000f13: POP 00000f14: JUMP 00000f15: INVALID 00000f16: LOG2 00000f17: PUSH5 0x6970667358 00000f1d: UNKNOWN(0x22) 00000f1e: SLT 00000f1f: KECCAK256 00000f20: SWAP15 00000f21: UNKNOWN(0xEA) 00000f22: UNKNOWN(0xDE) 00000f23: UNKNOWN(0xCE) 00000f24: DUP11 00000f25: CREATE 00000f26: DUP16 00000f27: SWAP12 00000f28: UNKNOWN(0xE8) 00000f29: UNKNOWN(0xD4) 00000f2a: UNKNOWN(0xD8) 00000f2b: UNKNOWN(0xDE) 00000f2c: UNKNOWN(0xE8) 00000f2d: CALL 00000f2e: PUSH15 0x488b42471fb74098133e7dfa022e7b 00000f3e: UNKNOWN(0xB1) 00000f3f: PUSH18
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x44a6035636a56f200391985e30ab57ca58f6a8d36f129f653670d4c1c58146c6
call_targets:
0x716cab190e7c4b4cc92792bc24d9a2235c7eb7fe
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x44a6035636a56f200391985e30ab57ca58f6a8d36f129f653670d4c1c58146c6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x716cab190e7c4b4cc92792bc24d9a2235c7eb7fe"
],
"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": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd79779b2",
"selector": "0xd79779b2",
"calldata_variants": [
"0xd79779b2",
"0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa3f8eace",
"selector": "0xa3f8eace",
"calldata_variants": [
"0xa3f8eace",
"0xa3f8eace0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc45ac050",
"selector": "0xc45ac050",
"calldata_variants": [
"0xc45ac050",
"0xc45ac0500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1113,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2481,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3061,
"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: 0x44a6035636a56f200391985e30ab57ca58f6a8d36f129f653670d4c1c58146c6
call_targets:
0x716cab190e7c4b4cc92792bc24d9a2235c7eb7fe
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x44a6035636a56f200391985e30ab57ca58f6a8d36f129f653670d4c1c58146c6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x716cab190e7c4b4cc92792bc24d9a2235c7eb7fe"
],
"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": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd79779b2",
"selector": "0xd79779b2",
"calldata_variants": [
"0xd79779b2",
"0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa3f8eace",
"selector": "0xa3f8eace",
"calldata_variants": [
"0xa3f8eace",
"0xa3f8eace0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc45ac050",
"selector": "0xc45ac050",
"calldata_variants": [
"0xc45ac050",
"0xc45ac0500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1113,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2481,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3061,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xebc7592c7c68376513a2cac5a944d142d4664dbaba76ffe7722368b55588ff9f
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 30,
"trace_id": "0xebc7592c7c68376513a2cac5a944d142d4664dbaba76ffe7722368b55588ff9f",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xce7c2ac2",
"selector": "0xce7c2ac2",
"calldata_variants": [
"0xce7c2ac2",
"0xce7c2ac20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd79779b2",
"selector": "0xd79779b2",
"calldata_variants": [
"0xd79779b2",
"0xd79779b20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe33b7de3",
"selector": "0xe33b7de3",
"calldata_variants": [
"0xe33b7de3",
"0xe33b7de30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9852595c",
"selector": "0x9852595c",
"calldata_variants": [
"0x9852595c",
"0x9852595c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa3f8eace",
"selector": "0xa3f8eace",
"calldata_variants": [
"0xa3f8eace",
"0xa3f8eace0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc45ac050",
"selector": "0xc45ac050",
"calldata_variants": [
"0xc45ac050",
"0xc45ac0500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|