019b477e-bdbb-7384-a948-8c6a7af73386
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 |
|---|---|---|---|---|
| 24277 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24278 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 90601 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 90602 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 90603 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 90604 | 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 0xa5c1457b 00000019: GT 0000001a: PUSH2 0x008a 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xdbba0f01 00000024: GT 00000025: PUSH2 0x0059 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xdbba0f01 0000002f: EQ 00000030: PUSH2 0x048a 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xe68c24ae 0000003a: EQ 0000003b: PUSH2 0x04cd 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf23a6e61 00000045: EQ 00000046: PUSH2 0x0506 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x05dc 00000054: JUMPI 00000055: PUSH2 0x00f3 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0xa5c1457b 00000060: EQ 00000061: PUSH2 0x022d 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xb31610db 0000006b: EQ 0000006c: PUSH2 0x0242 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xb996e5fa 00000076: EQ 00000077: PUSH2 0x0275 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xbc197c81 00000081: EQ 00000082: PUSH2 0x029f 00000085: JUMPI 00000086: PUSH2 0x00f3 00000089: JUMP 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x4b319713 00000091: GT 00000092: PUSH2 0x00c6 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x4b319713 0000009c: EQ 0000009d: PUSH2 0x01a8 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x5daf08ca 000000a7: EQ 000000a8: PUSH2 0x01bd 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x715018a6 000000b2: EQ 000000b3: PUSH2 0x0203 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x8da5cb5b 000000bd: EQ 000000be: PUSH2 0x0218 000000c1: JUMPI 000000c2: PUSH2 0x00f3 000000c5: JUMP 000000c6: JUMPDEST 000000c7: DUP1 000000c8: PUSH4 0x01ffc9a7 000000cd: EQ 000000ce: PUSH2 0x00f8 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0x2e1a7d4d 000000d8: EQ 000000d9: PUSH2 0x0140 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x30b0d227 000000e3: EQ 000000e4: PUSH2 0x016c 000000e7: JUMPI 000000e8: PUSH2 0x00f3 000000eb: JUMP 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 0x012c 00000109: PUSH1 0x04 0000010b: DUP1 0000010c: CALLDATASIZE 0000010d: SUB 0000010e: PUSH1 0x20 00000110: DUP2 00000111: LT 00000112: ISZERO 00000113: PUSH2 0x011b 00000116: JUMPI 00000117: PUSH1 0x00 00000119: DUP1 0000011a: REVERT 0000011b: JUMPDEST 0000011c: POP 0000011d: CALLDATALOAD 0000011e: PUSH1 0x01 00000120: PUSH1 0x01 00000122: PUSH1 0xe0 00000124: SHL 00000125: SUB 00000126: NOT 00000127: AND 00000128: PUSH2 0x060f 0000012b: JUMP 0000012c: JUMPDEST 0000012d: PUSH1 0x40 0000012f: DUP1 00000130: MLOAD 00000131: SWAP2 00000132: ISZERO 00000133: ISZERO 00000134: DUP3 00000135: MSTORE 00000136: MLOAD 00000137: SWAP1 00000138: DUP2 00000139: SWAP1 0000013a: SUB 0000013b: PUSH1 0x20 0000013d: ADD 0000013e: SWAP1 0000013f: RETURN 00000140: JUMPDEST 00000141: CALLVALUE 00000142: DUP1 00000143: ISZERO 00000144: PUSH2 0x014c 00000147: JUMPI 00000148: PUSH1 0x00 0000014a: DUP1 0000014b: REVERT 0000014c: JUMPDEST 0000014d: POP 0000014e: PUSH2 0x016a 00000151: PUSH1 0x04 00000153: DUP1 00000154: CALLDATASIZE 00000155: SUB 00000156: PUSH1 0x20 00000158: DUP2 00000159: LT 0000015a: ISZERO 0000015b: PUSH2 0x0163 0000015e: JUMPI 0000015f: PUSH1 0x00 00000161: DUP1 00000162: REVERT 00000163: JUMPDEST 00000164: POP 00000165: CALLDATALOAD 00000166: PUSH2 0x0632 00000169: JUMP 0000016a: JUMPDEST 0000016b: STOP 0000016c: JUMPDEST 0000016d: CALLVALUE 0000016e: DUP1 0000016f: ISZERO 00000170: PUSH2 0x0178 00000173: JUMPI 00000174: PUSH1 0x00 00000176: DUP1 00000177: REVERT 00000178: JUMPDEST 00000179: POP 0000017a: PUSH2 0x0196 0000017d: PUSH1 0x04 0000017f: DUP1 00000180: CALLDATASIZE 00000181: SUB 00000182: PUSH1 0x20 00000184: DUP2 00000185: LT 00000186: ISZERO 00000187: PUSH2 0x018f 0000018a: JUMPI 0000018b: PUSH1 0x00 0000018d: DUP1 0000018e: REVERT 0000018f: JUMPDEST 00000190: POP 00000191: CALLDATALOAD 00000192: PUSH2 0x077d 00000195: JUMP 00000196: JUMPDEST 00000197: PUSH1 0x40 00000199: DUP1 0000019a: MLOAD 0000019b: SWAP2 0000019c: DUP3 0000019d: MSTORE 0000019e: MLOAD 0000019f: SWAP1 000001a0: DUP2 000001a1: SWAP1 000001a2: SUB 000001a3: PUSH1 0x20 000001a5: ADD 000001a6: SWAP1 000001a7: RETURN 000001a8: JUMPDEST 000001a9: CALLVALUE 000001aa: DUP1 000001ab: ISZERO 000001ac: PUSH2 0x01b4 000001af: JUMPI 000001b0: PUSH1 0x00 000001b2: DUP1 000001b3: REVERT 000001b4: JUMPDEST 000001b5: POP 000001b6: PUSH2 0x0196 000001b9: PUSH2 0x07bc 000001bc: JUMP 000001bd: JUMPDEST 000001be: CALLVALUE 000001bf: DUP1 000001c0: ISZERO 000001c1: PUSH2 0x01c9 000001c4: JUMPI 000001c5: PUSH1 0x00 000001c7: DUP1 000001c8: REVERT 000001c9: JUMPDEST 000001ca: POP 000001cb: PUSH2 0x01e7 000001ce: PUSH1 0x04 000001d0: DUP1 000001d1: CALLDATASIZE 000001d2: SUB 000001d3: PUSH1 0x20 000001d5: DUP2 000001d6: LT 000001d7: ISZERO 000001d8: PUSH2 0x01e0 000001db: JUMPI 000001dc: PUSH1 0x00 000001de: DUP1 000001df: REVERT 000001e0: JUMPDEST 000001e1: POP 000001e2: CALLDATALOAD 000001e3: PUSH2 0x07c2 000001e6: JUMP 000001e7: JUMPDEST 000001e8: PUSH1 0x40 000001ea: DUP1 000001eb: MLOAD 000001ec: PUSH1 0x01 000001ee: PUSH1 0x01 000001f0: PUSH1 0xa0 000001f2: SHL 000001f3: SUB 000001f4: SWAP1 000001f5: SWAP3 000001f6: AND 000001f7: DUP3 000001f8: MSTORE 000001f9: MLOAD 000001fa: SWAP1 000001fb: DUP2 000001fc: SWAP1 000001fd: SUB 000001fe: PUSH1 0x20 00000200: ADD 00000201: SWAP1 00000202: RETURN 00000203: JUMPDEST 00000204: CALLVALUE 00000205: DUP1 00000206: ISZERO 00000207: PUSH2 0x020f 0000020a: JUMPI 0000020b: PUSH1 0x00 0000020d: DUP1 0000020e: REVERT 0000020f: JUMPDEST 00000210: POP 00000211: PUSH2 0x016a 00000214: PUSH2 0x07e2 00000217: JUMP 00000218: JUMPDEST 00000219: CALLVALUE 0000021a: DUP1 0000021b: ISZERO 0000021c: PUSH2 0x0224 0000021f: JUMPI 00000220: PUSH1 0x00 00000222: DUP1 00000223: REVERT 00000224: JUMPDEST 00000225: POP 00000226: PUSH2 0x01e7 00000229: PUSH2 0x08a0 0000022c: JUMP 0000022d: JUMPDEST 0000022e: CALLVALUE 0000022f: DUP1 00000230: ISZERO 00000231: PUSH2 0x0239 00000234: JUMPI 00000235: PUSH1 0x00 00000237: DUP1 00000238: REVERT 00000239: JUMPDEST 0000023a: POP 0000023b: PUSH2 0x0196 0000023e: PUSH2 0x08af 00000241: JUMP 00000242: JUMPDEST 00000243: CALLVALUE 00000244: DUP1 00000245: ISZERO 00000246: PUSH2 0x024e 00000249: JUMPI 0000024a: PUSH1 0x00 0000024c: DUP1 0000024d: REVERT 0000024e: JUMPDEST 0000024f: POP 00000250: PUSH2 0x0196 00000253: PUSH1 0x04 00000255: DUP1 00000256: CALLDATASIZE 00000257: SUB 00000258: PUSH1 0x20 0000025a: DUP2 0000025b: LT 0000025c: ISZERO 0000025d: PUSH2 0x0265 00000260: JUMPI 00000261: PUSH1 0x00 00000263: DUP1 00000264: REVERT 00000265: JUMPDEST 00000266: POP 00000267: CALLDATALOAD 00000268: PUSH1 0x01 0000026a: PUSH1 0x01 0000026c: PUSH1 0xa0 0000026e: SHL 0000026f: SUB 00000270: AND 00000271: PUSH2 0x08b4 00000274: JUMP 00000275: JUMPDEST 00000276: CALLVALUE 00000277: DUP1 00000278: ISZERO 00000279: PUSH2 0x0281 0000027c: JUMPI 0000027d: PUSH1 0x00 0000027f: DUP1 00000280: REVERT 00000281: JUMPDEST 00000282: POP 00000283: PUSH2 0x0196 00000286: PUSH1 0x04 00000288: DUP1 00000289: CALLDATASIZE 0000028a: SUB 0000028b: PUSH1 0x20 0000028d: DUP2 0000028e: LT 0000028f: ISZERO 00000290: PUSH2 0x0298 00000293: JUMPI 00000294: PUSH1 0x00 00000296: DUP1 00000297: REVERT 00000298: JUMPDEST 00000299: POP 0000029a: CALLDATALOAD 0000029b: PUSH2 0x0934 0000029e: JUMP 0000029f: JUMPDEST 000002a0: CALLVALUE 000002a1: DUP1 000002a2: ISZERO 000002a3: PUSH2 0x02ab 000002a6: JUMPI 000002a7: PUSH1 0x00 000002a9: DUP1 000002aa: REVERT 000002ab: JUMPDEST 000002ac: POP 000002ad: PUSH2 0x046d 000002b0: PUSH1 0x04 000002b2: DUP1 000002b3: CALLDATASIZE 000002b4: SUB 000002b5: PUSH1 0xa0 000002b7: DUP2 000002b8: LT 000002b9: ISZERO 000002ba: PUSH2 0x02c2 000002bd: JUMPI 000002be: PUSH1 0x00 000002c0: DUP1 000002c1: REVERT 000002c2: JUMPDEST 000002c3: PUSH1 0x01 000002c5: PUSH1 0x01 000002c7: PUSH1 0xa0 000002c9: SHL 000002ca: SUB 000002cb: DUP3 000002cc: CALLDATALOAD 000002cd: DUP2 000002ce: AND 000002cf: SWAP3 000002d0: PUSH1 0x20 000002d2: DUP2 000002d3: ADD 000002d4: CALLDATALOAD 000002d5: SWAP1 000002d6: SWAP2 000002d7: AND 000002d8: SWAP2 000002d9: DUP2 000002da: ADD 000002db: SWAP1 000002dc: PUSH1 0x60 000002de: DUP2 000002df: ADD 000002e0: PUSH1 0x40 000002e2: DUP3 000002e3: ADD 000002e4: CALLDATALOAD 000002e5: PUSH1 0x01 000002e7: PUSH1 0x20 000002e9: SHL 000002ea: DUP2 000002eb: GT 000002ec: ISZERO 000002ed: PUSH2 0x02f5 000002f0: JUMPI 000002f1: PUSH1 0x00 000002f3: DUP1 000002f4: REVERT 000002f5: JUMPDEST 000002f6: DUP3 000002f7: ADD 000002f8: DUP4 000002f9: PUSH1 0x20 000002fb: DUP3 000002fc: ADD 000002fd: GT 000002fe: ISZERO 000002ff: PUSH2 0x0307 00000302: JUMPI 00000303: PUSH1 0x00 00000305: DUP1 00000306: REVERT 00000307: JUMPDEST 00000308: DUP1 00000309: CALLDATALOAD 0000030a: SWAP1 0000030b: PUSH1 0x20 0000030d: ADD 0000030e: SWAP2 0000030f: DUP5 00000310: PUSH1 0x20 00000312: DUP4 00000313: MUL 00000314: DUP5 00000315: ADD 00000316: GT 00000317: PUSH1 0x01 00000319: PUSH1 0x20 0000031b: SHL 0000031c: DUP4 0000031d: GT 0000031e: OR 0000031f: ISZERO 00000320: PUSH2 0x0328 00000323: JUMPI 00000324: PUSH1 0x00 00000326: DUP1 00000327: REVERT 00000328: JUMPDEST 00000329: SWAP2 0000032a: SWAP1 0000032b: DUP1 0000032c: DUP1 0000032d: PUSH1 0x20 0000032f: MUL 00000330: PUSH1 0x20 00000332: ADD 00000333: PUSH1 0x40 00000335: MLOAD 00000336: SWAP1 00000337: DUP2 00000338: ADD 00000339: PUSH1 0x40 0000033b: MSTORE 0000033c: DUP1 0000033d: SWAP4 0000033e: SWAP3 0000033f: SWAP2 00000340: SWAP1 00000341: DUP2 00000342: DUP2 00000343: MSTORE 00000344: PUSH1 0x20 00000346: ADD 00000347: DUP4 00000348: DUP4 00000349: PUSH1 0x20 0000034b: MUL 0000034c: DUP1 0000034d: DUP3 0000034e: DUP5 0000034f: CALLDATACOPY 00000350: PUSH1 0x00 00000352: SWAP3 00000353: ADD 00000354: SWAP2 00000355: SWAP1 00000356: SWAP2 00000357: MSTORE 00000358: POP 00000359: SWAP3 0000035a: SWAP6 0000035b: SWAP5 0000035c: SWAP4 0000035d: PUSH1 0x20 0000035f: DUP2 00000360: ADD 00000361: SWAP4 00000362: POP 00000363: CALLDATALOAD 00000364: SWAP2 00000365: POP 00000366: POP 00000367: PUSH1 0x01 00000369: PUSH1 0x20 0000036b: SHL 0000036c: DUP2 0000036d: GT 0000036e: ISZERO 0000036f: PUSH2 0x0377 00000372: JUMPI 00000373: PUSH1 0x00 00000375: DUP1 00000376: REVERT 00000377: JUMPDEST 00000378: DUP3 00000379: ADD 0000037a: DUP4 0000037b: PUSH1 0x20 0000037d: DUP3 0000037e: ADD 0000037f: GT 00000380: ISZERO 00000381: PUSH2 0x0389 00000384: JUMPI 00000385: PUSH1 0x00 00000387: DUP1 00000388: REVERT 00000389: JUMPDEST 0000038a: DUP1 0000038b: CALLDATALOAD 0000038c: SWAP1 0000038d: PUSH1 0x20 0000038f: ADD 00000390: SWAP2 00000391: DUP5 00000392: PUSH1 0x20 00000394: DUP4 00000395: MUL 00000396: DUP5 00000397: ADD 00000398: GT 00000399: PUSH1 0x01 0000039b: PUSH1 0x20 0000039d: SHL 0000039e: DUP4 0000039f: GT 000003a0: OR 000003a1: ISZERO 000003a2: PUSH2 0x03aa 000003a5: JUMPI 000003a6: PUSH1 0x00 000003a8: DUP1 000003a9: REVERT 000003aa: JUMPDEST 000003ab: SWAP2 000003ac: SWAP1 000003ad: DUP1 000003ae: DUP1 000003af: PUSH1 0x20 000003b1: MUL 000003b2: PUSH1 0x20 000003b4: ADD 000003b5: PUSH1 0x40 000003b7: MLOAD 000003b8: SWAP1 000003b9: DUP2 000003ba: ADD 000003bb: PUSH1 0x40 000003bd: MSTORE 000003be: DUP1 000003bf: SWAP4 000003c0: SWAP3 000003c1: SWAP2 000003c2: SWAP1 000003c3: DUP2 000003c4: DUP2 000003c5: MSTORE 000003c6: PUSH1 0x20 000003c8: ADD 000003c9: DUP4 000003ca: DUP4 000003cb: PUSH1 0x20 000003cd: MUL 000003ce: DUP1 000003cf: DUP3 000003d0: DUP5 000003d1: CALLDATACOPY 000003d2: PUSH1 0x00 000003d4: SWAP3 000003d5: ADD 000003d6: SWAP2 000003d7: SWAP1 000003d8: SWAP2 000003d9: MSTORE 000003da: POP 000003db: SWAP3 000003dc: SWAP6 000003dd: SWAP5 000003de: SWAP4 000003df: PUSH1 0x20 000003e1: DUP2 000003e2: ADD 000003e3: SWAP4 000003e4: POP 000003e5: CALLDATALOAD 000003e6: SWAP2 000003e7: POP 000003e8: POP 000003e9: PUSH1 0x01 000003eb: PUSH1 0x20 000003ed: SHL 000003ee: DUP2 000003ef: GT 000003f0: ISZERO 000003f1: PUSH2 0x03f9 000003f4: JUMPI 000003f5: PUSH1 0x00 000003f7: DUP1 000003f8: REVERT 000003f9: JUMPDEST 000003fa: DUP3 000003fb: ADD 000003fc: DUP4 000003fd: PUSH1 0x20 000003ff: DUP3 00000400: ADD 00000401: GT 00000402: ISZERO 00000403: PUSH2 0x040b 00000406: JUMPI 00000407: PUSH1 0x00 00000409: DUP1 0000040a: REVERT 0000040b: JUMPDEST 0000040c: DUP1 0000040d: CALLDATALOAD 0000040e: SWAP1 0000040f: PUSH1 0x20 00000411: ADD 00000412: SWAP2 00000413: DUP5 00000414: PUSH1 0x01 00000416: DUP4 00000417: MUL 00000418: DUP5 00000419: ADD 0000041a: GT 0000041b: PUSH1 0x01 0000041d: PUSH1 0x20 0000041f: SHL 00000420: DUP4 00000421: GT 00000422: OR 00000423: ISZERO 00000424: PUSH2 0x042c 00000427: JUMPI 00000428: PUSH1 0x00 0000042a: DUP1 0000042b: REVERT 0000042c: JUMPDEST 0000042d: SWAP2 0000042e: SWAP1 0000042f: DUP1 00000430: DUP1 00000431: PUSH1 0x1f 00000433: ADD 00000434: PUSH1 0x20 00000436: DUP1 00000437: SWAP2 00000438: DIV 00000439: MUL 0000043a: PUSH1 0x20 0000043c: ADD 0000043d: PUSH1 0x40 0000043f: MLOAD 00000440: SWAP1 00000441: DUP2 00000442: ADD 00000443: PUSH1 0x40 00000445: MSTORE 00000446: DUP1 00000447: SWAP4 00000448: SWAP3 00000449: SWAP2 0000044a: SWAP1 0000044b: DUP2 0000044c: DUP2 0000044d: MSTORE 0000044e: PUSH1 0x20 00000450: ADD 00000451: DUP4 00000452: DUP4 00000453: DUP1 00000454: DUP3 00000455: DUP5 00000456: CALLDATACOPY 00000457: PUSH1 0x00 00000459: SWAP3 0000045a: ADD 0000045b: SWAP2 0000045c: SWAP1 0000045d: SWAP2 0000045e: MSTORE 0000045f: POP 00000460: SWAP3 00000461: SWAP6 00000462: POP 00000463: PUSH2 0x094b 00000466: SWAP5 00000467: POP 00000468: POP 00000469: POP 0000046a: POP 0000046b: POP 0000046c: JUMP 0000046d: JUMPDEST 0000046e: PUSH1 0x40 00000470: DUP1 00000471: MLOAD 00000472: PUSH1 0x01 00000474: PUSH1 0x01 00000476: PUSH1 0xe0 00000478: SHL 00000479: SUB 0000047a: NOT 0000047b: SWAP1 0000047c: SWAP3 0000047d: AND 0000047e: DUP3 0000047f: MSTORE 00000480: MLOAD 00000481: SWAP1 00000482: DUP2 00000483: SWAP1 00000484: SUB 00000485: PUSH1 0x20 00000487: ADD 00000488: SWAP1 00000489: RETURN 0000048a: JUMPDEST 0000048b: CALLVALUE 0000048c: DUP1 0000048d: ISZERO 0000048e: PUSH2 0x0496 00000491: JUMPI 00000492: PUSH1 0x00 00000494: DUP1 00000495: REVERT 00000496: JUMPDEST 00000497: POP 00000498: PUSH2 0x016a 0000049b: PUSH1 0x04 0000049d: DUP1 0000049e: CALLDATASIZE 0000049f: SUB 000004a0: PUSH1 0x60 000004a2: DUP2 000004a3: LT 000004a4: ISZERO 000004a5: PUSH2 0x04ad 000004a8: JUMPI 000004a9: PUSH1 0x00 000004ab: DUP1 000004ac: REVERT 000004ad: JUMPDEST 000004ae: POP 000004af: PUSH1 0x01 000004b1: PUSH1 0x01 000004b3: PUSH1 0xa0 000004b5: SHL 000004b6: SUB 000004b7: DUP2 000004b8: CALLDATALOAD 000004b9: DUP2 000004ba: AND 000004bb: SWAP2 000004bc: PUSH1 0x20 000004be: DUP2 000004bf: ADD 000004c0: CALLDATALOAD 000004c1: SWAP2 000004c2: PUSH1 0x40 000004c4: SWAP1 000004c5: SWAP2 000004c6: ADD 000004c7: CALLDATALOAD 000004c8: AND 000004c9: PUSH2 0x095c 000004cc: JUMP 000004cd: JUMPDEST 000004ce: CALLVALUE 000004cf: DUP1 000004d0: ISZERO 000004d1: PUSH2 0x04d9 000004d4: JUMPI 000004d5: PUSH1 0x00 000004d7: DUP1 000004d8: REVERT 000004d9: JUMPDEST 000004da: POP 000004db: PUSH2 0x016a 000004de: PUSH1 0x04 000004e0: DUP1 000004e1: CALLDATASIZE 000004e2: SUB 000004e3: PUSH1 0x40 000004e5: DUP2 000004e6: LT 000004e7: ISZERO 000004e8: PUSH2 0x04f0 000004eb: JUMPI 000004ec: PUSH1 0x00 000004ee: DUP1 000004ef: REVERT 000004f0: JUMPDEST 000004f1: POP 000004f2: DUP1 000004f3: CALLDATALOAD 000004f4: SWAP1 000004f5: PUSH1 0x20 000004f7: ADD 000004f8: CALLDATALOAD 000004f9: PUSH1 0x01 000004fb: PUSH1 0x01 000004fd: PUSH1 0xa0 000004ff: SHL 00000500: SUB 00000501: AND 00000502: PUSH2 0x0a57 00000505: JUMP 00000506: JUMPDEST 00000507: CALLVALUE 00000508: DUP1 00000509: ISZERO 0000050a: PUSH2 0x0512 0000050d: JUMPI 0000050e: PUSH1 0x00 00000510: DUP1 00000511: REVERT 00000512: JUMPDEST 00000513: POP 00000514: PUSH2 0x046d 00000517: PUSH1 0x04 00000519: DUP1 0000051a: CALLDATASIZE 0000051b: SUB 0000051c: PUSH1 0xa0 0000051e: DUP2 0000051f: LT 00000520: ISZERO 00000521: PUSH2 0x0529 00000524: JUMPI 00000525: PUSH1 0x00 00000527: DUP1 00000528: REVERT 00000529: JUMPDEST 0000052a: PUSH1 0x01 0000052c: PUSH1 0x01 0000052e: PUSH1 0xa0 00000530: SHL 00000531: SUB 00000532: DUP3 00000533: CALLDATALOAD 00000534: DUP2 00000535: AND 00000536: SWAP3 00000537: PUSH1 0x20 00000539: DUP2 0000053a: ADD 0000053b: CALLDATALOAD 0000053c: SWAP1 0000053d: SWAP2 0000053e: AND 0000053f: SWAP2 00000540: PUSH1 0x40 00000542: DUP3 00000543: ADD 00000544: CALLDATALOAD 00000545: SWAP2 00000546: PUSH1 0x60 00000548: DUP2 00000549: ADD 0000054a: CALLDATALOAD 0000054b: SWAP2 0000054c: DUP2 0000054d: ADD 0000054e: SWAP1 0000054f: PUSH1 0xa0 00000551: DUP2 00000552: ADD 00000553: PUSH1 0x80 00000555: DUP3 00000556: ADD 00000557: CALLDATALOAD 00000558: PUSH1 0x01 0000055a: PUSH1 0x20 0000055c: SHL 0000055d: DUP2 0000055e: GT 0000055f: ISZERO 00000560: PUSH2 0x0568 00000563: JUMPI 00000564: PUSH1 0x00 00000566: DUP1 00000567: REVERT 00000568: JUMPDEST 00000569: DUP3 0000056a: ADD 0000056b: DUP4 0000056c: PUSH1 0x20 0000056e: DUP3 0000056f: ADD 00000570: GT 00000571: ISZERO 00000572: PUSH2 0x057a 00000575: JUMPI 00000576: PUSH1 0x00 00000578: DUP1 00000579: REVERT 0000057a: JUMPDEST 0000057b: DUP1 0000057c: CALLDATALOAD 0000057d: SWAP1 0000057e: PUSH1 0x20 00000580: ADD 00000581: SWAP2 00000582: DUP5 00000583: PUSH1 0x01 00000585: DUP4 00000586: MUL 00000587: DUP5 00000588: ADD 00000589: GT 0000058a: PUSH1 0x01 0000058c: PUSH1 0x20 0000058e: SHL 0000058f: DUP4 00000590: GT 00000591: OR 00000592: ISZERO 00000593: PUSH2 0x059b 00000596: JUMPI 00000597: PUSH1 0x00 00000599: DUP1 0000059a: REVERT 0000059b: JUMPDEST 0000059c: SWAP2 0000059d: SWAP1 0000059e: DUP1 0000059f: DUP1 000005a0: PUSH1 0x1f 000005a2: ADD 000005a3: PUSH1 0x20 000005a5: DUP1 000005a6: SWAP2 000005a7: DIV 000005a8: MUL 000005a9: PUSH1 0x20 000005ab: ADD 000005ac: PUSH1 0x40 000005ae: MLOAD 000005af: SWAP1 000005b0: DUP2 000005b1: ADD 000005b2: PUSH1 0x40 000005b4: MSTORE 000005b5: DUP1 000005b6: SWAP4 000005b7: SWAP3 000005b8: SWAP2 000005b9: SWAP1 000005ba: DUP2 000005bb: DUP2 000005bc: MSTORE 000005bd: PUSH1 0x20 000005bf: ADD 000005c0: DUP4 000005c1: DUP4 000005c2: DUP1 000005c3: DUP3 000005c4: DUP5 000005c5: CALLDATACOPY 000005c6: PUSH1 0x00 000005c8: SWAP3 000005c9: ADD 000005ca: SWAP2 000005cb: SWAP1 000005cc: SWAP2 000005cd: MSTORE 000005ce: POP 000005cf: SWAP3 000005d0: SWAP6 000005d1: POP 000005d2: PUSH2 0x0aeb 000005d5: SWAP5 000005d6: POP 000005d7: POP 000005d8: POP 000005d9: POP 000005da: POP 000005db: JUMP 000005dc: JUMPDEST 000005dd: CALLVALUE 000005de: DUP1 000005df: ISZERO 000005e0: PUSH2 0x05e8 000005e3: JUMPI 000005e4: PUSH1 0x00 000005e6: DUP1 000005e7: REVERT 000005e8: JUMPDEST 000005e9: POP 000005ea: PUSH2 0x016a 000005ed: PUSH1 0x04 000005ef: DUP1 000005f0: CALLDATASIZE 000005f1: SUB 000005f2: PUSH1 0x20 000005f4: DUP2 000005f5: LT 000005f6: ISZERO 000005f7: PUSH2 0x05ff 000005fa: JUMPI 000005fb: PUSH1 0x00 000005fd: DUP1 000005fe: REVERT 000005ff: JUMPDEST 00000600: POP 00000601: CALLDATALOAD 00000602: PUSH1 0x01 00000604: PUSH1 0x01 00000606: PUSH1 0xa0 00000608: SHL 00000609: SUB 0000060a: AND 0000060b: PUSH2 0x0afc 0000060e: JUMP 0000060f: JUMPDEST 00000610: PUSH1 0x01 00000612: PUSH1 0x01 00000614: PUSH1 0xe0 00000616: SHL 00000617: SUB 00000618: NOT 00000619: DUP2 0000061a: AND 0000061b: PUSH1 0x00 0000061d: SWAP1 0000061e: DUP2 0000061f: MSTORE 00000620: PUSH1 0x01 00000622: PUSH1 0x20 00000624: MSTORE 00000625: PUSH1 0x40 00000627: SWAP1 00000628: KECCAK256 00000629: SLOAD 0000062a: PUSH1 0xff 0000062c: AND 0000062d: JUMPDEST 0000062e: SWAP2 0000062f: SWAP1 00000630: POP 00000631: JUMP 00000632: JUMPDEST 00000633: PUSH1 0x02 00000635: DUP1 00000636: SLOAD 00000637: EQ 00000638: ISZERO 00000639: PUSH2 0x0689 0000063c: JUMPI 0000063d: PUSH1 0x40 0000063f: DUP1 00000640: MLOAD 00000641: PUSH3 0x461bcd 00000645: PUSH1 0xe5 00000647: SHL 00000648: DUP2 00000649: MSTORE 0000064a: PUSH1 0x20 0000064c: PUSH1 0x04 0000064e: DUP3 0000064f: ADD 00000650: MSTORE 00000651: PUSH1 0x1f 00000653: PUSH1 0x24 00000655: DUP3 00000656: ADD 00000657: MSTORE 00000658: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000679: PUSH1 0x44 0000067b: DUP3 0000067c: ADD 0000067d: MSTORE 0000067e: SWAP1 0000067f: MLOAD 00000680: SWAP1 00000681: DUP2 00000682: SWAP1 00000683: SUB 00000684: PUSH1 0x64 00000686: ADD 00000687: SWAP1 00000688: REVERT 00000689: JUMPDEST 0000068a: PUSH1 0x02 0000068c: DUP1 0000068d: SSTORE 0000068e: CALLER 0000068f: PUSH1 0x0e 00000691: DUP3 00000692: PUSH1 0x0a 00000694: DUP2 00000695: LT 00000696: PUSH2 0x069b 00000699: JUMPI 0000069a: INVALID 0000069b: JUMPDEST 0000069c: ADD 0000069d: SLOAD 0000069e: PUSH1 0x01 000006a0: PUSH1 0x01 000006a2: PUSH1 0xa0 000006a4: SHL 000006a5: SUB 000006a6: AND 000006a7: EQ 000006a8: PUSH2 0x06f0 000006ab: JUMPI 000006ac: PUSH1 0x40 000006ae: DUP1 000006af: MLOAD 000006b0: PUSH3 0x461bcd 000006b4: PUSH1 0xe5 000006b6: SHL 000006b7: DUP2 000006b8: MSTORE 000006b9: PUSH1 0x20 000006bb: PUSH1 0x04 000006bd: DUP3 000006be: ADD 000006bf: MSTORE 000006c0: PUSH1 0x15 000006c2: PUSH1 0x24 000006c4: DUP3 000006c5: ADD 000006c6: MSTORE 000006c7: PUSH21 0x14d95b99195c881b9bdd08185d5d1a1bdc9a5e9959 000006dd: PUSH1 0x5a 000006df: SHL 000006e0: PUSH1 0x44 000006e2: DUP3 000006e3: ADD 000006e4: MSTORE 000006e5: SWAP1 000006e6: MLOAD 000006e7: SWAP1 000006e8: DUP2 000006e9: SWAP1 000006ea: SUB 000006eb: PUSH1 0x64 000006ed: ADD 000006ee: SWAP1 000006ef: REVERT 000006f0: JUMPDEST 000006f1: PUSH1 0x00 000006f3: PUSH2 0x0712 000006f6: PUSH1 0x0a 000006f8: PUSH2 0x070c 000006fb: SELFBALANCE 000006fc: PUSH1 0x03 000006fe: SLOAD 000006ff: PUSH2 0x0c10 00000702: SWAP1 00000703: SWAP2 00000704: SWAP1 00000705: PUSH4 0xffffffff 0000070a: AND 0000070b: JUMP 0000070c: JUMPDEST 0000070d: SWAP1 0000070e: PUSH2 0x0c6a 00000711: JUMP 00000712: JUMPDEST 00000713: SWAP1 00000714: POP 00000715: PUSH1 0x00 00000717: PUSH2 0x072f 0000071a: PUSH1 0x04 0000071c: DUP5 0000071d: PUSH1 0x0a 0000071f: DUP2 00000720: LT 00000721: PUSH2 0x0726 00000724: JUMPI 00000725: INVALID 00000726: JUMPDEST 00000727: ADD 00000728: SLOAD 00000729: DUP4 0000072a: SWAP1 0000072b: PUSH2 0x0cd1 0000072e: JUMP 0000072f: JUMPDEST 00000730: SWAP1 00000731: POP 00000732: PUSH2 0x074a 00000735: DUP2 00000736: PUSH1 0x04 00000738: DUP6 00000739: PUSH1 0x0a 0000073b: DUP2 0000073c: LT 0000073d: PUSH2 0x0742 00000740: JUMPI 00000741: INVALID 00000742: JUMPDEST 00000743: ADD 00000744: SLOAD 00000745: SWAP1 00000746: PUSH2 0x0c10 00000749: JUMP 0000074a: JUMPDEST 0000074b: PUSH1 0x04 0000074d: DUP5 0000074e: PUSH1 0x0a 00000750: DUP2 00000751: LT 00000752: PUSH2 0x0757 00000755: JUMPI 00000756: INVALID 00000757: JUMPDEST 00000758: ADD 00000759: SSTORE 0000075a: PUSH1 0x03 0000075c: SLOAD 0000075d: PUSH2 0x0766 00000760: SWAP1 00000761: DUP3 00000762: PUSH2 0x0c10 00000765: JUMP 00000766: JUMPDEST 00000767: PUSH1 0x03 00000769: SSTORE 0000076a: PUSH2 0x0773 0000076d: CALLER 0000076e: DUP3 0000076f: PUSH2 0x0d2e 00000772: JUMP 00000773: JUMPDEST 00000774: POP 00000775: POP 00000776: PUSH1 0x01 00000778: PUSH1 0x02 0000077a: SSTORE 0000077b: POP 0000077c: JUMP 0000077d: JUMPDEST 0000077e: PUSH1 0x00 00000780: DUP1 00000781: PUSH2 0x079a 00000784: PUSH1 0x0a 00000786: PUSH2 0x070c 00000789: SELFBALANCE 0000078a: PUSH1 0x03 0000078c: SLOAD 0000078d: PUSH2 0x0c10 00000790: SWAP1 00000791: SWAP2 00000792: SWAP1 00000793: PUSH4 0xffffffff 00000798: AND 00000799: JUMP 0000079a: JUMPDEST 0000079b: SWAP1 0000079c: POP 0000079d: PUSH2 0x07b5 000007a0: PUSH1 0x04 000007a2: DUP5 000007a3: PUSH1 0x0a 000007a5: DUP2 000007a6: LT 000007a7: PUSH2 0x07ac 000007aa: JUMPI 000007ab: INVALID 000007ac: JUMPDEST 000007ad: ADD 000007ae: SLOAD 000007af: DUP3 000007b0: SWAP1 000007b1: PUSH2 0x0cd1 000007b4: JUMP 000007b5: JUMPDEST 000007b6: SWAP4 000007b7: SWAP3 000007b8: POP 000007b9: POP 000007ba: POP 000007bb: JUMP 000007bc: JUMPDEST 000007bd: PUSH1 0x03 000007bf: SLOAD 000007c0: DUP2 000007c1: JUMP 000007c2: JUMPDEST 000007c3: PUSH1 0x0e 000007c5: DUP2 000007c6: PUSH1 0x0a 000007c8: DUP2 000007c9: LT 000007ca: PUSH2 0x07d2 000007cd: JUMPI 000007ce: PUSH1 0x00 000007d0: DUP1 000007d1: REVERT 000007d2: JUMPDEST 000007d3: ADD 000007d4: SLOAD 000007d5: PUSH1 0x01 000007d7: PUSH1 0x01 000007d9: PUSH1 0xa0 000007db: SHL 000007dc: SUB 000007dd: AND 000007de: SWAP1 000007df: POP 000007e0: DUP2 000007e1: JUMP 000007e2: JUMPDEST 000007e3: PUSH2 0x07ea 000007e6: PUSH2 0x0e18 000007e9: JUMP 000007ea: JUMPDEST 000007eb: PUSH1 0x01 000007ed: PUSH1 0x01 000007ef: PUSH1 0xa0 000007f1: SHL 000007f2: SUB 000007f3: AND 000007f4: PUSH2 0x07fb 000007f7: PUSH2 0x08a0 000007fa: JUMP 000007fb: JUMPDEST 000007fc: PUSH1 0x01 000007fe: PUSH1 0x01 00000800: PUSH1 0xa0 00000802: SHL 00000803: SUB 00000804: AND 00000805: EQ 00000806: PUSH2 0x0856 00000809: JUMPI 0000080a: PUSH1 0x40 0000080c: DUP1 0000080d: MLOAD 0000080e: PUSH3 0x461bcd 00000812: PUSH1 0xe5 00000814: SHL 00000815: DUP2 00000816: MSTORE 00000817: PUSH1 0x20 00000819: PUSH1 0x04 0000081b: DUP3 0000081c: ADD 0000081d: DUP2 0000081e: SWAP1 0000081f: MSTORE 00000820: PUSH1 0x24 00000822: DUP3 00000823: ADD 00000824: MSTORE 00000825: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000846: PUSH1 0x44 00000848: DUP3 00000849: ADD 0000084a: MSTORE 0000084b: SWAP1 0000084c: MLOAD 0000084d: SWAP1 0000084e: DUP2 0000084f: SWAP1 00000850: SUB 00000851: PUSH1 0x64 00000853: ADD 00000854: SWAP1 00000855: REVERT 00000856: JUMPDEST 00000857: PUSH1 0x00 00000859: DUP1 0000085a: SLOAD 0000085b: PUSH1 0x40 0000085d: MLOAD 0000085e: PUSH1 0x01 00000860: PUSH1 0x01 00000862: PUSH1 0xa0 00000864: SHL 00000865: SUB 00000866: SWAP1 00000867: SWAP2 00000868: AND 00000869: SWAP1 0000086a: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000088b: SWAP1 0000088c: DUP4 0000088d: SWAP1 0000088e: LOG3 0000088f: PUSH1 0x00 00000891: DUP1 00000892: SLOAD 00000893: PUSH1 0x01 00000895: PUSH1 0x01 00000897: PUSH1 0xa0 00000899: SHL 0000089a: SUB 0000089b: NOT 0000089c: AND 0000089d: SWAP1 0000089e: SSTORE 0000089f: JUMP 000008a0: JUMPDEST 000008a1: PUSH1 0x00 000008a3: SLOAD 000008a4: PUSH1 0x01 000008a6: PUSH1 0x01 000008a8: PUSH1 0xa0 000008aa: SHL 000008ab: SUB 000008ac: AND 000008ad: SWAP1 000008ae: JUMP 000008af: JUMPDEST 000008b0: PUSH1 0x0a 000008b2: DUP2 000008b3: JUMP 000008b4: JUMPDEST 000008b5: PUSH1 0x00 000008b7: DUP1 000008b8: JUMPDEST 000008b9: PUSH1 0x0a 000008bb: DUP2 000008bc: LT 000008bd: ISZERO 000008be: PUSH2 0x08f2 000008c1: JUMPI 000008c2: PUSH1 0x0e 000008c4: DUP2 000008c5: PUSH1 0x0a 000008c7: DUP2 000008c8: LT 000008c9: PUSH2 0x08ce 000008cc: JUMPI 000008cd: INVALID 000008ce: JUMPDEST 000008cf: ADD 000008d0: SLOAD 000008d1: PUSH1 0x01 000008d3: PUSH1 0x01 000008d5: PUSH1 0xa0 000008d7: SHL 000008d8: SUB 000008d9: DUP5 000008da: DUP2 000008db: AND 000008dc: SWAP2 000008dd: AND 000008de: EQ 000008df: ISZERO 000008e0: PUSH2 0x08ea 000008e3: JUMPI 000008e4: SWAP1 000008e5: POP 000008e6: PUSH2 0x062d 000008e9: JUMP 000008ea: JUMPDEST 000008eb: PUSH1 0x01 000008ed: ADD 000008ee: PUSH2 0x08b8 000008f1: JUMP 000008f2: JUMPDEST 000008f3: POP 000008f4: PUSH1 0x40 000008f6: DUP1 000008f7: MLOAD 000008f8: PUSH3 0x461bcd 000008fc: PUSH1 0xe5 000008fe: SHL 000008ff: DUP2 00000900: MSTORE 00000901: PUSH1 0x20 00000903: PUSH1 0x04 00000905: DUP3 00000906: ADD 00000907: MSTORE 00000908: PUSH1 0x11 0000090a: PUSH1 0x24 0000090c: DUP3 0000090d: ADD 0000090e: MSTORE 0000090f: PUSH17 0x1059191c995cdcc81b9bdd08199bdd5b99 00000921: PUSH1 0x7a 00000923: SHL 00000924: PUSH1 0x44 00000926: DUP3 00000927: ADD 00000928: MSTORE 00000929: SWAP1 0000092a: MLOAD 0000092b: SWAP1 0000092c: DUP2 0000092d: SWAP1 0000092e: SUB 0000092f: PUSH1 0x64 00000931: ADD 00000932: SWAP1 00000933: REVERT 00000934: JUMPDEST 00000935: PUSH1 0x04 00000937: DUP2 00000938: PUSH1 0x0a 0000093a: DUP2 0000093b: LT 0000093c: PUSH2 0x0944 0000093f: JUMPI 00000940: PUSH1 0x00 00000942: DUP1 00000943: REVERT 00000944: JUMPDEST 00000945: ADD 00000946: SLOAD 00000947: SWAP1 00000948: POP 00000949: DUP2 0000094a: JUMP 0000094b: JUMPDEST 0000094c: PUSH4 0xbc197c81 00000951: PUSH1 0xe0 00000953: SHL 00000954: SWAP6 00000955: SWAP5 00000956: POP 00000957: POP 00000958: POP 00000959: POP 0000095a: POP 0000095b: JUMP 0000095c: JUMPDEST 0000095d: PUSH2 0x0964 00000960: PUSH2 0x0e18 00000963: JUMP 00000964: JUMPDEST 00000965: PUSH1 0x01 00000967: PUSH1 0x01 00000969: PUSH1 0xa0 0000096b: SHL 0000096c: SUB 0000096d: AND 0000096e: PUSH2 0x0975 00000971: PUSH2 0x08a0 00000974: JUMP 00000975: JUMPDEST 00000976: PUSH1 0x01 00000978: PUSH1 0x01 0000097a: PUSH1 0xa0 0000097c: SHL 0000097d: SUB 0000097e: AND 0000097f: EQ 00000980: PUSH2 0x09d0 00000983: JUMPI 00000984: PUSH1 0x40 00000986: DUP1 00000987: MLOAD 00000988: PUSH3 0x461bcd 0000098c: PUSH1 0xe5 0000098e: SHL 0000098f: DUP2 00000990: MSTORE 00000991: PUSH1 0x20 00000993: PUSH1 0x04 00000995: DUP3 00000996: ADD 00000997: DUP2 00000998: SWAP1 00000999: MSTORE 0000099a: PUSH1 0x24 0000099c: DUP3 0000099d: ADD 0000099e: MSTORE 0000099f: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000009c0: PUSH1 0x44 000009c2: DUP3 000009c3: ADD 000009c4: MSTORE 000009c5: SWAP1 000009c6: MLOAD 000009c7: SWAP1 000009c8: DUP2 000009c9: SWAP1 000009ca: SUB 000009cb: PUSH1 0x64 000009cd: ADD 000009ce: SWAP1 000009cf: REVERT 000009d0: JUMPDEST 000009d1: PUSH1 0x40 000009d3: DUP1 000009d4: MLOAD 000009d5: PUSH4 0x79212195 000009da: PUSH1 0xe1 000009dc: SHL 000009dd: DUP2 000009de: MSTORE 000009df: ADDRESS 000009e0: PUSH1 0x04 000009e2: DUP3 000009e3: ADD 000009e4: MSTORE 000009e5: PUSH1 0x01 000009e7: PUSH1 0x01 000009e9: PUSH1 0xa0 000009eb: SHL 000009ec: SUB 000009ed: DUP4 000009ee: DUP2 000009ef: AND 000009f0: PUSH1 0x24 000009f2: DUP4 000009f3: ADD 000009f4: MSTORE 000009f5: PUSH1 0x44 000009f7: DUP3 000009f8: ADD 000009f9: DUP6 000009fa: SWAP1 000009fb: MSTORE 000009fc: PUSH1 0x01 000009fe: PUSH1 0x64 00000a00: DUP4 00000a01: ADD 00000a02: MSTORE 00000a03: PUSH1 0xa0 00000a05: PUSH1 0x84 00000a07: DUP4 00000a08: ADD 00000a09: MSTORE 00000a0a: PUSH1 0x00 00000a0c: PUSH1 0xa4 00000a0e: DUP4 00000a0f: ADD 00000a10: DUP2 00000a11: SWAP1 00000a12: MSTORE 00000a13: SWAP3 00000a14: MLOAD 00000a15: SWAP1 00000a16: DUP7 00000a17: AND 00000a18: SWAP3 00000a19: PUSH4 0xf242432a 00000a1e: SWAP3 00000a1f: PUSH1 0xc4 00000a21: DUP1 00000a22: DUP3 00000a23: ADD 00000a24: SWAP4 00000a25: SWAP2 00000a26: DUP3 00000a27: SWAP1 00000a28: SUB 00000a29: ADD 00000a2a: DUP2 00000a2b: DUP4 00000a2c: DUP8 00000a2d: DUP1 00000a2e: EXTCODESIZE 00000a2f: ISZERO 00000a30: DUP1 00000a31: ISZERO 00000a32: PUSH2 0x0a3a 00000a35: JUMPI 00000a36: PUSH1 0x00 00000a38: DUP1 00000a39: REVERT 00000a3a: JUMPDEST 00000a3b: POP 00000a3c: GAS 00000a3d: CALL 00000a3e: ISZERO 00000a3f: DUP1 00000a40: ISZERO 00000a41: PUSH2 0x0a4e 00000a44: JUMPI 00000a45: RETURNDATASIZE 00000a46: PUSH1 0x00 00000a48: DUP1 00000a49: RETURNDATACOPY 00000a4a: RETURNDATASIZE 00000a4b: PUSH1 0x00 00000a4d: REVERT 00000a4e: JUMPDEST 00000a4f: POP 00000a50: POP 00000a51: POP 00000a52: POP 00000a53: POP 00000a54: POP 00000a55: POP 00000a56: JUMP 00000a57: JUMPDEST 00000a58: CALLER 00000a59: PUSH1 0x0e 00000a5b: DUP4 00000a5c: PUSH1 0x0a 00000a5e: DUP2 00000a5f: LT 00000a60: PUSH2 0x0a65 00000a63: JUMPI 00000a64: INVALID 00000a65: JUMPDEST 00000a66: ADD 00000a67: SLOAD 00000a68: PUSH1 0x01 00000a6a: PUSH1 0x01 00000a6c: PUSH1 0xa0 00000a6e: SHL 00000a6f: SUB 00000a70: AND 00000a71: EQ 00000a72: PUSH2 0x0aba 00000a75: JUMPI 00000a76: PUSH1 0x40 00000a78: DUP1 00000a79: MLOAD 00000a7a: PUSH3 0x461bcd 00000a7e: PUSH1 0xe5 00000a80: SHL 00000a81: DUP2 00000a82: MSTORE 00000a83: PUSH1 0x20 00000a85: PUSH1 0x04 00000a87: DUP3 00000a88: ADD 00000a89: MSTORE 00000a8a: PUSH1 0x15 00000a8c: PUSH1 0x24 00000a8e: DUP3 00000a8f: ADD 00000a90: MSTORE 00000a91: PUSH21 0x14d95b99195c881b9bdd08185d5d1a1bdc9a5e9959 00000aa7: PUSH1 0x5a 00000aa9: SHL 00000aaa: PUSH1 0x44 00000aac: DUP3 00000aad: ADD 00000aae: MSTORE 00000aaf: SWAP1 00000ab0: MLOAD 00000ab1: SWAP1 00000ab2: DUP2 00000ab3: SWAP1 00000ab4: SUB 00000ab5: PUSH1 0x64 00000ab7: ADD 00000ab8: SWAP1 00000ab9: REVERT 00000aba: JUMPDEST 00000abb: DUP1 00000abc: PUSH1 0x0e 00000abe: DUP4 00000abf: PUSH1 0x0a 00000ac1: DUP2 00000ac2: LT 00000ac3: PUSH2 0x0ac8 00000ac6: JUMPI 00000ac7: INVALID 00000ac8: JUMPDEST 00000ac9: ADD 00000aca: DUP1 00000acb: SLOAD 00000acc: PUSH1 0x01 00000ace: PUSH1 0x01 00000ad0: PUSH1 0xa0 00000ad2: SHL 00000ad3: SUB 00000ad4: NOT 00000ad5: AND 00000ad6: PUSH1 0x01 00000ad8: PUSH1 0x01 00000ada: PUSH1 0xa0 00000adc: SHL 00000add: SUB 00000ade: SWAP3 00000adf: SWAP1 00000ae0: SWAP3 00000ae1: AND 00000ae2: SWAP2 00000ae3: SWAP1 00000ae4: SWAP2 00000ae5: OR 00000ae6: SWAP1 00000ae7: SSTORE 00000ae8: POP 00000ae9: POP 00000aea: JUMP 00000aeb: JUMPDEST 00000aec: PUSH4 0xf23a6e61 00000af1: PUSH1 0xe0 00000af3: SHL 00000af4: SWAP6 00000af5: SWAP5 00000af6: POP 00000af7: POP 00000af8: POP 00000af9: POP 00000afa: POP 00000afb: JUMP 00000afc: JUMPDEST 00000afd: PUSH2 0x0b04 00000b00: PUSH2 0x0e18 00000b03: JUMP 00000b04: JUMPDEST 00000b05: PUSH1 0x01 00000b07: PUSH1 0x01 00000b09: PUSH1 0xa0 00000b0b: SHL 00000b0c: SUB 00000b0d: AND 00000b0e: PUSH2 0x0b15 00000b11: PUSH2 0x08a0 00000b14: JUMP 00000b15: JUMPDEST 00000b16: PUSH1 0x01 00000b18: PUSH1 0x01 00000b1a: PUSH1 0xa0 00000b1c: SHL 00000b1d: SUB 00000b1e: AND 00000b1f: EQ 00000b20: PUSH2 0x0b70 00000b23: JUMPI 00000b24: PUSH1 0x40 00000b26: DUP1 00000b27: MLOAD 00000b28: PUSH3 0x461bcd 00000b2c: PUSH1 0xe5 00000b2e: SHL 00000b2f: DUP2 00000b30: MSTORE 00000b31: PUSH1 0x20 00000b33: PUSH1 0x04 00000b35: DUP3 00000b36: ADD 00000b37: DUP2 00000b38: SWAP1 00000b39: MSTORE 00000b3a: PUSH1 0x24 00000b3c: DUP3 00000b3d: ADD 00000b3e: MSTORE 00000b3f: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000b60: PUSH1 0x44 00000b62: DUP3 00000b63: ADD 00000b64: MSTORE 00000b65: SWAP1 00000b66: MLOAD 00000b67: SWAP1 00000b68: DUP2 00000b69: SWAP1 00000b6a: SUB 00000b6b: PUSH1 0x64 00000b6d: ADD 00000b6e: SWAP1 00000b6f: REVERT 00000b70: JUMPDEST 00000b71: PUSH1 0x01 00000b73: PUSH1 0x01 00000b75: PUSH1 0xa0 00000b77: SHL 00000b78: SUB 00000b79: DUP2 00000b7a: AND 00000b7b: PUSH2 0x0bb5 00000b7e: JUMPI 00000b7f: PUSH1 0x40 00000b81: MLOAD 00000b82: PUSH3 0x461bcd 00000b86: PUSH1 0xe5 00000b88: SHL 00000b89: DUP2 00000b8a: MSTORE 00000b8b: PUSH1 0x04 00000b8d: ADD 00000b8e: DUP1 00000b8f: DUP1 00000b90: PUSH1 0x20 00000b92: ADD 00000b93: DUP3 00000b94: DUP2 00000b95: SUB 00000b96: DUP3 00000b97: MSTORE 00000b98: PUSH1 0x26 00000b9a: DUP2 00000b9b: MSTORE 00000b9c: PUSH1 0x20 00000b9e: ADD 00000b9f: DUP1 00000ba0: PUSH2 0x0e1d 00000ba3: PUSH1 0x26 00000ba5: SWAP2 00000ba6: CODECOPY 00000ba7: PUSH1 0x40 00000ba9: ADD 00000baa: SWAP2 00000bab: POP 00000bac: POP 00000bad: PUSH1 0x40 00000baf: MLOAD 00000bb0: DUP1 00000bb1: SWAP2 00000bb2: SUB 00000bb3: SWAP1 00000bb4: REVERT 00000bb5: JUMPDEST 00000bb6: PUSH1 0x00 00000bb8: DUP1 00000bb9: SLOAD 00000bba: PUSH1 0x40 00000bbc: MLOAD 00000bbd: PUSH1 0x01 00000bbf: PUSH1 0x01 00000bc1: PUSH1 0xa0 00000bc3: SHL 00000bc4: SUB 00000bc5: DUP1 00000bc6: DUP6 00000bc7: AND 00000bc8: SWAP4 00000bc9: SWAP3 00000bca: AND 00000bcb: SWAP2 00000bcc: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000bed: SWAP2 00000bee: LOG3 00000bef: PUSH1 0x00 00000bf1: DUP1 00000bf2: SLOAD 00000bf3: PUSH1 0x01 00000bf5: PUSH1 0x01 00000bf7: PUSH1 0xa0 00000bf9: SHL 00000bfa: SUB 00000bfb: NOT 00000bfc: AND 00000bfd: PUSH1 0x01 00000bff: PUSH1 0x01 00000c01: PUSH1 0xa0 00000c03: SHL 00000c04: SUB 00000c05: SWAP3 00000c06: SWAP1 00000c07: SWAP3 00000c08: AND 00000c09: SWAP2 00000c0a: SWAP1 00000c0b: SWAP2 00000c0c: OR 00000c0d: SWAP1 00000c0e: SSTORE 00000c0f: JUMP 00000c10: JUMPDEST 00000c11: PUSH1 0x00 00000c13: DUP3 00000c14: DUP3 00000c15: ADD 00000c16: DUP4 00000c17: DUP2 00000c18: LT 00000c19: ISZERO 00000c1a: PUSH2 0x07b5 00000c1d: JUMPI 00000c1e: PUSH1 0x40 00000c20: DUP1 00000c21: MLOAD 00000c22: PUSH3 0x461bcd 00000c26: PUSH1 0xe5 00000c28: SHL 00000c29: DUP2 00000c2a: MSTORE 00000c2b: PUSH1 0x20 00000c2d: PUSH1 0x04 00000c2f: DUP3 00000c30: ADD 00000c31: MSTORE 00000c32: PUSH1 0x1b 00000c34: PUSH1 0x24 00000c36: DUP3 00000c37: ADD 00000c38: MSTORE 00000c39: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 00000c5a: PUSH1 0x44 00000c5c: DUP3 00000c5d: ADD 00000c5e: MSTORE 00000c5f: SWAP1 00000c60: MLOAD 00000c61: SWAP1 00000c62: DUP2 00000c63: SWAP1 00000c64: SUB 00000c65: PUSH1 0x64 00000c67: ADD 00000c68: SWAP1 00000c69: REVERT 00000c6a: JUMPDEST 00000c6b: PUSH1 0x00 00000c6d: DUP1 00000c6e: DUP3 00000c6f: GT 00000c70: PUSH2 0x0cc0 00000c73: JUMPI 00000c74: PUSH1 0x40 00000c76: DUP1 00000c77: MLOAD 00000c78: PUSH3 0x461bcd 00000c7c: PUSH1 0xe5 00000c7e: SHL 00000c7f: DUP2 00000c80: MSTORE 00000c81: PUSH1 0x20 00000c83: PUSH1 0x04 00000c85: DUP3 00000c86: ADD 00000c87: MSTORE 00000c88: PUSH1 0x1a 00000c8a: PUSH1 0x24 00000c8c: DUP3 00000c8d: ADD 00000c8e: MSTORE 00000c8f: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 00000cb0: PUSH1 0x44 00000cb2: DUP3 00000cb3: ADD 00000cb4: MSTORE 00000cb5: SWAP1 00000cb6: MLOAD 00000cb7: SWAP1 00000cb8: DUP2 00000cb9: SWAP1 00000cba: SUB 00000cbb: PUSH1 0x64 00000cbd: ADD 00000cbe: SWAP1 00000cbf: REVERT 00000cc0: JUMPDEST 00000cc1: DUP2 00000cc2: DUP4 00000cc3: DUP2 00000cc4: PUSH2 0x0cc9 00000cc7: JUMPI 00000cc8: INVALID 00000cc9: JUMPDEST 00000cca: DIV 00000ccb: SWAP4 00000ccc: SWAP3 00000ccd: POP 00000cce: POP 00000ccf: POP 00000cd0: JUMP 00000cd1: JUMPDEST 00000cd2: PUSH1 0x00 00000cd4: DUP3 00000cd5: DUP3 00000cd6: GT 00000cd7: ISZERO 00000cd8: PUSH2 0x0d28 00000cdb: JUMPI 00000cdc: PUSH1 0x40 00000cde: DUP1 00000cdf: MLOAD 00000ce0: PUSH3 0x461bcd 00000ce4: PUSH1 0xe5 00000ce6: SHL 00000ce7: DUP2 00000ce8: MSTORE 00000ce9: PUSH1 0x20 00000ceb: PUSH1 0x04 00000ced: DUP3 00000cee: ADD 00000cef: MSTORE 00000cf0: PUSH1 0x1e 00000cf2: PUSH1 0x24 00000cf4: DUP3 00000cf5: ADD 00000cf6: MSTORE 00000cf7: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00000d18: PUSH1 0x44 00000d1a: DUP3 00000d1b: ADD 00000d1c: MSTORE 00000d1d: SWAP1 00000d1e: MLOAD 00000d1f: SWAP1 00000d20: DUP2 00000d21: SWAP1 00000d22: SUB 00000d23: PUSH1 0x64 00000d25: ADD 00000d26: SWAP1 00000d27: REVERT 00000d28: JUMPDEST 00000d29: POP 00000d2a: SWAP1 00000d2b: SUB 00000d2c: SWAP1 00000d2d: JUMP 00000d2e: JUMPDEST 00000d2f: DUP1 00000d30: SELFBALANCE 00000d31: LT 00000d32: ISZERO 00000d33: PUSH2 0x0d83 00000d36: JUMPI 00000d37: PUSH1 0x40 00000d39: DUP1 00000d3a: MLOAD 00000d3b: PUSH3 0x461bcd 00000d3f: PUSH1 0xe5 00000d41: SHL 00000d42: DUP2 00000d43: MSTORE 00000d44: PUSH1 0x20 00000d46: PUSH1 0x04 00000d48: DUP3 00000d49: ADD 00000d4a: MSTORE 00000d4b: PUSH1 0x1d 00000d4d: PUSH1 0x24 00000d4f: DUP3 00000d50: ADD 00000d51: MSTORE 00000d52: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 00000d73: PUSH1 0x44 00000d75: DUP3 00000d76: ADD 00000d77: MSTORE 00000d78: SWAP1 00000d79: MLOAD 00000d7a: SWAP1 00000d7b: DUP2 00000d7c: SWAP1 00000d7d: SUB 00000d7e: PUSH1 0x64 00000d80: ADD 00000d81: SWAP1 00000d82: REVERT 00000d83: JUMPDEST 00000d84: PUSH1 0x40 00000d86: MLOAD 00000d87: PUSH1 0x00 00000d89: SWAP1 00000d8a: PUSH1 0x01 00000d8c: PUSH1 0x01 00000d8e: PUSH1 0xa0 00000d90: SHL 00000d91: SUB 00000d92: DUP5 00000d93: AND 00000d94: SWAP1 00000d95: DUP4 00000d96: SWAP1 00000d97: DUP4 00000d98: DUP2 00000d99: DUP2 00000d9a: DUP2 00000d9b: DUP6 00000d9c: DUP8 00000d9d: GAS 00000d9e: CALL 00000d9f: SWAP3 00000da0: POP 00000da1: POP 00000da2: POP 00000da3: RETURNDATASIZE 00000da4: DUP1 00000da5: PUSH1 0x00 00000da7: DUP2 00000da8: EQ 00000da9: PUSH2 0x0dce 00000dac: JUMPI 00000dad: PUSH1 0x40 00000daf: MLOAD 00000db0: SWAP2 00000db1: POP 00000db2: PUSH1 0x1f 00000db4: NOT 00000db5: PUSH1 0x3f 00000db7: RETURNDATASIZE 00000db8: ADD 00000db9: AND 00000dba: DUP3 00000dbb: ADD 00000dbc: PUSH1 0x40 00000dbe: MSTORE 00000dbf: RETURNDATASIZE 00000dc0: DUP3 00000dc1: MSTORE 00000dc2: RETURNDATASIZE 00000dc3: PUSH1 0x00 00000dc5: PUSH1 0x20 00000dc7: DUP5 00000dc8: ADD 00000dc9: RETURNDATACOPY 00000dca: PUSH2 0x0dd3 00000dcd: JUMP 00000dce: JUMPDEST 00000dcf: PUSH1 0x60 00000dd1: SWAP2 00000dd2: POP 00000dd3: JUMPDEST 00000dd4: POP 00000dd5: POP 00000dd6: SWAP1 00000dd7: POP 00000dd8: DUP1 00000dd9: PUSH2 0x0e13 00000ddc: JUMPI 00000ddd: PUSH1 0x40 00000ddf: MLOAD 00000de0: PUSH3 0x461bcd 00000de4: PUSH1 0xe5 00000de6: SHL 00000de7: DUP2 00000de8: MSTORE 00000de9: PUSH1 0x04 00000deb: ADD 00000dec: DUP1 00000ded: DUP1 00000dee: PUSH1 0x20 00000df0: ADD 00000df1: DUP3 00000df2: DUP2 00000df3: SUB 00000df4: DUP3 00000df5: MSTORE 00000df6: PUSH1 0x3a 00000df8: DUP2 00000df9: MSTORE 00000dfa: PUSH1 0x20 00000dfc: ADD 00000dfd: DUP1 00000dfe: PUSH2 0x0e43 00000e01: PUSH1 0x3a 00000e03: SWAP2 00000e04: CODECOPY 00000e05: PUSH1 0x40 00000e07: ADD 00000e08: SWAP2 00000e09: POP 00000e0a: POP 00000e0b: PUSH1 0x40 00000e0d: MLOAD 00000e0e: DUP1 00000e0f: SWAP2 00000e10: SUB 00000e11: SWAP1 00000e12: REVERT 00000e13: JUMPDEST 00000e14: POP 00000e15: POP 00000e16: POP 00000e17: JUMP 00000e18: JUMPDEST 00000e19: CALLER 00000e1a: SWAP1 00000e1b: JUMP 00000e1c: INVALID 00000e1d: UNKNOWN(0x4F) 00000e1e: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520 00000e37: PUSH27 0x65726f2061646472657373416464726573733a20756e61626c6520 00000e53: PUSH21 0x6f2073656e642076616c75652c2072656369706965 00000e69: PUSH15 0x74206d617920686176652072657665 00000e79: PUSH19 0x746564a26469706673582212205a72df0b40c1 00000e8d: PUSH5 0x42c5773434 00000e93: BALANCE 00000e94: UNKNOWN(0xD9) 00000e95: RETURN 00000e96: UNKNOWN(0xD7) 00000e97: UNKNOWN(0xCA) 00000e98: PUSH11 0x0d4d47800250306934a637 00000ea4: UNKNOWN(0xE7) 00000ea5: UNKNOWN(0xEB) 00000ea6: SWAP7 00000ea7: PUSH5 0x736f6c6343 00000ead: STOP 00000eae: SMOD 00000eaf: MOD 00000eb0: STOP 00000eb1: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x8df0be0c7dc7854a9c2e133dacb96a1f381a1fd8a008bb9e6001239fa8c35287
call_targets:
0x6ec56ab97c3e6a97ad3cdae007e21f5cf1e55f54
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8df0be0c7dc7854a9c2e133dacb96a1f381a1fd8a008bb9e6001239fa8c35287",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6ec56ab97c3e6a97ad3cdae007e21f5cf1e55f54"
],
"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": "0xdbba0f01",
"selector": "0xdbba0f01",
"calldata_variants": [
"0xdbba0f01",
"0xdbba0f010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe68c24ae",
"selector": "0xe68c24ae",
"calldata_variants": [
"0xe68c24ae",
"0xe68c24ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf23a6e61",
"selector": "0xf23a6e61",
"calldata_variants": [
"0xf23a6e61",
"0xf23a6e610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa5c1457b",
"selector": "0xa5c1457b",
"calldata_variants": [
"0xa5c1457b",
"0xa5c1457b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb31610db",
"selector": "0xb31610db",
"calldata_variants": [
"0xb31610db",
"0xb31610db0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb996e5fa",
"selector": "0xb996e5fa",
"calldata_variants": [
"0xb996e5fa",
"0xb996e5fa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc197c81",
"selector": "0xbc197c81",
"calldata_variants": [
"0xbc197c81",
"0xbc197c810000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2621,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3486,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x8df0be0c7dc7854a9c2e133dacb96a1f381a1fd8a008bb9e6001239fa8c35287
call_targets:
0x6ec56ab97c3e6a97ad3cdae007e21f5cf1e55f54
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8df0be0c7dc7854a9c2e133dacb96a1f381a1fd8a008bb9e6001239fa8c35287",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6ec56ab97c3e6a97ad3cdae007e21f5cf1e55f54"
],
"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": "0xdbba0f01",
"selector": "0xdbba0f01",
"calldata_variants": [
"0xdbba0f01",
"0xdbba0f010000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe68c24ae",
"selector": "0xe68c24ae",
"calldata_variants": [
"0xe68c24ae",
"0xe68c24ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf23a6e61",
"selector": "0xf23a6e61",
"calldata_variants": [
"0xf23a6e61",
"0xf23a6e610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa5c1457b",
"selector": "0xa5c1457b",
"calldata_variants": [
"0xa5c1457b",
"0xa5c1457b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb31610db",
"selector": "0xb31610db",
"calldata_variants": [
"0xb31610db",
"0xb31610db0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb996e5fa",
"selector": "0xb996e5fa",
"calldata_variants": [
"0xb996e5fa",
"0xb996e5fa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc197c81",
"selector": "0xbc197c81",
"calldata_variants": [
"0xbc197c81",
"0xbc197c810000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2621,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3486,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|