019b477e-d68c-730e-94ec-f58fbf8836f7
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 |
|---|---|---|---|---|
| 28725 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 28726 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 71872 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 71873 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 71874 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 71875 | 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 0x00c5 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x5eb7413a 00000018: GT 00000019: PUSH2 0x007e 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0x7c405325 00000023: GT 00000024: PUSH2 0x0058 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0x7c405325 0000002e: EQ 0000002f: PUSH2 0x030e 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0x86608326 00000039: EQ 0000003a: PUSH2 0x0336 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0x899aa991 00000044: EQ 00000045: PUSH2 0x0360 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xfe273467 0000004f: EQ 00000050: PUSH2 0x038a 00000053: JUMPI 00000054: PUSH2 0x0196 00000057: JUMP 00000058: JUMPDEST 00000059: DUP1 0000005a: PUSH4 0x5eb7413a 0000005f: EQ 00000060: PUSH2 0x0294 00000063: JUMPI 00000064: DUP1 00000065: PUSH4 0x6e27d889 0000006a: EQ 0000006b: PUSH2 0x02d0 0000006e: JUMPI 0000006f: DUP1 00000070: PUSH4 0x73c95545 00000075: EQ 00000076: PUSH2 0x02f8 00000079: JUMPI 0000007a: PUSH2 0x0196 0000007d: JUMP 0000007e: JUMPDEST 0000007f: DUP1 00000080: PUSH4 0x08ba8a76 00000085: EQ 00000086: PUSH2 0x019a 00000089: JUMPI 0000008a: DUP1 0000008b: PUSH4 0x2b1200cd 00000090: EQ 00000091: PUSH2 0x01c4 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0x44672d93 0000009b: EQ 0000009c: PUSH2 0x01da 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0x44f53c01 000000a6: EQ 000000a7: PUSH2 0x0204 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0x56891412 000000b1: EQ 000000b2: PUSH2 0x022e 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0x56c7c1b3 000000bc: EQ 000000bd: PUSH2 0x0258 000000c0: JUMPI 000000c1: PUSH2 0x0196 000000c4: JUMP 000000c5: JUMPDEST 000000c6: CALLDATASIZE 000000c7: PUSH2 0x0196 000000ca: JUMPI 000000cb: PUSH0 000000cc: CALLVALUE 000000cd: GT 000000ce: PUSH2 0x010c 000000d1: JUMPI 000000d2: PUSH1 0x40 000000d4: MLOAD 000000d5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000000f6: DUP2 000000f7: MSTORE 000000f8: PUSH1 0x04 000000fa: ADD 000000fb: PUSH2 0x0103 000000fe: SWAP1 000000ff: PUSH2 0x1012 00000102: JUMP 00000103: JUMPDEST 00000104: PUSH1 0x40 00000106: MLOAD 00000107: DUP1 00000108: SWAP2 00000109: SUB 0000010a: SWAP1 0000010b: REVERT 0000010c: JUMPDEST 0000010d: CALLVALUE 0000010e: PUSH1 0x07 00000110: PUSH0 00000111: DUP3 00000112: DUP3 00000113: SLOAD 00000114: PUSH2 0x011d 00000117: SWAP2 00000118: SWAP1 00000119: PUSH2 0x1066 0000011c: JUMP 0000011d: JUMPDEST 0000011e: SWAP3 0000011f: POP 00000120: POP 00000121: DUP2 00000122: SWAP1 00000123: SSTORE 00000124: POP 00000125: CALLVALUE 00000126: PUSH1 0x08 00000128: PUSH0 00000129: DUP3 0000012a: DUP3 0000012b: SLOAD 0000012c: PUSH2 0x0135 0000012f: SWAP2 00000130: SWAP1 00000131: PUSH2 0x1066 00000134: JUMP 00000135: JUMPDEST 00000136: SWAP3 00000137: POP 00000138: POP 00000139: DUP2 0000013a: SWAP1 0000013b: SSTORE 0000013c: POP 0000013d: PUSH1 0x09 0000013f: PUSH0 00000140: SWAP1 00000141: SLOAD 00000142: SWAP1 00000143: PUSH2 0x0100 00000146: EXP 00000147: SWAP1 00000148: DIV 00000149: PUSH1 0xff 0000014b: AND 0000014c: ISZERO 0000014d: PUSH2 0x0159 00000150: JUMPI 00000151: PUSH2 0x0158 00000154: PUSH2 0x03c6 00000157: JUMP 00000158: JUMPDEST 00000159: JUMPDEST 0000015a: PUSH32 0xe8da57c58157df0f4902609578e5e09df6eeefa06f36517abf37fa84d9effe8e 0000017b: CALLVALUE 0000017c: PUSH1 0x08 0000017e: SLOAD 0000017f: PUSH1 0x40 00000181: MLOAD 00000182: PUSH2 0x018c 00000185: SWAP3 00000186: SWAP2 00000187: SWAP1 00000188: PUSH2 0x10a8 0000018b: JUMP 0000018c: JUMPDEST 0000018d: PUSH1 0x40 0000018f: MLOAD 00000190: DUP1 00000191: SWAP2 00000192: SUB 00000193: SWAP1 00000194: LOG1 00000195: STOP 00000196: JUMPDEST 00000197: PUSH0 00000198: DUP1 00000199: REVERT 0000019a: JUMPDEST 0000019b: CALLVALUE 0000019c: DUP1 0000019d: ISZERO 0000019e: PUSH2 0x01a5 000001a1: JUMPI 000001a2: PUSH0 000001a3: DUP1 000001a4: REVERT 000001a5: JUMPDEST 000001a6: POP 000001a7: PUSH2 0x01ae 000001aa: PUSH2 0x0618 000001ad: JUMP 000001ae: JUMPDEST 000001af: PUSH1 0x40 000001b1: MLOAD 000001b2: PUSH2 0x01bb 000001b5: SWAP2 000001b6: SWAP1 000001b7: PUSH2 0x10cf 000001ba: JUMP 000001bb: JUMPDEST 000001bc: PUSH1 0x40 000001be: MLOAD 000001bf: DUP1 000001c0: SWAP2 000001c1: SUB 000001c2: SWAP1 000001c3: RETURN 000001c4: JUMPDEST 000001c5: CALLVALUE 000001c6: DUP1 000001c7: ISZERO 000001c8: PUSH2 0x01cf 000001cb: JUMPI 000001cc: PUSH0 000001cd: DUP1 000001ce: REVERT 000001cf: JUMPDEST 000001d0: POP 000001d1: PUSH2 0x01d8 000001d4: PUSH2 0x061e 000001d7: JUMP 000001d8: JUMPDEST 000001d9: STOP 000001da: JUMPDEST 000001db: CALLVALUE 000001dc: DUP1 000001dd: ISZERO 000001de: PUSH2 0x01e5 000001e1: JUMPI 000001e2: PUSH0 000001e3: DUP1 000001e4: REVERT 000001e5: JUMPDEST 000001e6: POP 000001e7: PUSH2 0x01ee 000001ea: PUSH2 0x0758 000001ed: JUMP 000001ee: JUMPDEST 000001ef: PUSH1 0x40 000001f1: MLOAD 000001f2: PUSH2 0x01fb 000001f5: SWAP2 000001f6: SWAP1 000001f7: PUSH2 0x1162 000001fa: JUMP 000001fb: JUMPDEST 000001fc: PUSH1 0x40 000001fe: MLOAD 000001ff: DUP1 00000200: SWAP2 00000201: SUB 00000202: SWAP1 00000203: RETURN 00000204: JUMPDEST 00000205: CALLVALUE 00000206: DUP1 00000207: ISZERO 00000208: PUSH2 0x020f 0000020b: JUMPI 0000020c: PUSH0 0000020d: DUP1 0000020e: REVERT 0000020f: JUMPDEST 00000210: POP 00000211: PUSH2 0x0218 00000214: PUSH2 0x077b 00000217: JUMP 00000218: JUMPDEST 00000219: PUSH1 0x40 0000021b: MLOAD 0000021c: PUSH2 0x0225 0000021f: SWAP2 00000220: SWAP1 00000221: PUSH2 0x10cf 00000224: JUMP 00000225: JUMPDEST 00000226: PUSH1 0x40 00000228: MLOAD 00000229: DUP1 0000022a: SWAP2 0000022b: SUB 0000022c: SWAP1 0000022d: RETURN 0000022e: JUMPDEST 0000022f: CALLVALUE 00000230: DUP1 00000231: ISZERO 00000232: PUSH2 0x0239 00000235: JUMPI 00000236: PUSH0 00000237: DUP1 00000238: REVERT 00000239: JUMPDEST 0000023a: POP 0000023b: PUSH2 0x0242 0000023e: PUSH2 0x0781 00000241: JUMP 00000242: JUMPDEST 00000243: PUSH1 0x40 00000245: MLOAD 00000246: PUSH2 0x024f 00000249: SWAP2 0000024a: SWAP1 0000024b: PUSH2 0x10cf 0000024e: JUMP 0000024f: JUMPDEST 00000250: PUSH1 0x40 00000252: MLOAD 00000253: DUP1 00000254: SWAP2 00000255: SUB 00000256: SWAP1 00000257: RETURN 00000258: JUMPDEST 00000259: CALLVALUE 0000025a: DUP1 0000025b: ISZERO 0000025c: PUSH2 0x0263 0000025f: JUMPI 00000260: PUSH0 00000261: DUP1 00000262: REVERT 00000263: JUMPDEST 00000264: POP 00000265: PUSH2 0x027e 00000268: PUSH1 0x04 0000026a: DUP1 0000026b: CALLDATASIZE 0000026c: SUB 0000026d: DUP2 0000026e: ADD 0000026f: SWAP1 00000270: PUSH2 0x0279 00000273: SWAP2 00000274: SWAP1 00000275: PUSH2 0x11ba 00000278: JUMP 00000279: JUMPDEST 0000027a: PUSH2 0x0787 0000027d: JUMP 0000027e: JUMPDEST 0000027f: PUSH1 0x40 00000281: MLOAD 00000282: PUSH2 0x028b 00000285: SWAP2 00000286: SWAP1 00000287: PUSH2 0x10cf 0000028a: JUMP 0000028b: JUMPDEST 0000028c: PUSH1 0x40 0000028e: MLOAD 0000028f: DUP1 00000290: SWAP2 00000291: SUB 00000292: SWAP1 00000293: RETURN 00000294: JUMPDEST 00000295: CALLVALUE 00000296: DUP1 00000297: ISZERO 00000298: PUSH2 0x029f 0000029b: JUMPI 0000029c: PUSH0 0000029d: DUP1 0000029e: REVERT 0000029f: JUMPDEST 000002a0: POP 000002a1: PUSH2 0x02ba 000002a4: PUSH1 0x04 000002a6: DUP1 000002a7: CALLDATASIZE 000002a8: SUB 000002a9: DUP2 000002aa: ADD 000002ab: SWAP1 000002ac: PUSH2 0x02b5 000002af: SWAP2 000002b0: SWAP1 000002b1: PUSH2 0x11ba 000002b4: JUMP 000002b5: JUMPDEST 000002b6: PUSH2 0x079c 000002b9: JUMP 000002ba: JUMPDEST 000002bb: PUSH1 0x40 000002bd: MLOAD 000002be: PUSH2 0x02c7 000002c1: SWAP2 000002c2: SWAP1 000002c3: PUSH2 0x10cf 000002c6: JUMP 000002c7: JUMPDEST 000002c8: PUSH1 0x40 000002ca: MLOAD 000002cb: DUP1 000002cc: SWAP2 000002cd: SUB 000002ce: SWAP1 000002cf: RETURN 000002d0: JUMPDEST 000002d1: CALLVALUE 000002d2: DUP1 000002d3: ISZERO 000002d4: PUSH2 0x02db 000002d7: JUMPI 000002d8: PUSH0 000002d9: DUP1 000002da: REVERT 000002db: JUMPDEST 000002dc: POP 000002dd: PUSH2 0x02f6 000002e0: PUSH1 0x04 000002e2: DUP1 000002e3: CALLDATASIZE 000002e4: SUB 000002e5: DUP2 000002e6: ADD 000002e7: SWAP1 000002e8: PUSH2 0x02f1 000002eb: SWAP2 000002ec: SWAP1 000002ed: PUSH2 0x120f 000002f0: JUMP 000002f1: JUMPDEST 000002f2: PUSH2 0x07b1 000002f5: JUMP 000002f6: JUMPDEST 000002f7: STOP 000002f8: JUMPDEST 000002f9: CALLVALUE 000002fa: DUP1 000002fb: ISZERO 000002fc: PUSH2 0x0303 000002ff: JUMPI 00000300: PUSH0 00000301: DUP1 00000302: REVERT 00000303: JUMPDEST 00000304: POP 00000305: PUSH2 0x030c 00000308: PUSH2 0x0adb 0000030b: JUMP 0000030c: JUMPDEST 0000030d: STOP 0000030e: JUMPDEST 0000030f: CALLVALUE 00000310: DUP1 00000311: ISZERO 00000312: PUSH2 0x0319 00000315: JUMPI 00000316: PUSH0 00000317: DUP1 00000318: REVERT 00000319: JUMPDEST 0000031a: POP 0000031b: PUSH2 0x0334 0000031e: PUSH1 0x04 00000320: DUP1 00000321: CALLDATASIZE 00000322: SUB 00000323: DUP2 00000324: ADD 00000325: SWAP1 00000326: PUSH2 0x032f 00000329: SWAP2 0000032a: SWAP1 0000032b: PUSH2 0x120f 0000032e: JUMP 0000032f: JUMPDEST 00000330: PUSH2 0x0c83 00000333: JUMP 00000334: JUMPDEST 00000335: STOP 00000336: JUMPDEST 00000337: CALLVALUE 00000338: DUP1 00000339: ISZERO 0000033a: PUSH2 0x0341 0000033d: JUMPI 0000033e: PUSH0 0000033f: DUP1 00000340: REVERT 00000341: JUMPDEST 00000342: POP 00000343: PUSH2 0x034a 00000346: PUSH2 0x0f65 00000349: JUMP 0000034a: JUMPDEST 0000034b: PUSH1 0x40 0000034d: MLOAD 0000034e: PUSH2 0x0357 00000351: SWAP2 00000352: SWAP1 00000353: PUSH2 0x1254 00000356: JUMP 00000357: JUMPDEST 00000358: PUSH1 0x40 0000035a: MLOAD 0000035b: DUP1 0000035c: SWAP2 0000035d: SUB 0000035e: SWAP1 0000035f: RETURN 00000360: JUMPDEST 00000361: CALLVALUE 00000362: DUP1 00000363: ISZERO 00000364: PUSH2 0x036b 00000367: JUMPI 00000368: PUSH0 00000369: DUP1 0000036a: REVERT 0000036b: JUMPDEST 0000036c: POP 0000036d: PUSH2 0x0374 00000370: PUSH2 0x0f77 00000373: JUMP 00000374: JUMPDEST 00000375: PUSH1 0x40 00000377: MLOAD 00000378: PUSH2 0x0381 0000037b: SWAP2 0000037c: SWAP1 0000037d: PUSH2 0x10cf 00000380: JUMP 00000381: JUMPDEST 00000382: PUSH1 0x40 00000384: MLOAD 00000385: DUP1 00000386: SWAP2 00000387: SUB 00000388: SWAP1 00000389: RETURN 0000038a: JUMPDEST 0000038b: CALLVALUE 0000038c: DUP1 0000038d: ISZERO 0000038e: PUSH2 0x0395 00000391: JUMPI 00000392: PUSH0 00000393: DUP1 00000394: REVERT 00000395: JUMPDEST 00000396: POP 00000397: PUSH2 0x03b0 0000039a: PUSH1 0x04 0000039c: DUP1 0000039d: CALLDATASIZE 0000039e: SUB 0000039f: DUP2 000003a0: ADD 000003a1: SWAP1 000003a2: PUSH2 0x03ab 000003a5: SWAP2 000003a6: SWAP1 000003a7: PUSH2 0x11ba 000003aa: JUMP 000003ab: JUMPDEST 000003ac: PUSH2 0x0f7d 000003af: JUMP 000003b0: JUMPDEST 000003b1: PUSH1 0x40 000003b3: MLOAD 000003b4: PUSH2 0x03bd 000003b7: SWAP2 000003b8: SWAP1 000003b9: PUSH2 0x10cf 000003bc: JUMP 000003bd: JUMPDEST 000003be: PUSH1 0x40 000003c0: MLOAD 000003c1: DUP1 000003c2: SWAP2 000003c3: SUB 000003c4: SWAP1 000003c5: RETURN 000003c6: JUMPDEST 000003c7: PUSH1 0x09 000003c9: PUSH0 000003ca: SWAP1 000003cb: SLOAD 000003cc: SWAP1 000003cd: PUSH2 0x0100 000003d0: EXP 000003d1: SWAP1 000003d2: DIV 000003d3: PUSH1 0xff 000003d5: AND 000003d6: PUSH2 0x0414 000003d9: JUMPI 000003da: PUSH1 0x40 000003dc: MLOAD 000003dd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000003fe: DUP2 000003ff: MSTORE 00000400: PUSH1 0x04 00000402: ADD 00000403: PUSH2 0x040b 00000406: SWAP1 00000407: PUSH2 0x12dd 0000040a: JUMP 0000040b: JUMPDEST 0000040c: PUSH1 0x40 0000040e: MLOAD 0000040f: DUP1 00000410: SWAP2 00000411: SUB 00000412: SWAP1 00000413: REVERT 00000414: JUMPDEST 00000415: PUSH0 00000416: PUSH1 0x07 00000418: SLOAD 00000419: SWAP1 0000041a: POP 0000041b: PUSH0 0000041c: DUP1 0000041d: JUMPDEST 0000041e: PUSH1 0x05 00000420: DUP1 00000421: SLOAD 00000422: SWAP1 00000423: POP 00000424: DUP2 00000425: LT 00000426: ISZERO 00000427: PUSH2 0x0578 0000042a: JUMPI 0000042b: PUSH0 0000042c: PUSH1 0x05 0000042e: DUP3 0000042f: DUP2 00000430: SLOAD 00000431: DUP2 00000432: LT 00000433: PUSH2 0x043f 00000436: JUMPI 00000437: PUSH2 0x043e 0000043a: PUSH2 0x12fb 0000043d: JUMP 0000043e: JUMPDEST 0000043f: JUMPDEST 00000440: SWAP1 00000441: PUSH0 00000442: MSTORE 00000443: PUSH1 0x20 00000445: PUSH0 00000446: KECCAK256 00000447: ADD 00000448: PUSH0 00000449: SWAP1 0000044a: SLOAD 0000044b: SWAP1 0000044c: PUSH2 0x0100 0000044f: EXP 00000450: SWAP1 00000451: DIV 00000452: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000467: AND 00000468: SWAP1 00000469: POP 0000046a: PUSH0 0000046b: PUSH1 0x01 0000046d: PUSH0 0000046e: DUP4 0000046f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000484: AND 00000485: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000049a: AND 0000049b: DUP2 0000049c: MSTORE 0000049d: PUSH1 0x20 0000049f: ADD 000004a0: SWAP1 000004a1: DUP2 000004a2: MSTORE 000004a3: PUSH1 0x20 000004a5: ADD 000004a6: PUSH0 000004a7: KECCAK256 000004a8: SLOAD 000004a9: GT 000004aa: ISZERO 000004ab: PUSH2 0x056a 000004ae: JUMPI 000004af: PUSH0 000004b0: PUSH1 0x06 000004b2: SLOAD 000004b3: DUP6 000004b4: PUSH1 0x01 000004b6: PUSH0 000004b7: DUP6 000004b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004cd: AND 000004ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004e3: AND 000004e4: DUP2 000004e5: MSTORE 000004e6: PUSH1 0x20 000004e8: ADD 000004e9: SWAP1 000004ea: DUP2 000004eb: MSTORE 000004ec: PUSH1 0x20 000004ee: ADD 000004ef: PUSH0 000004f0: KECCAK256 000004f1: SLOAD 000004f2: PUSH2 0x04fb 000004f5: SWAP2 000004f6: SWAP1 000004f7: PUSH2 0x1328 000004fa: JUMP 000004fb: JUMPDEST 000004fc: PUSH2 0x0505 000004ff: SWAP2 00000500: SWAP1 00000501: PUSH2 0x1396 00000504: JUMP 00000505: JUMPDEST 00000506: SWAP1 00000507: POP 00000508: DUP1 00000509: PUSH1 0x02 0000050b: PUSH0 0000050c: DUP5 0000050d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000522: AND 00000523: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000538: AND 00000539: DUP2 0000053a: MSTORE 0000053b: PUSH1 0x20 0000053d: ADD 0000053e: SWAP1 0000053f: DUP2 00000540: MSTORE 00000541: PUSH1 0x20 00000543: ADD 00000544: PUSH0 00000545: KECCAK256 00000546: PUSH0 00000547: DUP3 00000548: DUP3 00000549: SLOAD 0000054a: PUSH2 0x0553 0000054d: SWAP2 0000054e: SWAP1 0000054f: PUSH2 0x1066 00000552: JUMP 00000553: JUMPDEST 00000554: SWAP3 00000555: POP 00000556: POP 00000557: DUP2 00000558: SWAP1 00000559: SSTORE 0000055a: POP 0000055b: DUP1 0000055c: DUP5 0000055d: PUSH2 0x0566 00000560: SWAP2 00000561: SWAP1 00000562: PUSH2 0x1066 00000565: JUMP 00000566: JUMPDEST 00000567: SWAP4 00000568: POP 00000569: POP 0000056a: JUMPDEST 0000056b: POP 0000056c: DUP1 0000056d: DUP1 0000056e: PUSH1 0x01 00000570: ADD 00000571: SWAP2 00000572: POP 00000573: POP 00000574: PUSH2 0x041d 00000577: JUMP 00000578: JUMPDEST 00000579: POP 0000057a: PUSH1 0x07 0000057c: SLOAD 0000057d: DUP2 0000057e: GT 0000057f: ISZERO 00000580: PUSH2 0x05be 00000583: JUMPI 00000584: PUSH1 0x40 00000586: MLOAD 00000587: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000005a8: DUP2 000005a9: MSTORE 000005aa: PUSH1 0x04 000005ac: ADD 000005ad: PUSH2 0x05b5 000005b0: SWAP1 000005b1: PUSH2 0x1436 000005b4: JUMP 000005b5: JUMPDEST 000005b6: PUSH1 0x40 000005b8: MLOAD 000005b9: DUP1 000005ba: SWAP2 000005bb: SUB 000005bc: SWAP1 000005bd: REVERT 000005be: JUMPDEST 000005bf: DUP1 000005c0: PUSH1 0x07 000005c2: PUSH0 000005c3: DUP3 000005c4: DUP3 000005c5: SLOAD 000005c6: PUSH2 0x05cf 000005c9: SWAP2 000005ca: SWAP1 000005cb: PUSH2 0x1454 000005ce: JUMP 000005cf: JUMPDEST 000005d0: SWAP3 000005d1: POP 000005d2: POP 000005d3: DUP2 000005d4: SWAP1 000005d5: SSTORE 000005d6: POP 000005d7: PUSH32 0xaeb211160b76af76709074bc38db5ab58194d2293989b1f0a29965601b8187c5 000005f8: DUP2 000005f9: PUSH1 0x05 000005fb: DUP1 000005fc: SLOAD 000005fd: SWAP1 000005fe: POP 000005ff: PUSH1 0x40 00000601: MLOAD 00000602: PUSH2 0x060c 00000605: SWAP3 00000606: SWAP2 00000607: SWAP1 00000608: PUSH2 0x10a8 0000060b: JUMP 0000060c: JUMPDEST 0000060d: PUSH1 0x40 0000060f: MLOAD 00000610: DUP1 00000611: SWAP2 00000612: SUB 00000613: SWAP1 00000614: LOG1 00000615: POP 00000616: POP 00000617: JUMP 00000618: JUMPDEST 00000619: PUSH1 0x07 0000061b: SLOAD 0000061c: DUP2 0000061d: JUMP 0000061e: JUMPDEST 0000061f: CALLER 00000620: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000635: AND 00000636: PUSH1 0x09 00000638: PUSH1 0x01 0000063a: SWAP1 0000063b: SLOAD 0000063c: SWAP1 0000063d: PUSH2 0x0100 00000640: EXP 00000641: SWAP1 00000642: DIV 00000643: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000658: AND 00000659: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000066e: AND 0000066f: EQ 00000670: PUSH2 0x06ae 00000673: JUMPI 00000674: PUSH1 0x40 00000676: MLOAD 00000677: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000698: DUP2 00000699: MSTORE 0000069a: PUSH1 0x04 0000069c: ADD 0000069d: PUSH2 0x06a5 000006a0: SWAP1 000006a1: PUSH2 0x14f7 000006a4: JUMP 000006a5: JUMPDEST 000006a6: PUSH1 0x40 000006a8: MLOAD 000006a9: DUP1 000006aa: SWAP2 000006ab: SUB 000006ac: SWAP1 000006ad: REVERT 000006ae: JUMPDEST 000006af: PUSH1 0x09 000006b1: PUSH0 000006b2: SWAP1 000006b3: SLOAD 000006b4: SWAP1 000006b5: PUSH2 0x0100 000006b8: EXP 000006b9: SWAP1 000006ba: DIV 000006bb: PUSH1 0xff 000006bd: AND 000006be: ISZERO 000006bf: PUSH2 0x06fd 000006c2: JUMPI 000006c3: PUSH1 0x40 000006c5: MLOAD 000006c6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000006e7: DUP2 000006e8: MSTORE 000006e9: PUSH1 0x04 000006eb: ADD 000006ec: PUSH2 0x06f4 000006ef: SWAP1 000006f0: PUSH2 0x1585 000006f3: JUMP 000006f4: JUMPDEST 000006f5: PUSH1 0x40 000006f7: MLOAD 000006f8: DUP1 000006f9: SWAP2 000006fa: SUB 000006fb: SWAP1 000006fc: REVERT 000006fd: JUMPDEST 000006fe: PUSH1 0x01 00000700: PUSH1 0x09 00000702: PUSH0 00000703: PUSH2 0x0100 00000706: EXP 00000707: DUP2 00000708: SLOAD 00000709: DUP2 0000070a: PUSH1 0xff 0000070c: MUL 0000070d: NOT 0000070e: AND 0000070f: SWAP1 00000710: DUP4 00000711: ISZERO 00000712: ISZERO 00000713: MUL 00000714: OR 00000715: SWAP1 00000716: SSTORE 00000717: POP 00000718: PUSH0 00000719: PUSH1 0x07 0000071b: SLOAD 0000071c: GT 0000071d: ISZERO 0000071e: PUSH2 0x072a 00000721: JUMPI 00000722: PUSH2 0x0729 00000725: PUSH2 0x03c6 00000728: JUMP 00000729: JUMPDEST 0000072a: JUMPDEST 0000072b: PUSH32 0x555f854535a2525a0d4e0d49a56d75a4b0fe91a07a7eb5ebf0b475a3eb998ec1 0000074c: PUSH1 0x40 0000074e: MLOAD 0000074f: PUSH1 0x40 00000751: MLOAD 00000752: DUP1 00000753: SWAP2 00000754: SUB 00000755: SWAP1 00000756: LOG1 00000757: JUMP 00000758: JUMPDEST 00000759: PUSH0 0000075a: DUP1 0000075b: SLOAD 0000075c: SWAP1 0000075d: PUSH2 0x0100 00000760: EXP 00000761: SWAP1 00000762: DIV 00000763: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000778: AND 00000779: DUP2 0000077a: JUMP 0000077b: JUMPDEST 0000077c: PUSH1 0x0a 0000077e: SLOAD 0000077f: DUP2 00000780: JUMP 00000781: JUMPDEST 00000782: PUSH1 0x06 00000784: SLOAD 00000785: DUP2 00000786: JUMP 00000787: JUMPDEST 00000788: PUSH1 0x03 0000078a: PUSH1 0x20 0000078c: MSTORE 0000078d: DUP1 0000078e: PUSH0 0000078f: MSTORE 00000790: PUSH1 0x40 00000792: PUSH0 00000793: KECCAK256 00000794: PUSH0 00000795: SWAP2 00000796: POP 00000797: SWAP1 00000798: POP 00000799: SLOAD 0000079a: DUP2 0000079b: JUMP 0000079c: JUMPDEST 0000079d: PUSH1 0x01 0000079f: PUSH1 0x20 000007a1: MSTORE 000007a2: DUP1 000007a3: PUSH0 000007a4: MSTORE 000007a5: PUSH1 0x40 000007a7: PUSH0 000007a8: KECCAK256 000007a9: PUSH0 000007aa: SWAP2 000007ab: POP 000007ac: SWAP1 000007ad: POP 000007ae: SLOAD 000007af: DUP2 000007b0: JUMP 000007b1: JUMPDEST 000007b2: PUSH1 0x0a 000007b4: SLOAD 000007b5: DUP2 000007b6: LT 000007b7: ISZERO 000007b8: PUSH2 0x07f6 000007bb: JUMPI 000007bc: PUSH1 0x40 000007be: MLOAD 000007bf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000007e0: DUP2 000007e1: MSTORE 000007e2: PUSH1 0x04 000007e4: ADD 000007e5: PUSH2 0x07ed 000007e8: SWAP1 000007e9: PUSH2 0x1613 000007ec: JUMP 000007ed: JUMPDEST 000007ee: PUSH1 0x40 000007f0: MLOAD 000007f1: DUP1 000007f2: SWAP2 000007f3: SUB 000007f4: SWAP1 000007f5: REVERT 000007f6: JUMPDEST 000007f7: PUSH0 000007f8: DUP1 000007f9: SLOAD 000007fa: SWAP1 000007fb: PUSH2 0x0100 000007fe: EXP 000007ff: SWAP1 00000800: DIV 00000801: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000816: AND 00000817: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000082c: AND 0000082d: PUSH4 0x23b872dd 00000832: CALLER 00000833: ADDRESS 00000834: DUP5 00000835: PUSH1 0x40 00000837: MLOAD 00000838: DUP5 00000839: PUSH4 0xffffffff 0000083e: AND 0000083f: PUSH1 0xe0 00000841: SHL 00000842: DUP2 00000843: MSTORE 00000844: PUSH1 0x04 00000846: ADD 00000847: PUSH2 0x0852 0000084a: SWAP4 0000084b: SWAP3 0000084c: SWAP2 0000084d: SWAP1 0000084e: PUSH2 0x1640 00000851: JUMP 00000852: JUMPDEST 00000853: PUSH1 0x20 00000855: PUSH1 0x40 00000857: MLOAD 00000858: DUP1 00000859: DUP4 0000085a: SUB 0000085b: DUP2 0000085c: PUSH0 0000085d: DUP8 0000085e: GAS 0000085f: CALL 00000860: ISZERO 00000861: DUP1 00000862: ISZERO 00000863: PUSH2 0x086e 00000866: JUMPI 00000867: RETURNDATASIZE 00000868: PUSH0 00000869: DUP1 0000086a: RETURNDATACOPY 0000086b: RETURNDATASIZE 0000086c: PUSH0 0000086d: REVERT 0000086e: JUMPDEST 0000086f: POP 00000870: POP 00000871: POP 00000872: POP 00000873: PUSH1 0x40 00000875: MLOAD 00000876: RETURNDATASIZE 00000877: PUSH1 0x1f 00000879: NOT 0000087a: PUSH1 0x1f 0000087c: DUP3 0000087d: ADD 0000087e: AND 0000087f: DUP3 00000880: ADD 00000881: DUP1 00000882: PUSH1 0x40 00000884: MSTORE 00000885: POP 00000886: DUP2 00000887: ADD 00000888: SWAP1 00000889: PUSH2 0x0892 0000088c: SWAP2 0000088d: SWAP1 0000088e: PUSH2 0x169f 00000891: JUMP 00000892: JUMPDEST 00000893: PUSH2 0x08d1 00000896: JUMPI 00000897: PUSH1 0x40 00000899: MLOAD 0000089a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000008bb: DUP2 000008bc: MSTORE 000008bd: PUSH1 0x04 000008bf: ADD 000008c0: PUSH2 0x08c8 000008c3: SWAP1 000008c4: PUSH2 0x1714 000008c7: JUMP 000008c8: JUMPDEST 000008c9: PUSH1 0x40 000008cb: MLOAD 000008cc: DUP1 000008cd: SWAP2 000008ce: SUB 000008cf: SWAP1 000008d0: REVERT 000008d1: JUMPDEST 000008d2: DUP1 000008d3: PUSH1 0x01 000008d5: PUSH0 000008d6: CALLER 000008d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ec: AND 000008ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000902: AND 00000903: DUP2 00000904: MSTORE 00000905: PUSH1 0x20 00000907: ADD 00000908: SWAP1 00000909: DUP2 0000090a: MSTORE 0000090b: PUSH1 0x20 0000090d: ADD 0000090e: PUSH0 0000090f: KECCAK256 00000910: PUSH0 00000911: DUP3 00000912: DUP3 00000913: SLOAD 00000914: PUSH2 0x091d 00000917: SWAP2 00000918: SWAP1 00000919: PUSH2 0x1066 0000091c: JUMP 0000091d: JUMPDEST 0000091e: SWAP3 0000091f: POP 00000920: POP 00000921: DUP2 00000922: SWAP1 00000923: SSTORE 00000924: POP 00000925: TIMESTAMP 00000926: PUSH1 0x03 00000928: PUSH0 00000929: CALLER 0000092a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000093f: AND 00000940: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000955: AND 00000956: DUP2 00000957: MSTORE 00000958: PUSH1 0x20 0000095a: ADD 0000095b: SWAP1 0000095c: DUP2 0000095d: MSTORE 0000095e: PUSH1 0x20 00000960: ADD 00000961: PUSH0 00000962: KECCAK256 00000963: DUP2 00000964: SWAP1 00000965: SSTORE 00000966: POP 00000967: DUP1 00000968: PUSH1 0x06 0000096a: PUSH0 0000096b: DUP3 0000096c: DUP3 0000096d: SLOAD 0000096e: PUSH2 0x0977 00000971: SWAP2 00000972: SWAP1 00000973: PUSH2 0x1066 00000976: JUMP 00000977: JUMPDEST 00000978: SWAP3 00000979: POP 0000097a: POP 0000097b: DUP2 0000097c: SWAP1 0000097d: SSTORE 0000097e: POP 0000097f: PUSH0 00000980: ISZERO 00000981: ISZERO 00000982: PUSH1 0x04 00000984: PUSH0 00000985: CALLER 00000986: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000099b: AND 0000099c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b1: AND 000009b2: DUP2 000009b3: MSTORE 000009b4: PUSH1 0x20 000009b6: ADD 000009b7: SWAP1 000009b8: DUP2 000009b9: MSTORE 000009ba: PUSH1 0x20 000009bc: ADD 000009bd: PUSH0 000009be: KECCAK256 000009bf: PUSH0 000009c0: SWAP1 000009c1: SLOAD 000009c2: SWAP1 000009c3: PUSH2 0x0100 000009c6: EXP 000009c7: SWAP1 000009c8: DIV 000009c9: PUSH1 0xff 000009cb: AND 000009cc: ISZERO 000009cd: ISZERO 000009ce: SUB 000009cf: PUSH2 0x0a88 000009d2: JUMPI 000009d3: PUSH1 0x05 000009d5: CALLER 000009d6: SWAP1 000009d7: DUP1 000009d8: PUSH1 0x01 000009da: DUP2 000009db: SLOAD 000009dc: ADD 000009dd: DUP1 000009de: DUP3 000009df: SSTORE 000009e0: DUP1 000009e1: SWAP2 000009e2: POP 000009e3: POP 000009e4: PUSH1 0x01 000009e6: SWAP1 000009e7: SUB 000009e8: SWAP1 000009e9: PUSH0 000009ea: MSTORE 000009eb: PUSH1 0x20 000009ed: PUSH0 000009ee: KECCAK256 000009ef: ADD 000009f0: PUSH0 000009f1: SWAP1 000009f2: SWAP2 000009f3: SWAP1 000009f4: SWAP2 000009f5: SWAP1 000009f6: SWAP2 000009f7: PUSH2 0x0100 000009fa: EXP 000009fb: DUP2 000009fc: SLOAD 000009fd: DUP2 000009fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a13: MUL 00000a14: NOT 00000a15: AND 00000a16: SWAP1 00000a17: DUP4 00000a18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a2d: AND 00000a2e: MUL 00000a2f: OR 00000a30: SWAP1 00000a31: SSTORE 00000a32: POP 00000a33: PUSH1 0x01 00000a35: PUSH1 0x04 00000a37: PUSH0 00000a38: CALLER 00000a39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a4e: AND 00000a4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a64: AND 00000a65: DUP2 00000a66: MSTORE 00000a67: PUSH1 0x20 00000a69: ADD 00000a6a: SWAP1 00000a6b: DUP2 00000a6c: MSTORE 00000a6d: PUSH1 0x20 00000a6f: ADD 00000a70: PUSH0 00000a71: KECCAK256 00000a72: PUSH0 00000a73: PUSH2 0x0100 00000a76: EXP 00000a77: DUP2 00000a78: SLOAD 00000a79: DUP2 00000a7a: PUSH1 0xff 00000a7c: MUL 00000a7d: NOT 00000a7e: AND 00000a7f: SWAP1 00000a80: DUP4 00000a81: ISZERO 00000a82: ISZERO 00000a83: MUL 00000a84: OR 00000a85: SWAP1 00000a86: SSTORE 00000a87: POP 00000a88: JUMPDEST 00000a89: CALLER 00000a8a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a9f: AND 00000aa0: PUSH32 0xd741e738a23fd18a03a26522320d9fc6cac1fed483e215ea9150fbc2fc43385d 00000ac1: DUP3 00000ac2: TIMESTAMP 00000ac3: PUSH1 0x40 00000ac5: MLOAD 00000ac6: PUSH2 0x0ad0 00000ac9: SWAP3 00000aca: SWAP2 00000acb: SWAP1 00000acc: PUSH2 0x10a8 00000acf: JUMP 00000ad0: JUMPDEST 00000ad1: PUSH1 0x40 00000ad3: MLOAD 00000ad4: DUP1 00000ad5: SWAP2 00000ad6: SUB 00000ad7: SWAP1 00000ad8: LOG2 00000ad9: POP 00000ada: JUMP 00000adb: JUMPDEST 00000adc: PUSH1 0x09 00000ade: PUSH0 00000adf: SWAP1 00000ae0: SLOAD 00000ae1: SWAP1 00000ae2: PUSH2 0x0100 00000ae5: EXP 00000ae6: SWAP1 00000ae7: DIV 00000ae8: PUSH1 0xff 00000aea: AND 00000aeb: PUSH2 0x0b29 00000aee: JUMPI 00000aef: PUSH1 0x40 00000af1: MLOAD 00000af2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b13: DUP2 00000b14: MSTORE 00000b15: PUSH1 0x04 00000b17: ADD 00000b18: PUSH2 0x0b20 00000b1b: SWAP1 00000b1c: PUSH2 0x12dd 00000b1f: JUMP 00000b20: JUMPDEST 00000b21: PUSH1 0x40 00000b23: MLOAD 00000b24: DUP1 00000b25: SWAP2 00000b26: SUB 00000b27: SWAP1 00000b28: REVERT 00000b29: JUMPDEST 00000b2a: PUSH0 00000b2b: PUSH1 0x02 00000b2d: PUSH0 00000b2e: CALLER 00000b2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b44: AND 00000b45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b5a: AND 00000b5b: DUP2 00000b5c: MSTORE 00000b5d: PUSH1 0x20 00000b5f: ADD 00000b60: SWAP1 00000b61: DUP2 00000b62: MSTORE 00000b63: PUSH1 0x20 00000b65: ADD 00000b66: PUSH0 00000b67: KECCAK256 00000b68: SLOAD 00000b69: SWAP1 00000b6a: POP 00000b6b: PUSH0 00000b6c: DUP2 00000b6d: GT 00000b6e: PUSH2 0x0bac 00000b71: JUMPI 00000b72: PUSH1 0x40 00000b74: MLOAD 00000b75: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b96: DUP2 00000b97: MSTORE 00000b98: PUSH1 0x04 00000b9a: ADD 00000b9b: PUSH2 0x0ba3 00000b9e: SWAP1 00000b9f: PUSH2 0x17a2 00000ba2: JUMP 00000ba3: JUMPDEST 00000ba4: PUSH1 0x40 00000ba6: MLOAD 00000ba7: DUP1 00000ba8: SWAP2 00000ba9: SUB 00000baa: SWAP1 00000bab: REVERT 00000bac: JUMPDEST 00000bad: PUSH0 00000bae: PUSH1 0x02 00000bb0: PUSH0 00000bb1: CALLER 00000bb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bc7: AND 00000bc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bdd: AND 00000bde: DUP2 00000bdf: MSTORE 00000be0: PUSH1 0x20 00000be2: ADD 00000be3: SWAP1 00000be4: DUP2 00000be5: MSTORE 00000be6: PUSH1 0x20 00000be8: ADD 00000be9: PUSH0 00000bea: KECCAK256 00000beb: DUP2 00000bec: SWAP1 00000bed: SSTORE 00000bee: POP 00000bef: CALLER 00000bf0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c05: AND 00000c06: PUSH2 0x08fc 00000c09: DUP3 00000c0a: SWAP1 00000c0b: DUP2 00000c0c: ISZERO 00000c0d: MUL 00000c0e: SWAP1 00000c0f: PUSH1 0x40 00000c11: MLOAD 00000c12: PUSH0 00000c13: PUSH1 0x40 00000c15: MLOAD 00000c16: DUP1 00000c17: DUP4 00000c18: SUB 00000c19: DUP2 00000c1a: DUP6 00000c1b: DUP9 00000c1c: DUP9 00000c1d: CALL 00000c1e: SWAP4 00000c1f: POP 00000c20: POP 00000c21: POP 00000c22: POP 00000c23: ISZERO 00000c24: DUP1 00000c25: ISZERO 00000c26: PUSH2 0x0c31 00000c29: JUMPI 00000c2a: RETURNDATASIZE 00000c2b: PUSH0 00000c2c: DUP1 00000c2d: RETURNDATACOPY 00000c2e: RETURNDATASIZE 00000c2f: PUSH0 00000c30: REVERT 00000c31: JUMPDEST 00000c32: POP 00000c33: CALLER 00000c34: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c49: AND 00000c4a: PUSH32 0x106f923f993c2149d49b4255ff723acafa1f2d94393f561d3eda32ae348f7241 00000c6b: DUP3 00000c6c: PUSH1 0x40 00000c6e: MLOAD 00000c6f: PUSH2 0x0c78 00000c72: SWAP2 00000c73: SWAP1 00000c74: PUSH2 0x10cf 00000c77: JUMP 00000c78: JUMPDEST 00000c79: PUSH1 0x40 00000c7b: MLOAD 00000c7c: DUP1 00000c7d: SWAP2 00000c7e: SUB 00000c7f: SWAP1 00000c80: LOG2 00000c81: POP 00000c82: JUMP 00000c83: JUMPDEST 00000c84: PUSH3 0x093a80 00000c88: PUSH1 0x03 00000c8a: PUSH0 00000c8b: CALLER 00000c8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ca1: AND 00000ca2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb7: AND 00000cb8: DUP2 00000cb9: MSTORE 00000cba: PUSH1 0x20 00000cbc: ADD 00000cbd: SWAP1 00000cbe: DUP2 00000cbf: MSTORE 00000cc0: PUSH1 0x20 00000cc2: ADD 00000cc3: PUSH0 00000cc4: KECCAK256 00000cc5: SLOAD 00000cc6: PUSH2 0x0ccf 00000cc9: SWAP2 00000cca: SWAP1 00000ccb: PUSH2 0x1066 00000cce: JUMP 00000ccf: JUMPDEST 00000cd0: TIMESTAMP 00000cd1: LT 00000cd2: ISZERO 00000cd3: PUSH2 0x0d11 00000cd6: JUMPI 00000cd7: PUSH1 0x40 00000cd9: MLOAD 00000cda: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000cfb: DUP2 00000cfc: MSTORE 00000cfd: PUSH1 0x04 00000cff: ADD 00000d00: PUSH2 0x0d08 00000d03: SWAP1 00000d04: PUSH2 0x1830 00000d07: JUMP 00000d08: JUMPDEST 00000d09: PUSH1 0x40 00000d0b: MLOAD 00000d0c: DUP1 00000d0d: SWAP2 00000d0e: SUB 00000d0f: SWAP1 00000d10: REVERT 00000d11: JUMPDEST 00000d12: DUP1 00000d13: PUSH1 0x01 00000d15: PUSH0 00000d16: CALLER 00000d17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d2c: AND 00000d2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d42: AND 00000d43: DUP2 00000d44: MSTORE 00000d45: PUSH1 0x20 00000d47: ADD 00000d48: SWAP1 00000d49: DUP2 00000d4a: MSTORE 00000d4b: PUSH1 0x20 00000d4d: ADD 00000d4e: PUSH0 00000d4f: KECCAK256 00000d50: SLOAD 00000d51: LT 00000d52: ISZERO 00000d53: PUSH2 0x0d91 00000d56: JUMPI 00000d57: PUSH1 0x40 00000d59: MLOAD 00000d5a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d7b: DUP2 00000d7c: MSTORE 00000d7d: PUSH1 0x04 00000d7f: ADD 00000d80: PUSH2 0x0d88 00000d83: SWAP1 00000d84: PUSH2 0x18be 00000d87: JUMP 00000d88: JUMPDEST 00000d89: PUSH1 0x40 00000d8b: MLOAD 00000d8c: DUP1 00000d8d: SWAP2 00000d8e: SUB 00000d8f: SWAP1 00000d90: REVERT 00000d91: JUMPDEST 00000d92: PUSH0 00000d93: DUP1 00000d94: SLOAD 00000d95: SWAP1 00000d96: PUSH2 0x0100 00000d99: EXP 00000d9a: SWAP1 00000d9b: DIV 00000d9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000db1: AND 00000db2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dc7: AND 00000dc8: PUSH4 0xa9059cbb 00000dcd: CALLER 00000dce: DUP4 00000dcf: PUSH1 0x40 00000dd1: MLOAD 00000dd2: DUP4 00000dd3: PUSH4 0xffffffff 00000dd8: AND 00000dd9: PUSH1 0xe0 00000ddb: SHL 00000ddc: DUP2 00000ddd: MSTORE 00000dde: PUSH1 0x04 00000de0: ADD 00000de1: PUSH2 0x0deb 00000de4: SWAP3 00000de5: SWAP2 00000de6: SWAP1 00000de7: PUSH2 0x18dc 00000dea: JUMP 00000deb: JUMPDEST 00000dec: PUSH1 0x20 00000dee: PUSH1 0x40 00000df0: MLOAD 00000df1: DUP1 00000df2: DUP4 00000df3: SUB 00000df4: DUP2 00000df5: PUSH0 00000df6: DUP8 00000df7: GAS 00000df8: CALL 00000df9: ISZERO 00000dfa: DUP1 00000dfb: ISZERO 00000dfc: PUSH2 0x0e07 00000dff: JUMPI 00000e00: RETURNDATASIZE 00000e01: PUSH0 00000e02: DUP1 00000e03: RETURNDATACOPY 00000e04: RETURNDATASIZE 00000e05: PUSH0 00000e06: REVERT 00000e07: JUMPDEST 00000e08: POP 00000e09: POP 00000e0a: POP 00000e0b: POP 00000e0c: PUSH1 0x40 00000e0e: MLOAD 00000e0f: RETURNDATASIZE 00000e10: PUSH1 0x1f 00000e12: NOT 00000e13: PUSH1 0x1f 00000e15: DUP3 00000e16: ADD 00000e17: AND 00000e18: DUP3 00000e19: ADD 00000e1a: DUP1 00000e1b: PUSH1 0x40 00000e1d: MSTORE 00000e1e: POP 00000e1f: DUP2 00000e20: ADD 00000e21: SWAP1 00000e22: PUSH2 0x0e2b 00000e25: SWAP2 00000e26: SWAP1 00000e27: PUSH2 0x169f 00000e2a: JUMP 00000e2b: JUMPDEST 00000e2c: PUSH2 0x0e6a 00000e2f: JUMPI 00000e30: PUSH1 0x40 00000e32: MLOAD 00000e33: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e54: DUP2 00000e55: MSTORE 00000e56: PUSH1 0x04 00000e58: ADD 00000e59: PUSH2 0x0e61 00000e5c: SWAP1 00000e5d: PUSH2 0x194d 00000e60: JUMP 00000e61: JUMPDEST 00000e62: PUSH1 0x40 00000e64: MLOAD 00000e65: DUP1 00000e66: SWAP2 00000e67: SUB 00000e68: SWAP1 00000e69: REVERT 00000e6a: JUMPDEST 00000e6b: DUP1 00000e6c: PUSH1 0x01 00000e6e: PUSH0 00000e6f: CALLER 00000e70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e85: AND 00000e86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e9b: AND 00000e9c: DUP2 00000e9d: MSTORE 00000e9e: PUSH1 0x20 00000ea0: ADD 00000ea1: SWAP1 00000ea2: DUP2 00000ea3: MSTORE 00000ea4: PUSH1 0x20 00000ea6: ADD 00000ea7: PUSH0 00000ea8: KECCAK256 00000ea9: PUSH0 00000eaa: DUP3 00000eab: DUP3 00000eac: SLOAD 00000ead: PUSH2 0x0eb6 00000eb0: SWAP2 00000eb1: SWAP1 00000eb2: PUSH2 0x1454 00000eb5: JUMP 00000eb6: JUMPDEST 00000eb7: SWAP3 00000eb8: POP 00000eb9: POP 00000eba: DUP2 00000ebb: SWAP1 00000ebc: SSTORE 00000ebd: POP 00000ebe: DUP1 00000ebf: PUSH1 0x06 00000ec1: PUSH0 00000ec2: DUP3 00000ec3: DUP3 00000ec4: SLOAD 00000ec5: PUSH2 0x0ece 00000ec8: SWAP2 00000ec9: SWAP1 00000eca: PUSH2 0x1454 00000ecd: JUMP 00000ece: JUMPDEST 00000ecf: SWAP3 00000ed0: POP 00000ed1: POP 00000ed2: DUP2 00000ed3: SWAP1 00000ed4: SSTORE 00000ed5: POP 00000ed6: CALLER 00000ed7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000eec: AND 00000eed: PUSH32 0x89882ad382a3742d4db24e4dabc5000c5852aed762904db28442e4e1630a1d07 00000f0e: DUP3 00000f0f: PUSH1 0x02 00000f11: PUSH0 00000f12: CALLER 00000f13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f28: AND 00000f29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f3e: AND 00000f3f: DUP2 00000f40: MSTORE 00000f41: PUSH1 0x20 00000f43: ADD 00000f44: SWAP1 00000f45: DUP2 00000f46: MSTORE 00000f47: PUSH1 0x20 00000f49: ADD 00000f4a: PUSH0 00000f4b: KECCAK256 00000f4c: SLOAD 00000f4d: PUSH1 0x40 00000f4f: MLOAD 00000f50: PUSH2 0x0f5a 00000f53: SWAP3 00000f54: SWAP2 00000f55: SWAP1 00000f56: PUSH2 0x10a8 00000f59: JUMP 00000f5a: JUMPDEST 00000f5b: PUSH1 0x40 00000f5d: MLOAD 00000f5e: DUP1 00000f5f: SWAP2 00000f60: SUB 00000f61: SWAP1 00000f62: LOG2 00000f63: POP 00000f64: JUMP 00000f65: JUMPDEST 00000f66: PUSH1 0x09 00000f68: PUSH0 00000f69: SWAP1 00000f6a: SLOAD 00000f6b: SWAP1 00000f6c: PUSH2 0x0100 00000f6f: EXP 00000f70: SWAP1 00000f71: DIV 00000f72: PUSH1 0xff 00000f74: AND 00000f75: DUP2 00000f76: JUMP 00000f77: JUMPDEST 00000f78: PUSH1 0x08 00000f7a: SLOAD 00000f7b: DUP2 00000f7c: JUMP 00000f7d: JUMPDEST 00000f7e: PUSH1 0x02 00000f80: PUSH1 0x20 00000f82: MSTORE 00000f83: DUP1 00000f84: PUSH0 00000f85: MSTORE 00000f86: PUSH1 0x40 00000f88: PUSH0 00000f89: KECCAK256 00000f8a: PUSH0 00000f8b: SWAP2 00000f8c: POP 00000f8d: SWAP1 00000f8e: POP 00000f8f: SLOAD 00000f90: DUP2 00000f91: JUMP 00000f92: JUMPDEST 00000f93: PUSH0 00000f94: DUP3 00000f95: DUP3 00000f96: MSTORE 00000f97: PUSH1 0x20 00000f99: DUP3 00000f9a: ADD 00000f9b: SWAP1 00000f9c: POP 00000f9d: SWAP3 00000f9e: SWAP2 00000f9f: POP 00000fa0: POP 00000fa1: JUMP 00000fa2: JUMPDEST 00000fa3: PUSH32 0x526576656e756553686172653a204465706f736974206d757374206265206772 00000fc4: PUSH0 00000fc5: DUP3 00000fc6: ADD 00000fc7: MSTORE 00000fc8: PUSH32 0x6561746572207468616e20300000000000000000000000000000000000000000 00000fe9: PUSH1 0x20 00000feb: DUP3 00000fec: ADD 00000fed: MSTORE 00000fee: POP 00000fef: JUMP 00000ff0: JUMPDEST 00000ff1: PUSH0 00000ff2: PUSH2 0x0ffc 00000ff5: PUSH1 0x2c 00000ff7: DUP4 00000ff8: PUSH2 0x0f92 00000ffb: JUMP 00000ffc: JUMPDEST 00000ffd: SWAP2 00000ffe: POP 00000fff: PUSH2 0x1007 00001002: DUP3 00001003: PUSH2 0x0fa2 00001006: JUMP 00001007: JUMPDEST 00001008: PUSH1 0x40 0000100a: DUP3 0000100b: ADD 0000100c: SWAP1 0000100d: POP 0000100e: SWAP2 0000100f: SWAP1 00001010: POP 00001011: JUMP 00001012: JUMPDEST 00001013: PUSH0 00001014: PUSH1 0x20 00001016: DUP3 00001017: ADD 00001018: SWAP1 00001019: POP 0000101a: DUP2 0000101b: DUP2 0000101c: SUB 0000101d: PUSH0 0000101e: DUP4 0000101f: ADD 00001020: MSTORE 00001021: PUSH2 0x1029 00001024: DUP2 00001025: PUSH2 0x0ff0 00001028: JUMP 00001029: JUMPDEST 0000102a: SWAP1 0000102b: POP 0000102c: SWAP2 0000102d: SWAP1 0000102e: POP 0000102f: JUMP 00001030: JUMPDEST 00001031: PUSH0 00001032: DUP2 00001033: SWAP1 00001034: POP 00001035: SWAP2 00001036: SWAP1 00001037: POP 00001038: JUMP 00001039: JUMPDEST 0000103a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000105b: PUSH0 0000105c: MSTORE 0000105d: PUSH1 0x11 0000105f: PUSH1 0x04 00001061: MSTORE 00001062: PUSH1 0x24 00001064: PUSH0 00001065: REVERT 00001066: JUMPDEST 00001067: PUSH0 00001068: PUSH2 0x1070 0000106b: DUP3 0000106c: PUSH2 0x1030 0000106f: JUMP 00001070: JUMPDEST 00001071: SWAP2 00001072: POP 00001073: PUSH2 0x107b 00001076: DUP4 00001077: PUSH2 0x1030 0000107a: JUMP 0000107b: JUMPDEST 0000107c: SWAP3 0000107d: POP 0000107e: DUP3 0000107f: DUP3 00001080: ADD 00001081: SWAP1 00001082: POP 00001083: DUP1 00001084: DUP3 00001085: GT 00001086: ISZERO 00001087: PUSH2 0x1093 0000108a: JUMPI 0000108b: PUSH2 0x1092 0000108e: PUSH2 0x1039 00001091: JUMP 00001092: JUMPDEST 00001093: JUMPDEST 00001094: SWAP3 00001095: SWAP2 00001096: POP 00001097: POP 00001098: JUMP 00001099: JUMPDEST 0000109a: PUSH2 0x10a2 0000109d: DUP2 0000109e: PUSH2 0x1030 000010a1: JUMP 000010a2: JUMPDEST 000010a3: DUP3 000010a4: MSTORE 000010a5: POP 000010a6: POP 000010a7: JUMP 000010a8: JUMPDEST 000010a9: PUSH0 000010aa: PUSH1 0x40 000010ac: DUP3 000010ad: ADD 000010ae: SWAP1 000010af: POP 000010b0: PUSH2 0x10bb 000010b3: PUSH0 000010b4: DUP4 000010b5: ADD 000010b6: DUP6 000010b7: PUSH2 0x1099 000010ba: JUMP 000010bb: JUMPDEST 000010bc: PUSH2 0x10c8 000010bf: PUSH1 0x20 000010c1: DUP4 000010c2: ADD 000010c3: DUP5 000010c4: PUSH2 0x1099 000010c7: JUMP 000010c8: JUMPDEST 000010c9: SWAP4 000010ca: SWAP3 000010cb: POP 000010cc: POP 000010cd: POP 000010ce: JUMP 000010cf: JUMPDEST 000010d0: PUSH0 000010d1: PUSH1 0x20 000010d3: DUP3 000010d4: ADD 000010d5: SWAP1 000010d6: POP 000010d7: PUSH2 0x10e2 000010da: PUSH0 000010db: DUP4 000010dc: ADD 000010dd: DUP5 000010de: PUSH2 0x1099 000010e1: JUMP 000010e2: JUMPDEST 000010e3: SWAP3 000010e4: SWAP2 000010e5: POP 000010e6: POP 000010e7: JUMP 000010e8: JUMPDEST 000010e9: PUSH0 000010ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010ff: DUP3 00001100: AND 00001101: SWAP1 00001102: POP 00001103: SWAP2 00001104: SWAP1 00001105: POP 00001106: JUMP 00001107: JUMPDEST 00001108: PUSH0 00001109: DUP2 0000110a: SWAP1 0000110b: POP 0000110c: SWAP2 0000110d: SWAP1 0000110e: POP 0000110f: JUMP 00001110: JUMPDEST 00001111: PUSH0 00001112: PUSH2 0x112a 00001115: PUSH2 0x1125 00001118: PUSH2 0x1120 0000111b: DUP5 0000111c: PUSH2 0x10e8 0000111f: JUMP 00001120: JUMPDEST 00001121: PUSH2 0x1107 00001124: JUMP 00001125: JUMPDEST 00001126: PUSH2 0x10e8 00001129: JUMP 0000112a: JUMPDEST 0000112b: SWAP1 0000112c: POP 0000112d: SWAP2 0000112e: SWAP1 0000112f: POP 00001130: JUMP 00001131: JUMPDEST 00001132: PUSH0 00001133: PUSH2 0x113b 00001136: DUP3 00001137: PUSH2 0x1110 0000113a: JUMP 0000113b: JUMPDEST 0000113c: SWAP1 0000113d: POP 0000113e: SWAP2 0000113f: SWAP1 00001140: POP 00001141: JUMP 00001142: JUMPDEST 00001143: PUSH0 00001144: PUSH2 0x114c 00001147: DUP3 00001148: PUSH2 0x1131 0000114b: JUMP 0000114c: JUMPDEST 0000114d: SWAP1 0000114e: POP 0000114f: SWAP2 00001150: SWAP1 00001151: POP 00001152: JUMP 00001153: JUMPDEST 00001154: PUSH2 0x115c 00001157: DUP2 00001158: PUSH2 0x1142 0000115b: JUMP 0000115c: JUMPDEST 0000115d: DUP3 0000115e: MSTORE 0000115f: POP 00001160: POP 00001161: JUMP 00001162: JUMPDEST 00001163: PUSH0 00001164: PUSH1 0x20 00001166: DUP3 00001167: ADD 00001168: SWAP1 00001169: POP 0000116a: PUSH2 0x1175 0000116d: PUSH0 0000116e: DUP4 0000116f: ADD 00001170: DUP5 00001171: PUSH2 0x1153 00001174: JUMP 00001175: JUMPDEST 00001176: SWAP3 00001177: SWAP2 00001178: POP 00001179: POP 0000117a: JUMP 0000117b: JUMPDEST 0000117c: PUSH0 0000117d: DUP1 0000117e: REVERT 0000117f: JUMPDEST 00001180: PUSH0 00001181: PUSH2 0x1189 00001184: DUP3 00001185: PUSH2 0x10e8 00001188: JUMP 00001189: JUMPDEST 0000118a: SWAP1 0000118b: POP 0000118c: SWAP2 0000118d: SWAP1 0000118e: POP 0000118f: JUMP 00001190: JUMPDEST 00001191: PUSH2 0x1199 00001194: DUP2 00001195: PUSH2 0x117f 00001198: JUMP 00001199: JUMPDEST 0000119a: DUP2 0000119b: EQ 0000119c: PUSH2 0x11a3 0000119f: JUMPI 000011a0: PUSH0 000011a1: DUP1 000011a2: REVERT 000011a3: JUMPDEST 000011a4: POP 000011a5: JUMP 000011a6: JUMPDEST 000011a7: PUSH0 000011a8: DUP2 000011a9: CALLDATALOAD 000011aa: SWAP1 000011ab: POP 000011ac: PUSH2 0x11b4 000011af: DUP2 000011b0: PUSH2 0x1190 000011b3: JUMP 000011b4: JUMPDEST 000011b5: SWAP3 000011b6: SWAP2 000011b7: POP 000011b8: POP 000011b9: JUMP 000011ba: JUMPDEST 000011bb: PUSH0 000011bc: PUSH1 0x20 000011be: DUP3 000011bf: DUP5 000011c0: SUB 000011c1: SLT 000011c2: ISZERO 000011c3: PUSH2 0x11cf 000011c6: JUMPI 000011c7: PUSH2 0x11ce 000011ca: PUSH2 0x117b 000011cd: JUMP 000011ce: JUMPDEST 000011cf: JUMPDEST 000011d0: PUSH0 000011d1: PUSH2 0x11dc 000011d4: DUP5 000011d5: DUP3 000011d6: DUP6 000011d7: ADD 000011d8: PUSH2 0x11a6 000011db: JUMP 000011dc: JUMPDEST 000011dd: SWAP2 000011de: POP 000011df: POP 000011e0: SWAP3 000011e1: SWAP2 000011e2: POP 000011e3: POP 000011e4: JUMP 000011e5: JUMPDEST 000011e6: PUSH2 0x11ee 000011e9: DUP2 000011ea: PUSH2 0x1030 000011ed: JUMP 000011ee: JUMPDEST 000011ef: DUP2 000011f0: EQ 000011f1: PUSH2 0x11f8 000011f4: JUMPI 000011f5: PUSH0 000011f6: DUP1 000011f7: REVERT 000011f8: JUMPDEST 000011f9: POP 000011fa: JUMP 000011fb: JUMPDEST 000011fc: PUSH0 000011fd: DUP2 000011fe: CALLDATALOAD 000011ff: SWAP1 00001200: POP 00001201: PUSH2 0x1209 00001204: DUP2 00001205: PUSH2 0x11e5 00001208: JUMP 00001209: JUMPDEST 0000120a: SWAP3 0000120b: SWAP2 0000120c: POP 0000120d: POP 0000120e: JUMP 0000120f: JUMPDEST 00001210: PUSH0 00001211: PUSH1 0x20 00001213: DUP3 00001214: DUP5 00001215: SUB 00001216: SLT 00001217: ISZERO 00001218: PUSH2 0x1224 0000121b: JUMPI 0000121c: PUSH2 0x1223 0000121f: PUSH2 0x117b 00001222: JUMP 00001223: JUMPDEST 00001224: JUMPDEST 00001225: PUSH0 00001226: PUSH2 0x1231 00001229: DUP5 0000122a: DUP3 0000122b: DUP6 0000122c: ADD 0000122d: PUSH2 0x11fb 00001230: JUMP 00001231: JUMPDEST 00001232: SWAP2 00001233: POP 00001234: POP 00001235: SWAP3 00001236: SWAP2 00001237: POP 00001238: POP 00001239: JUMP 0000123a: JUMPDEST 0000123b: PUSH0 0000123c: DUP2 0000123d: ISZERO 0000123e: ISZERO 0000123f: SWAP1 00001240: POP 00001241: SWAP2 00001242: SWAP1 00001243: POP 00001244: JUMP 00001245: JUMPDEST 00001246: PUSH2 0x124e 00001249: DUP2 0000124a: PUSH2 0x123a 0000124d: JUMP 0000124e: JUMPDEST 0000124f: DUP3 00001250: MSTORE 00001251: POP 00001252: POP 00001253: JUMP 00001254: JUMPDEST 00001255: PUSH0 00001256: PUSH1 0x20 00001258: DUP3 00001259: ADD 0000125a: SWAP1 0000125b: POP 0000125c: PUSH2 0x1267 0000125f: PUSH0 00001260: DUP4 00001261: ADD 00001262: DUP5 00001263: PUSH2 0x1245 00001266: JUMP 00001267: JUMPDEST 00001268: SWAP3 00001269: SWAP2 0000126a: POP 0000126b: POP 0000126c: JUMP 0000126d: JUMPDEST 0000126e: PUSH32 0x526576656e756553686172653a20446973747269627574696f6e206e6f742065 0000128f: PUSH0 00001290: DUP3 00001291: ADD 00001292: MSTORE 00001293: PUSH32 0x6e61626c65640000000000000000000000000000000000000000000000000000 000012b4: PUSH1 0x20 000012b6: DUP3 000012b7: ADD 000012b8: MSTORE 000012b9: POP 000012ba: JUMP 000012bb: JUMPDEST 000012bc: PUSH0 000012bd: PUSH2 0x12c7 000012c0: PUSH1 0x26 000012c2: DUP4 000012c3: PUSH2 0x0f92 000012c6: JUMP 000012c7: JUMPDEST 000012c8: SWAP2 000012c9: POP 000012ca: PUSH2 0x12d2 000012cd: DUP3 000012ce: PUSH2 0x126d 000012d1: JUMP 000012d2: JUMPDEST 000012d3: PUSH1 0x40 000012d5: DUP3 000012d6: ADD 000012d7: SWAP1 000012d8: POP 000012d9: SWAP2 000012da: SWAP1 000012db: POP 000012dc: JUMP 000012dd: JUMPDEST 000012de: PUSH0 000012df: PUSH1 0x20 000012e1: DUP3 000012e2: ADD 000012e3: SWAP1 000012e4: POP 000012e5: DUP2 000012e6: DUP2 000012e7: SUB 000012e8: PUSH0 000012e9: DUP4 000012ea: ADD 000012eb: MSTORE 000012ec: PUSH2 0x12f4 000012ef: DUP2 000012f0: PUSH2 0x12bb 000012f3: JUMP 000012f4: JUMPDEST 000012f5: SWAP1 000012f6: POP 000012f7: SWAP2 000012f8: SWAP1 000012f9: POP 000012fa: JUMP 000012fb: JUMPDEST 000012fc: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000131d: PUSH0 0000131e: MSTORE 0000131f: PUSH1 0x32 00001321: PUSH1 0x04 00001323: MSTORE 00001324: PUSH1 0x24 00001326: PUSH0 00001327: REVERT 00001328: JUMPDEST 00001329: PUSH0 0000132a: PUSH2 0x1332 0000132d: DUP3 0000132e: PUSH2 0x1030 00001331: JUMP 00001332: JUMPDEST 00001333: SWAP2 00001334: POP 00001335: PUSH2 0x133d 00001338: DUP4 00001339: PUSH2 0x1030 0000133c: JUMP 0000133d: JUMPDEST 0000133e: SWAP3 0000133f: POP 00001340: DUP3 00001341: DUP3 00001342: MUL 00001343: PUSH2 0x134b 00001346: DUP2 00001347: PUSH2 0x1030 0000134a: JUMP 0000134b: JUMPDEST 0000134c: SWAP2 0000134d: POP 0000134e: DUP3 0000134f: DUP3 00001350: DIV 00001351: DUP5 00001352: EQ 00001353: DUP4 00001354: ISZERO 00001355: OR 00001356: PUSH2 0x1362 00001359: JUMPI 0000135a: PUSH2 0x1361 0000135d: PUSH2 0x1039 00001360: JUMP 00001361: JUMPDEST 00001362: JUMPDEST 00001363: POP 00001364: SWAP3 00001365: SWAP2 00001366: POP 00001367: POP 00001368: JUMP 00001369: JUMPDEST 0000136a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000138b: PUSH0 0000138c: MSTORE 0000138d: PUSH1 0x12 0000138f: PUSH1 0x04 00001391: MSTORE 00001392: PUSH1 0x24 00001394: PUSH0 00001395: REVERT 00001396: JUMPDEST 00001397: PUSH0 00001398: PUSH2 0x13a0 0000139b: DUP3 0000139c: PUSH2 0x1030 0000139f: JUMP 000013a0: JUMPDEST 000013a1: SWAP2 000013a2: POP 000013a3: PUSH2 0x13ab 000013a6: DUP4 000013a7: PUSH2 0x1030 000013aa: JUMP 000013ab: JUMPDEST 000013ac: SWAP3 000013ad: POP 000013ae: DUP3 000013af: PUSH2 0x13bb 000013b2: JUMPI 000013b3: PUSH2 0x13ba 000013b6: PUSH2 0x1369 000013b9: JUMP 000013ba: JUMPDEST 000013bb: JUMPDEST 000013bc: DUP3 000013bd: DUP3 000013be: DIV 000013bf: SWAP1 000013c0: POP 000013c1: SWAP3 000013c2: SWAP2 000013c3: POP 000013c4: POP 000013c5: JUMP 000013c6: JUMPDEST 000013c7: PUSH32 0x496e73756666696369656e742045544820666f7220646973747269627574696f 000013e8: PUSH0 000013e9: DUP3 000013ea: ADD 000013eb: MSTORE 000013ec: PUSH32 0x6e00000000000000000000000000000000000000000000000000000000000000 0000140d: PUSH1 0x20 0000140f: DUP3 00001410: ADD 00001411: MSTORE 00001412: POP 00001413: JUMP 00001414: JUMPDEST 00001415: PUSH0 00001416: PUSH2 0x1420 00001419: PUSH1 0x21 0000141b: DUP4 0000141c: PUSH2 0x0f92 0000141f: JUMP 00001420: JUMPDEST 00001421: SWAP2 00001422: POP 00001423: PUSH2 0x142b 00001426: DUP3 00001427: PUSH2 0x13c6 0000142a: JUMP 0000142b: JUMPDEST 0000142c: PUSH1 0x40 0000142e: DUP3 0000142f: ADD 00001430: SWAP1 00001431: POP 00001432: SWAP2 00001433: SWAP1 00001434: POP 00001435: JUMP 00001436: JUMPDEST 00001437: PUSH0 00001438: PUSH1 0x20 0000143a: DUP3 0000143b: ADD 0000143c: SWAP1 0000143d: POP 0000143e: DUP2 0000143f: DUP2 00001440: SUB 00001441: PUSH0 00001442: DUP4 00001443: ADD 00001444: MSTORE 00001445: PUSH2 0x144d 00001448: DUP2 00001449: PUSH2 0x1414 0000144c: JUMP 0000144d: JUMPDEST 0000144e: SWAP1 0000144f: POP 00001450: SWAP2 00001451: SWAP1 00001452: POP 00001453: JUMP 00001454: JUMPDEST 00001455: PUSH0 00001456: PUSH2 0x145e 00001459: DUP3 0000145a: PUSH2 0x1030 0000145d: JUMP 0000145e: JUMPDEST 0000145f: SWAP2 00001460: POP 00001461: PUSH2 0x1469 00001464: DUP4 00001465: PUSH2 0x1030 00001468: JUMP 00001469: JUMPDEST 0000146a: SWAP3 0000146b: POP 0000146c: DUP3 0000146d: DUP3 0000146e: SUB 0000146f: SWAP1 00001470: POP 00001471: DUP2 00001472: DUP2 00001473: GT 00001474: ISZERO 00001475: PUSH2 0x1481 00001478: JUMPI 00001479: PUSH2 0x1480 0000147c: PUSH2 0x1039 0000147f: JUMP 00001480: JUMPDEST 00001481: JUMPDEST 00001482: SWAP3 00001483: SWAP2 00001484: POP 00001485: POP 00001486: JUMP 00001487: JUMPDEST 00001488: PUSH32 0x526576656e756553686172653a204f6e6c79206f776e65722063616e20656e61 000014a9: PUSH0 000014aa: DUP3 000014ab: ADD 000014ac: MSTORE 000014ad: PUSH32 0x626c6520646973747269627574696f6e00000000000000000000000000000000 000014ce: PUSH1 0x20 000014d0: DUP3 000014d1: ADD 000014d2: MSTORE 000014d3: POP 000014d4: JUMP 000014d5: JUMPDEST 000014d6: PUSH0 000014d7: PUSH2 0x14e1 000014da: PUSH1 0x30 000014dc: DUP4 000014dd: PUSH2 0x0f92 000014e0: JUMP 000014e1: JUMPDEST 000014e2: SWAP2 000014e3: POP 000014e4: PUSH2 0x14ec 000014e7: DUP3 000014e8: PUSH2 0x1487 000014eb: JUMP 000014ec: JUMPDEST 000014ed: PUSH1 0x40 000014ef: DUP3 000014f0: ADD 000014f1: SWAP1 000014f2: POP 000014f3: SWAP2 000014f4: SWAP1 000014f5: POP 000014f6: JUMP 000014f7: JUMPDEST 000014f8: PUSH0 000014f9: PUSH1 0x20 000014fb: DUP3 000014fc: ADD 000014fd: SWAP1 000014fe: POP 000014ff: DUP2 00001500: DUP2 00001501: SUB 00001502: PUSH0 00001503: DUP4 00001504: ADD 00001505: MSTORE 00001506: PUSH2 0x150e 00001509: DUP2 0000150a: PUSH2 0x14d5 0000150d: JUMP 0000150e: JUMPDEST 0000150f: SWAP1 00001510: POP 00001511: SWAP2 00001512: SWAP1 00001513: POP 00001514: JUMP 00001515: JUMPDEST 00001516: PUSH32 0x526576656e756553686172653a20446973747269627574696f6e20616c726561 00001537: PUSH0 00001538: DUP3 00001539: ADD 0000153a: MSTORE 0000153b: PUSH32 0x647920656e61626c656400000000000000000000000000000000000000000000 0000155c: PUSH1 0x20 0000155e: DUP3 0000155f: ADD 00001560: MSTORE 00001561: POP 00001562: JUMP 00001563: JUMPDEST 00001564: PUSH0 00001565: PUSH2 0x156f 00001568: PUSH1 0x2a 0000156a: DUP4 0000156b: PUSH2 0x0f92 0000156e: JUMP 0000156f: JUMPDEST 00001570: SWAP2 00001571: POP 00001572: PUSH2 0x157a 00001575: DUP3 00001576: PUSH2 0x1515 00001579: JUMP 0000157a: JUMPDEST 0000157b: PUSH1 0x40 0000157d: DUP3 0000157e: ADD 0000157f: SWAP1 00001580: POP 00001581: SWAP2 00001582: SWAP1 00001583: POP 00001584: JUMP 00001585: JUMPDEST 00001586: PUSH0 00001587: PUSH1 0x20 00001589: DUP3 0000158a: ADD 0000158b: SWAP1 0000158c: POP 0000158d: DUP2 0000158e: DUP2 0000158f: SUB 00001590: PUSH0 00001591: DUP4 00001592: ADD 00001593: MSTORE 00001594: PUSH2 0x159c 00001597: DUP2 00001598: PUSH2 0x1563 0000159b: JUMP 0000159c: JUMPDEST 0000159d: SWAP1 0000159e: POP 0000159f: SWAP2 000015a0: SWAP1 000015a1: POP 000015a2: JUMP 000015a3: JUMPDEST 000015a4: PUSH32 0x416d6f756e742069732062656c6f7720746865206d696e696d756d206c6f636b 000015c5: PUSH0 000015c6: DUP3 000015c7: ADD 000015c8: MSTORE 000015c9: PUSH32 0x20726571756972656d656e740000000000000000000000000000000000000000 000015ea: PUSH1 0x20 000015ec: DUP3 000015ed: ADD 000015ee: MSTORE 000015ef: POP 000015f0: JUMP 000015f1: JUMPDEST 000015f2: PUSH0 000015f3: PUSH2 0x15fd 000015f6: PUSH1 0x2c 000015f8: DUP4 000015f9: PUSH2 0x0f92 000015fc: JUMP 000015fd: JUMPDEST 000015fe: SWAP2 000015ff: POP 00001600: PUSH2 0x1608 00001603: DUP3 00001604: PUSH2 0x15a3 00001607: JUMP 00001608: JUMPDEST 00001609: PUSH1 0x40 0000160b: DUP3 0000160c: ADD 0000160d: SWAP1 0000160e: POP 0000160f: SWAP2 00001610: SWAP1 00001611: POP 00001612: JUMP 00001613: JUMPDEST 00001614: PUSH0 00001615: PUSH1 0x20 00001617: DUP3 00001618: ADD 00001619: SWAP1 0000161a: POP 0000161b: DUP2 0000161c: DUP2 0000161d: SUB 0000161e: PUSH0 0000161f: DUP4 00001620: ADD 00001621: MSTORE 00001622: PUSH2 0x162a 00001625: DUP2 00001626: PUSH2 0x15f1 00001629: JUMP 0000162a: JUMPDEST 0000162b: SWAP1 0000162c: POP 0000162d: SWAP2 0000162e: SWAP1 0000162f: POP 00001630: JUMP 00001631: JUMPDEST 00001632: PUSH2 0x163a 00001635: DUP2 00001636: PUSH2 0x117f 00001639: JUMP 0000163a: JUMPDEST 0000163b: DUP3 0000163c: MSTORE 0000163d: POP 0000163e: POP 0000163f: JUMP 00001640: JUMPDEST 00001641: PUSH0 00001642: PUSH1 0x60 00001644: DUP3 00001645: ADD 00001646: SWAP1 00001647: POP 00001648: PUSH2 0x1653 0000164b: PUSH0 0000164c: DUP4 0000164d: ADD 0000164e: DUP7 0000164f: PUSH2 0x1631 00001652: JUMP 00001653: JUMPDEST 00001654: PUSH2 0x1660 00001657: PUSH1 0x20 00001659: DUP4 0000165a: ADD 0000165b: DUP6 0000165c: PUSH2 0x1631 0000165f: JUMP 00001660: JUMPDEST 00001661: PUSH2 0x166d 00001664: PUSH1 0x40 00001666: DUP4 00001667: ADD 00001668: DUP5 00001669: PUSH2 0x1099 0000166c: JUMP 0000166d: JUMPDEST 0000166e: SWAP5 0000166f: SWAP4 00001670: POP 00001671: POP 00001672: POP 00001673: POP 00001674: JUMP 00001675: JUMPDEST 00001676: PUSH2 0x167e 00001679: DUP2 0000167a: PUSH2 0x123a 0000167d: JUMP 0000167e: JUMPDEST 0000167f: DUP2 00001680: EQ 00001681: PUSH2 0x1688 00001684: JUMPI 00001685: PUSH0 00001686: DUP1 00001687: REVERT 00001688: JUMPDEST 00001689: POP 0000168a: JUMP 0000168b: JUMPDEST 0000168c: PUSH0 0000168d: DUP2 0000168e: MLOAD 0000168f: SWAP1 00001690: POP 00001691: PUSH2 0x1699 00001694: DUP2 00001695: PUSH2 0x1675 00001698: JUMP 00001699: JUMPDEST 0000169a: SWAP3 0000169b: SWAP2 0000169c: POP 0000169d: POP 0000169e: JUMP 0000169f: JUMPDEST 000016a0: PUSH0 000016a1: PUSH1 0x20 000016a3: DUP3 000016a4: DUP5 000016a5: SUB 000016a6: SLT 000016a7: ISZERO 000016a8: PUSH2 0x16b4 000016ab: JUMPI 000016ac: PUSH2 0x16b3 000016af: PUSH2 0x117b 000016b2: JUMP 000016b3: JUMPDEST 000016b4: JUMPDEST 000016b5: PUSH0 000016b6: PUSH2 0x16c1 000016b9: DUP5 000016ba: DUP3 000016bb: DUP6 000016bc: ADD 000016bd: PUSH2 0x168b 000016c0: JUMP 000016c1: JUMPDEST 000016c2: SWAP2 000016c3: POP 000016c4: POP 000016c5: SWAP3 000016c6: SWAP2 000016c7: POP 000016c8: POP 000016c9: JUMP 000016ca: JUMPDEST 000016cb: PUSH32 0x526576656e756553686172653a5472616e73666572206661696c656400000000 000016ec: PUSH0 000016ed: DUP3 000016ee: ADD 000016ef: MSTORE 000016f0: POP 000016f1: JUMP 000016f2: JUMPDEST 000016f3: PUSH0 000016f4: PUSH2 0x16fe 000016f7: PUSH1 0x1c 000016f9: DUP4 000016fa: PUSH2 0x0f92 000016fd: JUMP 000016fe: JUMPDEST 000016ff: SWAP2 00001700: POP 00001701: PUSH2 0x1709 00001704: DUP3 00001705: PUSH2 0x16ca 00001708: JUMP 00001709: JUMPDEST 0000170a: PUSH1 0x20 0000170c: DUP3 0000170d: ADD 0000170e: SWAP1 0000170f: POP 00001710: SWAP2 00001711: SWAP1 00001712: POP 00001713: JUMP 00001714: JUMPDEST 00001715: PUSH0 00001716: PUSH1 0x20 00001718: DUP3 00001719: ADD 0000171a: SWAP1 0000171b: POP 0000171c: DUP2 0000171d: DUP2 0000171e: SUB 0000171f: PUSH0 00001720: DUP4 00001721: ADD 00001722: MSTORE 00001723: PUSH2 0x172b 00001726: DUP2 00001727: PUSH2 0x16f2 0000172a: JUMP 0000172b: JUMPDEST 0000172c: SWAP1 0000172d: POP 0000172e: SWAP2 0000172f: SWAP1 00001730: POP 00001731: JUMP 00001732: JUMPDEST 00001733: PUSH32 0x526576656e756553686172653a204e6f2072657761726420617661696c61626c 00001754: PUSH0 00001755: DUP3 00001756: ADD 00001757: MSTORE 00001758: PUSH32 0x6500000000000000000000000000000000000000000000000000000000000000 00001779: PUSH1 0x20 0000177b: DUP3 0000177c: ADD 0000177d: MSTORE 0000177e: POP 0000177f: JUMP 00001780: JUMPDEST 00001781: PUSH0 00001782: PUSH2 0x178c 00001785: PUSH1 0x21 00001787: DUP4 00001788: PUSH2 0x0f92 0000178b: JUMP 0000178c: JUMPDEST 0000178d: SWAP2 0000178e: POP 0000178f: PUSH2 0x1797 00001792: DUP3 00001793: PUSH2 0x1732 00001796: JUMP 00001797: JUMPDEST 00001798: PUSH1 0x40 0000179a: DUP3 0000179b: ADD 0000179c: SWAP1 0000179d: POP 0000179e: SWAP2 0000179f: SWAP1 000017a0: POP 000017a1: JUMP 000017a2: JUMPDEST 000017a3: PUSH0 000017a4: PUSH1 0x20 000017a6: DUP3 000017a7: ADD 000017a8: SWAP1 000017a9: POP 000017aa: DUP2 000017ab: DUP2 000017ac: SUB 000017ad: PUSH0 000017ae: DUP4 000017af: ADD 000017b0: MSTORE 000017b1: PUSH2 0x17b9 000017b4: DUP2 000017b5: PUSH2 0x1780 000017b8: JUMP 000017b9: JUMPDEST 000017ba: SWAP1 000017bb: POP 000017bc: SWAP2 000017bd: SWAP1 000017be: POP 000017bf: JUMP 000017c0: JUMPDEST 000017c1: PUSH32 0x526576656e756553686172653a20546f6b656e73206d757374206265206c6f63 000017e2: PUSH0 000017e3: DUP3 000017e4: ADD 000017e5: MSTORE 000017e6: PUSH32 0x6b656420666f72206174206c65617374206f6e65207765656b00000000000000 00001807: PUSH1 0x20 00001809: DUP3 0000180a: ADD 0000180b: MSTORE 0000180c: POP 0000180d: JUMP 0000180e: JUMPDEST 0000180f: PUSH0 00001810: PUSH2 0x181a 00001813: PUSH1 0x39 00001815: DUP4 00001816: PUSH2 0x0f92 00001819: JUMP 0000181a: JUMPDEST 0000181b: SWAP2 0000181c: POP 0000181d: PUSH2 0x1825 00001820: DUP3 00001821: PUSH2 0x17c0 00001824: JUMP 00001825: JUMPDEST 00001826: PUSH1 0x40 00001828: DUP3 00001829: ADD 0000182a: SWAP1 0000182b: POP 0000182c: SWAP2 0000182d: SWAP1 0000182e: POP 0000182f: JUMP 00001830: JUMPDEST 00001831: PUSH0 00001832: PUSH1 0x20 00001834: DUP3 00001835: ADD 00001836: SWAP1 00001837: POP 00001838: DUP2 00001839: DUP2 0000183a: SUB 0000183b: PUSH0 0000183c: DUP4 0000183d: ADD 0000183e: MSTORE 0000183f: PUSH2 0x1847 00001842: DUP2 00001843: PUSH2 0x180e 00001846: JUMP 00001847: JUMPDEST 00001848: SWAP1 00001849: POP 0000184a: SWAP2 0000184b: SWAP1 0000184c: POP 0000184d: JUMP 0000184e: JUMPDEST 0000184f: PUSH32 0x526576656e756553686172653a20496e73756666696369656e74206c6f636b65 00001870: PUSH0 00001871: DUP3 00001872: ADD 00001873: MSTORE 00001874: PUSH32 0x6420746f6b656e73000000000000000000000000000000000000000000000000 00001895: PUSH1 0x20 00001897: DUP3 00001898: ADD 00001899: MSTORE 0000189a: POP 0000189b: JUMP 0000189c: JUMPDEST 0000189d: PUSH0 0000189e: PUSH2 0x18a8 000018a1: PUSH1 0x28 000018a3: DUP4 000018a4: PUSH2 0x0f92 000018a7: JUMP 000018a8: JUMPDEST 000018a9: SWAP2 000018aa: POP 000018ab: PUSH2 0x18b3 000018ae: DUP3 000018af: PUSH2 0x184e 000018b2: JUMP 000018b3: JUMPDEST 000018b4: PUSH1 0x40 000018b6: DUP3 000018b7: ADD 000018b8: SWAP1 000018b9: POP 000018ba: SWAP2 000018bb: SWAP1 000018bc: POP 000018bd: JUMP 000018be: JUMPDEST 000018bf: PUSH0 000018c0: PUSH1 0x20 000018c2: DUP3 000018c3: ADD 000018c4: SWAP1 000018c5: POP 000018c6: DUP2 000018c7: DUP2 000018c8: SUB 000018c9: PUSH0 000018ca: DUP4 000018cb: ADD 000018cc: MSTORE 000018cd: PUSH2 0x18d5 000018d0: DUP2 000018d1: PUSH2 0x189c 000018d4: JUMP 000018d5: JUMPDEST 000018d6: SWAP1 000018d7: POP 000018d8: SWAP2 000018d9: SWAP1 000018da: POP 000018db: JUMP 000018dc: JUMPDEST 000018dd: PUSH0 000018de: PUSH1 0x40 000018e0: DUP3 000018e1: ADD 000018e2: SWAP1 000018e3: POP 000018e4: PUSH2 0x18ef 000018e7: PUSH0 000018e8: DUP4 000018e9: ADD 000018ea: DUP6 000018eb: PUSH2 0x1631 000018ee: JUMP 000018ef: JUMPDEST 000018f0: PUSH2 0x18fc 000018f3: PUSH1 0x20 000018f5: DUP4 000018f6: ADD 000018f7: DUP5 000018f8: PUSH2 0x1099 000018fb: JUMP 000018fc: JUMPDEST 000018fd: SWAP4 000018fe: SWAP3 000018ff: POP 00001900: POP 00001901: POP 00001902: JUMP 00001903: JUMPDEST 00001904: PUSH32 0x526576656e756553686172653a205472616e73666572206661696c6564000000 00001925: PUSH0 00001926: DUP3 00001927: ADD 00001928: MSTORE 00001929: POP 0000192a: JUMP 0000192b: JUMPDEST 0000192c: PUSH0 0000192d: PUSH2 0x1937 00001930: PUSH1 0x1d 00001932: DUP4 00001933: PUSH2 0x0f92 00001936: JUMP 00001937: JUMPDEST 00001938: SWAP2 00001939: POP 0000193a: PUSH2 0x1942 0000193d: DUP3 0000193e: PUSH2 0x1903 00001941: JUMP 00001942: JUMPDEST 00001943: PUSH1 0x20 00001945: DUP3 00001946: ADD 00001947: SWAP1 00001948: POP 00001949: SWAP2 0000194a: SWAP1 0000194b: POP 0000194c: JUMP 0000194d: JUMPDEST 0000194e: PUSH0 0000194f: PUSH1 0x20 00001951: DUP3 00001952: ADD 00001953: SWAP1 00001954: POP 00001955: DUP2 00001956: DUP2 00001957: SUB 00001958: PUSH0 00001959: DUP4 0000195a: ADD 0000195b: MSTORE 0000195c: PUSH2 0x1964 0000195f: DUP2 00001960: PUSH2 0x192b 00001963: JUMP 00001964: JUMPDEST 00001965: SWAP1 00001966: POP 00001967: SWAP2 00001968: SWAP1 00001969: POP 0000196a: JUMP 0000196b: INVALID 0000196c: LOG2 0000196d: PUSH5 0x6970667358 00001973: UNKNOWN(0x22) 00001974: SLT 00001975: KECCAK256 00001976: PUSH8 0xa2abe0f40fd4a71e 0000197f: DUP11 00001980: DUP16 00001981: UNKNOWN(0xEB) 00001982: UNKNOWN(0xBA) 00001983: UNKNOWN(0xE8) 00001984: UNKNOWN(0xBE) 00001985: JUMP 00001986: UNKNOWN(0x2C) 00001987: DUP1 00001988: DUP10 00001989: UNKNOWN(0xAE) 0000198a: PUSH17 0x96b92173ecc15702aef8c064736f6c6343 0000199c: STOP 0000199d: ADDMOD 0000199e: NOT 0000199f: STOP 000019a0: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x44c98230a99f210c1203e00d17b6415cad4e598b9246def30c4495edf66491c7
call_targets:
0x461180b3b8d2ef6f783c0888c08f3fc5bede33c7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x44c98230a99f210c1203e00d17b6415cad4e598b9246def30c4495edf66491c7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x461180b3b8d2ef6f783c0888c08f3fc5bede33c7"
],
"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": "0x7c405325",
"selector": "0x7c405325",
"calldata_variants": [
"0x7c405325",
"0x7c4053250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x86608326",
"selector": "0x86608326",
"calldata_variants": [
"0x86608326",
"0x866083260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x899aa991",
"selector": "0x899aa991",
"calldata_variants": [
"0x899aa991",
"0x899aa9910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe273467",
"selector": "0xfe273467",
"calldata_variants": [
"0xfe273467",
"0xfe2734670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5eb7413a",
"selector": "0x5eb7413a",
"calldata_variants": [
"0x5eb7413a",
"0x5eb7413a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e27d889",
"selector": "0x6e27d889",
"calldata_variants": [
"0x6e27d889",
"0x6e27d8890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x73c95545",
"selector": "0x73c95545",
"calldata_variants": [
"0x73c95545",
"0x73c955450000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x08ba8a76",
"selector": "0x08ba8a76",
"calldata_variants": [
"0x08ba8a76",
"0x08ba8a760000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2143,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3101,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3576,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x44c98230a99f210c1203e00d17b6415cad4e598b9246def30c4495edf66491c7
call_targets:
0x461180b3b8d2ef6f783c0888c08f3fc5bede33c7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x44c98230a99f210c1203e00d17b6415cad4e598b9246def30c4495edf66491c7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x461180b3b8d2ef6f783c0888c08f3fc5bede33c7"
],
"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": "0x7c405325",
"selector": "0x7c405325",
"calldata_variants": [
"0x7c405325",
"0x7c4053250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x86608326",
"selector": "0x86608326",
"calldata_variants": [
"0x86608326",
"0x866083260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x899aa991",
"selector": "0x899aa991",
"calldata_variants": [
"0x899aa991",
"0x899aa9910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe273467",
"selector": "0xfe273467",
"calldata_variants": [
"0xfe273467",
"0xfe2734670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5eb7413a",
"selector": "0x5eb7413a",
"calldata_variants": [
"0x5eb7413a",
"0x5eb7413a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6e27d889",
"selector": "0x6e27d889",
"calldata_variants": [
"0x6e27d889",
"0x6e27d8890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x73c95545",
"selector": "0x73c95545",
"calldata_variants": [
"0x73c95545",
"0x73c955450000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x08ba8a76",
"selector": "0x08ba8a76",
"calldata_variants": [
"0x08ba8a76",
"0x08ba8a760000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2143,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3101,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3576,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|