019b477e-dc01-70e2-b14b-a11584ef5a14
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 |
|---|---|---|---|---|
| 29725 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 29726 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 93001 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 93002 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 93003 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 93004 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: DUP1 00000003: PUSH1 0x40 00000005: MSTORE 00000006: PUSH1 0x04 00000008: CALLDATASIZE 00000009: LT 0000000a: ISZERO 0000000b: PUSH2 0x001c 0000000e: JUMPI 0000000f: JUMPDEST 00000010: POP 00000011: CALLDATASIZE 00000012: ISZERO 00000013: PUSH2 0x001a 00000016: JUMPI 00000017: PUSH0 00000018: DUP1 00000019: REVERT 0000001a: JUMPDEST 0000001b: STOP 0000001c: JUMPDEST 0000001d: PUSH0 0000001e: CALLDATALOAD 0000001f: PUSH1 0xe0 00000021: SHR 00000022: SWAP1 00000023: DUP2 00000024: PUSH4 0x3a98ef39 00000029: EQ 0000002a: PUSH2 0x08d9 0000002d: JUMPI 0000002e: POP 0000002f: DUP1 00000030: PUSH4 0x4e71d92d 00000035: EQ 00000036: PUSH2 0x07f3 00000039: JUMPI 0000003a: DUP1 0000003b: PUSH4 0x57a858fc 00000040: EQ 00000041: PUSH2 0x07b7 00000044: JUMPI 00000045: DUP1 00000046: PUSH4 0x715018a6 0000004b: EQ 0000004c: PUSH2 0x0760 0000004f: JUMPI 00000050: DUP1 00000051: PUSH4 0x8da5cb5b 00000056: EQ 00000057: PUSH2 0x0739 0000005a: JUMPI 0000005b: DUP1 0000005c: PUSH4 0xbc45dad0 00000061: EQ 00000062: PUSH2 0x0351 00000065: JUMPI 00000066: DUP1 00000067: PUSH4 0xd1bc76a1 0000006c: EQ 0000006d: PUSH2 0x030f 00000070: JUMPI 00000071: DUP1 00000072: PUSH4 0xd512143e 00000077: EQ 00000078: PUSH2 0x0118 0000007b: JUMPI 0000007c: PUSH4 0xf2fde38b 00000081: EQ 00000082: PUSH2 0x008b 00000085: JUMPI 00000086: PUSH0 00000087: PUSH2 0x000f 0000008a: JUMP 0000008b: JUMPDEST 0000008c: CALLVALUE 0000008d: PUSH2 0x0114 00000090: JUMPI 00000091: PUSH1 0x20 00000093: CALLDATASIZE 00000094: PUSH1 0x03 00000096: NOT 00000097: ADD 00000098: SLT 00000099: PUSH2 0x0114 0000009c: JUMPI 0000009d: PUSH1 0x04 0000009f: CALLDATALOAD 000000a0: PUSH1 0x01 000000a2: PUSH1 0x01 000000a4: PUSH1 0xa0 000000a6: SHL 000000a7: SUB 000000a8: DUP2 000000a9: AND 000000aa: SWAP1 000000ab: DUP2 000000ac: SWAP1 000000ad: SUB 000000ae: PUSH2 0x0114 000000b1: JUMPI 000000b2: PUSH2 0x00b9 000000b5: PUSH2 0x0a18 000000b8: JUMP 000000b9: JUMPDEST 000000ba: DUP1 000000bb: ISZERO 000000bc: PUSH2 0x0101 000000bf: JUMPI 000000c0: PUSH0 000000c1: DUP1 000000c2: SLOAD 000000c3: PUSH1 0x01 000000c5: PUSH1 0x01 000000c7: PUSH1 0xa0 000000c9: SHL 000000ca: SUB 000000cb: NOT 000000cc: DUP2 000000cd: AND 000000ce: DUP4 000000cf: OR 000000d0: DUP3 000000d1: SSTORE 000000d2: PUSH1 0x01 000000d4: PUSH1 0x01 000000d6: PUSH1 0xa0 000000d8: SHL 000000d9: SUB 000000da: AND 000000db: SWAP1 000000dc: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000000fd: SWAP1 000000fe: DUP1 000000ff: LOG3 00000100: STOP 00000101: JUMPDEST 00000102: PUSH4 0x1e4fbdf7 00000107: PUSH1 0xe0 00000109: SHL 0000010a: PUSH0 0000010b: MSTORE 0000010c: PUSH0 0000010d: PUSH1 0x04 0000010f: MSTORE 00000110: PUSH1 0x24 00000112: PUSH0 00000113: REVERT 00000114: JUMPDEST 00000115: PUSH0 00000116: DUP1 00000117: REVERT 00000118: JUMPDEST 00000119: CALLVALUE 0000011a: PUSH2 0x0114 0000011d: JUMPI 0000011e: PUSH1 0x20 00000120: CALLDATASIZE 00000121: PUSH1 0x03 00000123: NOT 00000124: ADD 00000125: SLT 00000126: PUSH2 0x0114 00000129: JUMPI 0000012a: PUSH1 0x04 0000012c: CALLDATALOAD 0000012d: PUSH8 0xffffffffffffffff 00000136: DUP2 00000137: GT 00000138: PUSH2 0x0114 0000013b: JUMPI 0000013c: PUSH2 0x0149 0000013f: SWAP1 00000140: CALLDATASIZE 00000141: SWAP1 00000142: PUSH1 0x04 00000144: ADD 00000145: PUSH2 0x0920 00000148: JUMP 00000149: JUMPDEST 0000014a: PUSH2 0x0151 0000014d: PUSH2 0x09f8 00000150: JUMP 00000151: JUMPDEST 00000152: PUSH1 0x03 00000154: SLOAD 00000155: PUSH0 00000156: JUMPDEST 00000157: DUP3 00000158: DUP2 00000159: LT 0000015a: PUSH2 0x0163 0000015d: JUMPI 0000015e: PUSH1 0x01 00000160: DUP1 00000161: SSTORE 00000162: STOP 00000163: JUMPDEST 00000164: PUSH1 0x24 00000166: PUSH1 0x20 00000168: PUSH1 0x01 0000016a: PUSH1 0x01 0000016c: PUSH1 0xa0 0000016e: SHL 0000016f: SUB 00000170: PUSH2 0x0182 00000173: PUSH2 0x017d 00000176: DUP6 00000177: DUP9 00000178: DUP11 00000179: PUSH2 0x09d4 0000017c: JUMP 0000017d: JUMPDEST 0000017e: PUSH2 0x09e4 00000181: JUMP 00000182: JUMPDEST 00000183: AND 00000184: PUSH1 0x40 00000186: MLOAD 00000187: SWAP3 00000188: DUP4 00000189: DUP1 0000018a: SWAP3 0000018b: PUSH4 0x70a08231 00000190: PUSH1 0xe0 00000192: SHL 00000193: DUP3 00000194: MSTORE 00000195: ADDRESS 00000196: PUSH1 0x04 00000198: DUP4 00000199: ADD 0000019a: MSTORE 0000019b: GAS 0000019c: STATICCALL 0000019d: SWAP1 0000019e: DUP2 0000019f: ISZERO 000001a0: PUSH2 0x02a5 000001a3: JUMPI 000001a4: PUSH0 000001a5: SWAP2 000001a6: PUSH2 0x02de 000001a9: JUMPI 000001aa: JUMPDEST 000001ab: POP 000001ac: DUP1 000001ad: ISZERO 000001ae: PUSH2 0x02b0 000001b1: JUMPI 000001b2: PUSH0 000001b3: JUMPDEST 000001b4: DUP4 000001b5: DUP2 000001b6: LT 000001b7: PUSH2 0x01c4 000001ba: JUMPI 000001bb: POP 000001bc: POP 000001bd: PUSH1 0x01 000001bf: ADD 000001c0: PUSH2 0x0156 000001c3: JUMP 000001c4: JUMPDEST 000001c5: PUSH2 0x01d7 000001c8: PUSH2 0x017d 000001cb: DUP5 000001cc: DUP8 000001cd: DUP10 000001ce: SWAP6 000001cf: SWAP10 000001d0: SWAP9 000001d1: SWAP7 000001d2: SWAP9 000001d3: PUSH2 0x09d4 000001d6: JUMP 000001d7: JUMPDEST 000001d8: PUSH1 0x20 000001da: PUSH0 000001db: PUSH2 0x01e3 000001de: DUP5 000001df: PUSH2 0x0951 000001e2: JUMP 000001e3: JUMPDEST 000001e4: SWAP1 000001e5: SLOAD 000001e6: PUSH1 0x03 000001e8: SWAP2 000001e9: SWAP1 000001ea: SWAP2 000001eb: SHL 000001ec: SHR 000001ed: PUSH1 0x01 000001ef: PUSH1 0x01 000001f1: PUSH1 0xa0 000001f3: SHL 000001f4: SUB 000001f5: AND 000001f6: PUSH2 0x021e 000001f9: PUSH2 0x0215 000001fc: PUSH2 0xffff 000001ff: PUSH2 0x0207 00000202: DUP9 00000203: PUSH2 0x08f3 00000206: JUMP 00000207: JUMPDEST 00000208: SWAP1 00000209: SLOAD 0000020a: SWAP1 0000020b: PUSH1 0x03 0000020d: SHL 0000020e: SHR 0000020f: AND 00000210: DUP13 00000211: PUSH2 0x0969 00000214: JUMP 00000215: JUMPDEST 00000216: PUSH1 0x04 00000218: SLOAD 00000219: SWAP1 0000021a: PUSH2 0x097c 0000021d: JUMP 0000021e: JUMPDEST 0000021f: PUSH1 0x40 00000221: MLOAD 00000222: SWAP1 00000223: DUP5 00000224: DUP3 00000225: ADD 00000226: SWAP3 00000227: PUSH4 0xa9059cbb 0000022c: PUSH1 0xe0 0000022e: SHL 0000022f: DUP5 00000230: MSTORE 00000231: PUSH1 0x24 00000233: DUP4 00000234: ADD 00000235: MSTORE 00000236: PUSH1 0x44 00000238: DUP3 00000239: ADD 0000023a: MSTORE 0000023b: PUSH1 0x44 0000023d: DUP2 0000023e: MSTORE 0000023f: PUSH2 0x0249 00000242: PUSH1 0x64 00000244: DUP3 00000245: PUSH2 0x099a 00000248: JUMP 00000249: JUMPDEST 0000024a: MLOAD 0000024b: SWAP1 0000024c: DUP3 0000024d: DUP6 0000024e: GAS 0000024f: CALL 00000250: ISZERO 00000251: PUSH2 0x02a5 00000254: JUMPI 00000255: PUSH0 00000256: MLOAD 00000257: RETURNDATASIZE 00000258: PUSH2 0x029c 0000025b: JUMPI 0000025c: POP 0000025d: PUSH1 0x01 0000025f: PUSH1 0x01 00000261: PUSH1 0xa0 00000263: SHL 00000264: SUB 00000265: DUP2 00000266: AND 00000267: EXTCODESIZE 00000268: ISZERO 00000269: JUMPDEST 0000026a: PUSH2 0x027c 0000026d: JUMPI 0000026e: POP 0000026f: PUSH1 0x01 00000271: ADD 00000272: SWAP5 00000273: SWAP1 00000274: SWAP5 00000275: SWAP4 00000276: SWAP2 00000277: SWAP4 00000278: PUSH2 0x01b3 0000027b: JUMP 0000027c: JUMPDEST 0000027d: PUSH4 0x5274afe7 00000282: PUSH1 0xe0 00000284: SHL 00000285: PUSH0 00000286: SWAP1 00000287: DUP2 00000288: MSTORE 00000289: PUSH1 0x01 0000028b: PUSH1 0x01 0000028d: PUSH1 0xa0 0000028f: SHL 00000290: SUB 00000291: SWAP2 00000292: SWAP1 00000293: SWAP2 00000294: AND 00000295: PUSH1 0x04 00000297: MSTORE 00000298: PUSH1 0x24 0000029a: SWAP1 0000029b: REVERT 0000029c: JUMPDEST 0000029d: PUSH1 0x01 0000029f: EQ 000002a0: ISZERO 000002a1: PUSH2 0x0269 000002a4: JUMP 000002a5: JUMPDEST 000002a6: PUSH1 0x40 000002a8: MLOAD 000002a9: RETURNDATASIZE 000002aa: PUSH0 000002ab: DUP3 000002ac: RETURNDATACOPY 000002ad: RETURNDATASIZE 000002ae: SWAP1 000002af: REVERT 000002b0: JUMPDEST 000002b1: PUSH2 0x02be 000002b4: PUSH2 0x017d 000002b7: DUP4 000002b8: DUP7 000002b9: DUP9 000002ba: PUSH2 0x09d4 000002bd: JUMP 000002be: JUMPDEST 000002bf: PUSH4 0x465c2fa9 000002c4: PUSH1 0xe1 000002c6: SHL 000002c7: PUSH0 000002c8: SWAP1 000002c9: DUP2 000002ca: MSTORE 000002cb: PUSH1 0x01 000002cd: PUSH1 0x01 000002cf: PUSH1 0xa0 000002d1: SHL 000002d2: SUB 000002d3: SWAP2 000002d4: SWAP1 000002d5: SWAP2 000002d6: AND 000002d7: PUSH1 0x04 000002d9: MSTORE 000002da: PUSH1 0x24 000002dc: SWAP1 000002dd: REVERT 000002de: JUMPDEST 000002df: SWAP1 000002e0: POP 000002e1: PUSH1 0x20 000002e3: DUP2 000002e4: RETURNDATASIZE 000002e5: DUP3 000002e6: GT 000002e7: PUSH2 0x0307 000002ea: JUMPI 000002eb: JUMPDEST 000002ec: DUP2 000002ed: PUSH2 0x02f8 000002f0: PUSH1 0x20 000002f2: SWAP4 000002f3: DUP4 000002f4: PUSH2 0x099a 000002f7: JUMP 000002f8: JUMPDEST 000002f9: DUP2 000002fa: ADD 000002fb: SUB 000002fc: SLT 000002fd: PUSH2 0x0114 00000300: JUMPI 00000301: MLOAD 00000302: DUP6 00000303: PUSH2 0x01aa 00000306: JUMP 00000307: JUMPDEST 00000308: RETURNDATASIZE 00000309: SWAP2 0000030a: POP 0000030b: PUSH2 0x02eb 0000030e: JUMP 0000030f: JUMPDEST 00000310: CALLVALUE 00000311: PUSH2 0x0114 00000314: JUMPI 00000315: PUSH1 0x20 00000317: CALLDATASIZE 00000318: PUSH1 0x03 0000031a: NOT 0000031b: ADD 0000031c: SLT 0000031d: PUSH2 0x0114 00000320: JUMPI 00000321: PUSH1 0x04 00000323: CALLDATALOAD 00000324: PUSH1 0x02 00000326: SLOAD 00000327: DUP2 00000328: LT 00000329: ISZERO 0000032a: PUSH2 0x0114 0000032d: JUMPI 0000032e: PUSH2 0x0338 00000331: PUSH1 0x20 00000333: SWAP2 00000334: PUSH2 0x0951 00000337: JUMP 00000338: JUMPDEST 00000339: SWAP1 0000033a: SLOAD 0000033b: PUSH1 0x40 0000033d: MLOAD 0000033e: PUSH1 0x03 00000340: SWAP3 00000341: SWAP1 00000342: SWAP3 00000343: SHL 00000344: SHR 00000345: PUSH1 0x01 00000347: PUSH1 0x01 00000349: PUSH1 0xa0 0000034b: SHL 0000034c: SUB 0000034d: AND 0000034e: DUP2 0000034f: MSTORE 00000350: RETURN 00000351: JUMPDEST 00000352: CALLVALUE 00000353: PUSH2 0x0114 00000356: JUMPI 00000357: PUSH1 0x40 00000359: CALLDATASIZE 0000035a: PUSH1 0x03 0000035c: NOT 0000035d: ADD 0000035e: SLT 0000035f: PUSH2 0x0114 00000362: JUMPI 00000363: PUSH1 0x04 00000365: CALLDATALOAD 00000366: PUSH8 0xffffffffffffffff 0000036f: DUP2 00000370: GT 00000371: PUSH2 0x0114 00000374: JUMPI 00000375: PUSH2 0x0382 00000378: SWAP1 00000379: CALLDATASIZE 0000037a: SWAP1 0000037b: PUSH1 0x04 0000037d: ADD 0000037e: PUSH2 0x0920 00000381: JUMP 00000382: JUMPDEST 00000383: PUSH1 0x24 00000385: CALLDATALOAD 00000386: PUSH8 0xffffffffffffffff 0000038f: DUP2 00000390: GT 00000391: PUSH2 0x0114 00000394: JUMPI 00000395: PUSH2 0x03a2 00000398: SWAP1 00000399: CALLDATASIZE 0000039a: SWAP1 0000039b: PUSH1 0x04 0000039d: ADD 0000039e: PUSH2 0x0920 000003a1: JUMP 000003a2: JUMPDEST 000003a3: SWAP1 000003a4: SWAP2 000003a5: PUSH2 0x03ac 000003a8: PUSH2 0x0a18 000003ab: JUMP 000003ac: JUMPDEST 000003ad: PUSH2 0x03b5 000003b0: DUP2 000003b1: PUSH2 0x09bc 000003b4: JUMP 000003b5: JUMPDEST 000003b6: SWAP4 000003b7: PUSH2 0x03c3 000003ba: PUSH1 0x40 000003bc: MLOAD 000003bd: SWAP6 000003be: DUP7 000003bf: PUSH2 0x099a 000003c2: JUMP 000003c3: JUMPDEST 000003c4: DUP2 000003c5: DUP6 000003c6: MSTORE 000003c7: PUSH1 0x20 000003c9: DUP6 000003ca: ADD 000003cb: SWAP1 000003cc: DUP2 000003cd: SWAP3 000003ce: PUSH1 0x05 000003d0: SHL 000003d1: DUP2 000003d2: ADD 000003d3: SWAP1 000003d4: CALLDATASIZE 000003d5: DUP3 000003d6: GT 000003d7: PUSH2 0x0114 000003da: JUMPI 000003db: SWAP2 000003dc: JUMPDEST 000003dd: DUP2 000003de: DUP4 000003df: LT 000003e0: PUSH2 0x0719 000003e3: JUMPI 000003e4: POP 000003e5: POP 000003e6: POP 000003e7: PUSH2 0x03ef 000003ea: DUP3 000003eb: PUSH2 0x09bc 000003ee: JUMP 000003ef: JUMPDEST 000003f0: SWAP3 000003f1: PUSH2 0x03fd 000003f4: PUSH1 0x40 000003f6: MLOAD 000003f7: SWAP5 000003f8: DUP6 000003f9: PUSH2 0x099a 000003fc: JUMP 000003fd: JUMPDEST 000003fe: DUP3 000003ff: DUP5 00000400: MSTORE 00000401: PUSH1 0x20 00000403: DUP5 00000404: ADD 00000405: SWAP1 00000406: DUP2 00000407: SWAP4 00000408: PUSH1 0x05 0000040a: SHL 0000040b: DUP2 0000040c: ADD 0000040d: SWAP1 0000040e: CALLDATASIZE 0000040f: DUP3 00000410: GT 00000411: PUSH2 0x0114 00000414: JUMPI 00000415: SWAP2 00000416: JUMPDEST 00000417: DUP2 00000418: DUP4 00000419: LT 0000041a: PUSH2 0x06fe 0000041d: JUMPI 0000041e: POP 0000041f: POP 00000420: POP 00000421: DUP3 00000422: MLOAD 00000423: SWAP4 00000424: DUP1 00000425: MLOAD 00000426: DUP6 00000427: SUB 00000428: PUSH2 0x06ef 0000042b: JUMPI 0000042c: MLOAD 0000042d: SWAP1 0000042e: PUSH8 0xffffffffffffffff 00000437: DUP3 00000438: GT 00000439: PUSH2 0x064a 0000043c: JUMPI 0000043d: PUSH1 0x01 0000043f: PUSH1 0x40 00000441: SHL 00000442: DUP3 00000443: GT 00000444: PUSH2 0x064a 00000447: JUMPI 00000448: PUSH1 0x02 0000044a: SLOAD 0000044b: DUP3 0000044c: PUSH1 0x02 0000044e: SSTORE 0000044f: DUP1 00000450: DUP4 00000451: LT 00000452: PUSH2 0x069b 00000455: JUMPI 00000456: JUMPDEST 00000457: POP 00000458: PUSH1 0x02 0000045a: PUSH0 0000045b: MSTORE 0000045c: PUSH0 0000045d: JUMPDEST 0000045e: DUP3 0000045f: DUP2 00000460: LT 00000461: PUSH2 0x065e 00000464: JUMPI 00000465: POP 00000466: POP 00000467: POP 00000468: DUP2 00000469: MLOAD 0000046a: SWAP1 0000046b: PUSH8 0xffffffffffffffff 00000474: DUP3 00000475: GT 00000476: PUSH2 0x064a 00000479: JUMPI 0000047a: PUSH1 0x01 0000047c: PUSH1 0x40 0000047e: SHL 0000047f: DUP3 00000480: GT 00000481: PUSH2 0x064a 00000484: JUMPI 00000485: PUSH1 0x03 00000487: SLOAD 00000488: DUP3 00000489: PUSH1 0x03 0000048b: SSTORE 0000048c: DUP1 0000048d: DUP4 0000048e: LT 0000048f: PUSH2 0x05c7 00000492: JUMPI 00000493: JUMPDEST 00000494: POP 00000495: SWAP1 00000496: PUSH1 0x03 00000498: PUSH0 00000499: MSTORE 0000049a: DUP1 0000049b: PUSH1 0x04 0000049d: SHR 0000049e: SWAP1 0000049f: PUSH0 000004a0: JUMPDEST 000004a1: DUP3 000004a2: DUP2 000004a3: LT 000004a4: PUSH2 0x057a 000004a7: JUMPI 000004a8: POP 000004a9: PUSH1 0x0f 000004ab: NOT 000004ac: DUP2 000004ad: AND 000004ae: SWAP1 000004af: SUB 000004b0: DUP1 000004b1: PUSH2 0x0520 000004b4: JUMPI 000004b5: JUMPDEST 000004b6: POP 000004b7: POP 000004b8: POP 000004b9: PUSH0 000004ba: PUSH1 0x04 000004bc: SSTORE 000004bd: PUSH0 000004be: JUMPDEST 000004bf: DUP3 000004c0: DUP2 000004c1: LT 000004c2: PUSH2 0x04c7 000004c5: JUMPI 000004c6: STOP 000004c7: JUMPDEST 000004c8: DUP2 000004c9: MLOAD 000004ca: DUP2 000004cb: LT 000004cc: ISZERO 000004cd: PUSH2 0x050c 000004d0: JUMPI 000004d1: PUSH2 0xffff 000004d4: PUSH1 0x20 000004d6: DUP3 000004d7: PUSH1 0x05 000004d9: SHL 000004da: DUP5 000004db: ADD 000004dc: ADD 000004dd: MLOAD 000004de: AND 000004df: SWAP1 000004e0: PUSH1 0x04 000004e2: SLOAD 000004e3: SWAP2 000004e4: DUP3 000004e5: ADD 000004e6: DUP1 000004e7: SWAP3 000004e8: GT 000004e9: PUSH2 0x04f8 000004ec: JUMPI 000004ed: PUSH1 0x01 000004ef: SWAP2 000004f0: PUSH1 0x04 000004f2: SSTORE 000004f3: ADD 000004f4: PUSH2 0x04be 000004f7: JUMP 000004f8: JUMPDEST 000004f9: PUSH4 0x4e487b71 000004fe: PUSH1 0xe0 00000500: SHL 00000501: PUSH0 00000502: MSTORE 00000503: PUSH1 0x11 00000505: PUSH1 0x04 00000507: MSTORE 00000508: PUSH1 0x24 0000050a: PUSH0 0000050b: REVERT 0000050c: JUMPDEST 0000050d: PUSH4 0x4e487b71 00000512: PUSH1 0xe0 00000514: SHL 00000515: PUSH0 00000516: MSTORE 00000517: PUSH1 0x32 00000519: PUSH1 0x04 0000051b: MSTORE 0000051c: PUSH1 0x24 0000051e: PUSH0 0000051f: REVERT 00000520: JUMPDEST 00000521: SWAP2 00000522: PUSH0 00000523: SWAP3 00000524: PUSH0 00000525: JUMPDEST 00000526: DUP2 00000527: DUP2 00000528: LT 00000529: PUSH2 0x0547 0000052c: JUMPI 0000052d: POP 0000052e: POP 0000052f: POP 00000530: PUSH0 00000531: MLOAD 00000532: PUSH1 0x20 00000534: PUSH2 0x0a55 00000537: PUSH0 00000538: CODECOPY 00000539: PUSH0 0000053a: MLOAD 0000053b: SWAP1 0000053c: PUSH0 0000053d: MSTORE 0000053e: ADD 0000053f: SSTORE 00000540: DUP3 00000541: DUP1 00000542: DUP1 00000543: PUSH2 0x04b5 00000546: JUMP 00000547: JUMPDEST 00000548: SWAP1 00000549: SWAP2 0000054a: SWAP4 0000054b: PUSH1 0x20 0000054d: PUSH2 0x0570 00000550: PUSH1 0x01 00000552: SWAP3 00000553: PUSH2 0xffff 00000556: DUP9 00000557: MLOAD 00000558: AND 00000559: SWAP1 0000055a: DUP6 0000055b: DUP6 0000055c: SHL 0000055d: PUSH2 0xffff 00000560: DUP1 00000561: SWAP2 00000562: PUSH1 0x03 00000564: SHL 00000565: SWAP4 00000566: AND 00000567: DUP4 00000568: SHL 00000569: SWAP3 0000056a: SHL 0000056b: NOT 0000056c: AND 0000056d: OR 0000056e: SWAP1 0000056f: JUMP 00000570: JUMPDEST 00000571: SWAP6 00000572: ADD 00000573: SWAP3 00000574: SWAP2 00000575: ADD 00000576: PUSH2 0x0525 00000579: JUMP 0000057a: JUMPDEST 0000057b: PUSH0 0000057c: PUSH0 0000057d: JUMPDEST 0000057e: PUSH1 0x10 00000580: DUP2 00000581: LT 00000582: PUSH2 0x059f 00000585: JUMPI 00000586: POP 00000587: PUSH0 00000588: MLOAD 00000589: PUSH1 0x20 0000058b: PUSH2 0x0a55 0000058e: PUSH0 0000058f: CODECOPY 00000590: PUSH0 00000591: MLOAD 00000592: SWAP1 00000593: PUSH0 00000594: MSTORE 00000595: DUP3 00000596: ADD 00000597: SSTORE 00000598: PUSH1 0x01 0000059a: ADD 0000059b: PUSH2 0x04a0 0000059e: JUMP 0000059f: JUMPDEST 000005a0: DUP6 000005a1: MLOAD 000005a2: SWAP1 000005a3: SWAP6 000005a4: SWAP2 000005a5: PUSH1 0x01 000005a7: SWAP2 000005a8: PUSH1 0x20 000005aa: SWAP2 000005ab: PUSH2 0xffff 000005ae: PUSH1 0x04 000005b0: DUP11 000005b1: SWAP1 000005b2: SHL 000005b3: DUP2 000005b4: DUP2 000005b5: SHL 000005b6: NOT 000005b7: SWAP1 000005b8: SWAP3 000005b9: AND 000005ba: SWAP3 000005bb: AND 000005bc: SWAP1 000005bd: SHL 000005be: OR 000005bf: SWAP3 000005c0: ADD 000005c1: SWAP6 000005c2: ADD 000005c3: PUSH2 0x057d 000005c6: JUMP 000005c7: JUMPDEST 000005c8: PUSH2 0x060a 000005cb: SWAP1 000005cc: PUSH1 0x0f 000005ce: DUP1 000005cf: DUP6 000005d0: ADD 000005d1: PUSH1 0x04 000005d3: SHR 000005d4: SWAP2 000005d5: PUSH1 0x1e 000005d7: DUP7 000005d8: PUSH1 0x01 000005da: SHL 000005db: AND 000005dc: DUP1 000005dd: PUSH2 0x0610 000005e0: JUMPI 000005e1: JUMPDEST 000005e2: POP 000005e3: ADD 000005e4: PUSH1 0x04 000005e6: SHR 000005e7: PUSH0 000005e8: MLOAD 000005e9: PUSH1 0x20 000005eb: PUSH2 0x0a55 000005ee: PUSH0 000005ef: CODECOPY 000005f0: PUSH0 000005f1: MLOAD 000005f2: SWAP1 000005f3: PUSH0 000005f4: MSTORE 000005f5: ADD 000005f6: SWAP1 000005f7: PUSH0 000005f8: MLOAD 000005f9: PUSH1 0x20 000005fb: PUSH2 0x0a55 000005fe: PUSH0 000005ff: CODECOPY 00000600: PUSH0 00000601: MLOAD 00000602: SWAP1 00000603: PUSH0 00000604: MSTORE 00000605: ADD 00000606: PUSH2 0x0a3e 00000609: JUMP 0000060a: JUMPDEST 0000060b: DUP5 0000060c: PUSH2 0x0493 0000060f: JUMP 00000610: JUMPDEST 00000611: PUSH32 0xc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85a 00000632: DUP5 00000633: ADD 00000634: SWAP1 00000635: DUP2 00000636: SLOAD 00000637: SWAP1 00000638: PUSH0 00000639: NOT 0000063a: SWAP1 0000063b: PUSH1 0x20 0000063d: SUB 0000063e: PUSH1 0x03 00000640: SHL 00000641: SHR 00000642: AND 00000643: SWAP1 00000644: SSTORE 00000645: DUP9 00000646: PUSH2 0x05e1 00000649: JUMP 0000064a: JUMPDEST 0000064b: PUSH4 0x4e487b71 00000650: PUSH1 0xe0 00000652: SHL 00000653: PUSH0 00000654: MSTORE 00000655: PUSH1 0x41 00000657: PUSH1 0x04 00000659: MSTORE 0000065a: PUSH1 0x24 0000065c: PUSH0 0000065d: REVERT 0000065e: JUMPDEST 0000065f: DUP2 00000660: MLOAD 00000661: PUSH1 0x01 00000663: PUSH1 0x01 00000665: PUSH1 0xa0 00000667: SHL 00000668: SUB 00000669: AND 0000066a: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace 0000068b: DUP3 0000068c: ADD 0000068d: SSTORE 0000068e: PUSH1 0x20 00000690: SWAP1 00000691: SWAP2 00000692: ADD 00000693: SWAP1 00000694: PUSH1 0x01 00000696: ADD 00000697: PUSH2 0x045d 0000069a: JUMP 0000069b: JUMPDEST 0000069c: PUSH2 0x06e9 0000069f: SWAP1 000006a0: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace 000006c1: ADD 000006c2: DUP4 000006c3: PUSH32 0x405787fa12a823e0f2b7631cc41b3ba8828b3321ca811111fa75cd3aa3bb5ace 000006e4: ADD 000006e5: PUSH2 0x0a3e 000006e8: JUMP 000006e9: JUMPDEST 000006ea: DUP6 000006eb: PUSH2 0x0456 000006ee: JUMP 000006ef: JUMPDEST 000006f0: PUSH4 0x1df89e8b 000006f5: PUSH1 0xe0 000006f7: SHL 000006f8: PUSH0 000006f9: MSTORE 000006fa: PUSH1 0x04 000006fc: PUSH0 000006fd: REVERT 000006fe: JUMPDEST 000006ff: DUP3 00000700: CALLDATALOAD 00000701: PUSH2 0xffff 00000704: DUP2 00000705: AND 00000706: DUP2 00000707: SUB 00000708: PUSH2 0x0114 0000070b: JUMPI 0000070c: DUP2 0000070d: MSTORE 0000070e: PUSH1 0x20 00000710: SWAP3 00000711: DUP4 00000712: ADD 00000713: SWAP3 00000714: ADD 00000715: PUSH2 0x0416 00000718: JUMP 00000719: JUMPDEST 0000071a: DUP3 0000071b: CALLDATALOAD 0000071c: PUSH1 0x01 0000071e: PUSH1 0x01 00000720: PUSH1 0xa0 00000722: SHL 00000723: SUB 00000724: DUP2 00000725: AND 00000726: DUP2 00000727: SUB 00000728: PUSH2 0x0114 0000072b: JUMPI 0000072c: DUP2 0000072d: MSTORE 0000072e: PUSH1 0x20 00000730: SWAP3 00000731: DUP4 00000732: ADD 00000733: SWAP3 00000734: ADD 00000735: PUSH2 0x03dc 00000738: JUMP 00000739: JUMPDEST 0000073a: CALLVALUE 0000073b: PUSH2 0x0114 0000073e: JUMPI 0000073f: PUSH0 00000740: CALLDATASIZE 00000741: PUSH1 0x03 00000743: NOT 00000744: ADD 00000745: SLT 00000746: PUSH2 0x0114 00000749: JUMPI 0000074a: PUSH0 0000074b: SLOAD 0000074c: PUSH1 0x40 0000074e: MLOAD 0000074f: PUSH1 0x01 00000751: PUSH1 0x01 00000753: PUSH1 0xa0 00000755: SHL 00000756: SUB 00000757: SWAP1 00000758: SWAP2 00000759: AND 0000075a: DUP2 0000075b: MSTORE 0000075c: PUSH1 0x20 0000075e: SWAP1 0000075f: RETURN 00000760: JUMPDEST 00000761: CALLVALUE 00000762: PUSH2 0x0114 00000765: JUMPI 00000766: PUSH0 00000767: CALLDATASIZE 00000768: PUSH1 0x03 0000076a: NOT 0000076b: ADD 0000076c: SLT 0000076d: PUSH2 0x0114 00000770: JUMPI 00000771: PUSH2 0x0778 00000774: PUSH2 0x0a18 00000777: JUMP 00000778: JUMPDEST 00000779: PUSH0 0000077a: DUP1 0000077b: SLOAD 0000077c: PUSH1 0x01 0000077e: PUSH1 0x01 00000780: PUSH1 0xa0 00000782: SHL 00000783: SUB 00000784: NOT 00000785: DUP2 00000786: AND 00000787: DUP3 00000788: SSTORE 00000789: PUSH1 0x01 0000078b: PUSH1 0x01 0000078d: PUSH1 0xa0 0000078f: SHL 00000790: SUB 00000791: AND 00000792: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000007b3: DUP3 000007b4: DUP1 000007b5: LOG3 000007b6: STOP 000007b7: JUMPDEST 000007b8: CALLVALUE 000007b9: PUSH2 0x0114 000007bc: JUMPI 000007bd: PUSH1 0x20 000007bf: CALLDATASIZE 000007c0: PUSH1 0x03 000007c2: NOT 000007c3: ADD 000007c4: SLT 000007c5: PUSH2 0x0114 000007c8: JUMPI 000007c9: PUSH1 0x04 000007cb: CALLDATALOAD 000007cc: PUSH1 0x03 000007ce: SLOAD 000007cf: DUP2 000007d0: LT 000007d1: ISZERO 000007d2: PUSH2 0x0114 000007d5: JUMPI 000007d6: PUSH2 0xffff 000007d9: PUSH2 0x07e3 000007dc: PUSH1 0x20 000007de: SWAP3 000007df: PUSH2 0x08f3 000007e2: JUMP 000007e3: JUMPDEST 000007e4: SWAP1 000007e5: SLOAD 000007e6: SWAP1 000007e7: PUSH1 0x03 000007e9: SHL 000007ea: SHR 000007eb: AND 000007ec: PUSH1 0x40 000007ee: MLOAD 000007ef: SWAP1 000007f0: DUP2 000007f1: MSTORE 000007f2: RETURN 000007f3: JUMPDEST 000007f4: CALLVALUE 000007f5: PUSH2 0x0114 000007f8: JUMPI 000007f9: PUSH0 000007fa: CALLDATASIZE 000007fb: PUSH1 0x03 000007fd: NOT 000007fe: ADD 000007ff: SLT 00000800: PUSH2 0x0114 00000803: JUMPI 00000804: PUSH2 0x080b 00000807: PUSH2 0x09f8 0000080a: JUMP 0000080b: JUMPDEST 0000080c: PUSH1 0x03 0000080e: SLOAD 0000080f: SELFBALANCE 00000810: PUSH0 00000811: JUMPDEST 00000812: DUP3 00000813: DUP2 00000814: LT 00000815: PUSH2 0x081e 00000818: JUMPI 00000819: PUSH1 0x01 0000081b: DUP1 0000081c: SSTORE 0000081d: STOP 0000081e: JUMPDEST 0000081f: PUSH0 00000820: DUP1 00000821: DUP1 00000822: DUP1 00000823: PUSH2 0x082b 00000826: DUP6 00000827: PUSH2 0x0951 0000082a: JUMP 0000082b: JUMPDEST 0000082c: SWAP1 0000082d: SLOAD 0000082e: PUSH1 0x03 00000830: SWAP2 00000831: SWAP1 00000832: SWAP2 00000833: SHL 00000834: SHR 00000835: PUSH1 0x01 00000837: PUSH1 0x01 00000839: PUSH1 0xa0 0000083b: SHL 0000083c: SUB 0000083d: AND 0000083e: PUSH2 0x085d 00000841: PUSH2 0x0215 00000844: PUSH2 0xffff 00000847: PUSH2 0x084f 0000084a: DUP10 0000084b: PUSH2 0x08f3 0000084e: JUMP 0000084f: JUMPDEST 00000850: SWAP1 00000851: SLOAD 00000852: SWAP1 00000853: PUSH1 0x03 00000855: SHL 00000856: SHR 00000857: AND 00000858: DUP10 00000859: PUSH2 0x0969 0000085c: JUMP 0000085d: JUMPDEST 0000085e: SWAP1 0000085f: GAS 00000860: CALL 00000861: RETURNDATASIZE 00000862: ISZERO 00000863: PUSH2 0x08d4 00000866: JUMPI 00000867: RETURNDATASIZE 00000868: PUSH8 0xffffffffffffffff 00000871: DUP2 00000872: GT 00000873: PUSH2 0x064a 00000876: JUMPI 00000877: PUSH1 0x40 00000879: MLOAD 0000087a: SWAP1 0000087b: PUSH2 0x088e 0000087e: PUSH1 0x1f 00000880: DUP3 00000881: ADD 00000882: PUSH1 0x1f 00000884: NOT 00000885: AND 00000886: PUSH1 0x20 00000888: ADD 00000889: DUP4 0000088a: PUSH2 0x099a 0000088d: JUMP 0000088e: JUMPDEST 0000088f: DUP2 00000890: MSTORE 00000891: PUSH0 00000892: PUSH1 0x20 00000894: RETURNDATASIZE 00000895: SWAP3 00000896: ADD 00000897: RETURNDATACOPY 00000898: JUMPDEST 00000899: ISZERO 0000089a: PUSH2 0x08a5 0000089d: JUMPI 0000089e: PUSH1 0x01 000008a0: ADD 000008a1: PUSH2 0x0811 000008a4: JUMP 000008a5: JUMPDEST 000008a6: PUSH2 0x08ae 000008a9: SWAP1 000008aa: PUSH2 0x0951 000008ad: JUMP 000008ae: JUMPDEST 000008af: SWAP1 000008b0: SLOAD 000008b1: PUSH4 0x201be191 000008b6: PUSH1 0xe0 000008b8: SHL 000008b9: PUSH0 000008ba: SWAP1 000008bb: DUP2 000008bc: MSTORE 000008bd: PUSH1 0x03 000008bf: SWAP3 000008c0: SWAP1 000008c1: SWAP3 000008c2: SHL 000008c3: SHR 000008c4: PUSH1 0x01 000008c6: PUSH1 0x01 000008c8: PUSH1 0xa0 000008ca: SHL 000008cb: SUB 000008cc: AND 000008cd: PUSH1 0x04 000008cf: MSTORE 000008d0: PUSH1 0x24 000008d2: SWAP1 000008d3: REVERT 000008d4: JUMPDEST 000008d5: PUSH2 0x0898 000008d8: JUMP 000008d9: JUMPDEST 000008da: CALLVALUE 000008db: PUSH2 0x0114 000008de: JUMPI 000008df: PUSH0 000008e0: CALLDATASIZE 000008e1: PUSH1 0x03 000008e3: NOT 000008e4: ADD 000008e5: SLT 000008e6: PUSH2 0x0114 000008e9: JUMPI 000008ea: PUSH1 0x20 000008ec: SWAP1 000008ed: PUSH1 0x04 000008ef: SLOAD 000008f0: DUP2 000008f1: MSTORE 000008f2: RETURN 000008f3: JUMPDEST 000008f4: SWAP1 000008f5: PUSH1 0x03 000008f7: SLOAD 000008f8: DUP3 000008f9: LT 000008fa: ISZERO 000008fb: PUSH2 0x050c 000008fe: JUMPI 000008ff: PUSH1 0x03 00000901: PUSH0 00000902: MSTORE 00000903: PUSH1 0x04 00000905: DUP3 00000906: SWAP1 00000907: SHR 00000908: PUSH0 00000909: MLOAD 0000090a: PUSH1 0x20 0000090c: PUSH2 0x0a55 0000090f: PUSH0 00000910: CODECOPY 00000911: PUSH0 00000912: MLOAD 00000913: SWAP1 00000914: PUSH0 00000915: MSTORE 00000916: ADD 00000917: SWAP2 00000918: PUSH1 0x01 0000091a: SHL 0000091b: PUSH1 0x1e 0000091d: AND 0000091e: SWAP1 0000091f: JUMP 00000920: JUMPDEST 00000921: SWAP2 00000922: DUP2 00000923: PUSH1 0x1f 00000925: DUP5 00000926: ADD 00000927: SLT 00000928: ISZERO 00000929: PUSH2 0x0114 0000092c: JUMPI 0000092d: DUP3 0000092e: CALLDATALOAD 0000092f: SWAP2 00000930: PUSH8 0xffffffffffffffff 00000939: DUP4 0000093a: GT 0000093b: PUSH2 0x0114 0000093e: JUMPI 0000093f: PUSH1 0x20 00000941: DUP1 00000942: DUP6 00000943: ADD 00000944: SWAP5 00000945: DUP5 00000946: PUSH1 0x05 00000948: SHL 00000949: ADD 0000094a: ADD 0000094b: GT 0000094c: PUSH2 0x0114 0000094f: JUMPI 00000950: JUMP 00000951: JUMPDEST 00000952: PUSH1 0x02 00000954: SLOAD 00000955: DUP2 00000956: LT 00000957: ISZERO 00000958: PUSH2 0x050c 0000095b: JUMPI 0000095c: PUSH1 0x02 0000095e: PUSH0 0000095f: MSTORE 00000960: PUSH1 0x20 00000962: PUSH0 00000963: KECCAK256 00000964: ADD 00000965: SWAP1 00000966: PUSH0 00000967: SWAP1 00000968: JUMP 00000969: JUMPDEST 0000096a: DUP2 0000096b: DUP2 0000096c: MUL 0000096d: SWAP3 0000096e: SWAP2 0000096f: DUP2 00000970: ISZERO 00000971: SWAP2 00000972: DUP5 00000973: DIV 00000974: EQ 00000975: OR 00000976: ISZERO 00000977: PUSH2 0x04f8 0000097a: JUMPI 0000097b: JUMP 0000097c: JUMPDEST 0000097d: DUP2 0000097e: ISZERO 0000097f: PUSH2 0x0986 00000982: JUMPI 00000983: DIV 00000984: SWAP1 00000985: JUMP 00000986: JUMPDEST 00000987: PUSH4 0x4e487b71 0000098c: PUSH1 0xe0 0000098e: SHL 0000098f: PUSH0 00000990: MSTORE 00000991: PUSH1 0x12 00000993: PUSH1 0x04 00000995: MSTORE 00000996: PUSH1 0x24 00000998: PUSH0 00000999: REVERT 0000099a: JUMPDEST 0000099b: SWAP1 0000099c: PUSH1 0x1f 0000099e: DUP1 0000099f: NOT 000009a0: SWAP2 000009a1: ADD 000009a2: AND 000009a3: DUP2 000009a4: ADD 000009a5: SWAP1 000009a6: DUP2 000009a7: LT 000009a8: PUSH8 0xffffffffffffffff 000009b1: DUP3 000009b2: GT 000009b3: OR 000009b4: PUSH2 0x064a 000009b7: JUMPI 000009b8: PUSH1 0x40 000009ba: MSTORE 000009bb: JUMP 000009bc: JUMPDEST 000009bd: PUSH8 0xffffffffffffffff 000009c6: DUP2 000009c7: GT 000009c8: PUSH2 0x064a 000009cb: JUMPI 000009cc: PUSH1 0x05 000009ce: SHL 000009cf: PUSH1 0x20 000009d1: ADD 000009d2: SWAP1 000009d3: JUMP 000009d4: JUMPDEST 000009d5: SWAP2 000009d6: SWAP1 000009d7: DUP2 000009d8: LT 000009d9: ISZERO 000009da: PUSH2 0x050c 000009dd: JUMPI 000009de: PUSH1 0x05 000009e0: SHL 000009e1: ADD 000009e2: SWAP1 000009e3: JUMP 000009e4: JUMPDEST 000009e5: CALLDATALOAD 000009e6: PUSH1 0x01 000009e8: PUSH1 0x01 000009ea: PUSH1 0xa0 000009ec: SHL 000009ed: SUB 000009ee: DUP2 000009ef: AND 000009f0: DUP2 000009f1: SUB 000009f2: PUSH2 0x0114 000009f5: JUMPI 000009f6: SWAP1 000009f7: JUMP 000009f8: JUMPDEST 000009f9: PUSH1 0x02 000009fb: PUSH1 0x01 000009fd: SLOAD 000009fe: EQ 000009ff: PUSH2 0x0a09 00000a02: JUMPI 00000a03: PUSH1 0x02 00000a05: PUSH1 0x01 00000a07: SSTORE 00000a08: JUMP 00000a09: JUMPDEST 00000a0a: PUSH4 0x3ee5aeb5 00000a0f: PUSH1 0xe0 00000a11: SHL 00000a12: PUSH0 00000a13: MSTORE 00000a14: PUSH1 0x04 00000a16: PUSH0 00000a17: REVERT 00000a18: JUMPDEST 00000a19: PUSH0 00000a1a: SLOAD 00000a1b: PUSH1 0x01 00000a1d: PUSH1 0x01 00000a1f: PUSH1 0xa0 00000a21: SHL 00000a22: SUB 00000a23: AND 00000a24: CALLER 00000a25: SUB 00000a26: PUSH2 0x0a2b 00000a29: JUMPI 00000a2a: JUMP 00000a2b: JUMPDEST 00000a2c: PUSH4 0x118cdaa7 00000a31: PUSH1 0xe0 00000a33: SHL 00000a34: PUSH0 00000a35: MSTORE 00000a36: CALLER 00000a37: PUSH1 0x04 00000a39: MSTORE 00000a3a: PUSH1 0x24 00000a3c: PUSH0 00000a3d: REVERT 00000a3e: JUMPDEST 00000a3f: DUP2 00000a40: DUP2 00000a41: LT 00000a42: PUSH2 0x0a49 00000a45: JUMPI 00000a46: POP 00000a47: POP 00000a48: JUMP 00000a49: JUMPDEST 00000a4a: PUSH0 00000a4b: DUP2 00000a4c: SSTORE 00000a4d: PUSH1 0x01 00000a4f: ADD 00000a50: PUSH2 0x0a3e 00000a53: JUMP 00000a54: INVALID 00000a55: UNKNOWN(0xC2) 00000a56: JUMPI 00000a57: GAS 00000a58: UNKNOWN(0x0E) 00000a59: SWAP15 00000a5a: MSIZE 00000a5b: EXTCODECOPY 00000a5c: STOP 00000a5d: UNKNOWN(0xF9) 00000a5e: MSIZE 00000a5f: UNKNOWN(0xF8) 00000a60: UNKNOWN(0xC9) 00000a61: UNKNOWN(0x2F) 00000a62: SLT 00000a63: UNKNOWN(0xDB) 00000a64: UNKNOWN(0x28) 00000a65: PUSH10 0xc3395a3b0502d05e2516 00000a70: DIFFICULTY 00000a71: PUSH16
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x732ecb799a963594468de86a3619d003fa5ba18ca26b023d0f833c77aa41607b
call_targets:
0x7fed451247140110b30c7fcdb8f9906eb9815bbe
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x732ecb799a963594468de86a3619d003fa5ba18ca26b023d0f833c77aa41607b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7fed451247140110b30c7fcdb8f9906eb9815bbe"
],
"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": "0x3a98ef39",
"selector": "0x3a98ef39",
"calldata_variants": [
"0x3a98ef39",
"0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e71d92d",
"selector": "0x4e71d92d",
"calldata_variants": [
"0x4e71d92d",
"0x4e71d92d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x57a858fc",
"selector": "0x57a858fc",
"calldata_variants": [
"0x57a858fc",
"0x57a858fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc45dad0",
"selector": "0xbc45dad0",
"calldata_variants": [
"0xbc45dad0",
"0xbc45dad00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1bc76a1",
"selector": "0xd1bc76a1",
"calldata_variants": [
"0xd1bc76a1",
"0xd1bc76a10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd512143e",
"selector": "0xd512143e",
"calldata_variants": [
"0xd512143e",
"0xd512143e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 591,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2144,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x732ecb799a963594468de86a3619d003fa5ba18ca26b023d0f833c77aa41607b
call_targets:
0x7fed451247140110b30c7fcdb8f9906eb9815bbe
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x732ecb799a963594468de86a3619d003fa5ba18ca26b023d0f833c77aa41607b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7fed451247140110b30c7fcdb8f9906eb9815bbe"
],
"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": "0x3a98ef39",
"selector": "0x3a98ef39",
"calldata_variants": [
"0x3a98ef39",
"0x3a98ef390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e71d92d",
"selector": "0x4e71d92d",
"calldata_variants": [
"0x4e71d92d",
"0x4e71d92d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x57a858fc",
"selector": "0x57a858fc",
"calldata_variants": [
"0x57a858fc",
"0x57a858fc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc45dad0",
"selector": "0xbc45dad0",
"calldata_variants": [
"0xbc45dad0",
"0xbc45dad00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd1bc76a1",
"selector": "0xd1bc76a1",
"calldata_variants": [
"0xd1bc76a1",
"0xd1bc76a10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd512143e",
"selector": "0xd512143e",
"calldata_variants": [
"0xd512143e",
"0xd512143e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 591,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2144,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|