019b3836-5572-719e-af51-113245b18001
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 |
|---|---|---|---|---|
| 8267 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 8268 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 98126 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 98127 | capability.graph | complete | 1 / 3 | 1 week ago |
| 98128 | detector.run | complete | 1 / 3 | 1 week ago |
| 98129 | 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: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x00a3 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x0779afe6 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00a5 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x144fa6d7 00000025: EQ 00000026: PUSH2 0x00d6 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x27950b96 00000030: EQ 00000031: PUSH2 0x00f8 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x3e8f5b90 0000003b: EQ 0000003c: PUSH2 0x0189 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x41c0e1b5 00000046: EQ 00000047: PUSH2 0x01f1 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x833f43c2 00000051: EQ 00000052: PUSH2 0x0210 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x867904b4 0000005c: EQ 0000005d: PUSH2 0x0238 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x8da5cb5b 00000067: EQ 00000068: PUSH2 0x0264 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x9dc29fac 00000072: EQ 00000073: PUSH2 0x0276 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xb44bd51d 0000007d: EQ 0000007e: PUSH2 0x02a2 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xbf120ae5 00000088: EQ 00000089: PUSH2 0x0338 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xe02b0b0c 00000093: EQ 00000094: PUSH2 0x0360 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xf2fde38b 0000009e: EQ 0000009f: PUSH2 0x0474 000000a2: JUMPI 000000a3: JUMPDEST 000000a4: STOP 000000a5: JUMPDEST 000000a6: PUSH2 0x0495 000000a9: PUSH1 0x04 000000ab: CALLDATALOAD 000000ac: PUSH1 0x24 000000ae: CALLDATALOAD 000000af: PUSH1 0x44 000000b1: CALLDATALOAD 000000b2: PUSH1 0x02 000000b4: SLOAD 000000b5: PUSH1 0x00 000000b7: SWAP1 000000b8: DUP2 000000b9: SWAP1 000000ba: DUP2 000000bb: SWAP1 000000bc: DUP2 000000bd: SWAP1 000000be: PUSH1 0x01 000000c0: PUSH1 0xa0 000000c2: PUSH1 0x02 000000c4: EXP 000000c5: SUB 000000c6: SWAP1 000000c7: DUP2 000000c8: AND 000000c9: CALLER 000000ca: SWAP1 000000cb: SWAP2 000000cc: AND 000000cd: EQ 000000ce: PUSH2 0x04e5 000000d1: JUMPI 000000d2: PUSH2 0x0002 000000d5: JUMP 000000d6: JUMPDEST 000000d7: PUSH2 0x00a3 000000da: PUSH1 0x04 000000dc: CALLDATALOAD 000000dd: PUSH1 0x00 000000df: SLOAD 000000e0: PUSH1 0x01 000000e2: PUSH1 0xa0 000000e4: PUSH1 0x02 000000e6: EXP 000000e7: SUB 000000e8: SWAP1 000000e9: DUP2 000000ea: AND 000000eb: CALLER 000000ec: SWAP1 000000ed: SWAP2 000000ee: AND 000000ef: EQ 000000f0: PUSH2 0x08db 000000f3: JUMPI 000000f4: PUSH2 0x0002 000000f7: JUMP 000000f8: JUMPDEST 000000f9: PUSH2 0x0495 000000fc: PUSH1 0x04 000000fe: CALLDATALOAD 000000ff: PUSH1 0x24 00000101: CALLDATALOAD 00000102: JUMPDEST 00000103: PUSH1 0x01 00000105: PUSH1 0xa0 00000107: PUSH1 0x02 00000109: EXP 0000010a: SUB 0000010b: DUP3 0000010c: AND 0000010d: PUSH1 0x00 0000010f: SWAP1 00000110: DUP2 00000111: MSTORE 00000112: PUSH1 0x04 00000114: PUSH1 0x20 00000116: MSTORE 00000117: PUSH1 0x40 00000119: DUP2 0000011a: KECCAK256 0000011b: DUP1 0000011c: SLOAD 0000011d: PUSH1 0x01 0000011f: SWAP2 00000120: SWAP1 00000121: SWAP2 00000122: ADD 00000123: SLOAD 00000124: PUSH3 0x015180 00000128: TIMESTAMP 00000129: DIV 0000012a: DUP3 0000012b: DUP2 0000012c: GT 0000012d: ISZERO 0000012e: PUSH2 0x014c 00000131: JUMPI 00000132: PUSH1 0x40 00000134: DUP5 00000135: KECCAK256 00000136: PUSH1 0x01 00000138: PUSH1 0xa0 0000013a: PUSH1 0x02 0000013c: EXP 0000013d: SUB 0000013e: DUP8 0000013f: AND 00000140: DUP6 00000141: MSTORE 00000142: PUSH1 0x01 00000144: DUP2 00000145: ADD 00000146: DUP6 00000147: SWAP1 00000148: SSTORE 00000149: DUP2 0000014a: SWAP1 0000014b: SSTORE 0000014c: JUMPDEST 0000014d: PUSH1 0x40 0000014f: DUP1 00000150: MLOAD 00000151: DUP1 00000152: DUP3 00000153: ADD 00000154: SWAP1 00000155: SWAP2 00000156: MSTORE 00000157: PUSH1 0x14 00000159: DUP2 0000015a: MSTORE 0000015b: PUSH32 0x7472616e736665722e6c696d69742e6461696c79000000000000000000000000 0000017c: PUSH1 0x20 0000017e: DUP3 0000017f: ADD 00000180: MSTORE 00000181: PUSH2 0x08fd 00000184: SWAP1 00000185: PUSH2 0x02ed 00000188: JUMP 00000189: JUMPDEST 0000018a: PUSH2 0x00a3 0000018d: PUSH1 0x04 0000018f: DUP1 00000190: DUP1 00000191: CALLDATALOAD 00000192: SWAP1 00000193: PUSH1 0x20 00000195: ADD 00000196: SWAP1 00000197: DUP3 00000198: ADD 00000199: DUP1 0000019a: CALLDATALOAD 0000019b: SWAP1 0000019c: PUSH1 0x20 0000019e: ADD 0000019f: SWAP2 000001a0: SWAP2 000001a1: SWAP1 000001a2: DUP1 000001a3: DUP1 000001a4: PUSH1 0x1f 000001a6: ADD 000001a7: PUSH1 0x20 000001a9: DUP1 000001aa: SWAP2 000001ab: DIV 000001ac: MUL 000001ad: PUSH1 0x20 000001af: ADD 000001b0: PUSH1 0x40 000001b2: MLOAD 000001b3: SWAP1 000001b4: DUP2 000001b5: ADD 000001b6: PUSH1 0x40 000001b8: MSTORE 000001b9: DUP1 000001ba: SWAP4 000001bb: SWAP3 000001bc: SWAP2 000001bd: SWAP1 000001be: DUP2 000001bf: DUP2 000001c0: MSTORE 000001c1: PUSH1 0x20 000001c3: ADD 000001c4: DUP4 000001c5: DUP4 000001c6: DUP1 000001c7: DUP3 000001c8: DUP5 000001c9: CALLDATACOPY 000001ca: POP 000001cb: SWAP5 000001cc: SWAP7 000001cd: POP 000001ce: POP 000001cf: SWAP4 000001d0: CALLDATALOAD 000001d1: SWAP4 000001d2: POP 000001d3: POP 000001d4: POP 000001d5: POP 000001d6: PUSH1 0x00 000001d8: SLOAD 000001d9: PUSH1 0x01 000001db: PUSH1 0xa0 000001dd: PUSH1 0x02 000001df: EXP 000001e0: SUB 000001e1: SWAP1 000001e2: DUP2 000001e3: AND 000001e4: CALLER 000001e5: SWAP1 000001e6: SWAP2 000001e7: AND 000001e8: EQ 000001e9: PUSH2 0x0936 000001ec: JUMPI 000001ed: PUSH2 0x0002 000001f0: JUMP 000001f1: JUMPDEST 000001f2: PUSH2 0x00a3 000001f5: PUSH1 0x00 000001f7: SLOAD 000001f8: PUSH1 0x01 000001fa: PUSH1 0xa0 000001fc: PUSH1 0x02 000001fe: EXP 000001ff: SUB 00000200: SWAP1 00000201: DUP2 00000202: AND 00000203: CALLER 00000204: SWAP1 00000205: SWAP2 00000206: AND 00000207: EQ 00000208: PUSH2 0x0980 0000020b: JUMPI 0000020c: PUSH2 0x0002 0000020f: JUMP 00000210: JUMPDEST 00000211: PUSH2 0x00a3 00000214: PUSH1 0x04 00000216: CALLDATALOAD 00000217: JUMPDEST 00000218: PUSH1 0x02 0000021a: SLOAD 0000021b: PUSH1 0x00 0000021d: SWAP1 0000021e: DUP2 0000021f: SWAP1 00000220: PUSH1 0x01 00000222: PUSH1 0xa0 00000224: PUSH1 0x02 00000226: EXP 00000227: SUB 00000228: SWAP1 00000229: DUP2 0000022a: AND 0000022b: CALLER 0000022c: SWAP1 0000022d: SWAP2 0000022e: AND 0000022f: EQ 00000230: PUSH2 0x09c3 00000233: JUMPI 00000234: PUSH2 0x0002 00000237: JUMP 00000238: JUMPDEST 00000239: PUSH2 0x0495 0000023c: PUSH1 0x04 0000023e: CALLDATALOAD 0000023f: PUSH1 0x24 00000241: CALLDATALOAD 00000242: PUSH1 0x02 00000244: SLOAD 00000245: PUSH1 0x00 00000247: SWAP1 00000248: DUP2 00000249: SWAP1 0000024a: DUP2 0000024b: SWAP1 0000024c: PUSH1 0x01 0000024e: PUSH1 0xa0 00000250: PUSH1 0x02 00000252: EXP 00000253: SUB 00000254: SWAP1 00000255: DUP2 00000256: AND 00000257: CALLER 00000258: SWAP1 00000259: SWAP2 0000025a: AND 0000025b: EQ 0000025c: PUSH2 0x0ac0 0000025f: JUMPI 00000260: PUSH2 0x0002 00000263: JUMP 00000264: JUMPDEST 00000265: PUSH2 0x04a9 00000268: PUSH1 0x00 0000026a: SLOAD 0000026b: PUSH1 0x01 0000026d: PUSH1 0xa0 0000026f: PUSH1 0x02 00000271: EXP 00000272: SUB 00000273: AND 00000274: DUP2 00000275: JUMP 00000276: JUMPDEST 00000277: PUSH2 0x0495 0000027a: PUSH1 0x04 0000027c: CALLDATALOAD 0000027d: PUSH1 0x24 0000027f: CALLDATALOAD 00000280: PUSH1 0x02 00000282: SLOAD 00000283: PUSH1 0x00 00000285: SWAP1 00000286: DUP2 00000287: SWAP1 00000288: DUP2 00000289: SWAP1 0000028a: PUSH1 0x01 0000028c: PUSH1 0xa0 0000028e: PUSH1 0x02 00000290: EXP 00000291: SUB 00000292: SWAP1 00000293: DUP2 00000294: AND 00000295: CALLER 00000296: SWAP1 00000297: SWAP2 00000298: AND 00000299: EQ 0000029a: PUSH2 0x0c78 0000029d: JUMPI 0000029e: PUSH2 0x0002 000002a1: JUMP 000002a2: JUMPDEST 000002a3: PUSH2 0x04c6 000002a6: PUSH1 0x04 000002a8: DUP1 000002a9: DUP1 000002aa: CALLDATALOAD 000002ab: SWAP1 000002ac: PUSH1 0x20 000002ae: ADD 000002af: SWAP1 000002b0: DUP3 000002b1: ADD 000002b2: DUP1 000002b3: CALLDATALOAD 000002b4: SWAP1 000002b5: PUSH1 0x20 000002b7: ADD 000002b8: SWAP2 000002b9: SWAP2 000002ba: SWAP1 000002bb: DUP1 000002bc: DUP1 000002bd: PUSH1 0x1f 000002bf: ADD 000002c0: PUSH1 0x20 000002c2: DUP1 000002c3: SWAP2 000002c4: DIV 000002c5: MUL 000002c6: PUSH1 0x20 000002c8: ADD 000002c9: PUSH1 0x40 000002cb: MLOAD 000002cc: SWAP1 000002cd: DUP2 000002ce: ADD 000002cf: PUSH1 0x40 000002d1: MSTORE 000002d2: DUP1 000002d3: SWAP4 000002d4: SWAP3 000002d5: SWAP2 000002d6: SWAP1 000002d7: DUP2 000002d8: DUP2 000002d9: MSTORE 000002da: PUSH1 0x20 000002dc: ADD 000002dd: DUP4 000002de: DUP4 000002df: DUP1 000002e0: DUP3 000002e1: DUP5 000002e2: CALLDATACOPY 000002e3: POP 000002e4: SWAP5 000002e5: SWAP7 000002e6: POP 000002e7: POP 000002e8: POP 000002e9: POP 000002ea: POP 000002eb: POP 000002ec: POP 000002ed: JUMPDEST 000002ee: PUSH1 0x00 000002f0: PUSH1 0x01 000002f2: PUSH1 0x00 000002f4: POP 000002f5: DUP3 000002f6: PUSH1 0x40 000002f8: MLOAD 000002f9: DUP1 000002fa: DUP3 000002fb: DUP1 000002fc: MLOAD 000002fd: SWAP1 000002fe: PUSH1 0x20 00000300: ADD 00000301: SWAP1 00000302: DUP1 00000303: DUP4 00000304: DUP4 00000305: DUP3 00000306: SWAP1 00000307: PUSH1 0x00 00000309: PUSH1 0x04 0000030b: PUSH1 0x20 0000030d: DUP5 0000030e: PUSH1 0x1f 00000310: ADD 00000311: DIV 00000312: PUSH1 0x0f 00000314: MUL 00000315: PUSH1 0x03 00000317: ADD 00000318: CALL 00000319: POP 0000031a: SWAP1 0000031b: POP 0000031c: ADD 0000031d: SWAP2 0000031e: POP 0000031f: POP 00000320: SWAP1 00000321: DUP2 00000322: MSTORE 00000323: PUSH1 0x20 00000325: ADD 00000326: PUSH1 0x40 00000328: MLOAD 00000329: DUP1 0000032a: SWAP2 0000032b: SUB 0000032c: SWAP1 0000032d: KECCAK256 0000032e: PUSH1 0x00 00000330: POP 00000331: SLOAD 00000332: SWAP1 00000333: POP 00000334: SWAP2 00000335: SWAP1 00000336: POP 00000337: JUMP 00000338: JUMPDEST 00000339: PUSH2 0x0495 0000033c: PUSH1 0x04 0000033e: CALLDATALOAD 0000033f: PUSH1 0x24 00000341: CALLDATALOAD 00000342: PUSH1 0x02 00000344: SLOAD 00000345: PUSH1 0x00 00000347: SWAP1 00000348: PUSH1 0x01 0000034a: PUSH1 0xa0 0000034c: PUSH1 0x02 0000034e: EXP 0000034f: SUB 00000350: SWAP1 00000351: DUP2 00000352: AND 00000353: CALLER 00000354: SWAP1 00000355: SWAP2 00000356: AND 00000357: EQ 00000358: PUSH2 0x0e0a 0000035b: JUMPI 0000035c: PUSH2 0x0002 0000035f: JUMP 00000360: JUMPDEST 00000361: PUSH2 0x0495 00000364: PUSH1 0x04 00000366: DUP1 00000367: DUP1 00000368: CALLDATALOAD 00000369: SWAP1 0000036a: PUSH1 0x20 0000036c: ADD 0000036d: SWAP1 0000036e: DUP3 0000036f: ADD 00000370: DUP1 00000371: CALLDATALOAD 00000372: SWAP1 00000373: PUSH1 0x20 00000375: ADD 00000376: SWAP2 00000377: SWAP2 00000378: SWAP1 00000379: DUP1 0000037a: DUP1 0000037b: PUSH1 0x1f 0000037d: ADD 0000037e: PUSH1 0x20 00000380: DUP1 00000381: SWAP2 00000382: DIV 00000383: MUL 00000384: PUSH1 0x20 00000386: ADD 00000387: PUSH1 0x40 00000389: MLOAD 0000038a: SWAP1 0000038b: DUP2 0000038c: ADD 0000038d: PUSH1 0x40 0000038f: MSTORE 00000390: DUP1 00000391: SWAP4 00000392: SWAP3 00000393: SWAP2 00000394: SWAP1 00000395: DUP2 00000396: DUP2 00000397: MSTORE 00000398: PUSH1 0x20 0000039a: ADD 0000039b: DUP4 0000039c: DUP4 0000039d: DUP1 0000039e: DUP3 0000039f: DUP5 000003a0: CALLDATACOPY 000003a1: POP 000003a2: SWAP5 000003a3: SWAP7 000003a4: POP 000003a5: POP 000003a6: POP 000003a7: POP 000003a8: POP 000003a9: POP 000003aa: POP 000003ab: JUMPDEST 000003ac: PUSH1 0x40 000003ae: MLOAD 000003af: PUSH1 0x02 000003b1: SLOAD 000003b2: PUSH32 0x17e0a6cb00000000000000000000000000000000000000000000000000000000 000003d3: DUP3 000003d4: MSTORE 000003d5: PUSH1 0x20 000003d7: PUSH1 0x04 000003d9: DUP4 000003da: DUP2 000003db: ADD 000003dc: DUP3 000003dd: DUP2 000003de: MSTORE 000003df: DUP6 000003e0: MLOAD 000003e1: PUSH1 0x24 000003e3: DUP7 000003e4: ADD 000003e5: MSTORE 000003e6: DUP6 000003e7: MLOAD 000003e8: PUSH1 0x00 000003ea: SWAP6 000003eb: PUSH1 0x01 000003ed: PUSH1 0xa0 000003ef: PUSH1 0x02 000003f1: EXP 000003f2: SUB 000003f3: SWAP6 000003f4: SWAP1 000003f5: SWAP6 000003f6: AND 000003f7: SWAP5 000003f8: DUP6 000003f9: SWAP5 000003fa: PUSH4 0x17e0a6cb 000003ff: SWAP5 00000400: DUP10 00000401: SWAP5 00000402: SWAP4 00000403: DUP5 00000404: SWAP4 00000405: PUSH1 0x44 00000407: ADD 00000408: SWAP3 00000409: DUP7 0000040a: DUP2 0000040b: ADD 0000040c: SWAP3 0000040d: DUP3 0000040e: SWAP2 0000040f: DUP6 00000410: SWAP2 00000411: DUP4 00000412: SWAP2 00000413: DUP7 00000414: SWAP2 00000415: DUP16 00000416: SWAP2 00000417: PUSH1 0x1f 00000419: DUP6 0000041a: ADD 0000041b: DIV 0000041c: PUSH1 0x0f 0000041e: MUL 0000041f: PUSH1 0x03 00000421: ADD 00000422: CALL 00000423: POP 00000424: SWAP1 00000425: POP 00000426: SWAP1 00000427: DUP2 00000428: ADD 00000429: SWAP1 0000042a: PUSH1 0x1f 0000042c: AND 0000042d: DUP1 0000042e: ISZERO 0000042f: PUSH2 0x044c 00000432: JUMPI 00000433: DUP1 00000434: DUP3 00000435: SUB 00000436: DUP1 00000437: MLOAD 00000438: PUSH1 0x01 0000043a: DUP4 0000043b: PUSH1 0x20 0000043d: SUB 0000043e: PUSH2 0x0100 00000441: EXP 00000442: SUB 00000443: NOT 00000444: AND 00000445: DUP2 00000446: MSTORE 00000447: PUSH1 0x20 00000449: ADD 0000044a: SWAP2 0000044b: POP 0000044c: JUMPDEST 0000044d: POP 0000044e: SWAP3 0000044f: POP 00000450: POP 00000451: POP 00000452: PUSH1 0x00 00000454: PUSH1 0x40 00000456: MLOAD 00000457: DUP1 00000458: DUP4 00000459: SUB 0000045a: DUP2 0000045b: PUSH1 0x00 0000045d: DUP8 0000045e: PUSH2 0x61da 00000461: GAS 00000462: SUB 00000463: CALL 00000464: ISZERO 00000465: PUSH2 0x0002 00000468: JUMPI 00000469: POP 0000046a: PUSH1 0x00 0000046c: SWAP6 0000046d: SWAP5 0000046e: POP 0000046f: POP 00000470: POP 00000471: POP 00000472: POP 00000473: JUMP 00000474: JUMPDEST 00000475: PUSH2 0x00a3 00000478: PUSH1 0x04 0000047a: CALLDATALOAD 0000047b: PUSH1 0x00 0000047d: SLOAD 0000047e: CALLER 0000047f: PUSH1 0x01 00000481: PUSH1 0xa0 00000483: PUSH1 0x02 00000485: EXP 00000486: SUB 00000487: SWAP1 00000488: DUP2 00000489: AND 0000048a: SWAP2 0000048b: AND 0000048c: EQ 0000048d: PUSH2 0x0e6d 00000490: JUMPI 00000491: PUSH2 0x0002 00000494: JUMP 00000495: JUMPDEST 00000496: PUSH1 0x40 00000498: DUP1 00000499: MLOAD 0000049a: SWAP2 0000049b: ISZERO 0000049c: ISZERO 0000049d: DUP3 0000049e: MSTORE 0000049f: MLOAD 000004a0: SWAP1 000004a1: DUP2 000004a2: SWAP1 000004a3: SUB 000004a4: PUSH1 0x20 000004a6: ADD 000004a7: SWAP1 000004a8: RETURN 000004a9: JUMPDEST 000004aa: PUSH1 0x40 000004ac: DUP1 000004ad: MLOAD 000004ae: PUSH1 0x01 000004b0: PUSH1 0xa0 000004b2: PUSH1 0x02 000004b4: EXP 000004b5: SUB 000004b6: SWAP3 000004b7: SWAP1 000004b8: SWAP3 000004b9: AND 000004ba: DUP3 000004bb: MSTORE 000004bc: MLOAD 000004bd: SWAP1 000004be: DUP2 000004bf: SWAP1 000004c0: SUB 000004c1: PUSH1 0x20 000004c3: ADD 000004c4: SWAP1 000004c5: RETURN 000004c6: JUMPDEST 000004c7: PUSH1 0x40 000004c9: DUP1 000004ca: MLOAD 000004cb: SWAP2 000004cc: DUP3 000004cd: MSTORE 000004ce: MLOAD 000004cf: SWAP1 000004d0: DUP2 000004d1: SWAP1 000004d2: SUB 000004d3: PUSH1 0x20 000004d5: ADD 000004d6: SWAP1 000004d7: RETURN 000004d8: JUMPDEST 000004d9: SWAP4 000004da: POP 000004db: JUMPDEST 000004dc: POP 000004dd: POP 000004de: POP 000004df: SWAP4 000004e0: SWAP3 000004e1: POP 000004e2: POP 000004e3: POP 000004e4: JUMP 000004e5: JUMPDEST 000004e6: PUSH1 0x40 000004e8: DUP1 000004e9: MLOAD 000004ea: DUP1 000004eb: DUP3 000004ec: ADD 000004ed: SWAP1 000004ee: SWAP2 000004ef: MSTORE 000004f0: PUSH1 0x11 000004f2: DUP2 000004f3: MSTORE 000004f4: PUSH1 0x00 000004f6: DUP1 000004f7: MLOAD 000004f8: PUSH1 0x20 000004fa: PUSH2 0x0e8f 000004fd: DUP4 000004fe: CODECOPY 000004ff: DUP2 00000500: MLOAD 00000501: SWAP2 00000502: MSTORE 00000503: PUSH1 0x20 00000505: DUP3 00000506: ADD 00000507: MSTORE 00000508: PUSH2 0x0510 0000050b: SWAP1 0000050c: PUSH2 0x02ed 0000050f: JUMP 00000510: JUMPDEST 00000511: PUSH1 0x00 00000513: EQ 00000514: ISZERO 00000515: PUSH2 0x051d 00000518: JUMPI 00000519: PUSH2 0x0002 0000051c: JUMP 0000051d: JUMPDEST 0000051e: DUP5 0000051f: PUSH1 0x00 00000521: EQ 00000522: ISZERO 00000523: PUSH2 0x0554 00000526: JUMPI 00000527: PUSH1 0x40 00000529: DUP1 0000052a: MLOAD 0000052b: DUP1 0000052c: DUP3 0000052d: ADD 0000052e: SWAP1 0000052f: SWAP2 00000530: MSTORE 00000531: PUSH1 0x0b 00000533: DUP2 00000534: MSTORE 00000535: PUSH1 0xaa 00000537: PUSH1 0x02 00000539: EXP 0000053a: PUSH11 0x1e995c9bd7d85b5bdd5b9d 00000546: MUL 00000547: PUSH1 0x20 00000549: DUP3 0000054a: ADD 0000054b: MSTORE 0000054c: PUSH2 0x04d8 0000054f: SWAP1 00000550: PUSH2 0x03ab 00000553: JUMP 00000554: JUMPDEST 00000555: PUSH1 0x00 00000557: SLOAD 00000558: PUSH1 0x01 0000055a: PUSH1 0xa0 0000055c: PUSH1 0x02 0000055e: EXP 0000055f: SUB 00000560: SWAP1 00000561: DUP2 00000562: AND 00000563: CALLER 00000564: SWAP1 00000565: SWAP2 00000566: AND 00000567: EQ 00000568: ISZERO 00000569: DUP1 0000056a: PUSH2 0x05af 0000056d: JUMPI 0000056e: POP 0000056f: PUSH1 0x40 00000571: DUP1 00000572: MLOAD 00000573: DUP1 00000574: DUP3 00000575: ADD 00000576: SWAP1 00000577: SWAP2 00000578: MSTORE 00000579: PUSH1 0x13 0000057b: DUP2 0000057c: MSTORE 0000057d: PUSH32 0x667265657a652e6f776e657243616e53656e6400000000000000000000000000 0000059e: PUSH1 0x20 000005a0: DUP3 000005a1: ADD 000005a2: MSTORE 000005a3: PUSH2 0x05ab 000005a6: SWAP1 000005a7: PUSH2 0x02ed 000005aa: JUMP 000005ab: JUMPDEST 000005ac: PUSH1 0x00 000005ae: EQ 000005af: JUMPDEST 000005b0: ISZERO 000005b1: PUSH2 0x0670 000005b4: JUMPI 000005b5: PUSH1 0x01 000005b7: PUSH1 0xa0 000005b9: PUSH1 0x02 000005bb: EXP 000005bc: SUB 000005bd: DUP8 000005be: AND 000005bf: PUSH1 0x00 000005c1: SWAP1 000005c2: DUP2 000005c3: MSTORE 000005c4: PUSH1 0x03 000005c6: PUSH1 0x20 000005c8: MSTORE 000005c9: PUSH1 0x40 000005cb: SWAP1 000005cc: KECCAK256 000005cd: SLOAD 000005ce: PUSH1 0xff 000005d0: AND 000005d1: ISZERO 000005d2: PUSH2 0x0612 000005d5: JUMPI 000005d6: PUSH1 0x40 000005d8: DUP1 000005d9: MLOAD 000005da: DUP1 000005db: DUP3 000005dc: ADD 000005dd: SWAP1 000005de: SWAP2 000005df: MSTORE 000005e0: PUSH1 0x15 000005e2: DUP2 000005e3: MSTORE 000005e4: PUSH32 0x66726f7a656e5f6163636f756e745f736f757263650000000000000000000000 00000605: PUSH1 0x20 00000607: DUP3 00000608: ADD 00000609: MSTORE 0000060a: PUSH2 0x04d8 0000060d: SWAP1 0000060e: PUSH2 0x03ab 00000611: JUMP 00000612: JUMPDEST 00000613: PUSH1 0x01 00000615: PUSH1 0xa0 00000617: PUSH1 0x02 00000619: EXP 0000061a: SUB 0000061b: DUP7 0000061c: AND 0000061d: PUSH1 0x00 0000061f: SWAP1 00000620: DUP2 00000621: MSTORE 00000622: PUSH1 0x03 00000624: PUSH1 0x20 00000626: MSTORE 00000627: PUSH1 0x40 00000629: SWAP1 0000062a: KECCAK256 0000062b: SLOAD 0000062c: PUSH1 0xff 0000062e: AND 0000062f: ISZERO 00000630: PUSH2 0x0670 00000633: JUMPI 00000634: PUSH1 0x40 00000636: DUP1 00000637: MLOAD 00000638: DUP1 00000639: DUP3 0000063a: ADD 0000063b: SWAP1 0000063c: SWAP2 0000063d: MSTORE 0000063e: PUSH1 0x1a 00000640: DUP2 00000641: MSTORE 00000642: PUSH32 0x66726f7a656e5f6163636f756e745f64657374696e6174696f6e000000000000 00000663: PUSH1 0x20 00000665: DUP3 00000666: ADD 00000667: MSTORE 00000668: PUSH2 0x04d8 0000066b: SWAP1 0000066c: PUSH2 0x03ab 0000066f: JUMP 00000670: JUMPDEST 00000671: PUSH1 0x40 00000673: DUP1 00000674: MLOAD 00000675: PUSH1 0x02 00000677: SLOAD 00000678: PUSH32 0x045d46c200000000000000000000000000000000000000000000000000000000 00000699: DUP3 0000069a: MSTORE 0000069b: PUSH1 0x01 0000069d: PUSH1 0xa0 0000069f: PUSH1 0x02 000006a1: EXP 000006a2: SUB 000006a3: DUP11 000006a4: DUP2 000006a5: AND 000006a6: PUSH1 0x04 000006a8: DUP5 000006a9: ADD 000006aa: MSTORE 000006ab: DUP10 000006ac: DUP2 000006ad: AND 000006ae: PUSH1 0x24 000006b0: DUP5 000006b1: ADD 000006b2: MSTORE 000006b3: DUP4 000006b4: MLOAD 000006b5: SWAP2 000006b6: AND 000006b7: SWAP6 000006b8: POP 000006b9: DUP6 000006ba: SWAP3 000006bb: PUSH4 0x045d46c2 000006c0: SWAP3 000006c1: PUSH1 0x44 000006c3: DUP2 000006c4: DUP2 000006c5: ADD 000006c6: SWAP4 000006c7: SWAP2 000006c8: DUP3 000006c9: SWAP1 000006ca: SUB 000006cb: ADD 000006cc: DUP2 000006cd: PUSH1 0x00 000006cf: DUP8 000006d0: PUSH2 0x61da 000006d3: GAS 000006d4: SUB 000006d5: CALL 000006d6: ISZERO 000006d7: PUSH2 0x0002 000006da: JUMPI 000006db: POP 000006dc: POP 000006dd: PUSH1 0x40 000006df: MLOAD 000006e0: DUP1 000006e1: MLOAD 000006e2: PUSH1 0x20 000006e4: SWAP2 000006e5: SWAP1 000006e6: SWAP2 000006e7: ADD 000006e8: MLOAD 000006e9: SWAP1 000006ea: SWAP4 000006eb: POP 000006ec: SWAP2 000006ed: POP 000006ee: POP 000006ef: DUP5 000006f0: DUP3 000006f1: LT 000006f2: ISZERO 000006f3: PUSH2 0x0733 000006f6: JUMPI 000006f7: PUSH1 0x40 000006f9: DUP1 000006fa: MLOAD 000006fb: DUP1 000006fc: DUP3 000006fd: ADD 000006fe: SWAP1 000006ff: SWAP2 00000700: MSTORE 00000701: PUSH1 0x12 00000703: DUP2 00000704: MSTORE 00000705: PUSH32 0x696e73756666696369656e745f66756e64730000000000000000000000000000 00000726: PUSH1 0x20 00000728: DUP3 00000729: ADD 0000072a: MSTORE 0000072b: PUSH2 0x04d8 0000072e: SWAP1 0000072f: PUSH2 0x03ab 00000732: JUMP 00000733: JUMPDEST 00000734: PUSH1 0x00 00000736: DUP6 00000737: DUP3 00000738: ADD 00000739: LT 0000073a: ISZERO 0000073b: PUSH2 0x077b 0000073e: JUMPI 0000073f: PUSH1 0x40 00000741: DUP1 00000742: MLOAD 00000743: DUP1 00000744: DUP3 00000745: ADD 00000746: SWAP1 00000747: SWAP2 00000748: MSTORE 00000749: PUSH1 0x11 0000074b: DUP2 0000074c: MSTORE 0000074d: PUSH32 0x706f737369626c655f6f766572666c6f77000000000000000000000000000000 0000076e: PUSH1 0x20 00000770: DUP3 00000771: ADD 00000772: MSTORE 00000773: PUSH2 0x04d8 00000776: SWAP1 00000777: PUSH2 0x03ab 0000077a: JUMP 0000077b: JUMPDEST 0000077c: PUSH1 0x40 0000077e: DUP1 0000077f: MLOAD 00000780: DUP1 00000781: DUP3 00000782: ADD 00000783: SWAP1 00000784: SWAP2 00000785: MSTORE 00000786: PUSH1 0x17 00000788: DUP2 00000789: MSTORE 0000078a: PUSH32 0x7472616e736665722e6c696d69742e6973416374697665000000000000000000 000007ab: PUSH1 0x20 000007ad: DUP3 000007ae: ADD 000007af: MSTORE 000007b0: PUSH2 0x07b8 000007b3: SWAP1 000007b4: PUSH2 0x02ed 000007b7: JUMP 000007b8: JUMPDEST 000007b9: PUSH1 0x00 000007bb: EQ 000007bc: PUSH2 0x080c 000007bf: JUMPI 000007c0: PUSH2 0x07c9 000007c3: DUP8 000007c4: DUP7 000007c5: PUSH2 0x0102 000007c8: JUMP 000007c9: JUMPDEST 000007ca: ISZERO 000007cb: ISZERO 000007cc: PUSH2 0x080c 000007cf: JUMPI 000007d0: PUSH1 0x40 000007d2: DUP1 000007d3: MLOAD 000007d4: DUP1 000007d5: DUP3 000007d6: ADD 000007d7: SWAP1 000007d8: SWAP2 000007d9: MSTORE 000007da: PUSH1 0x14 000007dc: DUP2 000007dd: MSTORE 000007de: PUSH32 0x6461696c795f6c696d69745f6578636565646564000000000000000000000000 000007ff: PUSH1 0x20 00000801: DUP3 00000802: ADD 00000803: MSTORE 00000804: PUSH2 0x04d8 00000807: SWAP1 00000808: PUSH2 0x03ab 0000080b: JUMP 0000080c: JUMPDEST 0000080d: DUP3 0000080e: PUSH1 0x01 00000810: PUSH1 0xa0 00000812: PUSH1 0x02 00000814: EXP 00000815: SUB 00000816: AND 00000817: PUSH4 0x09901f70 0000081c: DUP9 0000081d: DUP8 0000081e: DUP6 0000081f: SUB 00000820: PUSH1 0x40 00000822: MLOAD 00000823: DUP4 00000824: PUSH1 0xe0 00000826: PUSH1 0x02 00000828: EXP 00000829: MUL 0000082a: DUP2 0000082b: MSTORE 0000082c: PUSH1 0x04 0000082e: ADD 0000082f: DUP1 00000830: DUP4 00000831: PUSH1 0x01 00000833: PUSH1 0xa0 00000835: PUSH1 0x02 00000837: EXP 00000838: SUB 00000839: AND 0000083a: DUP2 0000083b: MSTORE 0000083c: PUSH1 0x20 0000083e: ADD 0000083f: DUP3 00000840: DUP2 00000841: MSTORE 00000842: PUSH1 0x20 00000844: ADD 00000845: SWAP3 00000846: POP 00000847: POP 00000848: POP 00000849: PUSH1 0x00 0000084b: PUSH1 0x40 0000084d: MLOAD 0000084e: DUP1 0000084f: DUP4 00000850: SUB 00000851: DUP2 00000852: PUSH1 0x00 00000854: DUP8 00000855: PUSH2 0x61da 00000858: GAS 00000859: SUB 0000085a: CALL 0000085b: ISZERO 0000085c: PUSH2 0x0002 0000085f: JUMPI 00000860: POP 00000861: PUSH1 0x40 00000863: DUP1 00000864: MLOAD 00000865: PUSH32 0x09901f7000000000000000000000000000000000000000000000000000000000 00000886: DUP2 00000887: MSTORE 00000888: PUSH1 0x01 0000088a: PUSH1 0xa0 0000088c: PUSH1 0x02 0000088e: EXP 0000088f: SUB 00000890: DUP11 00000891: AND 00000892: PUSH1 0x04 00000894: DUP3 00000895: ADD 00000896: MSTORE 00000897: DUP9 00000898: DUP6 00000899: ADD 0000089a: PUSH1 0x24 0000089c: DUP3 0000089d: ADD 0000089e: MSTORE 0000089f: SWAP1 000008a0: MLOAD 000008a1: PUSH1 0x44 000008a3: DUP1 000008a4: DUP4 000008a5: ADD 000008a6: SWAP3 000008a7: PUSH1 0x00 000008a9: SWAP3 000008aa: SWAP2 000008ab: SWAP1 000008ac: DUP3 000008ad: SWAP1 000008ae: SUB 000008af: ADD 000008b0: DUP2 000008b1: DUP4 000008b2: DUP8 000008b3: PUSH2 0x61da 000008b6: GAS 000008b7: SUB 000008b8: CALL 000008b9: ISZERO 000008ba: PUSH2 0x0002 000008bd: JUMPI 000008be: POP 000008bf: POP 000008c0: POP 000008c1: PUSH2 0x08c9 000008c4: DUP8 000008c5: PUSH2 0x0217 000008c8: JUMP 000008c9: JUMPDEST 000008ca: PUSH2 0x08d2 000008cd: DUP7 000008ce: PUSH2 0x0217 000008d1: JUMP 000008d2: JUMPDEST 000008d3: PUSH1 0x01 000008d5: SWAP4 000008d6: POP 000008d7: PUSH2 0x04db 000008da: JUMP 000008db: JUMPDEST 000008dc: PUSH1 0x02 000008de: DUP1 000008df: SLOAD 000008e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f5: NOT 000008f6: AND 000008f7: DUP3 000008f8: OR 000008f9: SWAP1 000008fa: SSTORE 000008fb: POP 000008fc: JUMP 000008fd: JUMPDEST 000008fe: DUP6 000008ff: DUP4 00000900: ADD 00000901: GT 00000902: DUP1 00000903: ISZERO 00000904: SWAP5 00000905: POP 00000906: PUSH2 0x092d 00000909: JUMPI 0000090a: PUSH1 0x01 0000090c: PUSH1 0xa0 0000090e: PUSH1 0x02 00000910: EXP 00000911: SUB 00000912: DUP7 00000913: AND 00000914: PUSH1 0x00 00000916: SWAP1 00000917: DUP2 00000918: MSTORE 00000919: PUSH1 0x04 0000091b: PUSH1 0x20 0000091d: MSTORE 0000091e: PUSH1 0x40 00000920: SWAP1 00000921: KECCAK256 00000922: DUP6 00000923: DUP4 00000924: ADD 00000925: SWAP1 00000926: PUSH1 0x01 00000928: ADD 00000929: PUSH1 0x00 0000092b: POP 0000092c: SSTORE 0000092d: JUMPDEST 0000092e: POP 0000092f: POP 00000930: POP 00000931: SWAP3 00000932: SWAP2 00000933: POP 00000934: POP 00000935: JUMP 00000936: JUMPDEST 00000937: DUP1 00000938: PUSH1 0x01 0000093a: PUSH1 0x00 0000093c: POP 0000093d: DUP4 0000093e: PUSH1 0x40 00000940: MLOAD 00000941: DUP1 00000942: DUP3 00000943: DUP1 00000944: MLOAD 00000945: SWAP1 00000946: PUSH1 0x20 00000948: ADD 00000949: SWAP1 0000094a: DUP1 0000094b: DUP4 0000094c: DUP4 0000094d: DUP3 0000094e: SWAP1 0000094f: PUSH1 0x00 00000951: PUSH1 0x04 00000953: PUSH1 0x20 00000955: DUP5 00000956: PUSH1 0x1f 00000958: ADD 00000959: DIV 0000095a: PUSH1 0x0f 0000095c: MUL 0000095d: PUSH1 0x03 0000095f: ADD 00000960: CALL 00000961: POP 00000962: SWAP1 00000963: POP 00000964: ADD 00000965: SWAP2 00000966: POP 00000967: POP 00000968: SWAP1 00000969: DUP2 0000096a: MSTORE 0000096b: PUSH1 0x20 0000096d: ADD 0000096e: PUSH1 0x40 00000970: MLOAD 00000971: DUP1 00000972: SWAP2 00000973: SUB 00000974: SWAP1 00000975: KECCAK256 00000976: PUSH1 0x00 00000978: POP 00000979: DUP2 0000097a: SWAP1 0000097b: SSTORE 0000097c: POP 0000097d: POP 0000097e: POP 0000097f: JUMP 00000980: JUMPDEST 00000981: PUSH1 0x00 00000983: ADDRESS 00000984: PUSH1 0x01 00000986: PUSH1 0xa0 00000988: PUSH1 0x02 0000098a: EXP 0000098b: SUB 0000098c: AND 0000098d: BALANCE 0000098e: GT 0000098f: ISZERO 00000990: PUSH2 0x09b7 00000993: JUMPI 00000994: PUSH1 0x40 00000996: MLOAD 00000997: PUSH1 0x01 00000999: PUSH1 0xa0 0000099b: PUSH1 0x02 0000099d: EXP 0000099e: SUB 0000099f: CALLER 000009a0: DUP2 000009a1: AND 000009a2: SWAP2 000009a3: PUSH1 0x00 000009a5: SWAP2 000009a6: ADDRESS 000009a7: AND 000009a8: BALANCE 000009a9: SWAP1 000009aa: DUP3 000009ab: DUP2 000009ac: DUP2 000009ad: DUP2 000009ae: DUP6 000009af: DUP9 000009b0: DUP4 000009b1: CALL 000009b2: POP 000009b3: POP 000009b4: POP 000009b5: POP 000009b6: POP 000009b7: JUMPDEST 000009b8: CALLER 000009b9: PUSH1 0x01 000009bb: PUSH1 0xa0 000009bd: PUSH1 0x02 000009bf: EXP 000009c0: SUB 000009c1: AND 000009c2: SELFDESTRUCT 000009c3: JUMPDEST 000009c4: PUSH1 0x40 000009c6: DUP1 000009c7: MLOAD 000009c8: DUP1 000009c9: DUP3 000009ca: ADD 000009cb: SWAP1 000009cc: SWAP2 000009cd: MSTORE 000009ce: PUSH1 0x11 000009d0: DUP2 000009d1: MSTORE 000009d2: PUSH1 0x00 000009d4: DUP1 000009d5: MLOAD 000009d6: PUSH1 0x20 000009d8: PUSH2 0x0e8f 000009db: DUP4 000009dc: CODECOPY 000009dd: DUP2 000009de: MLOAD 000009df: SWAP2 000009e0: MSTORE 000009e1: PUSH1 0x20 000009e3: DUP3 000009e4: ADD 000009e5: MSTORE 000009e6: PUSH2 0x09ee 000009e9: SWAP1 000009ea: PUSH2 0x02ed 000009ed: JUMP 000009ee: JUMPDEST 000009ef: PUSH1 0x00 000009f1: EQ 000009f2: ISZERO 000009f3: PUSH2 0x09fb 000009f6: JUMPI 000009f7: PUSH2 0x0002 000009fa: JUMP 000009fb: JUMPDEST 000009fc: PUSH1 0x40 000009fe: DUP1 000009ff: MLOAD 00000a00: DUP1 00000a01: DUP3 00000a02: ADD 00000a03: SWAP1 00000a04: SWAP2 00000a05: MSTORE 00000a06: PUSH1 0x11 00000a08: DUP2 00000a09: MSTORE 00000a0a: PUSH32 0x726566696c6c2e6d696e42616c616e6365000000000000000000000000000000 00000a2b: PUSH1 0x20 00000a2d: DUP3 00000a2e: ADD 00000a2f: MSTORE 00000a30: PUSH2 0x0a38 00000a33: SWAP1 00000a34: PUSH2 0x02ed 00000a37: JUMP 00000a38: JUMPDEST 00000a39: PUSH1 0x40 00000a3b: DUP1 00000a3c: MLOAD 00000a3d: DUP1 00000a3e: DUP3 00000a3f: ADD 00000a40: SWAP1 00000a41: SWAP2 00000a42: MSTORE 00000a43: PUSH1 0x0f 00000a45: DUP2 00000a46: MSTORE 00000a47: PUSH32 0x726566696c6c2e726566696c6c546f0000000000000000000000000000000000 00000a68: PUSH1 0x20 00000a6a: DUP3 00000a6b: ADD 00000a6c: MSTORE 00000a6d: SWAP1 00000a6e: SWAP3 00000a6f: POP 00000a70: PUSH2 0x0a78 00000a73: SWAP1 00000a74: PUSH2 0x02ed 00000a77: JUMP 00000a78: JUMPDEST 00000a79: SWAP1 00000a7a: POP 00000a7b: DUP2 00000a7c: DUP4 00000a7d: PUSH1 0x01 00000a7f: PUSH1 0xa0 00000a81: PUSH1 0x02 00000a83: EXP 00000a84: SUB 00000a85: AND 00000a86: BALANCE 00000a87: LT 00000a88: ISZERO 00000a89: PUSH2 0x0ab0 00000a8c: JUMPI 00000a8d: PUSH1 0x40 00000a8f: MLOAD 00000a90: PUSH1 0x01 00000a92: PUSH1 0xa0 00000a94: PUSH1 0x02 00000a96: EXP 00000a97: SUB 00000a98: DUP5 00000a99: AND 00000a9a: SWAP1 00000a9b: PUSH1 0x00 00000a9d: SWAP1 00000a9e: DUP3 00000a9f: BALANCE 00000aa0: DUP5 00000aa1: SUB 00000aa2: SWAP1 00000aa3: DUP3 00000aa4: DUP2 00000aa5: DUP2 00000aa6: DUP2 00000aa7: DUP6 00000aa8: DUP9 00000aa9: DUP4 00000aaa: CALL 00000aab: POP 00000aac: POP 00000aad: POP 00000aae: POP 00000aaf: POP 00000ab0: JUMPDEST 00000ab1: POP 00000ab2: POP 00000ab3: POP 00000ab4: JUMP 00000ab5: JUMPDEST 00000ab6: SWAP3 00000ab7: POP 00000ab8: JUMPDEST 00000ab9: POP 00000aba: POP 00000abb: SWAP3 00000abc: SWAP2 00000abd: POP 00000abe: POP 00000abf: JUMP 00000ac0: JUMPDEST 00000ac1: PUSH1 0x40 00000ac3: DUP1 00000ac4: MLOAD 00000ac5: DUP1 00000ac6: DUP3 00000ac7: ADD 00000ac8: SWAP1 00000ac9: SWAP2 00000aca: MSTORE 00000acb: PUSH1 0x11 00000acd: DUP2 00000ace: MSTORE 00000acf: PUSH1 0x00 00000ad1: DUP1 00000ad2: MLOAD 00000ad3: PUSH1 0x20 00000ad5: PUSH2 0x0e8f 00000ad8: DUP4 00000ad9: CODECOPY 00000ada: DUP2 00000adb: MLOAD 00000adc: SWAP2 00000add: MSTORE 00000ade: PUSH1 0x20 00000ae0: DUP3 00000ae1: ADD 00000ae2: MSTORE 00000ae3: PUSH2 0x0aeb 00000ae6: SWAP1 00000ae7: PUSH2 0x02ed 00000aea: JUMP 00000aeb: JUMPDEST 00000aec: PUSH1 0x00 00000aee: EQ 00000aef: ISZERO 00000af0: PUSH2 0x0af8 00000af3: JUMPI 00000af4: PUSH2 0x0002 00000af7: JUMP 00000af8: JUMPDEST 00000af9: DUP4 00000afa: PUSH1 0x00 00000afc: EQ 00000afd: ISZERO 00000afe: PUSH2 0x0b2f 00000b01: JUMPI 00000b02: PUSH1 0x40 00000b04: DUP1 00000b05: MLOAD 00000b06: DUP1 00000b07: DUP3 00000b08: ADD 00000b09: SWAP1 00000b0a: SWAP2 00000b0b: MSTORE 00000b0c: PUSH1 0x0b 00000b0e: DUP2 00000b0f: MSTORE 00000b10: PUSH1 0xaa 00000b12: PUSH1 0x02 00000b14: EXP 00000b15: PUSH11 0x1e995c9bd7d85b5bdd5b9d 00000b21: MUL 00000b22: PUSH1 0x20 00000b24: DUP3 00000b25: ADD 00000b26: MSTORE 00000b27: PUSH2 0x0ab5 00000b2a: SWAP1 00000b2b: PUSH2 0x03ab 00000b2e: JUMP 00000b2f: JUMPDEST 00000b30: PUSH1 0x40 00000b32: DUP1 00000b33: MLOAD 00000b34: PUSH1 0x02 00000b36: SLOAD 00000b37: PUSH1 0xe1 00000b39: PUSH1 0x02 00000b3b: EXP 00000b3c: PUSH4 0x4dcb7767 00000b41: MUL 00000b42: DUP3 00000b43: MSTORE 00000b44: PUSH1 0x01 00000b46: PUSH1 0xa0 00000b48: PUSH1 0x02 00000b4a: EXP 00000b4b: SUB 00000b4c: DUP9 00000b4d: DUP2 00000b4e: AND 00000b4f: PUSH1 0x04 00000b51: DUP5 00000b52: ADD 00000b53: MSTORE 00000b54: SWAP3 00000b55: MLOAD 00000b56: SWAP3 00000b57: AND 00000b58: SWAP4 00000b59: POP 00000b5a: DUP4 00000b5b: SWAP2 00000b5c: PUSH4 0x9b96eece 00000b61: SWAP2 00000b62: PUSH1 0x24 00000b64: DUP2 00000b65: DUP2 00000b66: ADD 00000b67: SWAP3 00000b68: PUSH1 0x20 00000b6a: SWAP3 00000b6b: SWAP1 00000b6c: SWAP2 00000b6d: SWAP1 00000b6e: DUP3 00000b6f: SWAP1 00000b70: SUB 00000b71: ADD 00000b72: DUP2 00000b73: PUSH1 0x00 00000b75: DUP8 00000b76: PUSH2 0x61da 00000b79: GAS 00000b7a: SUB 00000b7b: CALL 00000b7c: ISZERO 00000b7d: PUSH2 0x0002 00000b80: JUMPI 00000b81: POP 00000b82: POP 00000b83: PUSH1 0x40 00000b85: MLOAD 00000b86: MLOAD 00000b87: SWAP2 00000b88: POP 00000b89: POP 00000b8a: PUSH1 0x00 00000b8c: DUP2 00000b8d: DUP6 00000b8e: ADD 00000b8f: LT 00000b90: ISZERO 00000b91: PUSH2 0x0bd1 00000b94: JUMPI 00000b95: PUSH1 0x40 00000b97: DUP1 00000b98: MLOAD 00000b99: DUP1 00000b9a: DUP3 00000b9b: ADD 00000b9c: SWAP1 00000b9d: SWAP2 00000b9e: MSTORE 00000b9f: PUSH1 0x11 00000ba1: DUP2 00000ba2: MSTORE 00000ba3: PUSH32 0x706f737369626c655f6f766572666c6f77000000000000000000000000000000 00000bc4: PUSH1 0x20 00000bc6: DUP3 00000bc7: ADD 00000bc8: MSTORE 00000bc9: PUSH2 0x0ab5 00000bcc: SWAP1 00000bcd: PUSH2 0x03ab 00000bd0: JUMP 00000bd1: JUMPDEST 00000bd2: DUP4 00000bd3: DUP2 00000bd4: ADD 00000bd5: SWAP1 00000bd6: POP 00000bd7: DUP1 00000bd8: POP 00000bd9: DUP2 00000bda: PUSH1 0x01 00000bdc: PUSH1 0xa0 00000bde: PUSH1 0x02 00000be0: EXP 00000be1: SUB 00000be2: AND 00000be3: PUSH4 0x09901f70 00000be8: DUP7 00000be9: DUP4 00000bea: PUSH1 0x40 00000bec: MLOAD 00000bed: DUP4 00000bee: PUSH1 0xe0 00000bf0: PUSH1 0x02 00000bf2: EXP 00000bf3: MUL 00000bf4: DUP2 00000bf5: MSTORE 00000bf6: PUSH1 0x04 00000bf8: ADD 00000bf9: DUP1 00000bfa: DUP4 00000bfb: PUSH1 0x01 00000bfd: PUSH1 0xa0 00000bff: PUSH1 0x02 00000c01: EXP 00000c02: SUB 00000c03: AND 00000c04: DUP2 00000c05: MSTORE 00000c06: PUSH1 0x20 00000c08: ADD 00000c09: DUP3 00000c0a: DUP2 00000c0b: MSTORE 00000c0c: PUSH1 0x20 00000c0e: ADD 00000c0f: SWAP3 00000c10: POP 00000c11: POP 00000c12: POP 00000c13: PUSH1 0x00 00000c15: PUSH1 0x40 00000c17: MLOAD 00000c18: DUP1 00000c19: DUP4 00000c1a: SUB 00000c1b: DUP2 00000c1c: PUSH1 0x00 00000c1e: DUP8 00000c1f: PUSH2 0x61da 00000c22: GAS 00000c23: SUB 00000c24: CALL 00000c25: ISZERO 00000c26: PUSH2 0x0002 00000c29: JUMPI 00000c2a: POP 00000c2b: POP 00000c2c: POP 00000c2d: DUP2 00000c2e: PUSH1 0x01 00000c30: PUSH1 0xa0 00000c32: PUSH1 0x02 00000c34: EXP 00000c35: SUB 00000c36: AND 00000c37: PUSH4 0x66d49bab 00000c3c: DUP6 00000c3d: PUSH1 0x40 00000c3f: MLOAD 00000c40: DUP3 00000c41: PUSH1 0xe0 00000c43: PUSH1 0x02 00000c45: EXP 00000c46: MUL 00000c47: DUP2 00000c48: MSTORE 00000c49: PUSH1 0x04 00000c4b: ADD 00000c4c: DUP1 00000c4d: DUP3 00000c4e: DUP2 00000c4f: MSTORE 00000c50: PUSH1 0x20 00000c52: ADD 00000c53: SWAP2 00000c54: POP 00000c55: POP 00000c56: PUSH1 0x00 00000c58: PUSH1 0x40 00000c5a: MLOAD 00000c5b: DUP1 00000c5c: DUP4 00000c5d: SUB 00000c5e: DUP2 00000c5f: PUSH1 0x00 00000c61: DUP8 00000c62: PUSH2 0x61da 00000c65: GAS 00000c66: SUB 00000c67: CALL 00000c68: ISZERO 00000c69: PUSH2 0x0002 00000c6c: JUMPI 00000c6d: POP 00000c6e: POP 00000c6f: POP 00000c70: PUSH1 0x01 00000c72: SWAP3 00000c73: POP 00000c74: PUSH2 0x0ab8 00000c77: JUMP 00000c78: JUMPDEST 00000c79: PUSH1 0x40 00000c7b: DUP1 00000c7c: MLOAD 00000c7d: DUP1 00000c7e: DUP3 00000c7f: ADD 00000c80: SWAP1 00000c81: SWAP2 00000c82: MSTORE 00000c83: PUSH1 0x11 00000c85: DUP2 00000c86: MSTORE 00000c87: PUSH1 0x00 00000c89: DUP1 00000c8a: MLOAD 00000c8b: PUSH1 0x20 00000c8d: PUSH2 0x0e8f 00000c90: DUP4 00000c91: CODECOPY 00000c92: DUP2 00000c93: MLOAD 00000c94: SWAP2 00000c95: MSTORE 00000c96: PUSH1 0x20 00000c98: DUP3 00000c99: ADD 00000c9a: MSTORE 00000c9b: PUSH2 0x0ca3 00000c9e: SWAP1 00000c9f: PUSH2 0x02ed 00000ca2: JUMP 00000ca3: JUMPDEST 00000ca4: PUSH1 0x00 00000ca6: EQ 00000ca7: ISZERO 00000ca8: PUSH2 0x0cb0 00000cab: JUMPI 00000cac: PUSH2 0x0002 00000caf: JUMP 00000cb0: JUMPDEST 00000cb1: DUP4 00000cb2: PUSH1 0x00 00000cb4: EQ 00000cb5: ISZERO 00000cb6: PUSH2 0x0ce7 00000cb9: JUMPI 00000cba: PUSH1 0x40 00000cbc: DUP1 00000cbd: MLOAD 00000cbe: DUP1 00000cbf: DUP3 00000cc0: ADD 00000cc1: SWAP1 00000cc2: SWAP2 00000cc3: MSTORE 00000cc4: PUSH1 0x0b 00000cc6: DUP2 00000cc7: MSTORE 00000cc8: PUSH1 0xaa 00000cca: PUSH1 0x02 00000ccc: EXP 00000ccd: PUSH11 0x1e995c9bd7d85b5bdd5b9d 00000cd9: MUL 00000cda: PUSH1 0x20 00000cdc: DUP3 00000cdd: ADD 00000cde: MSTORE 00000cdf: PUSH2 0x0ab5 00000ce2: SWAP1 00000ce3: PUSH2 0x03ab 00000ce6: JUMP 00000ce7: JUMPDEST 00000ce8: PUSH1 0x40 00000cea: DUP1 00000ceb: MLOAD 00000cec: PUSH1 0x02 00000cee: SLOAD 00000cef: PUSH1 0xe1 00000cf1: PUSH1 0x02 00000cf3: EXP 00000cf4: PUSH4 0x4dcb7767 00000cf9: MUL 00000cfa: DUP3 00000cfb: MSTORE 00000cfc: PUSH1 0x01 00000cfe: PUSH1 0xa0 00000d00: PUSH1 0x02 00000d02: EXP 00000d03: SUB 00000d04: DUP9 00000d05: DUP2 00000d06: AND 00000d07: PUSH1 0x04 00000d09: DUP5 00000d0a: ADD 00000d0b: MSTORE 00000d0c: SWAP3 00000d0d: MLOAD 00000d0e: SWAP3 00000d0f: AND 00000d10: SWAP4 00000d11: POP 00000d12: DUP4 00000d13: SWAP2 00000d14: PUSH4 0x9b96eece 00000d19: SWAP2 00000d1a: PUSH1 0x24 00000d1c: DUP2 00000d1d: DUP2 00000d1e: ADD 00000d1f: SWAP3 00000d20: PUSH1 0x20 00000d22: SWAP3 00000d23: SWAP1 00000d24: SWAP2 00000d25: SWAP1 00000d26: DUP3 00000d27: SWAP1 00000d28: SUB 00000d29: ADD 00000d2a: DUP2 00000d2b: PUSH1 0x00 00000d2d: DUP8 00000d2e: PUSH2 0x61da 00000d31: GAS 00000d32: SUB 00000d33: CALL 00000d34: ISZERO 00000d35: PUSH2 0x0002 00000d38: JUMPI 00000d39: POP 00000d3a: POP 00000d3b: PUSH1 0x40 00000d3d: MLOAD 00000d3e: MLOAD 00000d3f: SWAP2 00000d40: POP 00000d41: POP 00000d42: PUSH1 0x00 00000d44: DUP5 00000d45: DUP3 00000d46: SUB 00000d47: LT 00000d48: ISZERO 00000d49: PUSH2 0x0d50 00000d4c: JUMPI 00000d4d: SWAP3 00000d4e: POP 00000d4f: DUP3 00000d50: JUMPDEST 00000d51: DUP4 00000d52: DUP2 00000d53: SUB 00000d54: SWAP1 00000d55: POP 00000d56: DUP1 00000d57: POP 00000d58: DUP2 00000d59: PUSH1 0x01 00000d5b: PUSH1 0xa0 00000d5d: PUSH1 0x02 00000d5f: EXP 00000d60: SUB 00000d61: AND 00000d62: PUSH4 0x09901f70 00000d67: DUP7 00000d68: DUP4 00000d69: PUSH1 0x40 00000d6b: MLOAD 00000d6c: DUP4 00000d6d: PUSH1 0xe0 00000d6f: PUSH1 0x02 00000d71: EXP 00000d72: MUL 00000d73: DUP2 00000d74: MSTORE 00000d75: PUSH1 0x04 00000d77: ADD 00000d78: DUP1 00000d79: DUP4 00000d7a: PUSH1 0x01 00000d7c: PUSH1 0xa0 00000d7e: PUSH1 0x02 00000d80: EXP 00000d81: SUB 00000d82: AND 00000d83: DUP2 00000d84: MSTORE 00000d85: PUSH1 0x20 00000d87: ADD 00000d88: DUP3 00000d89: DUP2 00000d8a: MSTORE 00000d8b: PUSH1 0x20 00000d8d: ADD 00000d8e: SWAP3 00000d8f: POP 00000d90: POP 00000d91: POP 00000d92: PUSH1 0x00 00000d94: PUSH1 0x40 00000d96: MLOAD 00000d97: DUP1 00000d98: DUP4 00000d99: SUB 00000d9a: DUP2 00000d9b: PUSH1 0x00 00000d9d: DUP8 00000d9e: PUSH2 0x61da 00000da1: GAS 00000da2: SUB 00000da3: CALL 00000da4: ISZERO 00000da5: PUSH2 0x0002 00000da8: JUMPI 00000da9: POP 00000daa: POP 00000dab: PUSH1 0x40 00000dad: DUP1 00000dae: MLOAD 00000daf: PUSH32 0x66d49bab00000000000000000000000000000000000000000000000000000000 00000dd0: DUP2 00000dd1: MSTORE 00000dd2: PUSH1 0x00 00000dd4: DUP8 00000dd5: DUP2 00000dd6: SUB 00000dd7: PUSH1 0x04 00000dd9: DUP4 00000dda: ADD 00000ddb: MSTORE 00000ddc: SWAP2 00000ddd: MLOAD 00000dde: PUSH4 0x66d49bab 00000de3: SWAP3 00000de4: PUSH1 0x24 00000de6: DUP4 00000de7: DUP2 00000de8: ADD 00000de9: SWAP4 00000dea: SWAP2 00000deb: SWAP3 00000dec: SWAP2 00000ded: DUP3 00000dee: SWAP1 00000def: SUB 00000df0: ADD 00000df1: DUP2 00000df2: DUP4 00000df3: DUP8 00000df4: PUSH2 0x61da 00000df7: GAS 00000df8: SUB 00000df9: CALL 00000dfa: ISZERO 00000dfb: PUSH2 0x0002 00000dfe: JUMPI 00000dff: POP 00000e00: POP 00000e01: POP 00000e02: PUSH1 0x01 00000e04: SWAP3 00000e05: POP 00000e06: PUSH2 0x0ab8 00000e09: JUMP 00000e0a: JUMPDEST 00000e0b: PUSH1 0x40 00000e0d: DUP1 00000e0e: MLOAD 00000e0f: DUP1 00000e10: DUP3 00000e11: ADD 00000e12: SWAP1 00000e13: SWAP2 00000e14: MSTORE 00000e15: PUSH1 0x11 00000e17: DUP2 00000e18: MSTORE 00000e19: PUSH1 0x00 00000e1b: DUP1 00000e1c: MLOAD 00000e1d: PUSH1 0x20 00000e1f: PUSH2 0x0e8f 00000e22: DUP4 00000e23: CODECOPY 00000e24: DUP2 00000e25: MLOAD 00000e26: SWAP2 00000e27: MSTORE 00000e28: PUSH1 0x20 00000e2a: DUP3 00000e2b: ADD 00000e2c: MSTORE 00000e2d: PUSH2 0x0e35 00000e30: SWAP1 00000e31: PUSH2 0x02ed 00000e34: JUMP 00000e35: JUMPDEST 00000e36: PUSH1 0x00 00000e38: EQ 00000e39: ISZERO 00000e3a: PUSH2 0x0e42 00000e3d: JUMPI 00000e3e: PUSH2 0x0002 00000e41: JUMP 00000e42: JUMPDEST 00000e43: POP 00000e44: PUSH1 0x01 00000e46: PUSH1 0xa0 00000e48: PUSH1 0x02 00000e4a: EXP 00000e4b: SUB 00000e4c: DUP3 00000e4d: AND 00000e4e: PUSH1 0x00 00000e50: SWAP1 00000e51: DUP2 00000e52: MSTORE 00000e53: PUSH1 0x03 00000e55: PUSH1 0x20 00000e57: MSTORE 00000e58: PUSH1 0x40 00000e5a: SWAP1 00000e5b: KECCAK256 00000e5c: DUP1 00000e5d: SLOAD 00000e5e: PUSH1 0xff 00000e60: NOT 00000e61: AND 00000e62: DUP3 00000e63: OR 00000e64: SWAP1 00000e65: SSTORE 00000e66: PUSH1 0x01 00000e68: SWAP3 00000e69: SWAP2 00000e6a: POP 00000e6b: POP 00000e6c: JUMP 00000e6d: JUMPDEST 00000e6e: PUSH1 0x00 00000e70: DUP1 00000e71: SLOAD 00000e72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e87: NOT 00000e88: AND 00000e89: DUP3 00000e8a: OR 00000e8b: SWAP1 00000e8c: SSTORE 00000e8d: POP 00000e8e: JUMP 00000e8f: PUSH4 0x6f6e7472 00000e94: PUSH2 0x6374 00000e97: UNKNOWN(0x2E) 00000e98: PUSH10 0x73416374697665000000 00000ea3: STOP 00000ea4: STOP 00000ea5: STOP 00000ea6: STOP 00000ea7: STOP 00000ea8: STOP 00000ea9: STOP 00000eaa: STOP 00000eab: STOP 00000eac: STOP 00000ead: STOP 00000eae: STOP
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 |
|---|---|---|---|---|---|---|---|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xf651393735c943c868c34beaf915ae6d2c14d3c4166c1971de9a63c8cdb55253
call_targets:
0x024946f63dc4bc5307c376ce54bafcbbc243f4d5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf651393735c943c868c34beaf915ae6d2c14d3c4166c1971de9a63c8cdb55253",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x024946f63dc4bc5307c376ce54bafcbbc243f4d5"
],
"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": "0x0779afe6",
"selector": "0x0779afe6",
"calldata_variants": [
"0x0779afe6",
"0x0779afe60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x144fa6d7",
"selector": "0x144fa6d7",
"calldata_variants": [
"0x144fa6d7",
"0x144fa6d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27950b96",
"selector": "0x27950b96",
"calldata_variants": [
"0x27950b96",
"0x27950b960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3e8f5b90",
"selector": "0x3e8f5b90",
"calldata_variants": [
"0x3e8f5b90",
"0x3e8f5b900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x833f43c2",
"selector": "0x833f43c2",
"calldata_variants": [
"0x833f43c2",
"0x833f43c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x867904b4",
"selector": "0x867904b4",
"calldata_variants": [
"0x867904b4",
"0x867904b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1058,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1123,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1749,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 14,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0xb89e5288ea94740cd34967234cb0a4844b6155e959e3b14b1f5f8661e5387aea
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 26,
"trace_id": "0xb89e5288ea94740cd34967234cb0a4844b6155e959e3b14b1f5f8661e5387aea",
"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": "0x0779afe6",
"selector": "0x0779afe6",
"calldata_variants": [
"0x0779afe6",
"0x0779afe60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x144fa6d7",
"selector": "0x144fa6d7",
"calldata_variants": [
"0x144fa6d7",
"0x144fa6d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27950b96",
"selector": "0x27950b96",
"calldata_variants": [
"0x27950b96",
"0x27950b960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3e8f5b90",
"selector": "0x3e8f5b90",
"calldata_variants": [
"0x3e8f5b90",
"0x3e8f5b900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x833f43c2",
"selector": "0x833f43c2",
"calldata_variants": [
"0x833f43c2",
"0x833f43c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x867904b4",
"selector": "0x867904b4",
"calldata_variants": [
"0x867904b4",
"0x867904b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xf651393735c943c868c34beaf915ae6d2c14d3c4166c1971de9a63c8cdb55253
call_targets:
0x024946f63dc4bc5307c376ce54bafcbbc243f4d5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf651393735c943c868c34beaf915ae6d2c14d3c4166c1971de9a63c8cdb55253",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x024946f63dc4bc5307c376ce54bafcbbc243f4d5"
],
"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": "0x0779afe6",
"selector": "0x0779afe6",
"calldata_variants": [
"0x0779afe6",
"0x0779afe60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x144fa6d7",
"selector": "0x144fa6d7",
"calldata_variants": [
"0x144fa6d7",
"0x144fa6d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x27950b96",
"selector": "0x27950b96",
"calldata_variants": [
"0x27950b96",
"0x27950b960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3e8f5b90",
"selector": "0x3e8f5b90",
"calldata_variants": [
"0x3e8f5b90",
"0x3e8f5b900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x833f43c2",
"selector": "0x833f43c2",
"calldata_variants": [
"0x833f43c2",
"0x833f43c20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x867904b4",
"selector": "0x867904b4",
"calldata_variants": [
"0x867904b4",
"0x867904b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 792,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant_zero",
"target_expression_category": "computed"
},
{
"pc": 1058,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1123,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 15,
"guards_detected": [],
"untrusted_call_count": 15
}
|