019b477e-d5ef-70de-81c7-3790abddfee0
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 |
|---|---|---|---|---|
| 28627 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 28628 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 92817 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 92818 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 92819 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 92820 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0036 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x17c8c196 00000018: EQ 00000019: PUSH2 0x0041 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0x9890220b 00000023: EQ 00000024: PUSH2 0x0057 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0x9d43b53f 0000002e: EQ 0000002f: PUSH2 0x006b 00000032: JUMPI 00000033: PUSH0 00000034: DUP1 00000035: REVERT 00000036: JUMPDEST 00000037: CALLDATASIZE 00000038: PUSH2 0x003d 0000003b: JUMPI 0000003c: STOP 0000003d: JUMPDEST 0000003e: PUSH0 0000003f: DUP1 00000040: REVERT 00000041: JUMPDEST 00000042: CALLVALUE 00000043: DUP1 00000044: ISZERO 00000045: PUSH2 0x004c 00000048: JUMPI 00000049: PUSH0 0000004a: DUP1 0000004b: REVERT 0000004c: JUMPDEST 0000004d: POP 0000004e: PUSH2 0x0055 00000051: PUSH2 0x00ad 00000054: JUMP 00000055: JUMPDEST 00000056: STOP 00000057: JUMPDEST 00000058: CALLVALUE 00000059: DUP1 0000005a: ISZERO 0000005b: PUSH2 0x0062 0000005e: JUMPI 0000005f: PUSH0 00000060: DUP1 00000061: REVERT 00000062: JUMPDEST 00000063: POP 00000064: PUSH2 0x0055 00000067: PUSH2 0x137c 0000006a: JUMP 0000006b: JUMPDEST 0000006c: CALLVALUE 0000006d: DUP1 0000006e: ISZERO 0000006f: PUSH2 0x0076 00000072: JUMPI 00000073: PUSH0 00000074: DUP1 00000075: REVERT 00000076: JUMPDEST 00000077: POP 00000078: PUSH2 0x0099 0000007b: PUSH2 0x0085 0000007e: CALLDATASIZE 0000007f: PUSH1 0x04 00000081: PUSH2 0x13c7 00000084: JUMP 00000085: JUMPDEST 00000086: PUSH0 00000087: PUSH1 0x20 00000089: DUP2 0000008a: SWAP1 0000008b: MSTORE 0000008c: SWAP1 0000008d: DUP2 0000008e: MSTORE 0000008f: PUSH1 0x40 00000091: SWAP1 00000092: KECCAK256 00000093: SLOAD 00000094: PUSH1 0xff 00000096: AND 00000097: DUP2 00000098: JUMP 00000099: JUMPDEST 0000009a: PUSH1 0x40 0000009c: MLOAD 0000009d: SWAP1 0000009e: ISZERO 0000009f: ISZERO 000000a0: DUP2 000000a1: MSTORE 000000a2: PUSH1 0x20 000000a4: ADD 000000a5: PUSH1 0x40 000000a7: MLOAD 000000a8: DUP1 000000a9: SWAP2 000000aa: SUB 000000ab: SWAP1 000000ac: RETURN 000000ad: JUMPDEST 000000ae: PUSH0 000000af: PUSH20 0x80d7b4627fbee05ecccb6cff65ee1eb4f7e34d95 000000c4: NOT 000000c5: CALLER 000000c6: ADD 000000c7: PUSH2 0x00d9 000000ca: JUMPI 000000cb: POP 000000cc: PUSH8 0x0488dd05cee43c00 000000d5: PUSH2 0x12ea 000000d8: JUMP 000000d9: JUMPDEST 000000da: PUSH20 0x46828c44998e29673b81436f34c9594be005da20 000000ef: NOT 000000f0: CALLER 000000f1: ADD 000000f2: PUSH2 0x0104 000000f5: JUMPI 000000f6: POP 000000f7: PUSH8 0x051a68b9d8d20e00 00000100: PUSH2 0x12ea 00000103: JUMP 00000104: JUMPDEST 00000105: PUSH20 0x7e0b2a128bb5265fd102214ab502dbee41f03843 0000011a: NOT 0000011b: CALLER 0000011c: ADD 0000011d: PUSH2 0x012e 00000120: JUMPI 00000121: POP 00000122: PUSH7 0x029d8a00ecfc00 0000012a: PUSH2 0x12ea 0000012d: JUMP 0000012e: JUMPDEST 0000012f: PUSH20 0x0cdfc1cb26564c08ff1439ebfe9d029b789cc2e0 00000144: NOT 00000145: CALLER 00000146: ADD 00000147: PUSH2 0x0159 0000014a: JUMPI 0000014b: POP 0000014c: PUSH8 0x0b8746278f994000 00000155: PUSH2 0x12ea 00000158: JUMP 00000159: JUMPDEST 0000015a: PUSH20 0x44329e36038ae0df5838a2bfa93512024beec916 0000016f: NOT 00000170: CALLER 00000171: ADD 00000172: PUSH2 0x0183 00000175: JUMPI 00000176: POP 00000177: PUSH7 0xa29d8cf778d600 0000017f: PUSH2 0x12ea 00000182: JUMP 00000183: JUMPDEST 00000184: PUSH20 0x1f62671d9f4233c2bd9261031505278a4d99b3e7 00000199: NOT 0000019a: CALLER 0000019b: ADD 0000019c: PUSH2 0x01ad 0000019f: JUMPI 000001a0: POP 000001a1: PUSH7 0x37a0f025736200 000001a9: PUSH2 0x12ea 000001ac: JUMP 000001ad: JUMPDEST 000001ae: PUSH20 0x5bcc365fc3a5326e7482013eadbe26c78b8f86e4 000001c3: NOT 000001c4: CALLER 000001c5: ADD 000001c6: PUSH2 0x01d8 000001c9: JUMPI 000001ca: POP 000001cb: PUSH8 0x022ad542927e1e00 000001d4: PUSH2 0x12ea 000001d7: JUMP 000001d8: JUMPDEST 000001d9: PUSH20 0x2e0eb501bc66509658b90dfdc2b8589bf436c171 000001ee: NOT 000001ef: CALLER 000001f0: ADD 000001f1: PUSH2 0x0202 000001f4: JUMPI 000001f5: POP 000001f6: PUSH7 0x550e442d3dde00 000001fe: PUSH2 0x12ea 00000201: JUMP 00000202: JUMPDEST 00000203: PUSH20 0x40acc7e68506df38aaf8f8216d2fb2aeb98c8758 00000218: NOT 00000219: CALLER 0000021a: ADD 0000021b: PUSH2 0x022d 0000021e: JUMPI 0000021f: POP 00000220: PUSH8 0x0f246fa4b905fe00 00000229: PUSH2 0x12ea 0000022c: JUMP 0000022d: JUMPDEST 0000022e: PUSH20 0x14ba6e40d942aef168c4eff4b433340789fe59ef 00000243: NOT 00000244: CALLER 00000245: ADD 00000246: PUSH2 0x0258 00000249: JUMPI 0000024a: POP 0000024b: PUSH8 0x12d0c28e01364e00 00000254: PUSH2 0x12ea 00000257: JUMP 00000258: JUMPDEST 00000259: PUSH20 0x1f7087c052dd6786f2d40b2eb3f06ff7523d3f92 0000026e: NOT 0000026f: CALLER 00000270: ADD 00000271: PUSH2 0x0283 00000274: JUMPI 00000275: POP 00000276: PUSH8 0x018bfeaba746b200 0000027f: PUSH2 0x12ea 00000282: JUMP 00000283: JUMPDEST 00000284: PUSH20 0x3739cf6de9d491e6fa4f136a0f6886577e4bfffc 00000299: NOT 0000029a: CALLER 0000029b: ADD 0000029c: PUSH2 0x02ae 0000029f: JUMPI 000002a0: POP 000002a1: PUSH8 0x028ed7fbbe67b600 000002aa: PUSH2 0x12ea 000002ad: JUMP 000002ae: JUMPDEST 000002af: PUSH20 0xbc9cfc2b994105f9d661b4b763b9e25af45b4090 000002c4: NOT 000002c5: CALLER 000002c6: ADD 000002c7: PUSH2 0x02d9 000002ca: JUMPI 000002cb: POP 000002cc: PUSH8 0x024043f22ce9bc00 000002d5: PUSH2 0x12ea 000002d8: JUMP 000002d9: JUMPDEST 000002da: PUSH20 0x1e74fa6c928fc80104ba4553d30549458f7c21b4 000002ef: NOT 000002f0: CALLER 000002f1: ADD 000002f2: PUSH2 0x0304 000002f5: JUMPI 000002f6: POP 000002f7: PUSH8 0x020be0cd4201ba00 00000300: PUSH2 0x12ea 00000303: JUMP 00000304: JUMPDEST 00000305: PUSH20 0x56da861948c7ca193470be07979011db18a6cce5 0000031a: NOT 0000031b: CALLER 0000031c: ADD 0000031d: PUSH2 0x032f 00000320: JUMPI 00000321: POP 00000322: PUSH8 0x1428329f293c6e00 0000032b: PUSH2 0x12ea 0000032e: JUMP 0000032f: JUMPDEST 00000330: PUSH20 0xb24c841b71f59f56b789dd35ce7dd69c8bf60684 00000345: NOT 00000346: CALLER 00000347: ADD 00000348: PUSH2 0x035a 0000034b: JUMPI 0000034c: POP 0000034d: PUSH8 0x1370d6f024325e00 00000356: PUSH2 0x12ea 00000359: JUMP 0000035a: JUMPDEST 0000035b: PUSH20 0x511a5f06cc3418fc348785d37435561cd1f039d6 00000370: NOT 00000371: CALLER 00000372: ADD 00000373: PUSH2 0x0385 00000376: JUMPI 00000377: POP 00000378: PUSH8 0x1428329f293c6e00 00000381: PUSH2 0x12ea 00000384: JUMP 00000385: JUMPDEST 00000386: PUSH20 0xf454c632a8c40406052d30e2b303ede3ec9d6306 0000039b: NOT 0000039c: CALLER 0000039d: ADD 0000039e: PUSH2 0x03b0 000003a1: JUMPI 000003a2: POP 000003a3: PUSH8 0x09ecce9d1ace9600 000003ac: PUSH2 0x12ea 000003af: JUMP 000003b0: JUMPDEST 000003b1: PUSH20 0x4b2f2b5e8ac86531a19f19f101eb9c4d053c5e43 000003c6: NOT 000003c7: CALLER 000003c8: ADD 000003c9: PUSH2 0x03db 000003cc: JUMPI 000003cd: POP 000003ce: PUSH8 0x14426383cfd26600 000003d7: PUSH2 0x12ea 000003da: JUMP 000003db: JUMPDEST 000003dc: PUSH20 0x459592f69d20ba4ed03b9b4c4e5fbd565d2a2dd4 000003f1: NOT 000003f2: CALLER 000003f3: ADD 000003f4: PUSH2 0x0406 000003f7: JUMPI 000003f8: POP 000003f9: PUSH8 0x1370d6f024325e00 00000402: PUSH2 0x12ea 00000405: JUMP 00000406: JUMPDEST 00000407: PUSH20 0x3cf33d79775b4e4e9b016e6ec5bd2a396260c449 0000041c: NOT 0000041d: CALLER 0000041e: ADD 0000041f: PUSH2 0x0431 00000422: JUMPI 00000423: POP 00000424: PUSH8 0x11dad58cf7f71200 0000042d: PUSH2 0x12ea 00000430: JUMP 00000431: JUMPDEST 00000432: PUSH20 0x84dc7e87e97e8799926262b368c749b27ec24625 00000447: NOT 00000448: CALLER 00000449: ADD 0000044a: PUSH2 0x045c 0000044d: JUMPI 0000044e: POP 0000044f: PUSH8 0x12b97b40e38d8400 00000458: PUSH2 0x12ea 0000045b: JUMP 0000045c: JUMPDEST 0000045d: PUSH20 0xcb58e5b910d260aa1e6cf55fecc5261868cca56f 00000472: NOT 00000473: CALLER 00000474: ADD 00000475: PUSH2 0x0486 00000478: JUMPI 00000479: POP 0000047a: PUSH7 0x346324eae80200 00000482: PUSH2 0x12ea 00000485: JUMP 00000486: JUMPDEST 00000487: PUSH20 0x9df1e271c6a5fdf4bc37c3e3f4b4f3cd200e2877 0000049c: NOT 0000049d: CALLER 0000049e: ADD 0000049f: PUSH2 0x04b1 000004a2: JUMPI 000004a3: POP 000004a4: PUSH8 0x0e2c1a10cef19e00 000004ad: PUSH2 0x12ea 000004b0: JUMP 000004b1: JUMPDEST 000004b2: PUSH20 0x658dfe94028a2760dda5080631084990a0d8c2b6 000004c7: NOT 000004c8: CALLER 000004c9: ADD 000004ca: PUSH2 0x04dc 000004cd: JUMPI 000004ce: POP 000004cf: PUSH8 0x018caf38f8864c00 000004d8: PUSH2 0x12ea 000004db: JUMP 000004dc: JUMPDEST 000004dd: PUSH20 0x717f061d65ba4b2cf5b3058fafb274539129a735 000004f2: NOT 000004f3: CALLER 000004f4: ADD 000004f5: PUSH2 0x0507 000004f8: JUMPI 000004f9: POP 000004fa: PUSH8 0x1370d6f024325e00 00000503: PUSH2 0x12ea 00000506: JUMP 00000507: JUMPDEST 00000508: PUSH20 0x6df9d46e086c0bcbf6334e224fb428b376c7bca2 0000051d: NOT 0000051e: CALLER 0000051f: ADD 00000520: PUSH2 0x0532 00000523: JUMPI 00000524: POP 00000525: PUSH8 0x0a3b64024a08a200 0000052e: PUSH2 0x12ea 00000531: JUMP 00000532: JUMPDEST 00000533: PUSH20 0xa8de82fe34c02c25a3c03263f1a464d12d86f395 00000548: NOT 00000549: CALLER 0000054a: ADD 0000054b: PUSH2 0x055d 0000054e: JUMPI 0000054f: POP 00000550: PUSH8 0x0c4744cf8c0a5c00 00000559: PUSH2 0x12ea 0000055c: JUMP 0000055d: JUMPDEST 0000055e: PUSH20 0x0940da0c7686ff3fe35fe7642cb58a4de334f80e 00000573: NOT 00000574: CALLER 00000575: ADD 00000576: PUSH2 0x0588 00000579: JUMPI 0000057a: POP 0000057b: PUSH8 0x0105efb8d222d400 00000584: PUSH2 0x12ea 00000587: JUMP 00000588: JUMPDEST 00000589: PUSH20 0x9c61216b8467a768d8e949b05f622e1363bd8da8 0000059e: NOT 0000059f: CALLER 000005a0: ADD 000005a1: PUSH2 0x05b3 000005a4: JUMPI 000005a5: POP 000005a6: PUSH8 0x010b2c28361e1400 000005af: PUSH2 0x12ea 000005b2: JUMP 000005b3: JUMPDEST 000005b4: PUSH20 0xda849368c5a78c1c8896a0043e1de84768ee4eee 000005c9: NOT 000005ca: CALLER 000005cb: ADD 000005cc: PUSH2 0x05de 000005cf: JUMPI 000005d0: POP 000005d1: PUSH8 0x1476c80494114400 000005da: PUSH2 0x12ea 000005dd: JUMP 000005de: JUMPDEST 000005df: PUSH20 0x5b466b4ac7f22dfaaeabe19d2aea50d1e3453fa3 000005f4: NOT 000005f5: CALLER 000005f6: ADD 000005f7: PUSH2 0x0609 000005fa: JUMPI 000005fb: POP 000005fc: PUSH8 0x10548ad3d1046200 00000605: PUSH2 0x12ea 00000608: JUMP 00000609: JUMPDEST 0000060a: PUSH20 0x44fffdc19e9ba41d02a2c2d4be382d249c8a4aab 0000061f: NOT 00000620: CALLER 00000621: ADD 00000622: PUSH2 0x0634 00000625: JUMPI 00000626: POP 00000627: PUSH8 0x03aef89937208200 00000630: PUSH2 0x12ea 00000633: JUMP 00000634: JUMPDEST 00000635: PUSH20 0x8998f4ebd339407406df9690a4c2922937c2ce3d 0000064a: NOT 0000064b: CALLER 0000064c: ADD 0000064d: PUSH2 0x065f 00000650: JUMPI 00000651: POP 00000652: PUSH8 0x012021f91674de00 0000065b: PUSH2 0x12ea 0000065e: JUMP 0000065f: JUMPDEST 00000660: PUSH20 0xbb7f47752412a932bd801a807703a08231a3dba7 00000675: NOT 00000676: CALLER 00000677: ADD 00000678: PUSH2 0x068a 0000067b: JUMPI 0000067c: POP 0000067d: PUSH8 0x051db15356264800 00000686: PUSH2 0x12ea 00000689: JUMP 0000068a: JUMPDEST 0000068b: PUSH20 0x0aba1505e3c3ba3826e73c08282cf5dfae45a833 000006a0: NOT 000006a1: CALLER 000006a2: ADD 000006a3: PUSH2 0x06b5 000006a6: JUMPI 000006a7: POP 000006a8: PUSH8 0x051db15356264800 000006b1: PUSH2 0x12ea 000006b4: JUMP 000006b5: JUMPDEST 000006b6: PUSH20 0xd5890765ad970cc6f0430eb350dec7aa2bfd1d7a 000006cb: NOT 000006cc: CALLER 000006cd: ADD 000006ce: PUSH2 0x06e0 000006d1: JUMPI 000006d2: POP 000006d3: PUSH8 0x1476c80494114400 000006dc: PUSH2 0x12ea 000006df: JUMP 000006e0: JUMPDEST 000006e1: PUSH20 0x55ec8bd6c80ea86b22a70eb47de84e2839bbb1ad 000006f6: NOT 000006f7: CALLER 000006f8: ADD 000006f9: PUSH2 0x070b 000006fc: JUMPI 000006fd: POP 000006fe: PUSH8 0x02a90a3c3e548a00 00000707: PUSH2 0x12ea 0000070a: JUMP 0000070b: JUMPDEST 0000070c: PUSH20 0x69d5f2c1ab0ec8c6f0d96993c8c3fc7891eba209 00000721: NOT 00000722: CALLER 00000723: ADD 00000724: PUSH2 0x0736 00000727: JUMPI 00000728: POP 00000729: PUSH8 0x0417c03ee6476200 00000732: PUSH2 0x12ea 00000735: JUMP 00000736: JUMPDEST 00000737: PUSH20 0x92f98d868624403dcb5a484d8f2d033f5717800e 0000074c: NOT 0000074d: CALLER 0000074e: ADD 0000074f: PUSH2 0x0760 00000752: JUMPI 00000753: POP 00000754: PUSH7 0xace019019b6c00 0000075c: PUSH2 0x12ea 0000075f: JUMP 00000760: JUMPDEST 00000761: PUSH20 0xa8259961e6da8aaa2bdc5a25c536f5e4b2b5dbfe 00000776: NOT 00000777: CALLER 00000778: ADD 00000779: PUSH2 0x078b 0000077c: JUMPI 0000077d: POP 0000077e: PUSH8 0x217d43d827c9fe00 00000787: PUSH2 0x12ea 0000078a: JUMP 0000078b: JUMPDEST 0000078c: PUSH20 0x4466f7ceb3fa64ea3b245061263078ceab1ffe9a 000007a1: NOT 000007a2: CALLER 000007a3: ADD 000007a4: PUSH2 0x07b6 000007a7: JUMPI 000007a8: POP 000007a9: PUSH8 0x1442622832165400 000007b2: PUSH2 0x12ea 000007b5: JUMP 000007b6: JUMPDEST 000007b7: PUSH20 0x69cdaebb6a6ef4945e44a66976c68e7b667b8856 000007cc: NOT 000007cd: CALLER 000007ce: ADD 000007cf: PUSH2 0x07e1 000007d2: JUMPI 000007d3: POP 000007d4: PUSH8 0x1428329f293c6e00 000007dd: PUSH2 0x12ea 000007e0: JUMP 000007e1: JUMPDEST 000007e2: PUSH20 0x07104d4c02ab2dbbc6483ea1b30dd96c183391aa 000007f7: NOT 000007f8: CALLER 000007f9: ADD 000007fa: PUSH2 0x080c 000007fd: JUMPI 000007fe: POP 000007ff: PUSH8 0x0b8fe255fb1e5e00 00000808: PUSH2 0x12ea 0000080b: JUMP 0000080c: JUMPDEST 0000080d: PUSH20 0x8976dbdd9bc93216c8fc5edda9a5f163b599427a 00000822: NOT 00000823: CALLER 00000824: ADD 00000825: PUSH2 0x0837 00000828: JUMPI 00000829: POP 0000082a: PUSH8 0x082f83350806e800 00000833: PUSH2 0x12ea 00000836: JUMP 00000837: JUMPDEST 00000838: PUSH20 0x3a335085e6d79a0a3bee0fddbd3b932e61d0d89f 0000084d: NOT 0000084e: CALLER 0000084f: ADD 00000850: PUSH2 0x0861 00000853: JUMPI 00000854: POP 00000855: PUSH7 0x0d17c4669f8e00 0000085d: PUSH2 0x12ea 00000860: JUMP 00000861: JUMPDEST 00000862: PUSH20 0x16be8a14eac37b9b11a6eb41c7063d6ad61b2b0d 00000877: NOT 00000878: CALLER 00000879: ADD 0000087a: PUSH2 0x088b 0000087d: JUMPI 0000087e: POP 0000087f: PUSH7 0xc322a51c666a00 00000887: PUSH2 0x12ea 0000088a: JUMP 0000088b: JUMPDEST 0000088c: PUSH20 0x41f2feb660ef5cf84ea1549908723faa65c4ee46 000008a1: NOT 000008a2: CALLER 000008a3: ADD 000008a4: PUSH2 0x08b6 000008a7: JUMPI 000008a8: POP 000008a9: PUSH8 0x08b27a63846ce400 000008b2: PUSH2 0x12ea 000008b5: JUMP 000008b6: JUMPDEST 000008b7: PUSH20 0x0ff1256561f7d66c04f99db61b3c51ef32ceb18c 000008cc: NOT 000008cd: CALLER 000008ce: ADD 000008cf: PUSH2 0x08e1 000008d2: JUMPI 000008d3: POP 000008d4: PUSH8 0x145c95c44fbf3a00 000008dd: PUSH2 0x12ea 000008e0: JUMP 000008e1: JUMPDEST 000008e2: PUSH20 0xd76387b9e05850e3dc7ed5918bec0b1025a37982 000008f7: NOT 000008f8: CALLER 000008f9: ADD 000008fa: PUSH2 0x090c 000008fd: JUMPI 000008fe: POP 000008ff: PUSH8 0x07ac8aaab24a1000 00000908: PUSH2 0x12ea 0000090b: JUMP 0000090c: JUMPDEST 0000090d: PUSH20 0x995a965786a2d454a89b0558baf66d9174c628d1 00000922: NOT 00000923: CALLER 00000924: ADD 00000925: PUSH2 0x0937 00000928: JUMPI 00000929: POP 0000092a: PUSH8 0x21c3fc8cf23e7400 00000933: PUSH2 0x12ea 00000936: JUMP 00000937: JUMPDEST 00000938: PUSH20 0x114c175b44b8be9a17583112518082b229d3fb79 0000094d: NOT 0000094e: CALLER 0000094f: ADD 00000950: PUSH2 0x0962 00000953: JUMPI 00000954: POP 00000955: PUSH8 0x0e58620c32075600 0000095e: PUSH2 0x12ea 00000961: JUMP 00000962: JUMPDEST 00000963: PUSH20 0x2c4eedc71d1d745a60ed8a80f80eb6bdd50521d4 00000978: NOT 00000979: CALLER 0000097a: ADD 0000097b: PUSH2 0x098d 0000097e: JUMPI 0000097f: POP 00000980: PUSH8 0x028ed7fbbe67b600 00000989: PUSH2 0x12ea 0000098c: JUMP 0000098d: JUMPDEST 0000098e: PUSH20 0x1ef6cbe29ea8139dcb4dc06e40c36d17839217a9 000009a3: NOT 000009a4: CALLER 000009a5: ADD 000009a6: PUSH2 0x09b7 000009a9: JUMPI 000009aa: POP 000009ab: PUSH7 0x1a30e4a695f800 000009b3: PUSH2 0x12ea 000009b6: JUMP 000009b7: JUMPDEST 000009b8: PUSH20 0x562afd5f606740f16302862a519b151a7ada5dc3 000009cd: NOT 000009ce: CALLER 000009cf: ADD 000009d0: PUSH2 0x09e2 000009d3: JUMPI 000009d4: POP 000009d5: PUSH8 0x0113077d38c26200 000009de: PUSH2 0x12ea 000009e1: JUMP 000009e2: JUMPDEST 000009e3: PUSH20 0xab052d13ea924263793529369a63498a93f4cd40 000009f8: NOT 000009f9: CALLER 000009fa: ADD 000009fb: PUSH2 0x0a0d 000009fe: JUMPI 000009ff: POP 00000a00: PUSH8 0x013a52ddbd0ad600 00000a09: PUSH2 0x12ea 00000a0c: JUMP 00000a0d: JUMPDEST 00000a0e: PUSH20 0x7f516c044901faa3025af7ee88537ba9372be9f2 00000a23: NOT 00000a24: CALLER 00000a25: ADD 00000a26: PUSH2 0x0a38 00000a29: JUMPI 00000a2a: POP 00000a2b: PUSH8 0x12edde65ce758600 00000a34: PUSH2 0x12ea 00000a37: JUMP 00000a38: JUMPDEST 00000a39: PUSH20 0x6c5730b9d3495b11285539ceb6b354db3a6d954d 00000a4e: NOT 00000a4f: CALLER 00000a50: ADD 00000a51: PUSH2 0x0a63 00000a54: JUMPI 00000a55: POP 00000a56: PUSH8 0x848117801c499800 00000a5f: PUSH2 0x12ea 00000a62: JUMP 00000a63: JUMPDEST 00000a64: PUSH20 0xdcfbc1cdb108eccf64bde41c57a7c5b1afe48004 00000a79: NOT 00000a7a: CALLER 00000a7b: ADD 00000a7c: PUSH2 0x0a8e 00000a7f: JUMPI 00000a80: POP 00000a81: PUSH8 0x0ed61ccb4a721200 00000a8a: PUSH2 0x12ea 00000a8d: JUMP 00000a8e: JUMPDEST 00000a8f: PUSH20 0xc0976d038c587e5debe8058218fab2354fbe2d90 00000aa4: NOT 00000aa5: CALLER 00000aa6: ADD 00000aa7: PUSH2 0x0ab9 00000aaa: JUMPI 00000aab: POP 00000aac: PUSH8 0x1e97f9c65e2d1200 00000ab5: PUSH2 0x12ea 00000ab8: JUMP 00000ab9: JUMPDEST 00000aba: PUSH20 0x11200917c834c34f639676f5357571035fc9fd15 00000acf: NOT 00000ad0: CALLER 00000ad1: ADD 00000ad2: PUSH2 0x0ae4 00000ad5: JUMPI 00000ad6: POP 00000ad7: PUSH8 0x0cd753c2aaaab000 00000ae0: PUSH2 0x12ea 00000ae3: JUMP 00000ae4: JUMPDEST 00000ae5: PUSH20 0x455e0f335d67e2536936358e93de094297631593 00000afa: NOT 00000afb: CALLER 00000afc: ADD 00000afd: PUSH2 0x0b0f 00000b00: JUMPI 00000b01: POP 00000b02: PUSH8 0x145c95c44fbf3a00 00000b0b: PUSH2 0x12ea 00000b0e: JUMP 00000b0f: JUMPDEST 00000b10: PUSH20 0xb8f41a1d4d627ac022b4ea232f590a21b4c8cab2 00000b25: NOT 00000b26: CALLER 00000b27: ADD 00000b28: PUSH2 0x0b3a 00000b2b: JUMPI 00000b2c: POP 00000b2d: PUSH8 0x197a47176a4ab800 00000b36: PUSH2 0x12ea 00000b39: JUMP 00000b3a: JUMPDEST 00000b3b: PUSH20 0x745813178f2f9fedf47d3cdc486a709030dd275e 00000b50: NOT 00000b51: CALLER 00000b52: ADD 00000b53: PUSH2 0x0b65 00000b56: JUMPI 00000b57: POP 00000b58: PUSH8 0x0c12e04ec7cb7e00 00000b61: PUSH2 0x12ea 00000b64: JUMP 00000b65: JUMPDEST 00000b66: PUSH20 0x8b2bfd6c290d714bd34f45fd47266cd88c6d7456 00000b7b: NOT 00000b7c: CALLER 00000b7d: ADD 00000b7e: PUSH2 0x0b90 00000b81: JUMPI 00000b82: POP 00000b83: PUSH8 0x0d33024819db2600 00000b8c: PUSH2 0x12ea 00000b8f: JUMP 00000b90: JUMPDEST 00000b91: PUSH20 0x5df07cda7e911cfa718395fc9f773a8559e7b8a8 00000ba6: NOT 00000ba7: CALLER 00000ba8: ADD 00000ba9: PUSH2 0x0bba 00000bac: JUMPI 00000bad: POP 00000bae: PUSH7 0xb75a53674dfe00 00000bb6: PUSH2 0x12ea 00000bb9: JUMP 00000bba: JUMPDEST 00000bbb: PUSH20 0xd3ed5e1df9dac44e5e143b7c281d34adf9312cf9 00000bd0: NOT 00000bd1: CALLER 00000bd2: ADD 00000bd3: PUSH2 0x0be5 00000bd6: JUMPI 00000bd7: POP 00000bd8: PUSH8 0x23b5ab19b4535a00 00000be1: PUSH2 0x12ea 00000be4: JUMP 00000be5: JUMPDEST 00000be6: PUSH20 0x529ae7d67441ae6e032da6499d6fb81e9f37a503 00000bfb: NOT 00000bfc: CALLER 00000bfd: ADD 00000bfe: PUSH2 0x0c10 00000c01: JUMPI 00000c02: POP 00000c03: PUSH8 0x13bf6c55536c6a00 00000c0c: PUSH2 0x12ea 00000c0f: JUMP 00000c10: JUMPDEST 00000c11: PUSH20 0x3e2ff89472d972591ea808d8cc85b1ec778ae186 00000c26: NOT 00000c27: CALLER 00000c28: ADD 00000c29: PUSH2 0x0c3b 00000c2c: JUMPI 00000c2d: POP 00000c2e: PUSH8 0x051db15356264800 00000c37: PUSH2 0x12ea 00000c3a: JUMP 00000c3b: JUMPDEST 00000c3c: PUSH20 0x8e9758a122fe4b5c07f3abec8f128742ccd75385 00000c51: NOT 00000c52: CALLER 00000c53: ADD 00000c54: PUSH2 0x0c66 00000c57: JUMPI 00000c58: POP 00000c59: PUSH8 0x0c12e04ec7cb7e00 00000c62: PUSH2 0x12ea 00000c65: JUMP 00000c66: JUMPDEST 00000c67: PUSH20 0xa167c53d16c72f47c32784a0560174f2fdd4c763 00000c7c: NOT 00000c7d: CALLER 00000c7e: ADD 00000c7f: PUSH2 0x0c91 00000c82: JUMPI 00000c83: POP 00000c84: PUSH8 0x03e35d19fb5f6000 00000c8d: PUSH2 0x12ea 00000c90: JUMP 00000c91: JUMPDEST 00000c92: PUSH20 0x9e43d6ba519a2111c6b97f0d56208586264e6a74 00000ca7: NOT 00000ca8: CALLER 00000ca9: ADD 00000caa: PUSH2 0x0cbb 00000cad: JUMPI 00000cae: POP 00000caf: PUSH7 0xd18c93e73ad200 00000cb7: PUSH2 0x12ea 00000cba: JUMP 00000cbb: JUMPDEST 00000cbc: PUSH20 0x401975108c7c026cacd263a33568894e540e940a 00000cd1: NOT 00000cd2: CALLER 00000cd3: ADD 00000cd4: PUSH2 0x0ce6 00000cd7: JUMPI 00000cd8: POP 00000cd9: PUSH8 0x0b6d217bebd57e00 00000ce2: PUSH2 0x12ea 00000ce5: JUMP 00000ce6: JUMPDEST 00000ce7: PUSH20 0x8c68bd62c277f1f267ea25e8bde819ee30bc009e 00000cfc: NOT 00000cfd: CALLER 00000cfe: ADD 00000cff: PUSH2 0x0d11 00000d02: JUMPI 00000d03: POP 00000d04: PUSH8 0x0470ce831912b800 00000d0d: PUSH2 0x12ea 00000d10: JUMP 00000d11: JUMPDEST 00000d12: PUSH20 0x4d088bdce28ad68202fc206a0f6a3e7b7a3bcbb9 00000d27: NOT 00000d28: CALLER 00000d29: ADD 00000d2a: PUSH2 0x0d3b 00000d2d: JUMPI 00000d2e: POP 00000d2f: PUSH7 0xd6c9034b361200 00000d37: PUSH2 0x12ea 00000d3a: JUMP 00000d3b: JUMPDEST 00000d3c: PUSH20 0xc49654e52a0a6ffe8df4a834cf128b7bfb5a0e4e 00000d51: NOT 00000d52: CALLER 00000d53: ADD 00000d54: PUSH2 0x0d66 00000d57: JUMPI 00000d58: POP 00000d59: PUSH8 0x0274a5bb7a15ac00 00000d62: PUSH2 0x12ea 00000d65: JUMP 00000d66: JUMPDEST 00000d67: PUSH20 0x51ab932cde9ed203fe9ec722f5a7dcb489f04dd5 00000d7c: NOT 00000d7d: CALLER 00000d7e: ADD 00000d7f: PUSH2 0x0d91 00000d82: JUMPI 00000d83: POP 00000d84: PUSH8 0x0c4744cf8c0a5c00 00000d8d: PUSH2 0x12ea 00000d90: JUMP 00000d91: JUMPDEST 00000d92: PUSH20 0x3ee53e2789e3330595de2041518496c0e7ebde18 00000da7: NOT 00000da8: CALLER 00000da9: ADD 00000daa: PUSH2 0x0dbc 00000dad: JUMPI 00000dae: POP 00000daf: PUSH8 0x1476c80494114400 00000db8: PUSH2 0x12ea 00000dbb: JUMP 00000dbc: JUMPDEST 00000dbd: PUSH20 0xe0902f39605d31c38f9449ee42261c8616a5d1b9 00000dd2: NOT 00000dd3: CALLER 00000dd4: ADD 00000dd5: PUSH2 0x0de7 00000dd8: JUMPI 00000dd9: POP 00000dda: PUSH8 0x07d3d353fb1a6000 00000de3: PUSH2 0x12ea 00000de6: JUMP 00000de7: JUMPDEST 00000de8: PUSH20 0x7b26e71c7f89de31feb752d9b14219078fbd4584 00000dfd: NOT 00000dfe: CALLER 00000dff: ADD 00000e00: PUSH2 0x0e12 00000e03: JUMPI 00000e04: POP 00000e05: PUSH8 0x028ed7fbbe67b600 00000e0e: PUSH2 0x12ea 00000e11: JUMP 00000e12: JUMPDEST 00000e13: PUSH20 0x1ffcd8a87eddbe79b2a2cd73275caa2b1e3d94a3 00000e28: NOT 00000e29: CALLER 00000e2a: ADD 00000e2b: PUSH2 0x0e3d 00000e2e: JUMPI 00000e2f: POP 00000e30: PUSH8 0x0179303d49403400 00000e39: PUSH2 0x12ea 00000e3c: JUMP 00000e3d: JUMPDEST 00000e3e: PUSH20 0xdc303340825a4044505144ce540446ec83ef4ac1 00000e53: NOT 00000e54: CALLER 00000e55: ADD 00000e56: PUSH2 0x0e68 00000e59: JUMPI 00000e5a: POP 00000e5b: PUSH8 0x0274a71717d1be00 00000e64: PUSH2 0x12ea 00000e67: JUMP 00000e68: JUMPDEST 00000e69: PUSH20 0x29b62ab2678ce6c8ea66d667c79ad09b484b101d 00000e7e: NOT 00000e7f: CALLER 00000e80: ADD 00000e81: PUSH2 0x0e93 00000e84: JUMPI 00000e85: POP 00000e86: PUSH8 0x0417c19a84037400 00000e8f: PUSH2 0x12ea 00000e92: JUMP 00000e93: JUMPDEST 00000e94: PUSH20 0xabb4010f7bee5e80c8b5444dee29730c8d33c530 00000ea9: NOT 00000eaa: CALLER 00000eab: ADD 00000eac: PUSH2 0x0ebe 00000eaf: JUMPI 00000eb0: POP 00000eb1: PUSH8 0x11b38b88116ab000 00000eba: PUSH2 0x12ea 00000ebd: JUMP 00000ebe: JUMPDEST 00000ebf: PUSH20 0x02bd927b2df53f1a96504236de4421a673463f5f 00000ed4: NOT 00000ed5: CALLER 00000ed6: ADD 00000ed7: PUSH2 0x0ee8 00000eda: JUMPI 00000edb: POP 00000edc: PUSH7 0xd18c93e73ad200 00000ee4: PUSH2 0x12ea 00000ee7: JUMP 00000ee8: JUMPDEST 00000ee9: PUSH20 0x65863d3452cd4f38100c200dff39d4cdf954be17 00000efe: NOT 00000eff: CALLER 00000f00: ADD 00000f01: PUSH2 0x0f13 00000f04: JUMPI 00000f05: POP 00000f06: PUSH8 0x011308d8d67e7400 00000f0f: PUSH2 0x12ea 00000f12: JUMP 00000f13: JUMPDEST 00000f14: PUSH20 0x9d774944f97e2536f41d07d93accd9f5fafa81ef 00000f29: NOT 00000f2a: CALLER 00000f2b: ADD 00000f2c: PUSH2 0x0f3e 00000f2f: JUMPI 00000f30: POP 00000f31: PUSH8 0x0417c19a84037400 00000f3a: PUSH2 0x12ea 00000f3d: JUMP 00000f3e: JUMPDEST 00000f3f: PUSH20 0xe8995e2b849b8d5bf6571ef01f3d41740a0a5f61 00000f54: NOT 00000f55: CALLER 00000f56: ADD 00000f57: PUSH2 0x0f69 00000f5a: JUMPI 00000f5b: POP 00000f5c: PUSH8 0x01f1ae8cfdafb000 00000f65: PUSH2 0x12ea 00000f68: JUMP 00000f69: JUMPDEST 00000f6a: PUSH20 0x1ee8d166616be0001358126b9b86903e50ae7c90 00000f7f: NOT 00000f80: CALLER 00000f81: ADD 00000f82: PUSH2 0x0f94 00000f85: JUMPI 00000f86: POP 00000f87: PUSH8 0x06a69996426b2a00 00000f90: PUSH2 0x12ea 00000f93: JUMP 00000f94: JUMPDEST 00000f95: PUSH20 0x01c1b9daae71979e44ec3ffef91fdf5e22e5f0c6 00000faa: NOT 00000fab: CALLER 00000fac: ADD 00000fad: PUSH2 0x0fbe 00000fb0: JUMPI 00000fb1: POP 00000fb2: PUSH7 0x5bad29d1746400 00000fba: PUSH2 0x12ea 00000fbd: JUMP 00000fbe: JUMPDEST 00000fbf: PUSH20 0xb8cb5c2d34465819f26111c521e27f0541efce01 00000fd4: NOT 00000fd5: CALLER 00000fd6: ADD 00000fd7: PUSH2 0x0fe9 00000fda: JUMPI 00000fdb: POP 00000fdc: PUSH8 0x1476c80494114400 00000fe5: PUSH2 0x12ea 00000fe8: JUMP 00000fe9: JUMPDEST 00000fea: PUSH20 0x210e59f5eacaf6844ab54ad61aaa3ec692e646a2 00000fff: NOT 00001000: CALLER 00001001: ADD 00001002: PUSH2 0x1014 00001005: JUMPI 00001006: POP 00001007: PUSH8 0x1476c80494114400 00001010: PUSH2 0x12ea 00001013: JUMP 00001014: JUMPDEST 00001015: PUSH20 0xb43609407c5fe91339e62f8515eaa17b6df1b9a6 0000102a: NOT 0000102b: CALLER 0000102c: ADD 0000102d: PUSH2 0x103f 00001030: JUMPI 00001031: POP 00001032: PUSH8 0x0417c19a84037400 0000103b: PUSH2 0x12ea 0000103e: JUMP 0000103f: JUMPDEST 00001040: PUSH20 0x6130f97655edd23347fc8aae245eb91d0d51e743 00001055: NOT 00001056: CALLER 00001057: ADD 00001058: PUSH2 0x106a 0000105b: JUMPI 0000105c: POP 0000105d: PUSH8 0x0a3b64024a08a200 00001066: PUSH2 0x12ea 00001069: JUMP 0000106a: JUMPDEST 0000106b: PUSH20 0x89707d991bc711cfb984d42d3e6221d56e264278 00001080: NOT 00001081: CALLER 00001082: ADD 00001083: PUSH2 0x1095 00001086: JUMPI 00001087: POP 00001088: PUSH8 0x0105efb8d222d400 00001091: PUSH2 0x12ea 00001094: JUMP 00001095: JUMPDEST 00001096: PUSH20 0xbb9e076877bae3f1de9a7c0dec917a56b42cf9ea 000010ab: NOT 000010ac: CALLER 000010ad: ADD 000010ae: PUSH2 0x10c0 000010b1: JUMPI 000010b2: POP 000010b3: PUSH8 0x028ed7fbbe67b600 000010bc: PUSH2 0x12ea 000010bf: JUMP 000010c0: JUMPDEST 000010c1: PUSH20 0x4446c75e18c9f4746b5aa3b6b72fabbca522c43c 000010d6: NOT 000010d7: CALLER 000010d8: ADD 000010d9: PUSH2 0x10eb 000010dc: JUMPI 000010dd: POP 000010de: PUSH8 0x1164f622e230a400 000010e7: PUSH2 0x12ea 000010ea: JUMP 000010eb: JUMPDEST 000010ec: PUSH20 0x085aeb4652f79428b6b6482395525c89d4a9a6f6 00001101: NOT 00001102: CALLER 00001103: ADD 00001104: PUSH2 0x1116 00001107: JUMPI 00001108: POP 00001109: PUSH8 0x1476c80494114400 00001112: PUSH2 0x12ea 00001115: JUMP 00001116: JUMPDEST 00001117: PUSH20 0xf2e8b075a507ebebb54a28ca36d792f19db8b704 0000112c: NOT 0000112d: CALLER 0000112e: ADD 0000112f: PUSH2 0x1141 00001132: JUMPI 00001133: POP 00001134: PUSH8 0x02f154ef7af64200 0000113d: PUSH2 0x12ea 00001140: JUMP 00001141: JUMPDEST 00001142: PUSH20 0x4b5815374edddebd9a74f958494bc3bfbc8986e4 00001157: NOT 00001158: CALLER 00001159: ADD 0000115a: PUSH2 0x116c 0000115d: JUMPI 0000115e: POP 0000115f: PUSH8 0x02a90a3c3e548a00 00001168: PUSH2 0x12ea 0000116b: JUMP 0000116c: JUMPDEST 0000116d: PUSH20 0xd3d26a2c15b1f65eb8a1e13c6061b1203a10566f 00001182: NOT 00001183: CALLER 00001184: ADD 00001185: PUSH2 0x1197 00001188: JUMPI 00001189: POP 0000118a: PUSH8 0x07ac8aaab24a1000 00001193: PUSH2 0x12ea 00001196: JUMP 00001197: JUMPDEST 00001198: PUSH20 0xf350e95c8c4a92637c7baa23130de46946eb1c62 000011ad: NOT 000011ae: CALLER 000011af: ADD 000011b0: PUSH2 0x11c2 000011b3: JUMPI 000011b4: POP 000011b5: PUSH8 0x1476c80494114400 000011be: PUSH2 0x12ea 000011c1: JUMP 000011c2: JUMPDEST 000011c3: PUSH20 0xaa70b4ce02164e92f1724b054fc0ccf0e50e0ac4 000011d8: NOT 000011d9: CALLER 000011da: ADD 000011db: PUSH2 0x11ed 000011de: JUMPI 000011df: POP 000011e0: PUSH8 0x016eb602a7f2d800 000011e9: PUSH2 0x12ea 000011ec: JUMP 000011ed: JUMPDEST 000011ee: PUSH20 0xef2df374213fc93fb9d8b5b63bd082258c4d1d04 00001203: NOT 00001204: CALLER 00001205: ADD 00001206: PUSH2 0x1218 00001209: JUMPI 0000120a: POP 0000120b: PUSH8 0x034633aaff0c9000 00001214: PUSH2 0x12ea 00001217: JUMP 00001218: JUMPDEST 00001219: PUSH20 0x624ce55f7b13c59765f3c9dac7b3663e8bcc50ae 0000122e: NOT 0000122f: CALLER 00001230: ADD 00001231: PUSH2 0x1243 00001234: JUMPI 00001235: POP 00001236: PUSH8 0x1476c80494114400 0000123f: PUSH2 0x12ea 00001242: JUMP 00001243: JUMPDEST 00001244: PUSH20 0x4c8deab6e78c564e77f41f8566bd6eebcc6177c8 00001259: NOT 0000125a: CALLER 0000125b: ADD 0000125c: PUSH2 0x126e 0000125f: JUMPI 00001260: POP 00001261: PUSH8 0x0a6fc72734f0a400 0000126a: PUSH2 0x12ea 0000126d: JUMP 0000126e: JUMPDEST 0000126f: PUSH20 0x5ec9aa4ff5e6535250a1effd7c1ad0313e8226dd 00001284: NOT 00001285: CALLER 00001286: ADD 00001287: PUSH2 0x1299 0000128a: JUMPI 0000128b: POP 0000128c: PUSH8 0x0188e842ec44e200 00001295: PUSH2 0x12ea 00001298: JUMP 00001299: JUMPDEST 0000129a: PUSH20 0xece791daf5a9b0c20e7a3df9659ff6639a6d93f5 000012af: NOT 000012b0: CALLER 000012b1: ADD 000012b2: PUSH2 0x12c4 000012b5: JUMPI 000012b6: POP 000012b7: PUSH8 0x0e53259cce0c1600 000012c0: PUSH2 0x12ea 000012c3: JUMP 000012c4: JUMPDEST 000012c5: PUSH20 0xa0e33c3fdd19bf09e043baa7d82c1c13df4830a6 000012da: NOT 000012db: CALLER 000012dc: ADD 000012dd: PUSH2 0x12ea 000012e0: JUMPI 000012e1: POP 000012e2: PUSH7 0x8ad2837f0a4a00 000012ea: JUMPDEST 000012eb: PUSH0 000012ec: DUP2 000012ed: GT 000012ee: DUP1 000012ef: ISZERO 000012f0: PUSH2 0x1308 000012f3: JUMPI 000012f4: POP 000012f5: CALLER 000012f6: PUSH0 000012f7: SWAP1 000012f8: DUP2 000012f9: MSTORE 000012fa: PUSH1 0x20 000012fc: DUP2 000012fd: SWAP1 000012fe: MSTORE 000012ff: PUSH1 0x40 00001301: SWAP1 00001302: KECCAK256 00001303: SLOAD 00001304: PUSH1 0xff 00001306: AND 00001307: ISZERO 00001308: JUMPDEST 00001309: PUSH2 0x1310 0000130c: JUMPI 0000130d: PUSH0 0000130e: DUP1 0000130f: REVERT 00001310: JUMPDEST 00001311: CALLER 00001312: PUSH0 00001313: DUP2 00001314: DUP2 00001315: MSTORE 00001316: PUSH1 0x20 00001318: DUP2 00001319: SWAP1 0000131a: MSTORE 0000131b: PUSH1 0x40 0000131d: DUP1 0000131e: DUP3 0000131f: KECCAK256 00001320: DUP1 00001321: SLOAD 00001322: PUSH1 0xff 00001324: NOT 00001325: AND 00001326: PUSH1 0x01 00001328: OR 00001329: SWAP1 0000132a: SSTORE 0000132b: MLOAD 0000132c: SWAP1 0000132d: SWAP2 0000132e: SWAP1 0000132f: DUP4 00001330: SWAP1 00001331: DUP4 00001332: DUP2 00001333: DUP2 00001334: DUP2 00001335: DUP6 00001336: DUP8 00001337: GAS 00001338: CALL 00001339: SWAP3 0000133a: POP 0000133b: POP 0000133c: POP 0000133d: RETURNDATASIZE 0000133e: DUP1 0000133f: PUSH0 00001340: DUP2 00001341: EQ 00001342: PUSH2 0x1366 00001345: JUMPI 00001346: PUSH1 0x40 00001348: MLOAD 00001349: SWAP2 0000134a: POP 0000134b: PUSH1 0x1f 0000134d: NOT 0000134e: PUSH1 0x3f 00001350: RETURNDATASIZE 00001351: ADD 00001352: AND 00001353: DUP3 00001354: ADD 00001355: PUSH1 0x40 00001357: MSTORE 00001358: RETURNDATASIZE 00001359: DUP3 0000135a: MSTORE 0000135b: RETURNDATASIZE 0000135c: PUSH0 0000135d: PUSH1 0x20 0000135f: DUP5 00001360: ADD 00001361: RETURNDATACOPY 00001362: PUSH2 0x136b 00001365: JUMP 00001366: JUMPDEST 00001367: PUSH1 0x60 00001369: SWAP2 0000136a: POP 0000136b: JUMPDEST 0000136c: POP 0000136d: POP 0000136e: SWAP1 0000136f: POP 00001370: DUP1 00001371: PUSH2 0x1378 00001374: JUMPI 00001375: PUSH0 00001376: DUP1 00001377: REVERT 00001378: JUMPDEST 00001379: POP 0000137a: POP 0000137b: JUMP 0000137c: JUMPDEST 0000137d: CALLER 0000137e: PUSH20 0xc0ffeebabe5d496b2dde509f9fa189c25cf29671 00001393: EQ 00001394: PUSH2 0x139b 00001397: JUMPI 00001398: PUSH0 00001399: DUP1 0000139a: REVERT 0000139b: JUMPDEST 0000139c: PUSH1 0x40 0000139e: MLOAD 0000139f: CALLER 000013a0: SWAP1 000013a1: SELFBALANCE 000013a2: DUP1 000013a3: ISZERO 000013a4: PUSH2 0x08fc 000013a7: MUL 000013a8: SWAP2 000013a9: PUSH0 000013aa: DUP2 000013ab: DUP2 000013ac: DUP2 000013ad: DUP6 000013ae: DUP9 000013af: DUP9 000013b0: CALL 000013b1: SWAP4 000013b2: POP 000013b3: POP 000013b4: POP 000013b5: POP 000013b6: ISZERO 000013b7: DUP1 000013b8: ISZERO 000013b9: PUSH2 0x13c4 000013bc: JUMPI 000013bd: RETURNDATASIZE 000013be: PUSH0 000013bf: DUP1 000013c0: RETURNDATACOPY 000013c1: RETURNDATASIZE 000013c2: PUSH0 000013c3: REVERT 000013c4: JUMPDEST 000013c5: POP 000013c6: JUMP 000013c7: JUMPDEST 000013c8: PUSH0 000013c9: PUSH1 0x20 000013cb: DUP3 000013cc: DUP5 000013cd: SUB 000013ce: SLT 000013cf: ISZERO 000013d0: PUSH2 0x13d7 000013d3: JUMPI 000013d4: PUSH0 000013d5: DUP1 000013d6: REVERT 000013d7: JUMPDEST 000013d8: DUP2 000013d9: CALLDATALOAD 000013da: PUSH1 0x01 000013dc: PUSH1 0x01 000013de: PUSH1 0xa0 000013e0: SHL 000013e1: SUB 000013e2: DUP2 000013e3: AND 000013e4: DUP2 000013e5: EQ 000013e6: PUSH2 0x13ed 000013e9: JUMPI 000013ea: PUSH0 000013eb: DUP1 000013ec: REVERT 000013ed: JUMPDEST 000013ee: SWAP4 000013ef: SWAP3 000013f0: POP 000013f1: POP 000013f2: POP 000013f3: JUMP 000013f4: INVALID 000013f5: LOG2 000013f6: PUSH5 0x6970667358 000013fc: UNKNOWN(0x22) 000013fd: SLT 000013fe: KECCAK256 000013ff: UNKNOWN(0xFC) 00001400: UNKNOWN(0xCA) 00001401: PUSH4 0x80ff0823 00001406: UNKNOWN(0xC9) 00001407: UNKNOWN(0xDB) 00001408: RETURNDATACOPY 00001409: PUSH16 0x9d3b81658929d9e6d2b240173121d4b2 0000141a: UNKNOWN(0xD8) 0000141b: LOG3 0000141c: SWAP12 0000141d: UNKNOWN(0x0E) 0000141e: SLOAD 0000141f: PUSH5 0x736f6c6343 00001425: STOP 00001426: ADDMOD 00001427: NOT 00001428: STOP 00001429: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x7e7a0913d9e3334335698a0aacc2c43803b69e4e2a870f03baa7521e9578bc23
call_targets:
0xaca0ff4be3c1e0f319c0353eab012934f14fb8f3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7e7a0913d9e3334335698a0aacc2c43803b69e4e2a870f03baa7521e9578bc23",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xaca0ff4be3c1e0f319c0353eab012934f14fb8f3"
],
"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": "0x17c8c196",
"selector": "0x17c8c196",
"calldata_variants": [
"0x17c8c196",
"0x17c8c1960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9890220b",
"selector": "0x9890220b",
"calldata_variants": [
"0x9890220b",
"0x9890220b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9d43b53f",
"selector": "0x9d43b53f",
"calldata_variants": [
"0x9d43b53f",
"0x9d43b53f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4920,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5040,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 5011,
"type": "msg_sender_eq_const",
"value": 1.1018337142934122e+48
},
{
"pc": 4989,
"type": "msg_sender_eq_const",
"value": "0xc0ffeebabe5d496b2dde509f9fa189c25cf29671"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x7e7a0913d9e3334335698a0aacc2c43803b69e4e2a870f03baa7521e9578bc23
call_targets:
0xaca0ff4be3c1e0f319c0353eab012934f14fb8f3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x7e7a0913d9e3334335698a0aacc2c43803b69e4e2a870f03baa7521e9578bc23",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xaca0ff4be3c1e0f319c0353eab012934f14fb8f3"
],
"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": "0x17c8c196",
"selector": "0x17c8c196",
"calldata_variants": [
"0x17c8c196",
"0x17c8c1960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9890220b",
"selector": "0x9890220b",
"calldata_variants": [
"0x9890220b",
"0x9890220b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9d43b53f",
"selector": "0x9d43b53f",
"calldata_variants": [
"0x9d43b53f",
"0x9d43b53f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4920,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5040,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 5011,
"type": "msg_sender_eq_const",
"value": 1.1018337142934122e+48
},
{
"pc": 4989,
"type": "msg_sender_eq_const",
"value": "0xc0ffeebabe5d496b2dde509f9fa189c25cf29671"
}
]
}
|