019b3844-8cc9-7002-bd26-39e839dfda51
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 |
|---|---|---|---|---|
| 12023 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 12024 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 84344 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 84345 | capability.graph | complete | 1 / 3 | 1 week ago |
| 84346 | detector.run | complete | 1 / 3 | 1 week ago |
| 84347 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00d9 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH3 0xf31e76 00000039: DUP2 0000003a: EQ 0000003b: PUSH2 0x00de 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x2f8f0c92 00000045: EQ 00000046: PUSH2 0x0108 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x41b6fcf7 00000050: EQ 00000051: PUSH2 0x012a 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x4722361c 0000005b: EQ 0000005c: PUSH2 0x0108 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x60546602 00000066: EQ 00000067: PUSH2 0x0155 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x6683f9ae 00000071: EQ 00000072: PUSH2 0x016b 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x7964ea87 0000007c: EQ 0000007d: PUSH2 0x0181 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x7a7ebd7b 00000087: EQ 00000088: PUSH2 0x01df 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x7c35be7a 00000092: EQ 00000093: PUSH2 0x0235 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x987757dd 0000009d: EQ 0000009e: PUSH2 0x024b 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0xad379089 000000a8: EQ 000000a9: PUSH2 0x0261 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0xb214faa5 000000b3: EQ 000000b4: PUSH2 0x0277 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0xba6cc6c3 000000be: EQ 000000bf: PUSH2 0x0282 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0xe62eea47 000000c9: EQ 000000ca: PUSH2 0x02a2 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0xec8be5b9 000000d4: EQ 000000d5: PUSH2 0x02b8 000000d8: JUMPI 000000d9: JUMPDEST 000000da: PUSH1 0x00 000000dc: DUP1 000000dd: REVERT 000000de: JUMPDEST 000000df: CALLVALUE 000000e0: ISZERO 000000e1: PUSH2 0x00e9 000000e4: JUMPI 000000e5: PUSH1 0x00 000000e7: DUP1 000000e8: REVERT 000000e9: JUMPDEST 000000ea: PUSH2 0x00f4 000000ed: PUSH1 0x04 000000ef: CALLDATALOAD 000000f0: PUSH2 0x0320 000000f3: JUMP 000000f4: JUMPDEST 000000f5: PUSH1 0x40 000000f7: MLOAD 000000f8: SWAP1 000000f9: ISZERO 000000fa: ISZERO 000000fb: DUP2 000000fc: MSTORE 000000fd: PUSH1 0x20 000000ff: ADD 00000100: PUSH1 0x40 00000102: MLOAD 00000103: DUP1 00000104: SWAP2 00000105: SUB 00000106: SWAP1 00000107: RETURN 00000108: JUMPDEST 00000109: CALLVALUE 0000010a: ISZERO 0000010b: PUSH2 0x0113 0000010e: JUMPI 0000010f: PUSH1 0x00 00000111: DUP1 00000112: REVERT 00000113: JUMPDEST 00000114: PUSH2 0x00f4 00000117: PUSH1 0x04 00000119: CALLDATALOAD 0000011a: PUSH1 0x01 0000011c: PUSH1 0xa0 0000011e: PUSH1 0x02 00000120: EXP 00000121: SUB 00000122: PUSH1 0x24 00000124: CALLDATALOAD 00000125: AND 00000126: PUSH2 0x0332 00000129: JUMP 0000012a: JUMPDEST 0000012b: CALLVALUE 0000012c: ISZERO 0000012d: PUSH2 0x0135 00000130: JUMPI 00000131: PUSH1 0x00 00000133: DUP1 00000134: REVERT 00000135: JUMPDEST 00000136: PUSH2 0x0143 00000139: PUSH1 0x04 0000013b: CALLDATALOAD 0000013c: PUSH1 0x24 0000013e: CALLDATALOAD 0000013f: PUSH2 0x03c7 00000142: JUMP 00000143: JUMPDEST 00000144: PUSH1 0x40 00000146: MLOAD 00000147: SWAP1 00000148: DUP2 00000149: MSTORE 0000014a: PUSH1 0x20 0000014c: ADD 0000014d: PUSH1 0x40 0000014f: MLOAD 00000150: DUP1 00000151: SWAP2 00000152: SUB 00000153: SWAP1 00000154: RETURN 00000155: JUMPDEST 00000156: CALLVALUE 00000157: ISZERO 00000158: PUSH2 0x0160 0000015b: JUMPI 0000015c: PUSH1 0x00 0000015e: DUP1 0000015f: REVERT 00000160: JUMPDEST 00000161: PUSH2 0x00f4 00000164: PUSH1 0x04 00000166: CALLDATALOAD 00000167: PUSH2 0x040c 0000016a: JUMP 0000016b: JUMPDEST 0000016c: CALLVALUE 0000016d: ISZERO 0000016e: PUSH2 0x0176 00000171: JUMPI 00000172: PUSH1 0x00 00000174: DUP1 00000175: REVERT 00000176: JUMPDEST 00000177: PUSH2 0x00f4 0000017a: PUSH1 0x04 0000017c: CALLDATALOAD 0000017d: PUSH2 0x0486 00000180: JUMP 00000181: JUMPDEST 00000182: CALLVALUE 00000183: ISZERO 00000184: PUSH2 0x018c 00000187: JUMPI 00000188: PUSH1 0x00 0000018a: DUP1 0000018b: REVERT 0000018c: JUMPDEST 0000018d: PUSH2 0x01dd 00000190: PUSH1 0x04 00000192: DUP1 00000193: CALLDATALOAD 00000194: SWAP1 00000195: PUSH1 0x24 00000197: DUP1 00000198: CALLDATALOAD 00000199: SWAP2 0000019a: SWAP1 0000019b: PUSH1 0x64 0000019d: SWAP1 0000019e: PUSH1 0x44 000001a0: CALLDATALOAD 000001a1: SWAP1 000001a2: DUP2 000001a3: ADD 000001a4: SWAP1 000001a5: DUP4 000001a6: ADD 000001a7: CALLDATALOAD 000001a8: DUP1 000001a9: PUSH1 0x20 000001ab: PUSH1 0x1f 000001ad: DUP3 000001ae: ADD 000001af: DUP2 000001b0: SWAP1 000001b1: DIV 000001b2: DUP2 000001b3: MUL 000001b4: ADD 000001b5: PUSH1 0x40 000001b7: MLOAD 000001b8: SWAP1 000001b9: DUP2 000001ba: ADD 000001bb: PUSH1 0x40 000001bd: MSTORE 000001be: DUP2 000001bf: DUP2 000001c0: MSTORE 000001c1: SWAP3 000001c2: SWAP2 000001c3: SWAP1 000001c4: PUSH1 0x20 000001c6: DUP5 000001c7: ADD 000001c8: DUP4 000001c9: DUP4 000001ca: DUP1 000001cb: DUP3 000001cc: DUP5 000001cd: CALLDATACOPY 000001ce: POP 000001cf: SWAP5 000001d0: SWAP7 000001d1: POP 000001d2: PUSH2 0x04fa 000001d5: SWAP6 000001d6: POP 000001d7: POP 000001d8: POP 000001d9: POP 000001da: POP 000001db: POP 000001dc: JUMP 000001dd: JUMPDEST 000001de: STOP 000001df: JUMPDEST 000001e0: CALLVALUE 000001e1: ISZERO 000001e2: PUSH2 0x01ea 000001e5: JUMPI 000001e6: PUSH1 0x00 000001e8: DUP1 000001e9: REVERT 000001ea: JUMPDEST 000001eb: PUSH2 0x01f5 000001ee: PUSH1 0x04 000001f0: CALLDATALOAD 000001f1: PUSH2 0x06c3 000001f4: JUMP 000001f5: JUMPDEST 000001f6: PUSH1 0x40 000001f8: MLOAD 000001f9: PUSH1 0x01 000001fb: PUSH1 0xa0 000001fd: PUSH1 0x02 000001ff: EXP 00000200: SUB 00000201: SWAP6 00000202: DUP7 00000203: AND 00000204: DUP2 00000205: MSTORE 00000206: SWAP4 00000207: SWAP1 00000208: SWAP5 00000209: AND 0000020a: PUSH1 0x20 0000020c: DUP5 0000020d: ADD 0000020e: MSTORE 0000020f: PUSH1 0x40 00000211: DUP1 00000212: DUP5 00000213: ADD 00000214: SWAP3 00000215: SWAP1 00000216: SWAP3 00000217: MSTORE 00000218: PUSH4 0xffffffff 0000021d: AND 0000021e: PUSH1 0x60 00000220: DUP4 00000221: ADD 00000222: MSTORE 00000223: PUSH1 0x80 00000225: DUP3 00000226: ADD 00000227: SWAP3 00000228: SWAP1 00000229: SWAP3 0000022a: MSTORE 0000022b: PUSH1 0xa0 0000022d: ADD 0000022e: SWAP1 0000022f: MLOAD 00000230: DUP1 00000231: SWAP2 00000232: SUB 00000233: SWAP1 00000234: RETURN 00000235: JUMPDEST 00000236: CALLVALUE 00000237: ISZERO 00000238: PUSH2 0x0240 0000023b: JUMPI 0000023c: PUSH1 0x00 0000023e: DUP1 0000023f: REVERT 00000240: JUMPDEST 00000241: PUSH2 0x00f4 00000244: PUSH1 0x04 00000246: CALLDATALOAD 00000247: PUSH2 0x0705 0000024a: JUMP 0000024b: JUMPDEST 0000024c: CALLVALUE 0000024d: ISZERO 0000024e: PUSH2 0x0256 00000251: JUMPI 00000252: PUSH1 0x00 00000254: DUP1 00000255: REVERT 00000256: JUMPDEST 00000257: PUSH2 0x01dd 0000025a: PUSH1 0x04 0000025c: CALLDATALOAD 0000025d: PUSH2 0x0726 00000260: JUMP 00000261: JUMPDEST 00000262: CALLVALUE 00000263: ISZERO 00000264: PUSH2 0x026c 00000267: JUMPI 00000268: PUSH1 0x00 0000026a: DUP1 0000026b: REVERT 0000026c: JUMPDEST 0000026d: PUSH2 0x00f4 00000270: PUSH1 0x04 00000272: CALLDATALOAD 00000273: PUSH2 0x080c 00000276: JUMP 00000277: JUMPDEST 00000278: PUSH2 0x01dd 0000027b: PUSH1 0x04 0000027d: CALLDATALOAD 0000027e: PUSH2 0x08a7 00000281: JUMP 00000282: JUMPDEST 00000283: PUSH2 0x01dd 00000286: PUSH1 0x04 00000288: CALLDATALOAD 00000289: PUSH1 0x01 0000028b: PUSH1 0xa0 0000028d: PUSH1 0x02 0000028f: EXP 00000290: SUB 00000291: PUSH1 0x24 00000293: CALLDATALOAD 00000294: AND 00000295: PUSH4 0xffffffff 0000029a: PUSH1 0x44 0000029c: CALLDATALOAD 0000029d: AND 0000029e: PUSH2 0x090f 000002a1: JUMP 000002a2: JUMPDEST 000002a3: CALLVALUE 000002a4: ISZERO 000002a5: PUSH2 0x02ad 000002a8: JUMPI 000002a9: PUSH1 0x00 000002ab: DUP1 000002ac: REVERT 000002ad: JUMPDEST 000002ae: PUSH2 0x01dd 000002b1: PUSH1 0x04 000002b3: CALLDATALOAD 000002b4: PUSH2 0x0a46 000002b7: JUMP 000002b8: JUMPDEST 000002b9: CALLVALUE 000002ba: ISZERO 000002bb: PUSH2 0x02c3 000002be: JUMPI 000002bf: PUSH1 0x00 000002c1: DUP1 000002c2: REVERT 000002c3: JUMPDEST 000002c4: PUSH2 0x00f4 000002c7: PUSH1 0x04 000002c9: DUP1 000002ca: CALLDATALOAD 000002cb: SWAP1 000002cc: PUSH1 0x24 000002ce: DUP1 000002cf: CALLDATALOAD 000002d0: SWAP2 000002d1: PUSH1 0x01 000002d3: PUSH1 0xa0 000002d5: PUSH1 0x02 000002d7: EXP 000002d8: SUB 000002d9: PUSH1 0x44 000002db: CALLDATALOAD 000002dc: AND 000002dd: SWAP2 000002de: PUSH1 0x84 000002e0: SWAP1 000002e1: PUSH1 0x64 000002e3: CALLDATALOAD 000002e4: SWAP1 000002e5: DUP2 000002e6: ADD 000002e7: SWAP1 000002e8: DUP4 000002e9: ADD 000002ea: CALLDATALOAD 000002eb: DUP1 000002ec: PUSH1 0x20 000002ee: PUSH1 0x1f 000002f0: DUP3 000002f1: ADD 000002f2: DUP2 000002f3: SWAP1 000002f4: DIV 000002f5: DUP2 000002f6: MUL 000002f7: ADD 000002f8: PUSH1 0x40 000002fa: MLOAD 000002fb: SWAP1 000002fc: DUP2 000002fd: ADD 000002fe: PUSH1 0x40 00000300: MSTORE 00000301: DUP2 00000302: DUP2 00000303: MSTORE 00000304: SWAP3 00000305: SWAP2 00000306: SWAP1 00000307: PUSH1 0x20 00000309: DUP5 0000030a: ADD 0000030b: DUP4 0000030c: DUP4 0000030d: DUP1 0000030e: DUP3 0000030f: DUP5 00000310: CALLDATACOPY 00000311: POP 00000312: SWAP5 00000313: SWAP7 00000314: POP 00000315: PUSH2 0x0ab2 00000318: SWAP6 00000319: POP 0000031a: POP 0000031b: POP 0000031c: POP 0000031d: POP 0000031e: POP 0000031f: JUMP 00000320: JUMPDEST 00000321: PUSH1 0x00 00000323: PUSH2 0x032b 00000326: DUP3 00000327: PUSH2 0x040c 0000032a: JUMP 0000032b: JUMPDEST 0000032c: ISZERO 0000032d: SWAP3 0000032e: SWAP2 0000032f: POP 00000330: POP 00000331: JUMP 00000332: JUMPDEST 00000333: PUSH1 0x00 00000335: PUSH2 0x033c 00000338: PUSH2 0x0d32 0000033b: JUMP 0000033c: JUMPDEST 0000033d: PUSH1 0x00 0000033f: DUP5 00000340: DUP2 00000341: MSTORE 00000342: PUSH1 0x20 00000344: DUP2 00000345: SWAP1 00000346: MSTORE 00000347: PUSH1 0x40 00000349: DUP1 0000034a: DUP3 0000034b: KECCAK256 0000034c: SWAP1 0000034d: PUSH1 0xa0 0000034f: SWAP1 00000350: MLOAD 00000351: SWAP1 00000352: DUP2 00000353: ADD 00000354: PUSH1 0x40 00000356: SWAP1 00000357: DUP2 00000358: MSTORE 00000359: DUP3 0000035a: SLOAD 0000035b: PUSH1 0x01 0000035d: PUSH1 0xa0 0000035f: PUSH1 0x02 00000361: EXP 00000362: SUB 00000363: SWAP1 00000364: DUP2 00000365: AND 00000366: DUP4 00000367: MSTORE 00000368: PUSH1 0x01 0000036a: DUP5 0000036b: ADD 0000036c: SLOAD 0000036d: DUP2 0000036e: AND 0000036f: PUSH1 0x20 00000371: DUP5 00000372: ADD 00000373: MSTORE 00000374: PUSH1 0x02 00000376: DUP5 00000377: ADD 00000378: SLOAD 00000379: SWAP2 0000037a: DUP4 0000037b: ADD 0000037c: SWAP2 0000037d: SWAP1 0000037e: SWAP2 0000037f: MSTORE 00000380: PUSH1 0x03 00000382: DUP4 00000383: ADD 00000384: SLOAD 00000385: PUSH4 0xffffffff 0000038a: AND 0000038b: PUSH1 0x60 0000038d: DUP4 0000038e: ADD 0000038f: MSTORE 00000390: PUSH1 0x04 00000392: SWAP1 00000393: SWAP3 00000394: ADD 00000395: SLOAD 00000396: PUSH1 0x80 00000398: DUP3 00000399: ADD 0000039a: MSTORE 0000039b: SWAP3 0000039c: POP 0000039d: DUP5 0000039e: AND 0000039f: DUP3 000003a0: MLOAD 000003a1: PUSH1 0x01 000003a3: PUSH1 0xa0 000003a5: PUSH1 0x02 000003a7: EXP 000003a8: SUB 000003a9: AND 000003aa: EQ 000003ab: SWAP1 000003ac: POP 000003ad: PUSH2 0x03b5 000003b0: DUP6 000003b1: PUSH2 0x0705 000003b4: JUMP 000003b5: JUMPDEST 000003b6: DUP1 000003b7: ISZERO 000003b8: PUSH2 0x03be 000003bb: JUMPI 000003bc: POP 000003bd: DUP1 000003be: JUMPDEST 000003bf: SWAP6 000003c0: SWAP5 000003c1: POP 000003c2: POP 000003c3: POP 000003c4: POP 000003c5: POP 000003c6: JUMP 000003c7: JUMPDEST 000003c8: PUSH1 0x00 000003ca: ADDRESS 000003cb: DUP4 000003cc: DUP4 000003cd: PUSH1 0x40 000003cf: MLOAD 000003d0: PUSH1 0x01 000003d2: PUSH1 0xa0 000003d4: PUSH1 0x02 000003d6: EXP 000003d7: SUB 000003d8: SWAP4 000003d9: SWAP1 000003da: SWAP4 000003db: AND 000003dc: PUSH13 0x01000000000000000000000000 000003ea: MUL 000003eb: DUP4 000003ec: MSTORE 000003ed: PUSH1 0x14 000003ef: DUP4 000003f0: ADD 000003f1: SWAP2 000003f2: SWAP1 000003f3: SWAP2 000003f4: MSTORE 000003f5: PUSH1 0x34 000003f7: DUP3 000003f8: ADD 000003f9: MSTORE 000003fa: PUSH1 0x54 000003fc: ADD 000003fd: PUSH1 0x40 000003ff: MLOAD 00000400: DUP1 00000401: SWAP2 00000402: SUB 00000403: SWAP1 00000404: KECCAK256 00000405: SWAP1 00000406: POP 00000407: SWAP3 00000408: SWAP2 00000409: POP 0000040a: POP 0000040b: JUMP 0000040c: JUMPDEST 0000040d: PUSH1 0x00 0000040f: PUSH2 0x0416 00000412: PUSH2 0x0d32 00000415: JUMP 00000416: JUMPDEST 00000417: PUSH1 0x00 00000419: DUP4 0000041a: DUP2 0000041b: MSTORE 0000041c: PUSH1 0x20 0000041e: DUP2 0000041f: SWAP1 00000420: MSTORE 00000421: PUSH1 0x40 00000423: SWAP1 00000424: DUP2 00000425: SWAP1 00000426: KECCAK256 00000427: SWAP1 00000428: PUSH1 0xa0 0000042a: SWAP1 0000042b: MLOAD 0000042c: SWAP1 0000042d: DUP2 0000042e: ADD 0000042f: PUSH1 0x40 00000431: SWAP1 00000432: DUP2 00000433: MSTORE 00000434: DUP3 00000435: SLOAD 00000436: PUSH1 0x01 00000438: PUSH1 0xa0 0000043a: PUSH1 0x02 0000043c: EXP 0000043d: SUB 0000043e: SWAP1 0000043f: DUP2 00000440: AND 00000441: DUP4 00000442: MSTORE 00000443: PUSH1 0x01 00000445: DUP5 00000446: ADD 00000447: SLOAD 00000448: AND 00000449: PUSH1 0x20 0000044b: DUP4 0000044c: ADD 0000044d: MSTORE 0000044e: PUSH1 0x02 00000450: DUP4 00000451: ADD 00000452: SLOAD 00000453: SWAP1 00000454: DUP3 00000455: ADD 00000456: MSTORE 00000457: PUSH1 0x03 00000459: DUP3 0000045a: ADD 0000045b: SLOAD 0000045c: PUSH4 0xffffffff 00000461: AND 00000462: PUSH1 0x60 00000464: DUP3 00000465: ADD 00000466: MSTORE 00000467: PUSH1 0x04 00000469: SWAP1 0000046a: SWAP2 0000046b: ADD 0000046c: SLOAD 0000046d: PUSH1 0x80 0000046f: DUP3 00000470: ADD 00000471: MSTORE 00000472: SWAP1 00000473: POP 00000474: DUP1 00000475: MLOAD 00000476: PUSH1 0x01 00000478: PUSH1 0xa0 0000047a: PUSH1 0x02 0000047c: EXP 0000047d: SUB 0000047e: AND 0000047f: ISZERO 00000480: SWAP4 00000481: SWAP3 00000482: POP 00000483: POP 00000484: POP 00000485: JUMP 00000486: JUMPDEST 00000487: PUSH1 0x00 00000489: PUSH2 0x0490 0000048c: PUSH2 0x0d32 0000048f: JUMP 00000490: JUMPDEST 00000491: PUSH1 0x00 00000493: DUP4 00000494: DUP2 00000495: MSTORE 00000496: PUSH1 0x20 00000498: DUP2 00000499: SWAP1 0000049a: MSTORE 0000049b: PUSH1 0x40 0000049d: SWAP1 0000049e: DUP2 0000049f: SWAP1 000004a0: KECCAK256 000004a1: SWAP1 000004a2: PUSH1 0xa0 000004a4: SWAP1 000004a5: MLOAD 000004a6: SWAP1 000004a7: DUP2 000004a8: ADD 000004a9: PUSH1 0x40 000004ab: SWAP1 000004ac: DUP2 000004ad: MSTORE 000004ae: DUP3 000004af: SLOAD 000004b0: PUSH1 0x01 000004b2: PUSH1 0xa0 000004b4: PUSH1 0x02 000004b6: EXP 000004b7: SUB 000004b8: SWAP1 000004b9: DUP2 000004ba: AND 000004bb: DUP4 000004bc: MSTORE 000004bd: PUSH1 0x01 000004bf: DUP5 000004c0: ADD 000004c1: SLOAD 000004c2: AND 000004c3: PUSH1 0x20 000004c5: DUP4 000004c6: ADD 000004c7: MSTORE 000004c8: PUSH1 0x02 000004ca: DUP4 000004cb: ADD 000004cc: SLOAD 000004cd: SWAP1 000004ce: DUP3 000004cf: ADD 000004d0: MSTORE 000004d1: PUSH1 0x03 000004d3: DUP3 000004d4: ADD 000004d5: SLOAD 000004d6: PUSH4 0xffffffff 000004db: AND 000004dc: PUSH1 0x60 000004de: DUP3 000004df: ADD 000004e0: MSTORE 000004e1: PUSH1 0x04 000004e3: SWAP1 000004e4: SWAP2 000004e5: ADD 000004e6: SLOAD 000004e7: PUSH1 0x80 000004e9: DUP3 000004ea: ADD 000004eb: SWAP1 000004ec: DUP2 000004ed: MSTORE 000004ee: SWAP1 000004ef: SWAP2 000004f0: POP 000004f1: MLOAD 000004f2: ISZERO 000004f3: ISZERO 000004f4: SWAP4 000004f5: SWAP3 000004f6: POP 000004f7: POP 000004f8: POP 000004f9: JUMP 000004fa: JUMPDEST 000004fb: PUSH2 0x0502 000004fe: PUSH2 0x0d32 00000501: JUMP 00000502: JUMPDEST 00000503: PUSH2 0x050e 00000506: DUP5 00000507: DUP5 00000508: CALLER 00000509: DUP6 0000050a: PUSH2 0x0ab2 0000050d: JUMP 0000050e: JUMPDEST 0000050f: ISZERO 00000510: ISZERO 00000511: PUSH2 0x0519 00000514: JUMPI 00000515: PUSH1 0x00 00000517: DUP1 00000518: REVERT 00000519: JUMPDEST 0000051a: PUSH1 0x00 0000051c: DUP5 0000051d: DUP2 0000051e: MSTORE 0000051f: PUSH1 0x20 00000521: DUP2 00000522: SWAP1 00000523: MSTORE 00000524: PUSH1 0x40 00000526: SWAP1 00000527: DUP2 00000528: SWAP1 00000529: KECCAK256 0000052a: SWAP1 0000052b: PUSH1 0xa0 0000052d: SWAP1 0000052e: MLOAD 0000052f: SWAP1 00000530: DUP2 00000531: ADD 00000532: PUSH1 0x40 00000534: SWAP1 00000535: DUP2 00000536: MSTORE 00000537: DUP3 00000538: SLOAD 00000539: PUSH1 0x01 0000053b: PUSH1 0xa0 0000053d: PUSH1 0x02 0000053f: EXP 00000540: SUB 00000541: SWAP1 00000542: DUP2 00000543: AND 00000544: DUP4 00000545: MSTORE 00000546: PUSH1 0x01 00000548: DUP5 00000549: ADD 0000054a: SLOAD 0000054b: AND 0000054c: PUSH1 0x20 0000054e: DUP4 0000054f: ADD 00000550: MSTORE 00000551: PUSH1 0x02 00000553: DUP4 00000554: ADD 00000555: SLOAD 00000556: SWAP1 00000557: DUP3 00000558: ADD 00000559: SWAP1 0000055a: DUP2 0000055b: MSTORE 0000055c: PUSH1 0x03 0000055e: DUP4 0000055f: ADD 00000560: SLOAD 00000561: PUSH4 0xffffffff 00000566: AND 00000567: PUSH1 0x60 00000569: DUP4 0000056a: ADD 0000056b: MSTORE 0000056c: PUSH1 0x04 0000056e: SWAP1 0000056f: SWAP3 00000570: ADD 00000571: SLOAD 00000572: PUSH1 0x80 00000574: DUP3 00000575: ADD 00000576: MSTORE 00000577: SWAP2 00000578: POP 00000579: MLOAD 0000057a: DUP4 0000057b: LT 0000057c: PUSH2 0x05bf 0000057f: JUMPI 00000580: DUP1 00000581: PUSH1 0x20 00000583: ADD 00000584: MLOAD 00000585: PUSH1 0x01 00000587: PUSH1 0xa0 00000589: PUSH1 0x02 0000058b: EXP 0000058c: SUB 0000058d: AND 0000058e: PUSH2 0x08fc 00000591: DUP3 00000592: PUSH1 0x40 00000594: ADD 00000595: MLOAD 00000596: SWAP1 00000597: DUP2 00000598: ISZERO 00000599: MUL 0000059a: SWAP1 0000059b: PUSH1 0x40 0000059d: MLOAD 0000059e: PUSH1 0x00 000005a0: PUSH1 0x40 000005a2: MLOAD 000005a3: DUP1 000005a4: DUP4 000005a5: SUB 000005a6: DUP2 000005a7: DUP6 000005a8: DUP9 000005a9: DUP9 000005aa: CALL 000005ab: SWAP4 000005ac: POP 000005ad: POP 000005ae: POP 000005af: POP 000005b0: ISZERO 000005b1: ISZERO 000005b2: PUSH2 0x05ba 000005b5: JUMPI 000005b6: PUSH1 0x00 000005b8: DUP1 000005b9: REVERT 000005ba: JUMPDEST 000005bb: PUSH2 0x063c 000005be: JUMP 000005bf: JUMPDEST 000005c0: DUP1 000005c1: PUSH1 0x20 000005c3: ADD 000005c4: MLOAD 000005c5: PUSH1 0x01 000005c7: PUSH1 0xa0 000005c9: PUSH1 0x02 000005cb: EXP 000005cc: SUB 000005cd: AND 000005ce: DUP4 000005cf: ISZERO 000005d0: PUSH2 0x08fc 000005d3: MUL 000005d4: DUP5 000005d5: PUSH1 0x40 000005d7: MLOAD 000005d8: PUSH1 0x00 000005da: PUSH1 0x40 000005dc: MLOAD 000005dd: DUP1 000005de: DUP4 000005df: SUB 000005e0: DUP2 000005e1: DUP6 000005e2: DUP9 000005e3: DUP9 000005e4: CALL 000005e5: SWAP4 000005e6: POP 000005e7: POP 000005e8: POP 000005e9: POP 000005ea: ISZERO 000005eb: ISZERO 000005ec: PUSH2 0x05f4 000005ef: JUMPI 000005f0: PUSH1 0x00 000005f2: DUP1 000005f3: REVERT 000005f4: JUMPDEST 000005f5: DUP1 000005f6: MLOAD 000005f7: PUSH1 0x01 000005f9: PUSH1 0xa0 000005fb: PUSH1 0x02 000005fd: EXP 000005fe: SUB 000005ff: AND 00000600: PUSH2 0x08fc 00000603: PUSH2 0x0617 00000606: DUP6 00000607: DUP5 00000608: PUSH1 0x40 0000060a: ADD 0000060b: MLOAD 0000060c: SWAP1 0000060d: PUSH4 0xffffffff 00000612: PUSH2 0x0c6c 00000615: AND 00000616: JUMP 00000617: JUMPDEST 00000618: SWAP1 00000619: DUP2 0000061a: ISZERO 0000061b: MUL 0000061c: SWAP1 0000061d: PUSH1 0x40 0000061f: MLOAD 00000620: PUSH1 0x00 00000622: PUSH1 0x40 00000624: MLOAD 00000625: DUP1 00000626: DUP4 00000627: SUB 00000628: DUP2 00000629: DUP6 0000062a: DUP9 0000062b: DUP9 0000062c: CALL 0000062d: SWAP4 0000062e: POP 0000062f: POP 00000630: POP 00000631: POP 00000632: ISZERO 00000633: ISZERO 00000634: PUSH2 0x063c 00000637: JUMPI 00000638: PUSH1 0x00 0000063a: DUP1 0000063b: REVERT 0000063c: JUMPDEST 0000063d: PUSH1 0x00 0000063f: DUP5 00000640: DUP2 00000641: MSTORE 00000642: PUSH1 0x20 00000644: DUP2 00000645: SWAP1 00000646: MSTORE 00000647: PUSH1 0x40 00000649: DUP1 0000064a: DUP3 0000064b: KECCAK256 0000064c: DUP1 0000064d: SLOAD 0000064e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000663: NOT 00000664: SWAP1 00000665: DUP2 00000666: AND 00000667: DUP3 00000668: SSTORE 00000669: PUSH1 0x01 0000066b: DUP3 0000066c: ADD 0000066d: DUP1 0000066e: SLOAD 0000066f: SWAP1 00000670: SWAP2 00000671: AND 00000672: SWAP1 00000673: SSTORE 00000674: PUSH1 0x02 00000676: DUP2 00000677: ADD 00000678: DUP4 00000679: SWAP1 0000067a: SSTORE 0000067b: PUSH1 0x03 0000067d: DUP2 0000067e: ADD 0000067f: DUP1 00000680: SLOAD 00000681: PUSH4 0xffffffff 00000686: NOT 00000687: AND 00000688: SWAP1 00000689: SSTORE 0000068a: PUSH1 0x04 0000068c: ADD 0000068d: SWAP2 0000068e: SWAP1 0000068f: SWAP2 00000690: SSTORE 00000691: DUP5 00000692: SWAP1 00000693: PUSH32 0x3de43c9e481138453c3cfea2781e18a609abb6448556669b257edc7de710fd64 000006b4: SWAP1 000006b5: MLOAD 000006b6: PUSH1 0x40 000006b8: MLOAD 000006b9: DUP1 000006ba: SWAP2 000006bb: SUB 000006bc: SWAP1 000006bd: LOG2 000006be: POP 000006bf: POP 000006c0: POP 000006c1: POP 000006c2: JUMP 000006c3: JUMPDEST 000006c4: PUSH1 0x00 000006c6: PUSH1 0x20 000006c8: DUP2 000006c9: SWAP1 000006ca: MSTORE 000006cb: SWAP1 000006cc: DUP2 000006cd: MSTORE 000006ce: PUSH1 0x40 000006d0: SWAP1 000006d1: KECCAK256 000006d2: DUP1 000006d3: SLOAD 000006d4: PUSH1 0x01 000006d6: DUP3 000006d7: ADD 000006d8: SLOAD 000006d9: PUSH1 0x02 000006db: DUP4 000006dc: ADD 000006dd: SLOAD 000006de: PUSH1 0x03 000006e0: DUP5 000006e1: ADD 000006e2: SLOAD 000006e3: PUSH1 0x04 000006e5: SWAP1 000006e6: SWAP5 000006e7: ADD 000006e8: SLOAD 000006e9: PUSH1 0x01 000006eb: PUSH1 0xa0 000006ed: PUSH1 0x02 000006ef: EXP 000006f0: SUB 000006f1: SWAP4 000006f2: DUP5 000006f3: AND 000006f4: SWAP5 000006f5: SWAP3 000006f6: SWAP1 000006f7: SWAP4 000006f8: AND 000006f9: SWAP3 000006fa: SWAP1 000006fb: SWAP2 000006fc: PUSH4 0xffffffff 00000701: AND 00000702: SWAP1 00000703: DUP6 00000704: JUMP 00000705: JUMPDEST 00000706: PUSH1 0x00 00000708: PUSH2 0x0710 0000070b: DUP3 0000070c: PUSH2 0x0320 0000070f: JUMP 00000710: JUMPDEST 00000711: DUP1 00000712: ISZERO 00000713: PUSH2 0x0720 00000716: JUMPI 00000717: POP 00000718: PUSH2 0x032b 0000071b: DUP3 0000071c: PUSH2 0x0486 0000071f: JUMP 00000720: JUMPDEST 00000721: SWAP3 00000722: SWAP2 00000723: POP 00000724: POP 00000725: JUMP 00000726: JUMPDEST 00000727: PUSH1 0x00 00000729: PUSH2 0x0731 0000072c: DUP3 0000072d: PUSH2 0x080c 00000730: JUMP 00000731: JUMPDEST 00000732: ISZERO 00000733: ISZERO 00000734: PUSH2 0x073c 00000737: JUMPI 00000738: PUSH1 0x00 0000073a: DUP1 0000073b: REVERT 0000073c: JUMPDEST 0000073d: POP 0000073e: PUSH1 0x00 00000740: DUP2 00000741: DUP2 00000742: MSTORE 00000743: PUSH1 0x20 00000745: DUP2 00000746: SWAP1 00000747: MSTORE 00000748: PUSH1 0x40 0000074a: SWAP1 0000074b: DUP2 0000074c: SWAP1 0000074d: KECCAK256 0000074e: DUP1 0000074f: SLOAD 00000750: PUSH1 0x02 00000752: DUP3 00000753: ADD 00000754: SLOAD 00000755: SWAP2 00000756: SWAP3 00000757: PUSH1 0x01 00000759: PUSH1 0xa0 0000075b: PUSH1 0x02 0000075d: EXP 0000075e: SUB 0000075f: SWAP1 00000760: SWAP2 00000761: AND 00000762: SWAP2 00000763: DUP1 00000764: ISZERO 00000765: PUSH2 0x08fc 00000768: MUL 00000769: SWAP2 0000076a: MLOAD 0000076b: PUSH1 0x00 0000076d: PUSH1 0x40 0000076f: MLOAD 00000770: DUP1 00000771: DUP4 00000772: SUB 00000773: DUP2 00000774: DUP6 00000775: DUP9 00000776: DUP9 00000777: CALL 00000778: SWAP4 00000779: POP 0000077a: POP 0000077b: POP 0000077c: POP 0000077d: ISZERO 0000077e: ISZERO 0000077f: PUSH2 0x0787 00000782: JUMPI 00000783: PUSH1 0x00 00000785: DUP1 00000786: REVERT 00000787: JUMPDEST 00000788: PUSH1 0x00 0000078a: DUP3 0000078b: DUP2 0000078c: MSTORE 0000078d: PUSH1 0x20 0000078f: DUP2 00000790: SWAP1 00000791: MSTORE 00000792: PUSH1 0x40 00000794: DUP1 00000795: DUP3 00000796: KECCAK256 00000797: DUP1 00000798: SLOAD 00000799: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ae: NOT 000007af: SWAP1 000007b0: DUP2 000007b1: AND 000007b2: DUP3 000007b3: SSTORE 000007b4: PUSH1 0x01 000007b6: DUP3 000007b7: ADD 000007b8: DUP1 000007b9: SLOAD 000007ba: SWAP1 000007bb: SWAP2 000007bc: AND 000007bd: SWAP1 000007be: SSTORE 000007bf: PUSH1 0x02 000007c1: DUP2 000007c2: ADD 000007c3: DUP4 000007c4: SWAP1 000007c5: SSTORE 000007c6: PUSH1 0x03 000007c8: DUP2 000007c9: ADD 000007ca: DUP1 000007cb: SLOAD 000007cc: PUSH4 0xffffffff 000007d1: NOT 000007d2: AND 000007d3: SWAP1 000007d4: SSTORE 000007d5: PUSH1 0x04 000007d7: ADD 000007d8: SWAP2 000007d9: SWAP1 000007da: SWAP2 000007db: SSTORE 000007dc: DUP3 000007dd: SWAP1 000007de: PUSH32 0x74fb75c3de2cff5e8a78cf9b1f49a5bea60126b42ed45bb4b2b25b7da03e4d1b 000007ff: SWAP1 00000800: MLOAD 00000801: PUSH1 0x40 00000803: MLOAD 00000804: DUP1 00000805: SWAP2 00000806: SUB 00000807: SWAP1 00000808: LOG2 00000809: POP 0000080a: POP 0000080b: JUMP 0000080c: JUMPDEST 0000080d: PUSH1 0x00 0000080f: PUSH2 0x0816 00000812: PUSH2 0x0d32 00000815: JUMP 00000816: JUMPDEST 00000817: PUSH1 0x00 00000819: DUP4 0000081a: DUP2 0000081b: MSTORE 0000081c: PUSH1 0x20 0000081e: DUP2 0000081f: SWAP1 00000820: MSTORE 00000821: PUSH1 0x40 00000823: DUP1 00000824: DUP3 00000825: KECCAK256 00000826: SWAP1 00000827: PUSH1 0xa0 00000829: SWAP1 0000082a: MLOAD 0000082b: SWAP1 0000082c: DUP2 0000082d: ADD 0000082e: PUSH1 0x40 00000830: SWAP1 00000831: DUP2 00000832: MSTORE 00000833: DUP3 00000834: SLOAD 00000835: PUSH1 0x01 00000837: PUSH1 0xa0 00000839: PUSH1 0x02 0000083b: EXP 0000083c: SUB 0000083d: SWAP1 0000083e: DUP2 0000083f: AND 00000840: DUP4 00000841: MSTORE 00000842: PUSH1 0x01 00000844: DUP5 00000845: ADD 00000846: SLOAD 00000847: AND 00000848: PUSH1 0x20 0000084a: DUP4 0000084b: ADD 0000084c: MSTORE 0000084d: PUSH1 0x02 0000084f: DUP4 00000850: ADD 00000851: SLOAD 00000852: SWAP1 00000853: DUP3 00000854: ADD 00000855: MSTORE 00000856: PUSH1 0x03 00000858: DUP3 00000859: ADD 0000085a: SLOAD 0000085b: PUSH4 0xffffffff 00000860: AND 00000861: PUSH1 0x60 00000863: DUP3 00000864: ADD 00000865: MSTORE 00000866: PUSH1 0x04 00000868: SWAP1 00000869: SWAP2 0000086a: ADD 0000086b: SLOAD 0000086c: PUSH1 0x80 0000086e: DUP3 0000086f: ADD 00000870: MSTORE 00000871: SWAP2 00000872: POP 00000873: PUSH2 0x087b 00000876: DUP5 00000877: PUSH2 0x0486 0000087a: JUMP 0000087b: JUMPDEST 0000087c: DUP1 0000087d: ISZERO 0000087e: PUSH2 0x088b 00000881: JUMPI 00000882: POP 00000883: DUP2 00000884: PUSH1 0x80 00000886: ADD 00000887: MLOAD 00000888: NUMBER 00000889: LT 0000088a: ISZERO 0000088b: JUMPDEST 0000088c: SWAP1 0000088d: POP 0000088e: PUSH2 0x0896 00000891: DUP5 00000892: PUSH2 0x0486 00000895: JUMP 00000896: JUMPDEST 00000897: DUP1 00000898: ISZERO 00000899: PUSH2 0x089f 0000089c: JUMPI 0000089d: POP 0000089e: DUP1 0000089f: JUMPDEST 000008a0: SWAP5 000008a1: SWAP4 000008a2: POP 000008a3: POP 000008a4: POP 000008a5: POP 000008a6: JUMP 000008a7: JUMPDEST 000008a8: PUSH2 0x08b1 000008ab: DUP2 000008ac: CALLER 000008ad: PUSH2 0x0332 000008b0: JUMP 000008b1: JUMPDEST 000008b2: ISZERO 000008b3: ISZERO 000008b4: PUSH2 0x08bc 000008b7: JUMPI 000008b8: PUSH1 0x00 000008ba: DUP1 000008bb: REVERT 000008bc: JUMPDEST 000008bd: PUSH1 0x00 000008bf: DUP2 000008c0: DUP2 000008c1: MSTORE 000008c2: PUSH1 0x20 000008c4: DUP2 000008c5: SWAP1 000008c6: MSTORE 000008c7: PUSH1 0x40 000008c9: SWAP1 000008ca: DUP2 000008cb: SWAP1 000008cc: KECCAK256 000008cd: PUSH1 0x02 000008cf: ADD 000008d0: DUP1 000008d1: SLOAD 000008d2: CALLVALUE 000008d3: SWAP1 000008d4: DUP2 000008d5: ADD 000008d6: SWAP1 000008d7: SWAP2 000008d8: SSTORE 000008d9: DUP3 000008da: SWAP2 000008db: PUSH32 0x6f850cda6d6b2f5cca622bc2d4739e4ed917c12d29f9a92b9e6c127abe398424 000008fc: SWAP2 000008fd: SWAP1 000008fe: MLOAD 000008ff: SWAP1 00000900: DUP2 00000901: MSTORE 00000902: PUSH1 0x20 00000904: ADD 00000905: PUSH1 0x40 00000907: MLOAD 00000908: DUP1 00000909: SWAP2 0000090a: SUB 0000090b: SWAP1 0000090c: LOG2 0000090d: POP 0000090e: JUMP 0000090f: JUMPDEST 00000910: PUSH2 0x0918 00000913: DUP4 00000914: PUSH2 0x040c 00000917: JUMP 00000918: JUMPDEST 00000919: ISZERO 0000091a: ISZERO 0000091b: PUSH2 0x0923 0000091e: JUMPI 0000091f: PUSH1 0x00 00000921: DUP1 00000922: REVERT 00000923: JUMPDEST 00000924: PUSH1 0xa0 00000926: PUSH1 0x40 00000928: MLOAD 00000929: SWAP1 0000092a: DUP2 0000092b: ADD 0000092c: PUSH1 0x40 0000092e: SWAP1 0000092f: DUP2 00000930: MSTORE 00000931: PUSH1 0x01 00000933: PUSH1 0xa0 00000935: PUSH1 0x02 00000937: EXP 00000938: SUB 00000939: CALLER 0000093a: DUP2 0000093b: AND 0000093c: DUP4 0000093d: MSTORE 0000093e: DUP5 0000093f: AND 00000940: PUSH1 0x20 00000942: DUP1 00000943: DUP5 00000944: ADD 00000945: SWAP2 00000946: SWAP1 00000947: SWAP2 00000948: MSTORE 00000949: CALLVALUE 0000094a: DUP3 0000094b: DUP5 0000094c: ADD 0000094d: MSTORE 0000094e: PUSH4 0xffffffff 00000953: DUP5 00000954: AND 00000955: PUSH1 0x60 00000957: DUP5 00000958: ADD 00000959: MSTORE 0000095a: PUSH1 0x00 0000095c: PUSH1 0x80 0000095e: DUP5 0000095f: ADD 00000960: DUP2 00000961: SWAP1 00000962: MSTORE 00000963: DUP7 00000964: DUP2 00000965: MSTORE 00000966: SWAP1 00000967: DUP2 00000968: SWAP1 00000969: MSTORE 0000096a: KECCAK256 0000096b: DUP2 0000096c: MLOAD 0000096d: DUP2 0000096e: SLOAD 0000096f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000984: NOT 00000985: AND 00000986: PUSH1 0x01 00000988: PUSH1 0xa0 0000098a: PUSH1 0x02 0000098c: EXP 0000098d: SUB 0000098e: SWAP2 0000098f: SWAP1 00000990: SWAP2 00000991: AND 00000992: OR 00000993: DUP2 00000994: SSTORE 00000995: PUSH1 0x20 00000997: DUP3 00000998: ADD 00000999: MLOAD 0000099a: PUSH1 0x01 0000099c: DUP3 0000099d: ADD 0000099e: DUP1 0000099f: SLOAD 000009a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b5: NOT 000009b6: AND 000009b7: PUSH1 0x01 000009b9: PUSH1 0xa0 000009bb: PUSH1 0x02 000009bd: EXP 000009be: SUB 000009bf: SWAP3 000009c0: SWAP1 000009c1: SWAP3 000009c2: AND 000009c3: SWAP2 000009c4: SWAP1 000009c5: SWAP2 000009c6: OR 000009c7: SWAP1 000009c8: SSTORE 000009c9: PUSH1 0x40 000009cb: DUP3 000009cc: ADD 000009cd: MLOAD 000009ce: DUP2 000009cf: PUSH1 0x02 000009d1: ADD 000009d2: SSTORE 000009d3: PUSH1 0x60 000009d5: DUP3 000009d6: ADD 000009d7: MLOAD 000009d8: PUSH1 0x03 000009da: DUP3 000009db: ADD 000009dc: DUP1 000009dd: SLOAD 000009de: PUSH4 0xffffffff 000009e3: NOT 000009e4: AND 000009e5: PUSH4 0xffffffff 000009ea: SWAP3 000009eb: SWAP1 000009ec: SWAP3 000009ed: AND 000009ee: SWAP2 000009ef: SWAP1 000009f0: SWAP2 000009f1: OR 000009f2: SWAP1 000009f3: SSTORE 000009f4: PUSH1 0x80 000009f6: DUP3 000009f7: ADD 000009f8: MLOAD 000009f9: PUSH1 0x04 000009fb: SWAP1 000009fc: SWAP2 000009fd: ADD 000009fe: SSTORE 000009ff: POP 00000a00: PUSH1 0x01 00000a02: PUSH1 0xa0 00000a04: PUSH1 0x02 00000a06: EXP 00000a07: SUB 00000a08: DUP1 00000a09: DUP4 00000a0a: AND 00000a0b: SWAP1 00000a0c: CALLER 00000a0d: AND 00000a0e: DUP5 00000a0f: PUSH32 0x2f7cfc632227c054da7caaf75268353dba6206f53e9f7a547a193e66ab8c94dc 00000a30: CALLVALUE 00000a31: PUSH1 0x40 00000a33: MLOAD 00000a34: SWAP1 00000a35: DUP2 00000a36: MSTORE 00000a37: PUSH1 0x20 00000a39: ADD 00000a3a: PUSH1 0x40 00000a3c: MLOAD 00000a3d: DUP1 00000a3e: SWAP2 00000a3f: SUB 00000a40: SWAP1 00000a41: LOG4 00000a42: POP 00000a43: POP 00000a44: POP 00000a45: JUMP 00000a46: JUMPDEST 00000a47: PUSH1 0x00 00000a49: PUSH2 0x0a52 00000a4c: DUP3 00000a4d: CALLER 00000a4e: PUSH2 0x0332 00000a51: JUMP 00000a52: JUMPDEST 00000a53: ISZERO 00000a54: ISZERO 00000a55: PUSH2 0x0a5d 00000a58: JUMPI 00000a59: PUSH1 0x00 00000a5b: DUP1 00000a5c: REVERT 00000a5d: JUMPDEST 00000a5e: POP 00000a5f: PUSH1 0x00 00000a61: DUP2 00000a62: DUP2 00000a63: MSTORE 00000a64: PUSH1 0x20 00000a66: DUP2 00000a67: SWAP1 00000a68: MSTORE 00000a69: PUSH1 0x40 00000a6b: SWAP1 00000a6c: DUP2 00000a6d: SWAP1 00000a6e: KECCAK256 00000a6f: PUSH1 0x03 00000a71: DUP2 00000a72: ADD 00000a73: SLOAD 00000a74: PUSH4 0xffffffff 00000a79: AND 00000a7a: NUMBER 00000a7b: ADD 00000a7c: PUSH1 0x04 00000a7e: DUP3 00000a7f: ADD 00000a80: SSTORE 00000a81: SWAP1 00000a82: DUP3 00000a83: SWAP1 00000a84: PUSH32 0xd6461a3a92fd600fe23f236b2e25c2fd0c197a66b2f990989f0b210d578f4617 00000aa5: SWAP1 00000aa6: MLOAD 00000aa7: PUSH1 0x40 00000aa9: MLOAD 00000aaa: DUP1 00000aab: SWAP2 00000aac: SUB 00000aad: SWAP1 00000aae: LOG2 00000aaf: POP 00000ab0: POP 00000ab1: JUMP 00000ab2: JUMPDEST 00000ab3: PUSH1 0x00 00000ab5: PUSH2 0x0abc 00000ab8: PUSH2 0x0d32 00000abb: JUMP 00000abc: JUMPDEST 00000abd: PUSH1 0x00 00000abf: DUP7 00000ac0: DUP2 00000ac1: MSTORE 00000ac2: PUSH1 0x20 00000ac4: DUP2 00000ac5: SWAP1 00000ac6: MSTORE 00000ac7: PUSH1 0x40 00000ac9: DUP1 00000aca: DUP3 00000acb: KECCAK256 00000acc: DUP3 00000acd: SWAP2 00000ace: DUP3 00000acf: SWAP2 00000ad0: SWAP1 00000ad1: PUSH1 0xa0 00000ad3: SWAP1 00000ad4: MLOAD 00000ad5: SWAP1 00000ad6: DUP2 00000ad7: ADD 00000ad8: PUSH1 0x40 00000ada: SWAP1 00000adb: DUP2 00000adc: MSTORE 00000add: DUP3 00000ade: SLOAD 00000adf: PUSH1 0x01 00000ae1: PUSH1 0xa0 00000ae3: PUSH1 0x02 00000ae5: EXP 00000ae6: SUB 00000ae7: SWAP1 00000ae8: DUP2 00000ae9: AND 00000aea: DUP4 00000aeb: MSTORE 00000aec: PUSH1 0x01 00000aee: DUP5 00000aef: ADD 00000af0: SLOAD 00000af1: AND 00000af2: PUSH1 0x20 00000af4: DUP4 00000af5: ADD 00000af6: SWAP1 00000af7: DUP2 00000af8: MSTORE 00000af9: PUSH1 0x02 00000afb: DUP5 00000afc: ADD 00000afd: SLOAD 00000afe: SWAP2 00000aff: DUP4 00000b00: ADD 00000b01: SWAP2 00000b02: SWAP1 00000b03: SWAP2 00000b04: MSTORE 00000b05: PUSH1 0x03 00000b07: DUP4 00000b08: ADD 00000b09: SLOAD 00000b0a: PUSH4 0xffffffff 00000b0f: AND 00000b10: PUSH1 0x60 00000b12: DUP4 00000b13: ADD 00000b14: MSTORE 00000b15: PUSH1 0x04 00000b17: SWAP1 00000b18: SWAP3 00000b19: ADD 00000b1a: SLOAD 00000b1b: PUSH1 0x80 00000b1d: DUP3 00000b1e: ADD 00000b1f: MSTORE 00000b20: SWAP5 00000b21: POP 00000b22: MLOAD 00000b23: PUSH1 0x01 00000b25: PUSH1 0xa0 00000b27: PUSH1 0x02 00000b29: EXP 00000b2a: SUB 00000b2b: AND 00000b2c: DUP8 00000b2d: PUSH1 0x01 00000b2f: PUSH1 0xa0 00000b31: PUSH1 0x02 00000b33: EXP 00000b34: SUB 00000b35: AND 00000b36: EQ 00000b37: SWAP3 00000b38: POP 00000b39: PUSH2 0x0b42 00000b3c: DUP10 00000b3d: DUP10 00000b3e: PUSH2 0x0c7e 00000b41: JUMP 00000b42: JUMPDEST 00000b43: SWAP2 00000b44: POP 00000b45: PUSH20 0xbe7c52c9f88af54f3b29cd472c71a03c7863d1eb 00000b5a: PUSH4 0x19045a25 00000b5f: DUP4 00000b60: DUP9 00000b61: PUSH1 0x00 00000b63: PUSH1 0x40 00000b65: MLOAD 00000b66: PUSH1 0x20 00000b68: ADD 00000b69: MSTORE 00000b6a: PUSH1 0x40 00000b6c: MLOAD 00000b6d: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000b8b: PUSH4 0xffffffff 00000b90: DUP6 00000b91: AND 00000b92: MUL 00000b93: DUP2 00000b94: MSTORE 00000b95: PUSH1 0x04 00000b97: DUP2 00000b98: ADD 00000b99: DUP4 00000b9a: DUP2 00000b9b: MSTORE 00000b9c: PUSH1 0x40 00000b9e: PUSH1 0x24 00000ba0: DUP4 00000ba1: ADD 00000ba2: SWAP1 00000ba3: DUP2 00000ba4: MSTORE 00000ba5: SWAP1 00000ba6: SWAP2 00000ba7: PUSH1 0x44 00000ba9: ADD 00000baa: DUP4 00000bab: DUP2 00000bac: DUP2 00000bad: MLOAD 00000bae: DUP2 00000baf: MSTORE 00000bb0: PUSH1 0x20 00000bb2: ADD 00000bb3: SWAP2 00000bb4: POP 00000bb5: DUP1 00000bb6: MLOAD 00000bb7: SWAP1 00000bb8: PUSH1 0x20 00000bba: ADD 00000bbb: SWAP1 00000bbc: DUP1 00000bbd: DUP4 00000bbe: DUP4 00000bbf: PUSH1 0x00 00000bc1: JUMPDEST 00000bc2: DUP4 00000bc3: DUP2 00000bc4: LT 00000bc5: ISZERO 00000bc6: PUSH2 0x0bd9 00000bc9: JUMPI 00000bca: DUP1 00000bcb: DUP3 00000bcc: ADD 00000bcd: MLOAD 00000bce: DUP4 00000bcf: DUP3 00000bd0: ADD 00000bd1: MSTORE 00000bd2: PUSH1 0x20 00000bd4: ADD 00000bd5: PUSH2 0x0bc1 00000bd8: JUMP 00000bd9: JUMPDEST 00000bda: POP 00000bdb: POP 00000bdc: POP 00000bdd: POP 00000bde: SWAP1 00000bdf: POP 00000be0: SWAP1 00000be1: DUP2 00000be2: ADD 00000be3: SWAP1 00000be4: PUSH1 0x1f 00000be6: AND 00000be7: DUP1 00000be8: ISZERO 00000be9: PUSH2 0x0c06 00000bec: JUMPI 00000bed: DUP1 00000bee: DUP3 00000bef: SUB 00000bf0: DUP1 00000bf1: MLOAD 00000bf2: PUSH1 0x01 00000bf4: DUP4 00000bf5: PUSH1 0x20 00000bf7: SUB 00000bf8: PUSH2 0x0100 00000bfb: EXP 00000bfc: SUB 00000bfd: NOT 00000bfe: AND 00000bff: DUP2 00000c00: MSTORE 00000c01: PUSH1 0x20 00000c03: ADD 00000c04: SWAP2 00000c05: POP 00000c06: JUMPDEST 00000c07: POP 00000c08: SWAP4 00000c09: POP 00000c0a: POP 00000c0b: POP 00000c0c: POP 00000c0d: PUSH1 0x20 00000c0f: PUSH1 0x40 00000c11: MLOAD 00000c12: DUP1 00000c13: DUP4 00000c14: SUB 00000c15: DUP2 00000c16: DUP7 00000c17: DUP1 00000c18: EXTCODESIZE 00000c19: ISZERO 00000c1a: ISZERO 00000c1b: PUSH2 0x0c23 00000c1e: JUMPI 00000c1f: PUSH1 0x00 00000c21: DUP1 00000c22: REVERT 00000c23: JUMPDEST 00000c24: PUSH2 0x02c6 00000c27: GAS 00000c28: SUB 00000c29: DELEGATECALL 00000c2a: ISZERO 00000c2b: ISZERO 00000c2c: PUSH2 0x0c34 00000c2f: JUMPI 00000c30: PUSH1 0x00 00000c32: DUP1 00000c33: REVERT 00000c34: JUMPDEST 00000c35: POP 00000c36: POP 00000c37: POP 00000c38: PUSH1 0x40 00000c3a: MLOAD 00000c3b: DUP1 00000c3c: MLOAD 00000c3d: PUSH1 0x01 00000c3f: PUSH1 0xa0 00000c41: PUSH1 0x02 00000c43: EXP 00000c44: SUB 00000c45: AND 00000c46: SWAP1 00000c47: POP 00000c48: DUP5 00000c49: MLOAD 00000c4a: PUSH1 0x01 00000c4c: PUSH1 0xa0 00000c4e: PUSH1 0x02 00000c50: EXP 00000c51: SUB 00000c52: AND 00000c53: EQ 00000c54: SWAP1 00000c55: POP 00000c56: DUP3 00000c57: DUP1 00000c58: ISZERO 00000c59: PUSH2 0x0c5f 00000c5c: JUMPI 00000c5d: POP 00000c5e: DUP1 00000c5f: JUMPDEST 00000c60: SWAP10 00000c61: SWAP9 00000c62: POP 00000c63: POP 00000c64: POP 00000c65: POP 00000c66: POP 00000c67: POP 00000c68: POP 00000c69: POP 00000c6a: POP 00000c6b: JUMP 00000c6c: JUMPDEST 00000c6d: PUSH1 0x00 00000c6f: DUP3 00000c70: DUP3 00000c71: GT 00000c72: ISZERO 00000c73: PUSH2 0x0c78 00000c76: JUMPI 00000c77: INVALID 00000c78: JUMPDEST 00000c79: POP 00000c7a: SWAP1 00000c7b: SUB 00000c7c: SWAP1 00000c7d: JUMP 00000c7e: JUMPDEST 00000c7f: PUSH1 0x00 00000c81: PUSH2 0x0c88 00000c84: PUSH2 0x0d60 00000c87: JUMP 00000c88: JUMPDEST 00000c89: PUSH1 0x40 00000c8b: DUP1 00000c8c: MLOAD 00000c8d: SWAP1 00000c8e: DUP2 00000c8f: ADD 00000c90: PUSH1 0x40 00000c92: MSTORE 00000c93: PUSH1 0x1c 00000c95: DUP2 00000c96: MSTORE 00000c97: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000 00000cb8: PUSH1 0x20 00000cba: DUP3 00000cbb: ADD 00000cbc: MSTORE 00000cbd: SWAP1 00000cbe: POP 00000cbf: DUP1 00000cc0: PUSH2 0x0cc9 00000cc3: DUP6 00000cc4: DUP6 00000cc5: PUSH2 0x03c7 00000cc8: JUMP 00000cc9: JUMPDEST 00000cca: PUSH1 0x40 00000ccc: MLOAD 00000ccd: DUP1 00000cce: DUP4 00000ccf: DUP1 00000cd0: MLOAD 00000cd1: SWAP1 00000cd2: PUSH1 0x20 00000cd4: ADD 00000cd5: SWAP1 00000cd6: DUP1 00000cd7: DUP4 00000cd8: DUP4 00000cd9: JUMPDEST 00000cda: PUSH1 0x20 00000cdc: DUP4 00000cdd: LT 00000cde: PUSH2 0x0cf8 00000ce1: JUMPI 00000ce2: DUP1 00000ce3: MLOAD 00000ce4: DUP3 00000ce5: MSTORE 00000ce6: PUSH1 0x1f 00000ce8: NOT 00000ce9: SWAP1 00000cea: SWAP3 00000ceb: ADD 00000cec: SWAP2 00000ced: PUSH1 0x20 00000cef: SWAP2 00000cf0: DUP3 00000cf1: ADD 00000cf2: SWAP2 00000cf3: ADD 00000cf4: PUSH2 0x0cd9 00000cf7: JUMP 00000cf8: JUMPDEST 00000cf9: PUSH1 0x01 00000cfb: DUP4 00000cfc: PUSH1 0x20 00000cfe: SUB 00000cff: PUSH2 0x0100 00000d02: EXP 00000d03: SUB 00000d04: DUP1 00000d05: NOT 00000d06: DUP3 00000d07: MLOAD 00000d08: AND 00000d09: DUP2 00000d0a: DUP5 00000d0b: MLOAD 00000d0c: AND 00000d0d: OR 00000d0e: SWAP1 00000d0f: SWAP3 00000d10: MSTORE 00000d11: POP 00000d12: POP 00000d13: POP 00000d14: SWAP2 00000d15: SWAP1 00000d16: SWAP2 00000d17: ADD 00000d18: SWAP3 00000d19: DUP4 00000d1a: MSTORE 00000d1b: POP 00000d1c: POP 00000d1d: PUSH1 0x20 00000d1f: ADD 00000d20: SWAP1 00000d21: POP 00000d22: PUSH1 0x40 00000d24: MLOAD 00000d25: DUP1 00000d26: SWAP2 00000d27: SUB 00000d28: SWAP1 00000d29: KECCAK256 00000d2a: SWAP2 00000d2b: POP 00000d2c: POP 00000d2d: SWAP3 00000d2e: SWAP2 00000d2f: POP 00000d30: POP 00000d31: JUMP 00000d32: JUMPDEST 00000d33: PUSH1 0xa0 00000d35: PUSH1 0x40 00000d37: MLOAD 00000d38: SWAP1 00000d39: DUP2 00000d3a: ADD 00000d3b: PUSH1 0x40 00000d3d: SWAP1 00000d3e: DUP2 00000d3f: MSTORE 00000d40: PUSH1 0x00 00000d42: DUP1 00000d43: DUP4 00000d44: MSTORE 00000d45: PUSH1 0x20 00000d47: DUP4 00000d48: ADD 00000d49: DUP2 00000d4a: SWAP1 00000d4b: MSTORE 00000d4c: SWAP1 00000d4d: DUP3 00000d4e: ADD 00000d4f: DUP2 00000d50: SWAP1 00000d51: MSTORE 00000d52: PUSH1 0x60 00000d54: DUP3 00000d55: ADD 00000d56: DUP2 00000d57: SWAP1 00000d58: MSTORE 00000d59: PUSH1 0x80 00000d5b: DUP3 00000d5c: ADD 00000d5d: MSTORE 00000d5e: SWAP1 00000d5f: JUMP 00000d60: JUMPDEST 00000d61: PUSH1 0x20 00000d63: PUSH1 0x40 00000d65: MLOAD 00000d66: SWAP1 00000d67: DUP2 00000d68: ADD 00000d69: PUSH1 0x40 00000d6b: MSTORE 00000d6c: PUSH1 0x00 00000d6e: DUP2 00000d6f: MSTORE 00000d70: SWAP1 00000d71: JUMP 00000d72: STOP 00000d73: LOG1 00000d74: PUSH6 0x627a7a723058 00000d7b: KECCAK256 00000d7c: SLOAD 00000d7d: LT 00000d7e: PUSH20 0x90e3abdedc00b3ae8b66039c130a5995a3ce03c1 00000d93: DUP8 00000d94: MCOPY 00000d95: PUSH18
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0xa4648e6dc8e774910d296663a78a28e8d18a73df44294ec23e41b45d50b33b91
call_targets:
0xbe7c52c9f88af54f3b29cd472c71a03c7863d1eb
target_varies:
no
classification:
constant_target
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "sink_reached",
"attempts": 61,
"trace_id": "0xa4648e6dc8e774910d296663a78a28e8d18a73df44294ec23e41b45d50b33b91",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xbe7c52c9f88af54f3b29cd472c71a03c7863d1eb"
],
"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": "0x2f8f0c92",
"selector": "0x2f8f0c92",
"calldata_variants": [
"0x2f8f0c92",
"0x2f8f0c920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41b6fcf7",
"selector": "0x41b6fcf7",
"calldata_variants": [
"0x41b6fcf7",
"0x41b6fcf70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4722361c",
"selector": "0x4722361c",
"calldata_variants": [
"0x4722361c",
"0x4722361c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x60546602",
"selector": "0x60546602",
"calldata_variants": [
"0x60546602",
"0x605466020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6683f9ae",
"selector": "0x6683f9ae",
"calldata_variants": [
"0x6683f9ae",
"0x6683f9ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7964ea87",
"selector": "0x7964ea87",
"calldata_variants": [
"0x7964ea87",
"0x7964ea870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7a7ebd7b",
"selector": "0x7a7ebd7b",
"calldata_variants": [
"0x7a7ebd7b",
"0x7a7ebd7b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7c35be7a",
"selector": "0x7c35be7a",
"calldata_variants": [
"0x7c35be7a",
"0x7c35be7a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3113,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x6a8d8a7f6542769ba30d484b2c5277df183a47e87c89a8df9524bade9a04c593
call_targets:
0x08e4f70109ccc5135f50cc359d24cb7686247df4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6a8d8a7f6542769ba30d484b2c5277df183a47e87c89a8df9524bade9a04c593",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x08e4f70109ccc5135f50cc359d24cb7686247df4"
],
"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": "0x2f8f0c92",
"selector": "0x2f8f0c92",
"calldata_variants": [
"0x2f8f0c92",
"0x2f8f0c920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41b6fcf7",
"selector": "0x41b6fcf7",
"calldata_variants": [
"0x41b6fcf7",
"0x41b6fcf70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4722361c",
"selector": "0x4722361c",
"calldata_variants": [
"0x4722361c",
"0x4722361c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x60546602",
"selector": "0x60546602",
"calldata_variants": [
"0x60546602",
"0x605466020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6683f9ae",
"selector": "0x6683f9ae",
"calldata_variants": [
"0x6683f9ae",
"0x6683f9ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7964ea87",
"selector": "0x7964ea87",
"calldata_variants": [
"0x7964ea87",
"0x7964ea870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7a7ebd7b",
"selector": "0x7a7ebd7b",
"calldata_variants": [
"0x7a7ebd7b",
"0x7a7ebd7b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7c35be7a",
"selector": "0x7c35be7a",
"calldata_variants": [
"0x7c35be7a",
"0x7c35be7a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1450,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1508,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1580,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x6a8d8a7f6542769ba30d484b2c5277df183a47e87c89a8df9524bade9a04c593
call_targets:
0x08e4f70109ccc5135f50cc359d24cb7686247df4
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6a8d8a7f6542769ba30d484b2c5277df183a47e87c89a8df9524bade9a04c593",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x08e4f70109ccc5135f50cc359d24cb7686247df4"
],
"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": "0x2f8f0c92",
"selector": "0x2f8f0c92",
"calldata_variants": [
"0x2f8f0c92",
"0x2f8f0c920000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41b6fcf7",
"selector": "0x41b6fcf7",
"calldata_variants": [
"0x41b6fcf7",
"0x41b6fcf70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4722361c",
"selector": "0x4722361c",
"calldata_variants": [
"0x4722361c",
"0x4722361c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x60546602",
"selector": "0x60546602",
"calldata_variants": [
"0x60546602",
"0x605466020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6683f9ae",
"selector": "0x6683f9ae",
"calldata_variants": [
"0x6683f9ae",
"0x6683f9ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7964ea87",
"selector": "0x7964ea87",
"calldata_variants": [
"0x7964ea87",
"0x7964ea870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7a7ebd7b",
"selector": "0x7a7ebd7b",
"calldata_variants": [
"0x7a7ebd7b",
"0x7a7ebd7b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7c35be7a",
"selector": "0x7c35be7a",
"calldata_variants": [
"0x7c35be7a",
"0x7c35be7a0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1450,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1508,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1580,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|