019b477e-b4c5-7265-815d-23d3b42483d3
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 |
|---|---|---|---|---|
| 22803 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22804 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 107557 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 107558 | capability.graph | complete | 1 / 3 | 1 week ago |
| 107559 | detector.run | complete | 1 / 3 | 1 week ago |
| 107560 | validation.fork | complete | 1 / 3 | 1 week 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 0x011b 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH3 0x65318b 00000039: DUP2 0000003a: EQ 0000003b: PUSH2 0x012c 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x06fdde03 00000045: EQ 00000046: PUSH2 0x015f 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x2a9121c7 00000050: EQ 00000051: PUSH2 0x01e9 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x313ce567 0000005b: EQ 0000005c: PUSH2 0x0201 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x31e9b2fc 00000066: EQ 00000067: PUSH2 0x022c 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x3ccfd60b 00000071: EQ 00000072: PUSH2 0x0248 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x56d399e8 0000007c: EQ 0000007d: PUSH2 0x025d 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x5ab33fe4 00000087: EQ 00000088: PUSH2 0x0272 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x688abbf7 00000092: EQ 00000093: PUSH2 0x0293 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x70a08231 0000009d: EQ 0000009e: PUSH2 0x02ad 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x8a811be8 000000a8: EQ 000000a9: PUSH2 0x02ce 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x949e8acd 000000b3: EQ 000000b4: PUSH2 0x02e3 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x95d89b41 000000be: EQ 000000bf: PUSH2 0x02f8 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0x961e1c49 000000c9: EQ 000000ca: PUSH2 0x030d 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0x9cd460b5 000000d4: EQ 000000d5: PUSH2 0x032d 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0xb60d4288 000000df: EQ 000000e0: PUSH2 0x0341 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0xbf3b397b 000000ea: EQ 000000eb: PUSH2 0x0349 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0xc664f7f1 000000f5: EQ 000000f6: PUSH2 0x0361 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0xe9fad8ee 00000100: EQ 00000101: PUSH2 0x0382 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0xf851a440 0000010b: EQ 0000010c: PUSH2 0x0397 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0xfdb5a03e 00000116: EQ 00000117: PUSH2 0x03c8 0000011a: JUMPI 0000011b: JUMPDEST 0000011c: PUSH2 0x0129 0000011f: CALLVALUE 00000120: PUSH1 0x00 00000122: DUP1 00000123: PUSH1 0x00 00000125: PUSH2 0x03dd 00000128: JUMP 00000129: JUMPDEST 0000012a: POP 0000012b: STOP 0000012c: JUMPDEST 0000012d: CALLVALUE 0000012e: DUP1 0000012f: ISZERO 00000130: PUSH2 0x0138 00000133: JUMPI 00000134: PUSH1 0x00 00000136: DUP1 00000137: REVERT 00000138: JUMPDEST 00000139: POP 0000013a: PUSH2 0x014d 0000013d: PUSH1 0x01 0000013f: PUSH1 0xa0 00000141: PUSH1 0x02 00000143: EXP 00000144: SUB 00000145: PUSH1 0x04 00000147: CALLDATALOAD 00000148: AND 00000149: PUSH2 0x088d 0000014c: JUMP 0000014d: JUMPDEST 0000014e: PUSH1 0x40 00000150: DUP1 00000151: MLOAD 00000152: SWAP2 00000153: DUP3 00000154: MSTORE 00000155: MLOAD 00000156: SWAP1 00000157: DUP2 00000158: SWAP1 00000159: SUB 0000015a: PUSH1 0x20 0000015c: ADD 0000015d: SWAP1 0000015e: RETURN 0000015f: JUMPDEST 00000160: CALLVALUE 00000161: DUP1 00000162: ISZERO 00000163: PUSH2 0x016b 00000166: JUMPI 00000167: PUSH1 0x00 00000169: DUP1 0000016a: REVERT 0000016b: JUMPDEST 0000016c: POP 0000016d: PUSH2 0x0174 00000170: PUSH2 0x08c8 00000173: JUMP 00000174: JUMPDEST 00000175: PUSH1 0x40 00000177: DUP1 00000178: MLOAD 00000179: PUSH1 0x20 0000017b: DUP1 0000017c: DUP3 0000017d: MSTORE 0000017e: DUP4 0000017f: MLOAD 00000180: DUP2 00000181: DUP4 00000182: ADD 00000183: MSTORE 00000184: DUP4 00000185: MLOAD 00000186: SWAP2 00000187: SWAP3 00000188: DUP4 00000189: SWAP3 0000018a: SWAP1 0000018b: DUP4 0000018c: ADD 0000018d: SWAP2 0000018e: DUP6 0000018f: ADD 00000190: SWAP1 00000191: DUP1 00000192: DUP4 00000193: DUP4 00000194: PUSH1 0x00 00000196: JUMPDEST 00000197: DUP4 00000198: DUP2 00000199: LT 0000019a: ISZERO 0000019b: PUSH2 0x01ae 0000019e: JUMPI 0000019f: DUP2 000001a0: DUP2 000001a1: ADD 000001a2: MLOAD 000001a3: DUP4 000001a4: DUP3 000001a5: ADD 000001a6: MSTORE 000001a7: PUSH1 0x20 000001a9: ADD 000001aa: PUSH2 0x0196 000001ad: JUMP 000001ae: JUMPDEST 000001af: POP 000001b0: POP 000001b1: POP 000001b2: POP 000001b3: SWAP1 000001b4: POP 000001b5: SWAP1 000001b6: DUP2 000001b7: ADD 000001b8: SWAP1 000001b9: PUSH1 0x1f 000001bb: AND 000001bc: DUP1 000001bd: ISZERO 000001be: PUSH2 0x01db 000001c1: JUMPI 000001c2: DUP1 000001c3: DUP3 000001c4: SUB 000001c5: DUP1 000001c6: MLOAD 000001c7: PUSH1 0x01 000001c9: DUP4 000001ca: PUSH1 0x20 000001cc: SUB 000001cd: PUSH2 0x0100 000001d0: EXP 000001d1: SUB 000001d2: NOT 000001d3: AND 000001d4: DUP2 000001d5: MSTORE 000001d6: PUSH1 0x20 000001d8: ADD 000001d9: SWAP2 000001da: POP 000001db: JUMPDEST 000001dc: POP 000001dd: SWAP3 000001de: POP 000001df: POP 000001e0: POP 000001e1: PUSH1 0x40 000001e3: MLOAD 000001e4: DUP1 000001e5: SWAP2 000001e6: SUB 000001e7: SWAP1 000001e8: RETURN 000001e9: JUMPDEST 000001ea: CALLVALUE 000001eb: DUP1 000001ec: ISZERO 000001ed: PUSH2 0x01f5 000001f0: JUMPI 000001f1: PUSH1 0x00 000001f3: DUP1 000001f4: REVERT 000001f5: JUMPDEST 000001f6: POP 000001f7: PUSH2 0x014d 000001fa: PUSH1 0x04 000001fc: CALLDATALOAD 000001fd: PUSH2 0x0956 00000200: JUMP 00000201: JUMPDEST 00000202: CALLVALUE 00000203: DUP1 00000204: ISZERO 00000205: PUSH2 0x020d 00000208: JUMPI 00000209: PUSH1 0x00 0000020b: DUP1 0000020c: REVERT 0000020d: JUMPDEST 0000020e: POP 0000020f: PUSH2 0x0216 00000212: PUSH2 0x096f 00000215: JUMP 00000216: JUMPDEST 00000217: PUSH1 0x40 00000219: DUP1 0000021a: MLOAD 0000021b: PUSH1 0xff 0000021d: SWAP1 0000021e: SWAP3 0000021f: AND 00000220: DUP3 00000221: MSTORE 00000222: MLOAD 00000223: SWAP1 00000224: DUP2 00000225: SWAP1 00000226: SUB 00000227: PUSH1 0x20 00000229: ADD 0000022a: SWAP1 0000022b: RETURN 0000022c: JUMPDEST 0000022d: PUSH2 0x0246 00000230: PUSH1 0x01 00000232: PUSH1 0xa0 00000234: PUSH1 0x02 00000236: EXP 00000237: SUB 00000238: PUSH1 0x04 0000023a: CALLDATALOAD 0000023b: AND 0000023c: PUSH1 0x24 0000023e: CALLDATALOAD 0000023f: PUSH1 0x44 00000241: CALLDATALOAD 00000242: PUSH2 0x0974 00000245: JUMP 00000246: JUMPDEST 00000247: STOP 00000248: JUMPDEST 00000249: CALLVALUE 0000024a: DUP1 0000024b: ISZERO 0000024c: PUSH2 0x0254 0000024f: JUMPI 00000250: PUSH1 0x00 00000252: DUP1 00000253: REVERT 00000254: JUMPDEST 00000255: POP 00000256: PUSH2 0x0246 00000259: PUSH2 0x0a43 0000025c: JUMP 0000025d: JUMPDEST 0000025e: CALLVALUE 0000025f: DUP1 00000260: ISZERO 00000261: PUSH2 0x0269 00000264: JUMPI 00000265: PUSH1 0x00 00000267: DUP1 00000268: REVERT 00000269: JUMPDEST 0000026a: POP 0000026b: PUSH2 0x014d 0000026e: PUSH2 0x0b19 00000271: JUMP 00000272: JUMPDEST 00000273: CALLVALUE 00000274: DUP1 00000275: ISZERO 00000276: PUSH2 0x027e 00000279: JUMPI 0000027a: PUSH1 0x00 0000027c: DUP1 0000027d: REVERT 0000027e: JUMPDEST 0000027f: POP 00000280: PUSH2 0x014d 00000283: PUSH1 0x01 00000285: PUSH1 0xa0 00000287: PUSH1 0x02 00000289: EXP 0000028a: SUB 0000028b: PUSH1 0x04 0000028d: CALLDATALOAD 0000028e: AND 0000028f: PUSH2 0x0b1f 00000292: JUMP 00000293: JUMPDEST 00000294: CALLVALUE 00000295: DUP1 00000296: ISZERO 00000297: PUSH2 0x029f 0000029a: JUMPI 0000029b: PUSH1 0x00 0000029d: DUP1 0000029e: REVERT 0000029f: JUMPDEST 000002a0: POP 000002a1: PUSH2 0x014d 000002a4: PUSH1 0x04 000002a6: CALLDATALOAD 000002a7: ISZERO 000002a8: ISZERO 000002a9: PUSH2 0x0b31 000002ac: JUMP 000002ad: JUMPDEST 000002ae: CALLVALUE 000002af: DUP1 000002b0: ISZERO 000002b1: PUSH2 0x02b9 000002b4: JUMPI 000002b5: PUSH1 0x00 000002b7: DUP1 000002b8: REVERT 000002b9: JUMPDEST 000002ba: POP 000002bb: PUSH2 0x014d 000002be: PUSH1 0x01 000002c0: PUSH1 0xa0 000002c2: PUSH1 0x02 000002c4: EXP 000002c5: SUB 000002c6: PUSH1 0x04 000002c8: CALLDATALOAD 000002c9: AND 000002ca: PUSH2 0x0b72 000002cd: JUMP 000002ce: JUMPDEST 000002cf: CALLVALUE 000002d0: DUP1 000002d1: ISZERO 000002d2: PUSH2 0x02da 000002d5: JUMPI 000002d6: PUSH1 0x00 000002d8: DUP1 000002d9: REVERT 000002da: JUMPDEST 000002db: POP 000002dc: PUSH2 0x0246 000002df: PUSH2 0x0b8d 000002e2: JUMP 000002e3: JUMPDEST 000002e4: CALLVALUE 000002e5: DUP1 000002e6: ISZERO 000002e7: PUSH2 0x02ef 000002ea: JUMPI 000002eb: PUSH1 0x00 000002ed: DUP1 000002ee: REVERT 000002ef: JUMPDEST 000002f0: POP 000002f1: PUSH2 0x014d 000002f4: PUSH2 0x0c34 000002f7: JUMP 000002f8: JUMPDEST 000002f9: CALLVALUE 000002fa: DUP1 000002fb: ISZERO 000002fc: PUSH2 0x0304 000002ff: JUMPI 00000300: PUSH1 0x00 00000302: DUP1 00000303: REVERT 00000304: JUMPDEST 00000305: POP 00000306: PUSH2 0x0174 00000309: PUSH2 0x0c46 0000030c: JUMP 0000030d: JUMPDEST 0000030e: PUSH2 0x014d 00000311: PUSH1 0x01 00000313: PUSH1 0xa0 00000315: PUSH1 0x02 00000317: EXP 00000318: SUB 00000319: PUSH1 0x04 0000031b: CALLDATALOAD 0000031c: DUP2 0000031d: AND 0000031e: SWAP1 0000031f: PUSH1 0x24 00000321: CALLDATALOAD 00000322: DUP2 00000323: AND 00000324: SWAP1 00000325: PUSH1 0x44 00000327: CALLDATALOAD 00000328: AND 00000329: PUSH2 0x0ca0 0000032c: JUMP 0000032d: JUMPDEST 0000032e: PUSH2 0x0246 00000331: PUSH1 0x01 00000333: PUSH1 0xa0 00000335: PUSH1 0x02 00000337: EXP 00000338: SUB 00000339: PUSH1 0x04 0000033b: CALLDATALOAD 0000033c: AND 0000033d: PUSH2 0x0cb6 00000340: JUMP 00000341: JUMPDEST 00000342: PUSH2 0x0246 00000345: PUSH2 0x0d47 00000348: JUMP 00000349: JUMPDEST 0000034a: CALLVALUE 0000034b: DUP1 0000034c: ISZERO 0000034d: PUSH2 0x0355 00000350: JUMPI 00000351: PUSH1 0x00 00000353: DUP1 00000354: REVERT 00000355: JUMPDEST 00000356: POP 00000357: PUSH2 0x014d 0000035a: PUSH1 0x04 0000035c: CALLDATALOAD 0000035d: PUSH2 0x0db5 00000360: JUMP 00000361: JUMPDEST 00000362: CALLVALUE 00000363: DUP1 00000364: ISZERO 00000365: PUSH2 0x036d 00000368: JUMPI 00000369: PUSH1 0x00 0000036b: DUP1 0000036c: REVERT 0000036d: JUMPDEST 0000036e: POP 0000036f: PUSH2 0x014d 00000372: PUSH1 0x01 00000374: PUSH1 0xa0 00000376: PUSH1 0x02 00000378: EXP 00000379: SUB 0000037a: PUSH1 0x04 0000037c: CALLDATALOAD 0000037d: AND 0000037e: PUSH2 0x0dcc 00000381: JUMP 00000382: JUMPDEST 00000383: CALLVALUE 00000384: DUP1 00000385: ISZERO 00000386: PUSH2 0x038e 00000389: JUMPI 0000038a: PUSH1 0x00 0000038c: DUP1 0000038d: REVERT 0000038e: JUMPDEST 0000038f: POP 00000390: PUSH2 0x0246 00000393: PUSH2 0x0dde 00000396: JUMP 00000397: JUMPDEST 00000398: CALLVALUE 00000399: DUP1 0000039a: ISZERO 0000039b: PUSH2 0x03a3 0000039e: JUMPI 0000039f: PUSH1 0x00 000003a1: DUP1 000003a2: REVERT 000003a3: JUMPDEST 000003a4: POP 000003a5: PUSH2 0x03ac 000003a8: PUSH2 0x0e0a 000003ab: JUMP 000003ac: JUMPDEST 000003ad: PUSH1 0x40 000003af: DUP1 000003b0: MLOAD 000003b1: PUSH1 0x01 000003b3: PUSH1 0xa0 000003b5: PUSH1 0x02 000003b7: EXP 000003b8: SUB 000003b9: SWAP1 000003ba: SWAP3 000003bb: AND 000003bc: DUP3 000003bd: MSTORE 000003be: MLOAD 000003bf: SWAP1 000003c0: DUP2 000003c1: SWAP1 000003c2: SUB 000003c3: PUSH1 0x20 000003c5: ADD 000003c6: SWAP1 000003c7: RETURN 000003c8: JUMPDEST 000003c9: CALLVALUE 000003ca: DUP1 000003cb: ISZERO 000003cc: PUSH2 0x03d4 000003cf: JUMPI 000003d0: PUSH1 0x00 000003d2: DUP1 000003d3: REVERT 000003d4: JUMPDEST 000003d5: POP 000003d6: PUSH2 0x0246 000003d9: PUSH2 0x0e19 000003dc: JUMP 000003dd: JUMPDEST 000003de: PUSH1 0x00 000003e0: DUP1 000003e1: PUSH2 0x03e8 000003e4: PUSH2 0x0ed1 000003e7: JUMP 000003e8: JUMPDEST 000003e9: PUSH1 0x00 000003eb: DUP1 000003ec: PUSH1 0x00 000003ee: DUP1 000003ef: PUSH1 0x00 000003f1: CALLER 000003f2: SWAP7 000003f3: POP 000003f4: PUSH1 0x80 000003f6: PUSH1 0x40 000003f8: MLOAD 000003f9: SWAP1 000003fa: DUP2 000003fb: ADD 000003fc: PUSH1 0x40 000003fe: MSTORE 000003ff: DUP1 00000400: PUSH1 0x64 00000402: PUSH1 0x19 00000404: PUSH1 0xff 00000406: AND 00000407: DUP16 00000408: MUL 00000409: DUP2 0000040a: ISZERO 0000040b: ISZERO 0000040c: PUSH2 0x0411 0000040f: JUMPI 00000410: INVALID 00000411: JUMPDEST 00000412: DIV 00000413: DUP2 00000414: MSTORE 00000415: PUSH1 0x00 00000417: PUSH1 0x20 00000419: DUP1 0000041a: DUP4 0000041b: ADD 0000041c: DUP3 0000041d: SWAP1 0000041e: MSTORE 0000041f: PUSH1 0x40 00000421: DUP1 00000422: DUP5 00000423: ADD 00000424: DUP4 00000425: SWAP1 00000426: MSTORE 00000427: PUSH1 0x60 00000429: SWAP4 0000042a: DUP5 0000042b: ADD 0000042c: SWAP3 0000042d: SWAP1 0000042e: SWAP3 0000042f: MSTORE 00000430: DUP4 00000431: MLOAD 00000432: PUSH1 0x19 00000434: PUSH1 0x09 00000436: DUP3 00000437: MUL 00000438: DUP2 00000439: SWAP1 0000043a: DIV 0000043b: SWAP3 0000043c: DUP7 0000043d: ADD 0000043e: DUP4 0000043f: SWAP1 00000440: MSTORE 00000441: PUSH1 0x07 00000443: DUP3 00000444: MUL 00000445: DUP2 00000446: SWAP1 00000447: DIV 00000448: SWAP4 00000449: DUP7 0000044a: ADD 0000044b: DUP5 0000044c: SWAP1 0000044d: MSTORE 0000044e: PUSH1 0x05 00000450: DUP3 00000451: MUL 00000452: DIV 00000453: SWAP4 00000454: DUP6 00000455: ADD 00000456: DUP5 00000457: SWAP1 00000458: MSTORE 00000459: SWAP4 0000045a: SWAP10 0000045b: POP 0000045c: DUP4 0000045d: SUB 0000045e: SUB 0000045f: SUB 00000460: SWAP6 00000461: POP 00000462: DUP13 00000463: SUB 00000464: SWAP4 00000465: POP 00000466: PUSH2 0x046e 00000469: DUP13 0000046a: PUSH2 0x0956 0000046d: JUMP 0000046e: JUMPDEST 0000046f: SWAP3 00000470: POP 00000471: PUSH9 0x010000000000000000 0000047b: DUP6 0000047c: MUL 0000047d: SWAP2 0000047e: POP 0000047f: PUSH1 0x00 00000481: DUP4 00000482: GT 00000483: PUSH2 0x048b 00000486: JUMPI 00000487: PUSH1 0x00 00000489: DUP1 0000048a: REVERT 0000048b: JUMPDEST 0000048c: PUSH1 0x01 0000048e: PUSH1 0xa0 00000490: PUSH1 0x02 00000492: EXP 00000493: SUB 00000494: DUP12 00000495: AND 00000496: ISZERO 00000497: DUP1 00000498: ISZERO 00000499: SWAP1 0000049a: PUSH2 0x04c6 0000049d: JUMPI 0000049e: POP 0000049f: PUSH1 0x03 000004a1: SLOAD 000004a2: PUSH1 0x01 000004a4: PUSH1 0xa0 000004a6: PUSH1 0x02 000004a8: EXP 000004a9: SUB 000004aa: DUP13 000004ab: AND 000004ac: PUSH1 0x00 000004ae: SWAP1 000004af: DUP2 000004b0: MSTORE 000004b1: PUSH1 0x04 000004b3: PUSH1 0x20 000004b5: MSTORE 000004b6: PUSH1 0x40 000004b8: SWAP1 000004b9: KECCAK256 000004ba: SLOAD 000004bb: PUSH7 0x038d7ea4c68000 000004c3: MUL 000004c4: LT 000004c5: ISZERO 000004c6: JUMPDEST 000004c7: ISZERO 000004c8: PUSH2 0x04f6 000004cb: JUMPI 000004cc: PUSH1 0x20 000004ce: DUP1 000004cf: DUP8 000004d0: ADD 000004d1: MLOAD 000004d2: PUSH1 0x01 000004d4: PUSH1 0xa0 000004d6: PUSH1 0x02 000004d8: EXP 000004d9: SUB 000004da: DUP14 000004db: AND 000004dc: PUSH1 0x00 000004de: SWAP1 000004df: DUP2 000004e0: MSTORE 000004e1: PUSH1 0x05 000004e3: SWAP1 000004e4: SWAP3 000004e5: MSTORE 000004e6: PUSH1 0x40 000004e8: SWAP1 000004e9: SWAP2 000004ea: KECCAK256 000004eb: DUP1 000004ec: SLOAD 000004ed: SWAP1 000004ee: SWAP2 000004ef: ADD 000004f0: SWAP1 000004f1: SSTORE 000004f2: PUSH2 0x0546 000004f5: JUMP 000004f6: JUMPDEST 000004f7: PUSH1 0x20 000004f9: DUP1 000004fa: DUP8 000004fb: ADD 000004fc: MLOAD 000004fd: PUSH20 0xca27ff938c760391e76b7ada887288caf9bf6ada 00000512: PUSH1 0x00 00000514: SWAP1 00000515: DUP2 00000516: MSTORE 00000517: PUSH1 0x05 00000519: SWAP1 0000051a: SWAP3 0000051b: MSTORE 0000051c: PUSH32 0xde36ce7eb11e9560e3589102959df06addbd281e4ed0c1aceb97c2b1b26c9094 0000053d: DUP1 0000053e: SLOAD 0000053f: SWAP1 00000540: SWAP2 00000541: ADD 00000542: SWAP1 00000543: SSTORE 00000544: SWAP11 00000545: POP 00000546: JUMPDEST 00000547: PUSH1 0x01 00000549: PUSH1 0xa0 0000054b: PUSH1 0x02 0000054d: EXP 0000054e: SUB 0000054f: DUP11 00000550: AND 00000551: ISZERO 00000552: DUP1 00000553: ISZERO 00000554: SWAP1 00000555: PUSH2 0x0581 00000558: JUMPI 00000559: POP 0000055a: PUSH1 0x03 0000055c: SLOAD 0000055d: PUSH1 0x01 0000055f: PUSH1 0xa0 00000561: PUSH1 0x02 00000563: EXP 00000564: SUB 00000565: DUP12 00000566: AND 00000567: PUSH1 0x00 00000569: SWAP1 0000056a: DUP2 0000056b: MSTORE 0000056c: PUSH1 0x04 0000056e: PUSH1 0x20 00000570: MSTORE 00000571: PUSH1 0x40 00000573: SWAP1 00000574: KECCAK256 00000575: SLOAD 00000576: PUSH7 0x038d7ea4c68000 0000057e: MUL 0000057f: LT 00000580: ISZERO 00000581: JUMPDEST 00000582: ISZERO 00000583: PUSH2 0x05b0 00000586: JUMPI 00000587: PUSH1 0x40 00000589: DUP1 0000058a: DUP8 0000058b: ADD 0000058c: MLOAD 0000058d: PUSH1 0x01 0000058f: PUSH1 0xa0 00000591: PUSH1 0x02 00000593: EXP 00000594: SUB 00000595: DUP13 00000596: AND 00000597: PUSH1 0x00 00000599: SWAP1 0000059a: DUP2 0000059b: MSTORE 0000059c: PUSH1 0x05 0000059e: PUSH1 0x20 000005a0: MSTORE 000005a1: SWAP2 000005a2: SWAP1 000005a3: SWAP2 000005a4: KECCAK256 000005a5: DUP1 000005a6: SLOAD 000005a7: SWAP1 000005a8: SWAP2 000005a9: ADD 000005aa: SWAP1 000005ab: SSTORE 000005ac: PUSH2 0x0600 000005af: JUMP 000005b0: JUMPDEST 000005b1: PUSH1 0x40 000005b3: DUP7 000005b4: ADD 000005b5: MLOAD 000005b6: PUSH20 0xca27ff938c760391e76b7ada887288caf9bf6ada 000005cb: PUSH1 0x00 000005cd: SWAP1 000005ce: DUP2 000005cf: MSTORE 000005d0: PUSH1 0x05 000005d2: PUSH1 0x20 000005d4: MSTORE 000005d5: PUSH32 0xde36ce7eb11e9560e3589102959df06addbd281e4ed0c1aceb97c2b1b26c9094 000005f6: DUP1 000005f7: SLOAD 000005f8: SWAP1 000005f9: SWAP3 000005fa: ADD 000005fb: SWAP1 000005fc: SWAP2 000005fd: SSTORE 000005fe: SWAP10 000005ff: POP 00000600: JUMPDEST 00000601: PUSH1 0x01 00000603: PUSH1 0xa0 00000605: PUSH1 0x02 00000607: EXP 00000608: SUB 00000609: DUP10 0000060a: AND 0000060b: ISZERO 0000060c: DUP1 0000060d: ISZERO 0000060e: SWAP1 0000060f: PUSH2 0x063b 00000612: JUMPI 00000613: POP 00000614: PUSH1 0x03 00000616: SLOAD 00000617: PUSH1 0x01 00000619: PUSH1 0xa0 0000061b: PUSH1 0x02 0000061d: EXP 0000061e: SUB 0000061f: DUP11 00000620: AND 00000621: PUSH1 0x00 00000623: SWAP1 00000624: DUP2 00000625: MSTORE 00000626: PUSH1 0x04 00000628: PUSH1 0x20 0000062a: MSTORE 0000062b: PUSH1 0x40 0000062d: SWAP1 0000062e: KECCAK256 0000062f: SLOAD 00000630: PUSH7 0x038d7ea4c68000 00000638: MUL 00000639: LT 0000063a: ISZERO 0000063b: JUMPDEST 0000063c: ISZERO 0000063d: PUSH2 0x0669 00000640: JUMPI 00000641: PUSH1 0x60 00000643: DUP7 00000644: ADD 00000645: MLOAD 00000646: PUSH1 0x01 00000648: PUSH1 0xa0 0000064a: PUSH1 0x02 0000064c: EXP 0000064d: SUB 0000064e: DUP11 0000064f: AND 00000650: PUSH1 0x00 00000652: SWAP1 00000653: DUP2 00000654: MSTORE 00000655: PUSH1 0x05 00000657: PUSH1 0x20 00000659: MSTORE 0000065a: PUSH1 0x40 0000065c: SWAP1 0000065d: KECCAK256 0000065e: DUP1 0000065f: SLOAD 00000660: SWAP1 00000661: SWAP2 00000662: ADD 00000663: SWAP1 00000664: SSTORE 00000665: PUSH2 0x06b9 00000668: JUMP 00000669: JUMPDEST 0000066a: PUSH1 0x60 0000066c: DUP7 0000066d: ADD 0000066e: MLOAD 0000066f: PUSH20 0xca27ff938c760391e76b7ada887288caf9bf6ada 00000684: PUSH1 0x00 00000686: SWAP1 00000687: DUP2 00000688: MSTORE 00000689: PUSH1 0x05 0000068b: PUSH1 0x20 0000068d: MSTORE 0000068e: PUSH32 0xde36ce7eb11e9560e3589102959df06addbd281e4ed0c1aceb97c2b1b26c9094 000006af: DUP1 000006b0: SLOAD 000006b1: SWAP1 000006b2: SWAP3 000006b3: ADD 000006b4: SWAP1 000006b5: SWAP2 000006b6: SSTORE 000006b7: SWAP9 000006b8: POP 000006b9: JUMPDEST 000006ba: PUSH20 0xf43414abb5a05c3037910506571e4333e16a4bf4 000006cf: PUSH1 0x00 000006d1: SWAP1 000006d2: DUP2 000006d3: MSTORE 000006d4: PUSH1 0x05 000006d6: PUSH1 0x20 000006d8: MSTORE 000006d9: PUSH32 0x484ddd33a7497e1e6c12fb6e49b402e265cc6ffd09d1afa0881b73e9909a30da 000006fa: DUP1 000006fb: SLOAD 000006fc: DUP7 000006fd: ADD 000006fe: SWAP1 000006ff: SSTORE 00000700: PUSH1 0x08 00000702: SLOAD 00000703: GT 00000704: ISZERO 00000705: PUSH2 0x075a 00000708: JUMPI 00000709: PUSH1 0x08 0000070b: DUP1 0000070c: SLOAD 0000070d: DUP5 0000070e: ADD 0000070f: SWAP1 00000710: DUP2 00000711: SWAP1 00000712: SSTORE 00000713: PUSH9 0x010000000000000000 0000071d: DUP7 0000071e: MUL 0000071f: DUP2 00000720: ISZERO 00000721: ISZERO 00000722: PUSH2 0x0727 00000725: JUMPI 00000726: INVALID 00000727: JUMPDEST 00000728: PUSH1 0x09 0000072a: DUP1 0000072b: SLOAD 0000072c: SWAP3 0000072d: SWAP1 0000072e: SWAP2 0000072f: DIV 00000730: SWAP1 00000731: SWAP2 00000732: ADD 00000733: SWAP1 00000734: SSTORE 00000735: PUSH1 0x08 00000737: SLOAD 00000738: PUSH9 0x010000000000000000 00000742: DUP7 00000743: MUL 00000744: DUP2 00000745: ISZERO 00000746: ISZERO 00000747: PUSH2 0x074c 0000074a: JUMPI 0000074b: INVALID 0000074c: JUMPDEST 0000074d: DIV 0000074e: DUP4 0000074f: MUL 00000750: DUP3 00000751: SUB 00000752: DUP3 00000753: SUB 00000754: SWAP2 00000755: POP 00000756: PUSH2 0x0760 00000759: JUMP 0000075a: JUMPDEST 0000075b: PUSH1 0x08 0000075d: DUP4 0000075e: SWAP1 0000075f: SSTORE 00000760: JUMPDEST 00000761: DUP3 00000762: PUSH1 0x04 00000764: PUSH1 0x00 00000766: DUP10 00000767: PUSH1 0x01 00000769: PUSH1 0xa0 0000076b: PUSH1 0x02 0000076d: EXP 0000076e: SUB 0000076f: AND 00000770: PUSH1 0x01 00000772: PUSH1 0xa0 00000774: PUSH1 0x02 00000776: EXP 00000777: SUB 00000778: AND 00000779: DUP2 0000077a: MSTORE 0000077b: PUSH1 0x20 0000077d: ADD 0000077e: SWAP1 0000077f: DUP2 00000780: MSTORE 00000781: PUSH1 0x20 00000783: ADD 00000784: PUSH1 0x00 00000786: KECCAK256 00000787: PUSH1 0x00 00000789: DUP3 0000078a: DUP3 0000078b: SLOAD 0000078c: ADD 0000078d: SWAP3 0000078e: POP 0000078f: POP 00000790: DUP2 00000791: SWAP1 00000792: SSTORE 00000793: POP 00000794: DUP2 00000795: DUP4 00000796: PUSH1 0x09 00000798: SLOAD 00000799: MUL 0000079a: SUB 0000079b: SWAP1 0000079c: POP 0000079d: DUP1 0000079e: PUSH1 0x06 000007a0: PUSH1 0x00 000007a2: DUP10 000007a3: PUSH1 0x01 000007a5: PUSH1 0xa0 000007a7: PUSH1 0x02 000007a9: EXP 000007aa: SUB 000007ab: AND 000007ac: PUSH1 0x01 000007ae: PUSH1 0xa0 000007b0: PUSH1 0x02 000007b2: EXP 000007b3: SUB 000007b4: AND 000007b5: DUP2 000007b6: MSTORE 000007b7: PUSH1 0x20 000007b9: ADD 000007ba: SWAP1 000007bb: DUP2 000007bc: MSTORE 000007bd: PUSH1 0x20 000007bf: ADD 000007c0: PUSH1 0x00 000007c2: KECCAK256 000007c3: PUSH1 0x00 000007c5: DUP3 000007c6: DUP3 000007c7: SLOAD 000007c8: ADD 000007c9: SWAP3 000007ca: POP 000007cb: POP 000007cc: DUP2 000007cd: SWAP1 000007ce: SSTORE 000007cf: POP 000007d0: DUP7 000007d1: PUSH1 0x01 000007d3: PUSH1 0xa0 000007d5: PUSH1 0x02 000007d7: EXP 000007d8: SUB 000007d9: AND 000007da: PUSH32 0xc70e11839a0ba6c20d1eaacbcca6c11fe123e9c56277247f7a65ada3bcef26c8 000007fb: DUP14 000007fc: DUP6 000007fd: DUP15 000007fe: DUP15 000007ff: DUP15 00000800: TIMESTAMP 00000801: PUSH7 0x038d7ea4c68000 00000809: PUSH1 0x40 0000080b: MLOAD 0000080c: DUP1 0000080d: DUP9 0000080e: DUP2 0000080f: MSTORE 00000810: PUSH1 0x20 00000812: ADD 00000813: DUP8 00000814: DUP2 00000815: MSTORE 00000816: PUSH1 0x20 00000818: ADD 00000819: DUP7 0000081a: PUSH1 0x01 0000081c: PUSH1 0xa0 0000081e: PUSH1 0x02 00000820: EXP 00000821: SUB 00000822: AND 00000823: PUSH1 0x01 00000825: PUSH1 0xa0 00000827: PUSH1 0x02 00000829: EXP 0000082a: SUB 0000082b: AND 0000082c: DUP2 0000082d: MSTORE 0000082e: PUSH1 0x20 00000830: ADD 00000831: DUP6 00000832: PUSH1 0x01 00000834: PUSH1 0xa0 00000836: PUSH1 0x02 00000838: EXP 00000839: SUB 0000083a: AND 0000083b: PUSH1 0x01 0000083d: PUSH1 0xa0 0000083f: PUSH1 0x02 00000841: EXP 00000842: SUB 00000843: AND 00000844: DUP2 00000845: MSTORE 00000846: PUSH1 0x20 00000848: ADD 00000849: DUP5 0000084a: PUSH1 0x01 0000084c: PUSH1 0xa0 0000084e: PUSH1 0x02 00000850: EXP 00000851: SUB 00000852: AND 00000853: PUSH1 0x01 00000855: PUSH1 0xa0 00000857: PUSH1 0x02 00000859: EXP 0000085a: SUB 0000085b: AND 0000085c: DUP2 0000085d: MSTORE 0000085e: PUSH1 0x20 00000860: ADD 00000861: DUP4 00000862: DUP2 00000863: MSTORE 00000864: PUSH1 0x20 00000866: ADD 00000867: DUP3 00000868: DUP2 00000869: MSTORE 0000086a: PUSH1 0x20 0000086c: ADD 0000086d: SWAP8 0000086e: POP 0000086f: POP 00000870: POP 00000871: POP 00000872: POP 00000873: POP 00000874: POP 00000875: POP 00000876: PUSH1 0x40 00000878: MLOAD 00000879: DUP1 0000087a: SWAP2 0000087b: SUB 0000087c: SWAP1 0000087d: LOG2 0000087e: POP 0000087f: SWAP1 00000880: SWAP11 00000881: SWAP10 00000882: POP 00000883: POP 00000884: POP 00000885: POP 00000886: POP 00000887: POP 00000888: POP 00000889: POP 0000088a: POP 0000088b: POP 0000088c: JUMP 0000088d: JUMPDEST 0000088e: PUSH1 0x01 00000890: PUSH1 0xa0 00000892: PUSH1 0x02 00000894: EXP 00000895: SUB 00000896: AND 00000897: PUSH1 0x00 00000899: SWAP1 0000089a: DUP2 0000089b: MSTORE 0000089c: PUSH1 0x06 0000089e: PUSH1 0x20 000008a0: SWAP1 000008a1: DUP2 000008a2: MSTORE 000008a3: PUSH1 0x40 000008a5: DUP1 000008a6: DUP4 000008a7: KECCAK256 000008a8: SLOAD 000008a9: PUSH1 0x04 000008ab: SWAP1 000008ac: SWAP3 000008ad: MSTORE 000008ae: SWAP1 000008af: SWAP2 000008b0: KECCAK256 000008b1: SLOAD 000008b2: PUSH1 0x09 000008b4: SLOAD 000008b5: PUSH9 0x010000000000000000 000008bf: SWAP2 000008c0: MUL 000008c1: SWAP2 000008c2: SWAP1 000008c3: SWAP2 000008c4: SUB 000008c5: DIV 000008c6: SWAP1 000008c7: JUMP 000008c8: JUMPDEST 000008c9: PUSH1 0x00 000008cb: DUP1 000008cc: SLOAD 000008cd: PUSH1 0x40 000008cf: DUP1 000008d0: MLOAD 000008d1: PUSH1 0x20 000008d3: PUSH1 0x02 000008d5: PUSH1 0x01 000008d7: DUP6 000008d8: AND 000008d9: ISZERO 000008da: PUSH2 0x0100 000008dd: MUL 000008de: PUSH1 0x00 000008e0: NOT 000008e1: ADD 000008e2: SWAP1 000008e3: SWAP5 000008e4: AND 000008e5: SWAP4 000008e6: SWAP1 000008e7: SWAP4 000008e8: DIV 000008e9: PUSH1 0x1f 000008eb: DUP2 000008ec: ADD 000008ed: DUP5 000008ee: SWAP1 000008ef: DIV 000008f0: DUP5 000008f1: MUL 000008f2: DUP3 000008f3: ADD 000008f4: DUP5 000008f5: ADD 000008f6: SWAP1 000008f7: SWAP3 000008f8: MSTORE 000008f9: DUP2 000008fa: DUP2 000008fb: MSTORE 000008fc: SWAP3 000008fd: SWAP2 000008fe: DUP4 000008ff: ADD 00000900: DUP3 00000901: DUP3 00000902: DUP1 00000903: ISZERO 00000904: PUSH2 0x094e 00000907: JUMPI 00000908: DUP1 00000909: PUSH1 0x1f 0000090b: LT 0000090c: PUSH2 0x0923 0000090f: JUMPI 00000910: PUSH2 0x0100 00000913: DUP1 00000914: DUP4 00000915: SLOAD 00000916: DIV 00000917: MUL 00000918: DUP4 00000919: MSTORE 0000091a: SWAP2 0000091b: PUSH1 0x20 0000091d: ADD 0000091e: SWAP2 0000091f: PUSH2 0x094e 00000922: JUMP 00000923: JUMPDEST 00000924: DUP3 00000925: ADD 00000926: SWAP2 00000927: SWAP1 00000928: PUSH1 0x00 0000092a: MSTORE 0000092b: PUSH1 0x20 0000092d: PUSH1 0x00 0000092f: KECCAK256 00000930: SWAP1 00000931: JUMPDEST 00000932: DUP2 00000933: SLOAD 00000934: DUP2 00000935: MSTORE 00000936: SWAP1 00000937: PUSH1 0x01 00000939: ADD 0000093a: SWAP1 0000093b: PUSH1 0x20 0000093d: ADD 0000093e: DUP1 0000093f: DUP4 00000940: GT 00000941: PUSH2 0x0931 00000944: JUMPI 00000945: DUP3 00000946: SWAP1 00000947: SUB 00000948: PUSH1 0x1f 0000094a: AND 0000094b: DUP3 0000094c: ADD 0000094d: SWAP2 0000094e: JUMPDEST 0000094f: POP 00000950: POP 00000951: POP 00000952: POP 00000953: POP 00000954: DUP2 00000955: JUMP 00000956: JUMPDEST 00000957: PUSH7 0x038d7ea4c68000 0000095f: PUSH8 0x0de0b6b3a7640000 00000968: SWAP2 00000969: SWAP1 0000096a: SWAP2 0000096b: MUL 0000096c: DIV 0000096d: SWAP1 0000096e: JUMP 0000096f: JUMPDEST 00000970: PUSH1 0x12 00000972: DUP2 00000973: JUMP 00000974: JUMPDEST 00000975: PUSH1 0x02 00000977: SLOAD 00000978: PUSH1 0x01 0000097a: PUSH1 0xa0 0000097c: PUSH1 0x02 0000097e: EXP 0000097f: SUB 00000980: AND 00000981: CALLER 00000982: EQ 00000983: DUP1 00000984: PUSH2 0x09a0 00000987: JUMPI 00000988: POP 00000989: CALLER 0000098a: PUSH20 0xca27ff938c760391e76b7ada887288caf9bf6ada 0000099f: EQ 000009a0: JUMPDEST 000009a1: DUP1 000009a2: PUSH2 0x09be 000009a5: JUMPI 000009a6: POP 000009a7: CALLER 000009a8: PUSH20 0xf43414abb5a05c3037910506571e4333e16a4bf4 000009bd: EQ 000009be: JUMPDEST 000009bf: ISZERO 000009c0: ISZERO 000009c1: PUSH2 0x09c9 000009c4: JUMPI 000009c5: PUSH1 0x00 000009c7: DUP1 000009c8: REVERT 000009c9: JUMPDEST 000009ca: PUSH1 0x00 000009cc: CALLVALUE 000009cd: GT 000009ce: PUSH2 0x09d6 000009d1: JUMPI 000009d2: PUSH1 0x00 000009d4: DUP1 000009d5: REVERT 000009d6: JUMPDEST 000009d7: PUSH1 0x01 000009d9: PUSH1 0xa0 000009db: PUSH1 0x02 000009dd: EXP 000009de: SUB 000009df: DUP4 000009e0: AND 000009e1: PUSH1 0x00 000009e3: DUP2 000009e4: DUP2 000009e5: MSTORE 000009e6: PUSH1 0x05 000009e8: PUSH1 0x20 000009ea: SWAP1 000009eb: DUP2 000009ec: MSTORE 000009ed: PUSH1 0x40 000009ef: SWAP2 000009f0: DUP3 000009f1: SWAP1 000009f2: KECCAK256 000009f3: DUP1 000009f4: SLOAD 000009f5: CALLVALUE 000009f6: SWAP1 000009f7: DUP2 000009f8: ADD 000009f9: SWAP1 000009fa: SWAP2 000009fb: SSTORE 000009fc: DUP3 000009fd: MLOAD 000009fe: SWAP1 000009ff: DUP2 00000a00: MSTORE 00000a01: SWAP1 00000a02: DUP2 00000a03: ADD 00000a04: DUP6 00000a05: SWAP1 00000a06: MSTORE 00000a07: DUP1 00000a08: DUP3 00000a09: ADD 00000a0a: DUP5 00000a0b: SWAP1 00000a0c: MSTORE 00000a0d: TIMESTAMP 00000a0e: PUSH1 0x60 00000a10: DUP3 00000a11: ADD 00000a12: MSTORE 00000a13: SWAP1 00000a14: MLOAD 00000a15: PUSH32 0x6c1600d1186e2b773f1ac8efc7947825d42085bc5663b920aa281a874efacf2a 00000a36: SWAP2 00000a37: DUP2 00000a38: SWAP1 00000a39: SUB 00000a3a: PUSH1 0x80 00000a3c: ADD 00000a3d: SWAP1 00000a3e: LOG2 00000a3f: POP 00000a40: POP 00000a41: POP 00000a42: JUMP 00000a43: JUMPDEST 00000a44: PUSH1 0x00 00000a46: DUP1 00000a47: PUSH1 0x00 00000a49: PUSH2 0x0a52 00000a4c: PUSH1 0x01 00000a4e: PUSH2 0x0b31 00000a51: JUMP 00000a52: JUMPDEST 00000a53: GT 00000a54: PUSH2 0x0a5c 00000a57: JUMPI 00000a58: PUSH1 0x00 00000a5a: DUP1 00000a5b: REVERT 00000a5c: JUMPDEST 00000a5d: CALLER 00000a5e: SWAP2 00000a5f: POP 00000a60: PUSH2 0x0a69 00000a63: PUSH1 0x00 00000a65: PUSH2 0x0b31 00000a68: JUMP 00000a69: JUMPDEST 00000a6a: PUSH1 0x01 00000a6c: PUSH1 0xa0 00000a6e: PUSH1 0x02 00000a70: EXP 00000a71: SUB 00000a72: DUP4 00000a73: AND 00000a74: PUSH1 0x00 00000a76: DUP2 00000a77: DUP2 00000a78: MSTORE 00000a79: PUSH1 0x06 00000a7b: PUSH1 0x20 00000a7d: SWAP1 00000a7e: DUP2 00000a7f: MSTORE 00000a80: PUSH1 0x40 00000a82: DUP1 00000a83: DUP4 00000a84: KECCAK256 00000a85: DUP1 00000a86: SLOAD 00000a87: PUSH9 0x010000000000000000 00000a91: DUP8 00000a92: MUL 00000a93: ADD 00000a94: SWAP1 00000a95: SSTORE 00000a96: PUSH1 0x05 00000a98: SWAP1 00000a99: SWAP2 00000a9a: MSTORE 00000a9b: DUP1 00000a9c: DUP3 00000a9d: KECCAK256 00000a9e: DUP1 00000a9f: SLOAD 00000aa0: SWAP1 00000aa1: DUP4 00000aa2: SWAP1 00000aa3: SSTORE 00000aa4: SWAP1 00000aa5: MLOAD 00000aa6: SWAP4 00000aa7: ADD 00000aa8: SWAP4 00000aa9: POP 00000aaa: SWAP1 00000aab: SWAP2 00000aac: DUP4 00000aad: ISZERO 00000aae: PUSH2 0x08fc 00000ab1: MUL 00000ab2: SWAP2 00000ab3: DUP5 00000ab4: SWAP2 00000ab5: SWAP1 00000ab6: DUP2 00000ab7: DUP2 00000ab8: DUP2 00000ab9: DUP6 00000aba: DUP9 00000abb: DUP9 00000abc: CALL 00000abd: SWAP4 00000abe: POP 00000abf: POP 00000ac0: POP 00000ac1: POP 00000ac2: ISZERO 00000ac3: DUP1 00000ac4: ISZERO 00000ac5: PUSH2 0x0ad2 00000ac8: JUMPI 00000ac9: RETURNDATASIZE 00000aca: PUSH1 0x00 00000acc: DUP1 00000acd: RETURNDATACOPY 00000ace: RETURNDATASIZE 00000acf: PUSH1 0x00 00000ad1: REVERT 00000ad2: JUMPDEST 00000ad3: POP 00000ad4: PUSH1 0x40 00000ad6: DUP1 00000ad7: MLOAD 00000ad8: DUP3 00000ad9: DUP2 00000ada: MSTORE 00000adb: TIMESTAMP 00000adc: PUSH1 0x20 00000ade: DUP3 00000adf: ADD 00000ae0: MSTORE 00000ae1: DUP2 00000ae2: MLOAD 00000ae3: PUSH1 0x01 00000ae5: PUSH1 0xa0 00000ae7: PUSH1 0x02 00000ae9: EXP 00000aea: SUB 00000aeb: DUP6 00000aec: AND 00000aed: SWAP3 00000aee: PUSH32 0x1b091269e929df55d64d6ea7e9cadbe4fb38dce5ccdc995767bc515030dbfbbf 00000b0f: SWAP3 00000b10: DUP3 00000b11: SWAP1 00000b12: SUB 00000b13: ADD 00000b14: SWAP1 00000b15: LOG2 00000b16: POP 00000b17: POP 00000b18: JUMP 00000b19: JUMPDEST 00000b1a: PUSH1 0x03 00000b1c: SLOAD 00000b1d: DUP2 00000b1e: JUMP 00000b1f: JUMPDEST 00000b20: PUSH1 0x07 00000b22: PUSH1 0x20 00000b24: MSTORE 00000b25: PUSH1 0x00 00000b27: SWAP1 00000b28: DUP2 00000b29: MSTORE 00000b2a: PUSH1 0x40 00000b2c: SWAP1 00000b2d: KECCAK256 00000b2e: SLOAD 00000b2f: DUP2 00000b30: JUMP 00000b31: JUMPDEST 00000b32: PUSH1 0x00 00000b34: CALLER 00000b35: DUP3 00000b36: PUSH2 0x0b47 00000b39: JUMPI 00000b3a: PUSH2 0x0b42 00000b3d: DUP2 00000b3e: PUSH2 0x088d 00000b41: JUMP 00000b42: JUMPDEST 00000b43: PUSH2 0x0b6b 00000b46: JUMP 00000b47: JUMPDEST 00000b48: PUSH1 0x01 00000b4a: PUSH1 0xa0 00000b4c: PUSH1 0x02 00000b4e: EXP 00000b4f: SUB 00000b50: DUP2 00000b51: AND 00000b52: PUSH1 0x00 00000b54: SWAP1 00000b55: DUP2 00000b56: MSTORE 00000b57: PUSH1 0x05 00000b59: PUSH1 0x20 00000b5b: MSTORE 00000b5c: PUSH1 0x40 00000b5e: SWAP1 00000b5f: KECCAK256 00000b60: SLOAD 00000b61: PUSH2 0x0b69 00000b64: DUP3 00000b65: PUSH2 0x088d 00000b68: JUMP 00000b69: JUMPDEST 00000b6a: ADD 00000b6b: JUMPDEST 00000b6c: SWAP4 00000b6d: SWAP3 00000b6e: POP 00000b6f: POP 00000b70: POP 00000b71: JUMP 00000b72: JUMPDEST 00000b73: PUSH1 0x01 00000b75: PUSH1 0xa0 00000b77: PUSH1 0x02 00000b79: EXP 00000b7a: SUB 00000b7b: AND 00000b7c: PUSH1 0x00 00000b7e: SWAP1 00000b7f: DUP2 00000b80: MSTORE 00000b81: PUSH1 0x04 00000b83: PUSH1 0x20 00000b85: MSTORE 00000b86: PUSH1 0x40 00000b88: SWAP1 00000b89: KECCAK256 00000b8a: SLOAD 00000b8b: SWAP1 00000b8c: JUMP 00000b8d: JUMPDEST 00000b8e: CALLER 00000b8f: PUSH1 0x00 00000b91: DUP2 00000b92: DUP2 00000b93: MSTORE 00000b94: PUSH1 0x07 00000b96: PUSH1 0x20 00000b98: MSTORE 00000b99: PUSH1 0x40 00000b9b: DUP2 00000b9c: KECCAK256 00000b9d: SLOAD 00000b9e: SWAP1 00000b9f: DUP2 00000ba0: GT 00000ba1: PUSH2 0x0ba9 00000ba4: JUMPI 00000ba5: PUSH1 0x00 00000ba7: DUP1 00000ba8: REVERT 00000ba9: JUMPDEST 00000baa: PUSH1 0x01 00000bac: PUSH1 0xa0 00000bae: PUSH1 0x02 00000bb0: EXP 00000bb1: SUB 00000bb2: DUP3 00000bb3: AND 00000bb4: PUSH1 0x00 00000bb6: DUP2 00000bb7: DUP2 00000bb8: MSTORE 00000bb9: PUSH1 0x07 00000bbb: PUSH1 0x20 00000bbd: MSTORE 00000bbe: PUSH1 0x40 00000bc0: DUP1 00000bc1: DUP3 00000bc2: KECCAK256 00000bc3: DUP3 00000bc4: SWAP1 00000bc5: SSTORE 00000bc6: MLOAD 00000bc7: DUP4 00000bc8: ISZERO 00000bc9: PUSH2 0x08fc 00000bcc: MUL 00000bcd: SWAP2 00000bce: DUP5 00000bcf: SWAP2 00000bd0: SWAP1 00000bd1: DUP2 00000bd2: DUP2 00000bd3: DUP2 00000bd4: DUP6 00000bd5: DUP9 00000bd6: DUP9 00000bd7: CALL 00000bd8: SWAP4 00000bd9: POP 00000bda: POP 00000bdb: POP 00000bdc: POP 00000bdd: ISZERO 00000bde: DUP1 00000bdf: ISZERO 00000be0: PUSH2 0x0bed 00000be3: JUMPI 00000be4: RETURNDATASIZE 00000be5: PUSH1 0x00 00000be7: DUP1 00000be8: RETURNDATACOPY 00000be9: RETURNDATASIZE 00000bea: PUSH1 0x00 00000bec: REVERT 00000bed: JUMPDEST 00000bee: POP 00000bef: PUSH1 0x40 00000bf1: DUP1 00000bf2: MLOAD 00000bf3: DUP3 00000bf4: DUP2 00000bf5: MSTORE 00000bf6: TIMESTAMP 00000bf7: PUSH1 0x20 00000bf9: DUP3 00000bfa: ADD 00000bfb: MSTORE 00000bfc: DUP2 00000bfd: MLOAD 00000bfe: PUSH1 0x01 00000c00: PUSH1 0xa0 00000c02: PUSH1 0x02 00000c04: EXP 00000c05: SUB 00000c06: DUP6 00000c07: AND 00000c08: SWAP3 00000c09: PUSH32 0x7ca7552d37d598bde3db9e59ec961f07c845a91004283e7d19a74900bce623d1 00000c2a: SWAP3 00000c2b: DUP3 00000c2c: SWAP1 00000c2d: SUB 00000c2e: ADD 00000c2f: SWAP1 00000c30: LOG2 00000c31: POP 00000c32: POP 00000c33: JUMP 00000c34: JUMPDEST 00000c35: PUSH1 0x00 00000c37: CALLER 00000c38: PUSH2 0x0c40 00000c3b: DUP2 00000c3c: PUSH2 0x0b72 00000c3f: JUMP 00000c40: JUMPDEST 00000c41: SWAP2 00000c42: POP 00000c43: POP 00000c44: SWAP1 00000c45: JUMP 00000c46: JUMPDEST 00000c47: PUSH1 0x01 00000c49: DUP1 00000c4a: SLOAD 00000c4b: PUSH1 0x40 00000c4d: DUP1 00000c4e: MLOAD 00000c4f: PUSH1 0x20 00000c51: PUSH1 0x02 00000c53: DUP5 00000c54: DUP7 00000c55: AND 00000c56: ISZERO 00000c57: PUSH2 0x0100 00000c5a: MUL 00000c5b: PUSH1 0x00 00000c5d: NOT 00000c5e: ADD 00000c5f: SWAP1 00000c60: SWAP5 00000c61: AND 00000c62: SWAP4 00000c63: SWAP1 00000c64: SWAP4 00000c65: DIV 00000c66: PUSH1 0x1f 00000c68: DUP2 00000c69: ADD 00000c6a: DUP5 00000c6b: SWAP1 00000c6c: DIV 00000c6d: DUP5 00000c6e: MUL 00000c6f: DUP3 00000c70: ADD 00000c71: DUP5 00000c72: ADD 00000c73: SWAP1 00000c74: SWAP3 00000c75: MSTORE 00000c76: DUP2 00000c77: DUP2 00000c78: MSTORE 00000c79: SWAP3 00000c7a: SWAP2 00000c7b: DUP4 00000c7c: ADD 00000c7d: DUP3 00000c7e: DUP3 00000c7f: DUP1 00000c80: ISZERO 00000c81: PUSH2 0x094e 00000c84: JUMPI 00000c85: DUP1 00000c86: PUSH1 0x1f 00000c88: LT 00000c89: PUSH2 0x0923 00000c8c: JUMPI 00000c8d: PUSH2 0x0100 00000c90: DUP1 00000c91: DUP4 00000c92: SLOAD 00000c93: DIV 00000c94: MUL 00000c95: DUP4 00000c96: MSTORE 00000c97: SWAP2 00000c98: PUSH1 0x20 00000c9a: ADD 00000c9b: SWAP2 00000c9c: PUSH2 0x094e 00000c9f: JUMP 00000ca0: JUMPDEST 00000ca1: PUSH1 0x00 00000ca3: PUSH2 0x0cae 00000ca6: CALLVALUE 00000ca7: DUP6 00000ca8: DUP6 00000ca9: DUP6 00000caa: PUSH2 0x03dd 00000cad: JUMP 00000cae: JUMPDEST 00000caf: SWAP5 00000cb0: SWAP4 00000cb1: POP 00000cb2: POP 00000cb3: POP 00000cb4: POP 00000cb5: JUMP 00000cb6: JUMPDEST 00000cb7: PUSH1 0x00 00000cb9: CALLER 00000cba: PUSH20 0xf43414abb5a05c3037910506571e4333e16a4bf4 00000ccf: EQ 00000cd0: PUSH2 0x0cd8 00000cd3: JUMPI 00000cd4: PUSH1 0x00 00000cd6: DUP1 00000cd7: REVERT 00000cd8: JUMPDEST 00000cd9: POP 00000cda: CALLVALUE 00000cdb: PUSH1 0x00 00000cdd: DUP2 00000cde: GT 00000cdf: PUSH2 0x0ce7 00000ce2: JUMPI 00000ce3: PUSH1 0x00 00000ce5: DUP1 00000ce6: REVERT 00000ce7: JUMPDEST 00000ce8: PUSH1 0x01 00000cea: PUSH1 0xa0 00000cec: PUSH1 0x02 00000cee: EXP 00000cef: SUB 00000cf0: DUP3 00000cf1: AND 00000cf2: PUSH1 0x00 00000cf4: DUP2 00000cf5: DUP2 00000cf6: MSTORE 00000cf7: PUSH1 0x07 00000cf9: PUSH1 0x20 00000cfb: SWAP1 00000cfc: DUP2 00000cfd: MSTORE 00000cfe: PUSH1 0x40 00000d00: SWAP2 00000d01: DUP3 00000d02: SWAP1 00000d03: KECCAK256 00000d04: DUP1 00000d05: SLOAD 00000d06: DUP6 00000d07: ADD 00000d08: SWAP1 00000d09: SSTORE 00000d0a: DUP2 00000d0b: MLOAD 00000d0c: DUP5 00000d0d: DUP2 00000d0e: MSTORE 00000d0f: TIMESTAMP 00000d10: SWAP2 00000d11: DUP2 00000d12: ADD 00000d13: SWAP2 00000d14: SWAP1 00000d15: SWAP2 00000d16: MSTORE 00000d17: DUP2 00000d18: MLOAD 00000d19: PUSH32 0x819ed93d0a5cdcf2695fe7767c7855e26e69e1ced68a76a2a952a7608288b2d5 00000d3a: SWAP3 00000d3b: SWAP2 00000d3c: DUP2 00000d3d: SWAP1 00000d3e: SUB 00000d3f: SWAP1 00000d40: SWAP2 00000d41: ADD 00000d42: SWAP1 00000d43: LOG2 00000d44: POP 00000d45: POP 00000d46: JUMP 00000d47: JUMPDEST 00000d48: PUSH1 0x00 00000d4a: PUSH1 0x08 00000d4c: SLOAD 00000d4d: PUSH9 0x010000000000000000 00000d57: CALLVALUE 00000d58: MUL 00000d59: DUP2 00000d5a: ISZERO 00000d5b: ISZERO 00000d5c: PUSH2 0x0d61 00000d5f: JUMPI 00000d60: INVALID 00000d61: JUMPDEST 00000d62: PUSH1 0x09 00000d64: DUP1 00000d65: SLOAD 00000d66: SWAP3 00000d67: SWAP1 00000d68: SWAP2 00000d69: DIV 00000d6a: SWAP2 00000d6b: DUP3 00000d6c: ADD 00000d6d: SWAP1 00000d6e: SSTORE 00000d6f: PUSH1 0x40 00000d71: DUP1 00000d72: MLOAD 00000d73: CALLVALUE 00000d74: DUP2 00000d75: MSTORE 00000d76: PUSH1 0x20 00000d78: DUP2 00000d79: ADD 00000d7a: DUP4 00000d7b: SWAP1 00000d7c: MSTORE 00000d7d: TIMESTAMP 00000d7e: DUP2 00000d7f: DUP4 00000d80: ADD 00000d81: MSTORE 00000d82: SWAP1 00000d83: MLOAD 00000d84: SWAP2 00000d85: SWAP3 00000d86: POP 00000d87: CALLER 00000d88: SWAP2 00000d89: PUSH32 0xd44a3f360ad146fe6f63a3f3b719748687fc3808bc6320b1c00b520225f14cae 00000daa: SWAP2 00000dab: DUP2 00000dac: SWAP1 00000dad: SUB 00000dae: PUSH1 0x60 00000db0: ADD 00000db1: SWAP1 00000db2: LOG2 00000db3: POP 00000db4: JUMP 00000db5: JUMPDEST 00000db6: PUSH7 0x038d7ea4c68000 00000dbe: SWAP1 00000dbf: DIV 00000dc0: PUSH8 0x0de0b6b3a7640000 00000dc9: MUL 00000dca: SWAP1 00000dcb: JUMP 00000dcc: JUMPDEST 00000dcd: PUSH1 0x05 00000dcf: PUSH1 0x20 00000dd1: MSTORE 00000dd2: PUSH1 0x00 00000dd4: SWAP1 00000dd5: DUP2 00000dd6: MSTORE 00000dd7: PUSH1 0x40 00000dd9: SWAP1 00000dda: KECCAK256 00000ddb: SLOAD 00000ddc: DUP2 00000ddd: JUMP 00000dde: JUMPDEST 00000ddf: CALLER 00000de0: PUSH1 0x00 00000de2: DUP2 00000de3: DUP2 00000de4: MSTORE 00000de5: PUSH1 0x04 00000de7: PUSH1 0x20 00000de9: MSTORE 00000dea: PUSH1 0x40 00000dec: DUP2 00000ded: KECCAK256 00000dee: SLOAD 00000def: SWAP1 00000df0: DUP2 00000df1: GT 00000df2: ISZERO 00000df3: PUSH2 0x0dfe 00000df6: JUMPI 00000df7: PUSH2 0x0dfe 00000dfa: PUSH2 0x0b8d 00000dfd: JUMP 00000dfe: JUMPDEST 00000dff: PUSH2 0x0e06 00000e02: PUSH2 0x0a43 00000e05: JUMP 00000e06: JUMPDEST 00000e07: POP 00000e08: POP 00000e09: JUMP 00000e0a: JUMPDEST 00000e0b: PUSH1 0x02 00000e0d: SLOAD 00000e0e: PUSH1 0x01 00000e10: PUSH1 0xa0 00000e12: PUSH1 0x02 00000e14: EXP 00000e15: SUB 00000e16: AND 00000e17: DUP2 00000e18: JUMP 00000e19: JUMPDEST 00000e1a: PUSH1 0x00 00000e1c: DUP1 00000e1d: PUSH1 0x00 00000e1f: DUP1 00000e20: PUSH2 0x0e29 00000e23: PUSH1 0x01 00000e25: PUSH2 0x0b31 00000e28: JUMP 00000e29: JUMPDEST 00000e2a: GT 00000e2b: PUSH2 0x0e33 00000e2e: JUMPI 00000e2f: PUSH1 0x00 00000e31: DUP1 00000e32: REVERT 00000e33: JUMPDEST 00000e34: PUSH2 0x0e3d 00000e37: PUSH1 0x00 00000e39: PUSH2 0x0b31 00000e3c: JUMP 00000e3d: JUMPDEST 00000e3e: CALLER 00000e3f: PUSH1 0x00 00000e41: DUP2 00000e42: DUP2 00000e43: MSTORE 00000e44: PUSH1 0x06 00000e46: PUSH1 0x20 00000e48: SWAP1 00000e49: DUP2 00000e4a: MSTORE 00000e4b: PUSH1 0x40 00000e4d: DUP1 00000e4e: DUP4 00000e4f: KECCAK256 00000e50: DUP1 00000e51: SLOAD 00000e52: PUSH9 0x010000000000000000 00000e5c: DUP8 00000e5d: MUL 00000e5e: ADD 00000e5f: SWAP1 00000e60: SSTORE 00000e61: PUSH1 0x05 00000e63: SWAP1 00000e64: SWAP2 00000e65: MSTORE 00000e66: DUP2 00000e67: KECCAK256 00000e68: DUP1 00000e69: SLOAD 00000e6a: SWAP1 00000e6b: DUP3 00000e6c: SWAP1 00000e6d: SSTORE 00000e6e: SWAP1 00000e6f: SWAP3 00000e70: ADD 00000e71: SWAP5 00000e72: POP 00000e73: SWAP3 00000e74: POP 00000e75: PUSH2 0x0e81 00000e78: SWAP1 00000e79: DUP5 00000e7a: SWAP1 00000e7b: DUP1 00000e7c: DUP1 00000e7d: PUSH2 0x03dd 00000e80: JUMP 00000e81: JUMPDEST 00000e82: SWAP1 00000e83: POP 00000e84: DUP2 00000e85: PUSH1 0x01 00000e87: PUSH1 0xa0 00000e89: PUSH1 0x02 00000e8b: EXP 00000e8c: SUB 00000e8d: AND 00000e8e: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458 00000eaf: DUP5 00000eb0: DUP4 00000eb1: PUSH1 0x40 00000eb3: MLOAD 00000eb4: DUP1 00000eb5: DUP4 00000eb6: DUP2 00000eb7: MSTORE 00000eb8: PUSH1 0x20 00000eba: ADD 00000ebb: DUP3 00000ebc: DUP2 00000ebd: MSTORE 00000ebe: PUSH1 0x20 00000ec0: ADD 00000ec1: SWAP3 00000ec2: POP 00000ec3: POP 00000ec4: POP 00000ec5: PUSH1 0x40 00000ec7: MLOAD 00000ec8: DUP1 00000ec9: SWAP2 00000eca: SUB 00000ecb: SWAP1 00000ecc: LOG2 00000ecd: POP 00000ece: POP 00000ecf: POP 00000ed0: JUMP 00000ed1: JUMPDEST 00000ed2: PUSH1 0x80 00000ed4: PUSH1 0x40 00000ed6: MLOAD 00000ed7: SWAP1 00000ed8: DUP2 00000ed9: ADD 00000eda: PUSH1 0x40 00000edc: MSTORE 00000edd: DUP1 00000ede: PUSH1 0x04 00000ee0: SWAP1 00000ee1: PUSH1 0x20 00000ee3: DUP3 00000ee4: MUL 00000ee5: DUP1 00000ee6: CODESIZE 00000ee7: DUP4 00000ee8: CODECOPY 00000ee9: POP 00000eea: SWAP2 00000eeb: SWAP3 00000eec: SWAP2 00000eed: POP 00000eee: POP 00000eef: JUMP 00000ef0: STOP 00000ef1: LOG1 00000ef2: PUSH6 0x627a7a723058 00000ef9: KECCAK256 00000efa: UNKNOWN(0xE3) 00000efb: DUP6 00000efc: UNKNOWN(0xC1) 00000efd: BYTE 00000efe: SGT 00000eff: SWAP7 00000f00: UNKNOWN(0xDD) 00000f01: UNKNOWN(0xCA) 00000f02: DIFFICULTY 00000f03: MUL 00000f04: RETURN 00000f05: ADDMOD 00000f06: SWAP2 00000f07: SHR 00000f08: DIV 00000f09: UNKNOWN(0x2A) 00000f0a: UNKNOWN(0xE2) 00000f0b: UNKNOWN(0x0C) 00000f0c: UNKNOWN(0xAC) 00000f0d: DUP12 00000f0e: UNKNOWN(0x2D) 00000f0f: UNKNOWN(0xD1) 00000f10: UNKNOWN(0xBE) 00000f11: LOG0 00000f12: CLZ 00000f13: UNKNOWN(0xF6) 00000f14: CALLDATALOAD 00000f15: SGT 00000f16: CALLER 00000f17: CREATE2 00000f18: UNKNOWN(0xED) 00000f19: PUSH31
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x84a4450fe370087ad5822ba074600891f1ccb52af0ad26064fef92a3590e4cad
call_targets:
0x897d6c6772b85bf25b46c6f6da454133478ea6ab
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x84a4450fe370087ad5822ba074600891f1ccb52af0ad26064fef92a3590e4cad",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x897d6c6772b85bf25b46c6f6da454133478ea6ab"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2a9121c7",
"selector": "0x2a9121c7",
"calldata_variants": [
"0x2a9121c7",
"0x2a9121c70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31e9b2fc",
"selector": "0x31e9b2fc",
"calldata_variants": [
"0x31e9b2fc",
"0x31e9b2fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x56d399e8",
"selector": "0x56d399e8",
"calldata_variants": [
"0x56d399e8",
"0x56d399e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5ab33fe4",
"selector": "0x5ab33fe4",
"calldata_variants": [
"0x5ab33fe4",
"0x5ab33fe40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x688abbf7",
"selector": "0x688abbf7",
"calldata_variants": [
"0x688abbf7",
"0x688abbf70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2748,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3031,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 2463,
"type": "msg_sender_eq_const",
"value": 1.1541081286102834e+48
},
{
"pc": 2493,
"type": "msg_sender_eq_const",
"value": 1.3941551875067668e+48
},
{
"pc": 3279,
"type": "msg_sender_eq_const",
"value": 1.3941551875067668e+48
},
{
"pc": 2441,
"type": "msg_sender_eq_const",
"value": "0xca27ff938c760391e76b7ada887288caf9bf6ada"
},
{
"pc": 2471,
"type": "msg_sender_eq_const",
"value": "0xf43414abb5a05c3037910506571e4333e16a4bf4"
},
{
"pc": 3257,
"type": "msg_sender_eq_const",
"value": "0xf43414abb5a05c3037910506571e4333e16a4bf4"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x84a4450fe370087ad5822ba074600891f1ccb52af0ad26064fef92a3590e4cad
call_targets:
0x897d6c6772b85bf25b46c6f6da454133478ea6ab
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x84a4450fe370087ad5822ba074600891f1ccb52af0ad26064fef92a3590e4cad",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x897d6c6772b85bf25b46c6f6da454133478ea6ab"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2a9121c7",
"selector": "0x2a9121c7",
"calldata_variants": [
"0x2a9121c7",
"0x2a9121c70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31e9b2fc",
"selector": "0x31e9b2fc",
"calldata_variants": [
"0x31e9b2fc",
"0x31e9b2fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x56d399e8",
"selector": "0x56d399e8",
"calldata_variants": [
"0x56d399e8",
"0x56d399e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5ab33fe4",
"selector": "0x5ab33fe4",
"calldata_variants": [
"0x5ab33fe4",
"0x5ab33fe40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x688abbf7",
"selector": "0x688abbf7",
"calldata_variants": [
"0x688abbf7",
"0x688abbf70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2748,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3031,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 2463,
"type": "msg_sender_eq_const",
"value": 1.1541081286102834e+48
},
{
"pc": 2493,
"type": "msg_sender_eq_const",
"value": 1.3941551875067668e+48
},
{
"pc": 3279,
"type": "msg_sender_eq_const",
"value": 1.3941551875067668e+48
},
{
"pc": 2441,
"type": "msg_sender_eq_const",
"value": "0xca27ff938c760391e76b7ada887288caf9bf6ada"
},
{
"pc": 2471,
"type": "msg_sender_eq_const",
"value": "0xf43414abb5a05c3037910506571e4333e16a4bf4"
},
{
"pc": 3257,
"type": "msg_sender_eq_const",
"value": "0xf43414abb5a05c3037910506571e4333e16a4bf4"
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xa02cc53167eb83ee966a71e42bfe8de628fd78e03fa057184cf9468eb82ca0f2
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xa02cc53167eb83ee966a71e42bfe8de628fd78e03fa057184cf9468eb82ca0f2",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2a9121c7",
"selector": "0x2a9121c7",
"calldata_variants": [
"0x2a9121c7",
"0x2a9121c70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31e9b2fc",
"selector": "0x31e9b2fc",
"calldata_variants": [
"0x31e9b2fc",
"0x31e9b2fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x56d399e8",
"selector": "0x56d399e8",
"calldata_variants": [
"0x56d399e8",
"0x56d399e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5ab33fe4",
"selector": "0x5ab33fe4",
"calldata_variants": [
"0x5ab33fe4",
"0x5ab33fe40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x688abbf7",
"selector": "0x688abbf7",
"calldata_variants": [
"0x688abbf7",
"0x688abbf70000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|