019b477e-ba24-7196-a9c5-e1b2edabb529
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 |
|---|---|---|---|---|
| 23695 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23696 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 90277 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 90278 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 90279 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 90280 | 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 0x004a 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x13af4035 00000019: EQ 0000001a: PUSH2 0x004c 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x2a517504 00000024: EQ 00000025: PUSH2 0x006c 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x7a9e5e4b 0000002f: EQ 00000030: PUSH2 0x0095 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x8da5cb5b 0000003a: EQ 0000003b: PUSH2 0x00b5 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xbf7e214f 00000045: EQ 00000046: PUSH2 0x00d7 00000049: JUMPI 0000004a: JUMPDEST 0000004b: STOP 0000004c: JUMPDEST 0000004d: CALLVALUE 0000004e: DUP1 0000004f: ISZERO 00000050: PUSH2 0x0058 00000053: JUMPI 00000054: PUSH1 0x00 00000056: DUP1 00000057: REVERT 00000058: JUMPDEST 00000059: POP 0000005a: PUSH2 0x004a 0000005d: PUSH2 0x0067 00000060: CALLDATASIZE 00000061: PUSH1 0x04 00000063: PUSH2 0x062d 00000066: JUMP 00000067: JUMPDEST 00000068: PUSH2 0x00f9 0000006b: JUMP 0000006c: JUMPDEST 0000006d: PUSH2 0x007f 00000070: PUSH2 0x007a 00000073: CALLDATASIZE 00000074: PUSH1 0x04 00000076: PUSH2 0x0653 00000079: JUMP 0000007a: JUMPDEST 0000007b: PUSH2 0x0184 0000007e: JUMP 0000007f: JUMPDEST 00000080: PUSH1 0x40 00000082: MLOAD 00000083: PUSH2 0x008c 00000086: SWAP2 00000087: SWAP1 00000088: PUSH2 0x0889 0000008b: JUMP 0000008c: JUMPDEST 0000008d: PUSH1 0x40 0000008f: MLOAD 00000090: DUP1 00000091: SWAP2 00000092: SUB 00000093: SWAP1 00000094: RETURN 00000095: JUMPDEST 00000096: CALLVALUE 00000097: DUP1 00000098: ISZERO 00000099: PUSH2 0x00a1 0000009c: JUMPI 0000009d: PUSH1 0x00 0000009f: DUP1 000000a0: REVERT 000000a1: JUMPDEST 000000a2: POP 000000a3: PUSH2 0x004a 000000a6: PUSH2 0x00b0 000000a9: CALLDATASIZE 000000aa: PUSH1 0x04 000000ac: PUSH2 0x0705 000000af: JUMP 000000b0: JUMPDEST 000000b1: PUSH2 0x02ec 000000b4: JUMP 000000b5: JUMPDEST 000000b6: CALLVALUE 000000b7: DUP1 000000b8: ISZERO 000000b9: PUSH2 0x00c1 000000bc: JUMPI 000000bd: PUSH1 0x00 000000bf: DUP1 000000c0: REVERT 000000c1: JUMPDEST 000000c2: POP 000000c3: PUSH2 0x00ca 000000c6: PUSH2 0x036a 000000c9: JUMP 000000ca: JUMPDEST 000000cb: PUSH1 0x40 000000cd: MLOAD 000000ce: PUSH2 0x008c 000000d1: SWAP2 000000d2: SWAP1 000000d3: PUSH2 0x0853 000000d6: JUMP 000000d7: JUMPDEST 000000d8: CALLVALUE 000000d9: DUP1 000000da: ISZERO 000000db: PUSH2 0x00e3 000000de: JUMPI 000000df: PUSH1 0x00 000000e1: DUP1 000000e2: REVERT 000000e3: JUMPDEST 000000e4: POP 000000e5: PUSH2 0x00ec 000000e8: PUSH2 0x0379 000000eb: JUMP 000000ec: JUMPDEST 000000ed: PUSH1 0x40 000000ef: MLOAD 000000f0: PUSH2 0x008c 000000f3: SWAP2 000000f4: SWAP1 000000f5: PUSH2 0x0897 000000f8: JUMP 000000f9: JUMPDEST 000000fa: PUSH2 0x010f 000000fd: CALLER 000000fe: PUSH1 0x00 00000100: CALLDATALOAD 00000101: PUSH1 0x01 00000103: PUSH1 0x01 00000105: PUSH1 0xe0 00000107: SHL 00000108: SUB 00000109: NOT 0000010a: AND 0000010b: PUSH2 0x0388 0000010e: JUMP 0000010f: JUMPDEST 00000110: PUSH2 0x0134 00000113: JUMPI 00000114: PUSH1 0x40 00000116: MLOAD 00000117: PUSH3 0x461bcd 0000011b: PUSH1 0xe5 0000011d: SHL 0000011e: DUP2 0000011f: MSTORE 00000120: PUSH1 0x04 00000122: ADD 00000123: PUSH2 0x012b 00000126: SWAP1 00000127: PUSH2 0x08a5 0000012a: JUMP 0000012b: JUMPDEST 0000012c: PUSH1 0x40 0000012e: MLOAD 0000012f: DUP1 00000130: SWAP2 00000131: SUB 00000132: SWAP1 00000133: REVERT 00000134: JUMPDEST 00000135: PUSH1 0x01 00000137: DUP1 00000138: SLOAD 00000139: PUSH1 0x01 0000013b: PUSH1 0x01 0000013d: PUSH1 0xa0 0000013f: SHL 00000140: SUB 00000141: NOT 00000142: AND 00000143: PUSH1 0x01 00000145: PUSH1 0x01 00000147: PUSH1 0xa0 00000149: SHL 0000014a: SUB 0000014b: DUP4 0000014c: DUP2 0000014d: AND 0000014e: SWAP2 0000014f: SWAP1 00000150: SWAP2 00000151: OR 00000152: SWAP2 00000153: DUP3 00000154: SWAP1 00000155: SSTORE 00000156: PUSH1 0x40 00000158: MLOAD 00000159: SWAP2 0000015a: AND 0000015b: SWAP1 0000015c: PUSH32 0xce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed94 0000017d: SWAP1 0000017e: PUSH1 0x00 00000180: SWAP1 00000181: LOG2 00000182: POP 00000183: JUMP 00000184: JUMPDEST 00000185: PUSH1 0x00 00000187: PUSH2 0x019c 0000018a: CALLER 0000018b: PUSH1 0x00 0000018d: CALLDATALOAD 0000018e: PUSH1 0x01 00000190: PUSH1 0x01 00000192: PUSH1 0xe0 00000194: SHL 00000195: SUB 00000196: NOT 00000197: AND 00000198: PUSH2 0x0388 0000019b: JUMP 0000019c: JUMPDEST 0000019d: PUSH2 0x01b8 000001a0: JUMPI 000001a1: PUSH1 0x40 000001a3: MLOAD 000001a4: PUSH3 0x461bcd 000001a8: PUSH1 0xe5 000001aa: SHL 000001ab: DUP2 000001ac: MSTORE 000001ad: PUSH1 0x04 000001af: ADD 000001b0: PUSH2 0x012b 000001b3: SWAP1 000001b4: PUSH2 0x08a5 000001b7: JUMP 000001b8: JUMPDEST 000001b9: PUSH1 0x40 000001bb: MLOAD 000001bc: PUSH1 0x04 000001be: CALLDATALOAD 000001bf: SWAP1 000001c0: PUSH1 0x24 000001c2: CALLDATALOAD 000001c3: SWAP1 000001c4: CALLVALUE 000001c5: SWAP1 000001c6: DUP3 000001c7: SWAP1 000001c8: DUP5 000001c9: SWAP1 000001ca: CALLER 000001cb: SWAP1 000001cc: PUSH1 0x00 000001ce: DUP1 000001cf: CALLDATALOAD 000001d0: PUSH1 0x01 000001d2: PUSH1 0x01 000001d4: PUSH1 0xe0 000001d6: SHL 000001d7: SUB 000001d8: NOT 000001d9: AND 000001da: SWAP2 000001db: PUSH2 0x01e7 000001de: SWAP2 000001df: DUP8 000001e0: SWAP2 000001e1: CALLDATASIZE 000001e2: SWAP1 000001e3: PUSH2 0x08c5 000001e6: JUMP 000001e7: JUMPDEST 000001e8: PUSH1 0x40 000001ea: MLOAD 000001eb: DUP1 000001ec: SWAP2 000001ed: SUB 000001ee: SWAP1 000001ef: LOG4 000001f0: PUSH1 0x00 000001f2: JUMPDEST 000001f3: DUP6 000001f4: MLOAD 000001f5: DUP2 000001f6: LT 000001f7: ISZERO 000001f8: PUSH2 0x02e1 000001fb: JUMPI 000001fc: PUSH1 0x00 000001fe: NOT 000001ff: DUP8 00000200: DUP3 00000201: DUP2 00000202: MLOAD 00000203: DUP2 00000204: LT 00000205: PUSH2 0x020a 00000208: JUMPI 00000209: INVALID 0000020a: JUMPDEST 0000020b: PUSH1 0x20 0000020d: MUL 0000020e: PUSH1 0x20 00000210: ADD 00000211: ADD 00000212: MLOAD 00000213: EQ 00000214: ISZERO 00000215: PUSH2 0x0230 00000218: JUMPI 00000219: PUSH1 0x40 0000021b: MLOAD 0000021c: PUSH3 0x461bcd 00000220: PUSH1 0xe5 00000222: SHL 00000223: DUP2 00000224: MSTORE 00000225: PUSH1 0x04 00000227: ADD 00000228: PUSH2 0x012b 0000022b: SWAP1 0000022c: PUSH2 0x08b5 0000022f: JUMP 00000230: JUMPDEST 00000231: DUP8 00000232: DUP2 00000233: DUP2 00000234: MLOAD 00000235: DUP2 00000236: LT 00000237: PUSH2 0x023c 0000023a: JUMPI 0000023b: INVALID 0000023c: JUMPDEST 0000023d: PUSH1 0x20 0000023f: MUL 00000240: PUSH1 0x20 00000242: ADD 00000243: ADD 00000244: MLOAD 00000245: PUSH1 0x01 00000247: PUSH1 0x01 00000249: PUSH1 0xa0 0000024b: SHL 0000024c: SUB 0000024d: AND 0000024e: DUP8 0000024f: DUP3 00000250: DUP2 00000251: MLOAD 00000252: DUP2 00000253: LT 00000254: PUSH2 0x0259 00000257: JUMPI 00000258: INVALID 00000259: JUMPDEST 0000025a: PUSH1 0x20 0000025c: MUL 0000025d: PUSH1 0x20 0000025f: ADD 00000260: ADD 00000261: MLOAD 00000262: DUP8 00000263: DUP4 00000264: DUP2 00000265: MLOAD 00000266: DUP2 00000267: LT 00000268: PUSH2 0x026d 0000026b: JUMPI 0000026c: INVALID 0000026d: JUMPDEST 0000026e: PUSH1 0x20 00000270: MUL 00000271: PUSH1 0x20 00000273: ADD 00000274: ADD 00000275: MLOAD 00000276: PUSH1 0x40 00000278: MLOAD 00000279: PUSH2 0x0282 0000027c: SWAP2 0000027d: SWAP1 0000027e: PUSH2 0x0840 00000281: JUMP 00000282: JUMPDEST 00000283: PUSH1 0x00 00000285: PUSH1 0x40 00000287: MLOAD 00000288: DUP1 00000289: DUP4 0000028a: SUB 0000028b: DUP2 0000028c: DUP6 0000028d: DUP8 0000028e: GAS 0000028f: CALL 00000290: SWAP3 00000291: POP 00000292: POP 00000293: POP 00000294: RETURNDATASIZE 00000295: DUP1 00000296: PUSH1 0x00 00000298: DUP2 00000299: EQ 0000029a: PUSH2 0x02bf 0000029d: JUMPI 0000029e: PUSH1 0x40 000002a0: MLOAD 000002a1: SWAP2 000002a2: POP 000002a3: PUSH1 0x1f 000002a5: NOT 000002a6: PUSH1 0x3f 000002a8: RETURNDATASIZE 000002a9: ADD 000002aa: AND 000002ab: DUP3 000002ac: ADD 000002ad: PUSH1 0x40 000002af: MSTORE 000002b0: RETURNDATASIZE 000002b1: DUP3 000002b2: MSTORE 000002b3: RETURNDATASIZE 000002b4: PUSH1 0x00 000002b6: PUSH1 0x20 000002b8: DUP5 000002b9: ADD 000002ba: RETURNDATACOPY 000002bb: PUSH2 0x02c4 000002be: JUMP 000002bf: JUMPDEST 000002c0: PUSH1 0x60 000002c2: SWAP2 000002c3: POP 000002c4: JUMPDEST 000002c5: POP 000002c6: POP 000002c7: DUP1 000002c8: SWAP6 000002c9: POP 000002ca: POP 000002cb: DUP5 000002cc: PUSH2 0x02d9 000002cf: JUMPI 000002d0: RETURNDATASIZE 000002d1: PUSH1 0x00 000002d3: DUP1 000002d4: RETURNDATACOPY 000002d5: RETURNDATASIZE 000002d6: PUSH1 0x00 000002d8: REVERT 000002d9: JUMPDEST 000002da: PUSH1 0x01 000002dc: ADD 000002dd: PUSH2 0x01f2 000002e0: JUMP 000002e1: JUMPDEST 000002e2: POP 000002e3: POP 000002e4: POP 000002e5: POP 000002e6: SWAP4 000002e7: SWAP3 000002e8: POP 000002e9: POP 000002ea: POP 000002eb: JUMP 000002ec: JUMPDEST 000002ed: PUSH2 0x0302 000002f0: CALLER 000002f1: PUSH1 0x00 000002f3: CALLDATALOAD 000002f4: PUSH1 0x01 000002f6: PUSH1 0x01 000002f8: PUSH1 0xe0 000002fa: SHL 000002fb: SUB 000002fc: NOT 000002fd: AND 000002fe: PUSH2 0x0388 00000301: JUMP 00000302: JUMPDEST 00000303: PUSH2 0x031e 00000306: JUMPI 00000307: PUSH1 0x40 00000309: MLOAD 0000030a: PUSH3 0x461bcd 0000030e: PUSH1 0xe5 00000310: SHL 00000311: DUP2 00000312: MSTORE 00000313: PUSH1 0x04 00000315: ADD 00000316: PUSH2 0x012b 00000319: SWAP1 0000031a: PUSH2 0x08a5 0000031d: JUMP 0000031e: JUMPDEST 0000031f: PUSH1 0x00 00000321: DUP1 00000322: SLOAD 00000323: PUSH1 0x01 00000325: PUSH1 0x01 00000327: PUSH1 0xa0 00000329: SHL 0000032a: SUB 0000032b: NOT 0000032c: AND 0000032d: PUSH1 0x01 0000032f: PUSH1 0x01 00000331: PUSH1 0xa0 00000333: SHL 00000334: SUB 00000335: DUP4 00000336: DUP2 00000337: AND 00000338: SWAP2 00000339: SWAP1 0000033a: SWAP2 0000033b: OR 0000033c: DUP1 0000033d: DUP4 0000033e: SSTORE 0000033f: PUSH1 0x40 00000341: MLOAD 00000342: SWAP2 00000343: AND 00000344: SWAP2 00000345: PUSH32 0x1abebea81bfa2637f28358c371278fb15ede7ea8dd28d2e03b112ff6d936ada4 00000366: SWAP2 00000367: LOG2 00000368: POP 00000369: JUMP 0000036a: JUMPDEST 0000036b: PUSH1 0x01 0000036d: SLOAD 0000036e: PUSH1 0x01 00000370: PUSH1 0x01 00000372: PUSH1 0xa0 00000374: SHL 00000375: SUB 00000376: AND 00000377: DUP2 00000378: JUMP 00000379: JUMPDEST 0000037a: PUSH1 0x00 0000037c: SLOAD 0000037d: PUSH1 0x01 0000037f: PUSH1 0x01 00000381: PUSH1 0xa0 00000383: SHL 00000384: SUB 00000385: AND 00000386: DUP2 00000387: JUMP 00000388: JUMPDEST 00000389: PUSH1 0x00 0000038b: PUSH1 0x01 0000038d: PUSH1 0x01 0000038f: PUSH1 0xa0 00000391: SHL 00000392: SUB 00000393: DUP4 00000394: AND 00000395: ADDRESS 00000396: EQ 00000397: ISZERO 00000398: PUSH2 0x03a3 0000039b: JUMPI 0000039c: POP 0000039d: PUSH1 0x01 0000039f: PUSH2 0x0460 000003a2: JUMP 000003a3: JUMPDEST 000003a4: PUSH1 0x01 000003a6: SLOAD 000003a7: PUSH1 0x01 000003a9: PUSH1 0x01 000003ab: PUSH1 0xa0 000003ad: SHL 000003ae: SUB 000003af: DUP5 000003b0: DUP2 000003b1: AND 000003b2: SWAP2 000003b3: AND 000003b4: EQ 000003b5: ISZERO 000003b6: PUSH2 0x03c1 000003b9: JUMPI 000003ba: POP 000003bb: PUSH1 0x01 000003bd: PUSH2 0x0460 000003c0: JUMP 000003c1: JUMPDEST 000003c2: PUSH1 0x00 000003c4: SLOAD 000003c5: PUSH1 0x01 000003c7: PUSH1 0x01 000003c9: PUSH1 0xa0 000003cb: SHL 000003cc: SUB 000003cd: AND 000003ce: PUSH2 0x03d9 000003d1: JUMPI 000003d2: POP 000003d3: PUSH1 0x00 000003d5: PUSH2 0x0460 000003d8: JUMP 000003d9: JUMPDEST 000003da: PUSH1 0x00 000003dc: SLOAD 000003dd: PUSH1 0x40 000003df: MLOAD 000003e0: PUSH4 0xb7009613 000003e5: PUSH1 0xe0 000003e7: SHL 000003e8: DUP2 000003e9: MSTORE 000003ea: PUSH1 0x01 000003ec: PUSH1 0x01 000003ee: PUSH1 0xa0 000003f0: SHL 000003f1: SUB 000003f2: SWAP1 000003f3: SWAP2 000003f4: AND 000003f5: SWAP1 000003f6: PUSH4 0xb7009613 000003fb: SWAP1 000003fc: PUSH2 0x040d 000003ff: SWAP1 00000400: DUP7 00000401: SWAP1 00000402: ADDRESS 00000403: SWAP1 00000404: DUP8 00000405: SWAP1 00000406: PUSH1 0x04 00000408: ADD 00000409: PUSH2 0x0861 0000040c: JUMP 0000040d: JUMPDEST 0000040e: PUSH1 0x20 00000410: PUSH1 0x40 00000412: MLOAD 00000413: DUP1 00000414: DUP4 00000415: SUB 00000416: DUP2 00000417: DUP7 00000418: DUP1 00000419: EXTCODESIZE 0000041a: ISZERO 0000041b: DUP1 0000041c: ISZERO 0000041d: PUSH2 0x0425 00000420: JUMPI 00000421: PUSH1 0x00 00000423: DUP1 00000424: REVERT 00000425: JUMPDEST 00000426: POP 00000427: GAS 00000428: STATICCALL 00000429: ISZERO 0000042a: DUP1 0000042b: ISZERO 0000042c: PUSH2 0x0439 0000042f: JUMPI 00000430: RETURNDATASIZE 00000431: PUSH1 0x00 00000433: DUP1 00000434: RETURNDATACOPY 00000435: RETURNDATASIZE 00000436: PUSH1 0x00 00000438: REVERT 00000439: JUMPDEST 0000043a: POP 0000043b: POP 0000043c: POP 0000043d: POP 0000043e: PUSH1 0x40 00000440: MLOAD 00000441: RETURNDATASIZE 00000442: PUSH1 0x1f 00000444: NOT 00000445: PUSH1 0x1f 00000447: DUP3 00000448: ADD 00000449: AND 0000044a: DUP3 0000044b: ADD 0000044c: DUP1 0000044d: PUSH1 0x40 0000044f: MSTORE 00000450: POP 00000451: PUSH2 0x045d 00000454: SWAP2 00000455: SWAP1 00000456: DUP2 00000457: ADD 00000458: SWAP1 00000459: PUSH2 0x06e7 0000045c: JUMP 0000045d: JUMPDEST 0000045e: SWAP1 0000045f: POP 00000460: JUMPDEST 00000461: SWAP3 00000462: SWAP2 00000463: POP 00000464: POP 00000465: JUMP 00000466: JUMPDEST 00000467: DUP1 00000468: CALLDATALOAD 00000469: PUSH2 0x0460 0000046c: DUP2 0000046d: PUSH2 0x09ee 00000470: JUMP 00000471: JUMPDEST 00000472: PUSH1 0x00 00000474: DUP3 00000475: PUSH1 0x1f 00000477: DUP4 00000478: ADD 00000479: SLT 0000047a: PUSH2 0x0482 0000047d: JUMPI 0000047e: PUSH1 0x00 00000480: DUP1 00000481: REVERT 00000482: JUMPDEST 00000483: DUP2 00000484: CALLDATALOAD 00000485: PUSH2 0x0495 00000488: PUSH2 0x0490 0000048b: DUP3 0000048c: PUSH2 0x0916 0000048f: JUMP 00000490: JUMPDEST 00000491: PUSH2 0x08ef 00000494: JUMP 00000495: JUMPDEST 00000496: SWAP2 00000497: POP 00000498: DUP2 00000499: DUP2 0000049a: DUP4 0000049b: MSTORE 0000049c: PUSH1 0x20 0000049e: DUP5 0000049f: ADD 000004a0: SWAP4 000004a1: POP 000004a2: PUSH1 0x20 000004a4: DUP2 000004a5: ADD 000004a6: SWAP1 000004a7: POP 000004a8: DUP4 000004a9: DUP6 000004aa: PUSH1 0x20 000004ac: DUP5 000004ad: MUL 000004ae: DUP3 000004af: ADD 000004b0: GT 000004b1: ISZERO 000004b2: PUSH2 0x04ba 000004b5: JUMPI 000004b6: PUSH1 0x00 000004b8: DUP1 000004b9: REVERT 000004ba: JUMPDEST 000004bb: PUSH1 0x00 000004bd: JUMPDEST 000004be: DUP4 000004bf: DUP2 000004c0: LT 000004c1: ISZERO 000004c2: PUSH2 0x04e6 000004c5: JUMPI 000004c6: DUP2 000004c7: PUSH2 0x04d0 000004ca: DUP9 000004cb: DUP3 000004cc: PUSH2 0x0466 000004cf: JUMP 000004d0: JUMPDEST 000004d1: DUP5 000004d2: MSTORE 000004d3: POP 000004d4: PUSH1 0x20 000004d6: SWAP3 000004d7: DUP4 000004d8: ADD 000004d9: SWAP3 000004da: SWAP2 000004db: SWAP1 000004dc: SWAP2 000004dd: ADD 000004de: SWAP1 000004df: PUSH1 0x01 000004e1: ADD 000004e2: PUSH2 0x04bd 000004e5: JUMP 000004e6: JUMPDEST 000004e7: POP 000004e8: POP 000004e9: POP 000004ea: POP 000004eb: SWAP3 000004ec: SWAP2 000004ed: POP 000004ee: POP 000004ef: JUMP 000004f0: JUMPDEST 000004f1: PUSH1 0x00 000004f3: DUP3 000004f4: PUSH1 0x1f 000004f6: DUP4 000004f7: ADD 000004f8: SLT 000004f9: PUSH2 0x0501 000004fc: JUMPI 000004fd: PUSH1 0x00 000004ff: DUP1 00000500: REVERT 00000501: JUMPDEST 00000502: DUP2 00000503: CALLDATALOAD 00000504: PUSH2 0x050f 00000507: PUSH2 0x0490 0000050a: DUP3 0000050b: PUSH2 0x0916 0000050e: JUMP 0000050f: JUMPDEST 00000510: DUP2 00000511: DUP2 00000512: MSTORE 00000513: PUSH1 0x20 00000515: SWAP4 00000516: DUP5 00000517: ADD 00000518: SWAP4 00000519: SWAP1 0000051a: SWAP3 0000051b: POP 0000051c: DUP3 0000051d: ADD 0000051e: DUP4 0000051f: PUSH1 0x00 00000521: JUMPDEST 00000522: DUP4 00000523: DUP2 00000524: LT 00000525: ISZERO 00000526: PUSH2 0x04e6 00000529: JUMPI 0000052a: DUP2 0000052b: CALLDATALOAD 0000052c: DUP7 0000052d: ADD 0000052e: PUSH2 0x0537 00000531: DUP9 00000532: DUP3 00000533: PUSH2 0x05c8 00000536: JUMP 00000537: JUMPDEST 00000538: DUP5 00000539: MSTORE 0000053a: POP 0000053b: PUSH1 0x20 0000053d: SWAP3 0000053e: DUP4 0000053f: ADD 00000540: SWAP3 00000541: SWAP2 00000542: SWAP1 00000543: SWAP2 00000544: ADD 00000545: SWAP1 00000546: PUSH1 0x01 00000548: ADD 00000549: PUSH2 0x0521 0000054c: JUMP 0000054d: JUMPDEST 0000054e: PUSH1 0x00 00000550: DUP3 00000551: PUSH1 0x1f 00000553: DUP4 00000554: ADD 00000555: SLT 00000556: PUSH2 0x055e 00000559: JUMPI 0000055a: PUSH1 0x00 0000055c: DUP1 0000055d: REVERT 0000055e: JUMPDEST 0000055f: DUP2 00000560: CALLDATALOAD 00000561: PUSH2 0x056c 00000564: PUSH2 0x0490 00000567: DUP3 00000568: PUSH2 0x0916 0000056b: JUMP 0000056c: JUMPDEST 0000056d: SWAP2 0000056e: POP 0000056f: DUP2 00000570: DUP2 00000571: DUP4 00000572: MSTORE 00000573: PUSH1 0x20 00000575: DUP5 00000576: ADD 00000577: SWAP4 00000578: POP 00000579: PUSH1 0x20 0000057b: DUP2 0000057c: ADD 0000057d: SWAP1 0000057e: POP 0000057f: DUP4 00000580: DUP6 00000581: PUSH1 0x20 00000583: DUP5 00000584: MUL 00000585: DUP3 00000586: ADD 00000587: GT 00000588: ISZERO 00000589: PUSH2 0x0591 0000058c: JUMPI 0000058d: PUSH1 0x00 0000058f: DUP1 00000590: REVERT 00000591: JUMPDEST 00000592: PUSH1 0x00 00000594: JUMPDEST 00000595: DUP4 00000596: DUP2 00000597: LT 00000598: ISZERO 00000599: PUSH2 0x04e6 0000059c: JUMPI 0000059d: DUP2 0000059e: PUSH2 0x05a7 000005a1: DUP9 000005a2: DUP3 000005a3: PUSH2 0x0622 000005a6: JUMP 000005a7: JUMPDEST 000005a8: DUP5 000005a9: MSTORE 000005aa: POP 000005ab: PUSH1 0x20 000005ad: SWAP3 000005ae: DUP4 000005af: ADD 000005b0: SWAP3 000005b1: SWAP2 000005b2: SWAP1 000005b3: SWAP2 000005b4: ADD 000005b5: SWAP1 000005b6: PUSH1 0x01 000005b8: ADD 000005b9: PUSH2 0x0594 000005bc: JUMP 000005bd: JUMPDEST 000005be: DUP1 000005bf: MLOAD 000005c0: PUSH2 0x0460 000005c3: DUP2 000005c4: PUSH2 0x0a05 000005c7: JUMP 000005c8: JUMPDEST 000005c9: PUSH1 0x00 000005cb: DUP3 000005cc: PUSH1 0x1f 000005ce: DUP4 000005cf: ADD 000005d0: SLT 000005d1: PUSH2 0x05d9 000005d4: JUMPI 000005d5: PUSH1 0x00 000005d7: DUP1 000005d8: REVERT 000005d9: JUMPDEST 000005da: DUP2 000005db: CALLDATALOAD 000005dc: PUSH2 0x05e7 000005df: PUSH2 0x0490 000005e2: DUP3 000005e3: PUSH2 0x0937 000005e6: JUMP 000005e7: JUMPDEST 000005e8: SWAP2 000005e9: POP 000005ea: DUP1 000005eb: DUP3 000005ec: MSTORE 000005ed: PUSH1 0x20 000005ef: DUP4 000005f0: ADD 000005f1: PUSH1 0x20 000005f3: DUP4 000005f4: ADD 000005f5: DUP6 000005f6: DUP4 000005f7: DUP4 000005f8: ADD 000005f9: GT 000005fa: ISZERO 000005fb: PUSH2 0x0603 000005fe: JUMPI 000005ff: PUSH1 0x00 00000601: DUP1 00000602: REVERT 00000603: JUMPDEST 00000604: PUSH2 0x060e 00000607: DUP4 00000608: DUP3 00000609: DUP5 0000060a: PUSH2 0x09a8 0000060d: JUMP 0000060e: JUMPDEST 0000060f: POP 00000610: POP 00000611: POP 00000612: SWAP3 00000613: SWAP2 00000614: POP 00000615: POP 00000616: JUMP 00000617: JUMPDEST 00000618: DUP1 00000619: CALLDATALOAD 0000061a: PUSH2 0x0460 0000061d: DUP2 0000061e: PUSH2 0x0a0e 00000621: JUMP 00000622: JUMPDEST 00000623: DUP1 00000624: CALLDATALOAD 00000625: PUSH2 0x0460 00000628: DUP2 00000629: PUSH2 0x0a17 0000062c: JUMP 0000062d: JUMPDEST 0000062e: PUSH1 0x00 00000630: PUSH1 0x20 00000632: DUP3 00000633: DUP5 00000634: SUB 00000635: SLT 00000636: ISZERO 00000637: PUSH2 0x063f 0000063a: JUMPI 0000063b: PUSH1 0x00 0000063d: DUP1 0000063e: REVERT 0000063f: JUMPDEST 00000640: PUSH1 0x00 00000642: PUSH2 0x064b 00000645: DUP5 00000646: DUP5 00000647: PUSH2 0x0466 0000064a: JUMP 0000064b: JUMPDEST 0000064c: SWAP5 0000064d: SWAP4 0000064e: POP 0000064f: POP 00000650: POP 00000651: POP 00000652: JUMP 00000653: JUMPDEST 00000654: PUSH1 0x00 00000656: DUP1 00000657: PUSH1 0x00 00000659: PUSH1 0x60 0000065b: DUP5 0000065c: DUP7 0000065d: SUB 0000065e: SLT 0000065f: ISZERO 00000660: PUSH2 0x0668 00000663: JUMPI 00000664: PUSH1 0x00 00000666: DUP1 00000667: REVERT 00000668: JUMPDEST 00000669: DUP4 0000066a: CALLDATALOAD 0000066b: PUSH8 0xffffffffffffffff 00000674: DUP2 00000675: GT 00000676: ISZERO 00000677: PUSH2 0x067f 0000067a: JUMPI 0000067b: PUSH1 0x00 0000067d: DUP1 0000067e: REVERT 0000067f: JUMPDEST 00000680: PUSH2 0x068b 00000683: DUP7 00000684: DUP3 00000685: DUP8 00000686: ADD 00000687: PUSH2 0x0471 0000068a: JUMP 0000068b: JUMPDEST 0000068c: SWAP4 0000068d: POP 0000068e: POP 0000068f: PUSH1 0x20 00000691: DUP5 00000692: ADD 00000693: CALLDATALOAD 00000694: PUSH8 0xffffffffffffffff 0000069d: DUP2 0000069e: GT 0000069f: ISZERO 000006a0: PUSH2 0x06a8 000006a3: JUMPI 000006a4: PUSH1 0x00 000006a6: DUP1 000006a7: REVERT 000006a8: JUMPDEST 000006a9: PUSH2 0x06b4 000006ac: DUP7 000006ad: DUP3 000006ae: DUP8 000006af: ADD 000006b0: PUSH2 0x054d 000006b3: JUMP 000006b4: JUMPDEST 000006b5: SWAP3 000006b6: POP 000006b7: POP 000006b8: PUSH1 0x40 000006ba: DUP5 000006bb: ADD 000006bc: CALLDATALOAD 000006bd: PUSH8 0xffffffffffffffff 000006c6: DUP2 000006c7: GT 000006c8: ISZERO 000006c9: PUSH2 0x06d1 000006cc: JUMPI 000006cd: PUSH1 0x00 000006cf: DUP1 000006d0: REVERT 000006d1: JUMPDEST 000006d2: PUSH2 0x06dd 000006d5: DUP7 000006d6: DUP3 000006d7: DUP8 000006d8: ADD 000006d9: PUSH2 0x04f0 000006dc: JUMP 000006dd: JUMPDEST 000006de: SWAP2 000006df: POP 000006e0: POP 000006e1: SWAP3 000006e2: POP 000006e3: SWAP3 000006e4: POP 000006e5: SWAP3 000006e6: JUMP 000006e7: JUMPDEST 000006e8: PUSH1 0x00 000006ea: PUSH1 0x20 000006ec: DUP3 000006ed: DUP5 000006ee: SUB 000006ef: SLT 000006f0: ISZERO 000006f1: PUSH2 0x06f9 000006f4: JUMPI 000006f5: PUSH1 0x00 000006f7: DUP1 000006f8: REVERT 000006f9: JUMPDEST 000006fa: PUSH1 0x00 000006fc: PUSH2 0x064b 000006ff: DUP5 00000700: DUP5 00000701: PUSH2 0x05bd 00000704: JUMP 00000705: JUMPDEST 00000706: PUSH1 0x00 00000708: PUSH1 0x20 0000070a: DUP3 0000070b: DUP5 0000070c: SUB 0000070d: SLT 0000070e: ISZERO 0000070f: PUSH2 0x0717 00000712: JUMPI 00000713: PUSH1 0x00 00000715: DUP1 00000716: REVERT 00000717: JUMPDEST 00000718: PUSH1 0x00 0000071a: PUSH2 0x064b 0000071d: DUP5 0000071e: DUP5 0000071f: PUSH2 0x0617 00000722: JUMP 00000723: JUMPDEST 00000724: PUSH2 0x072c 00000727: DUP2 00000728: PUSH2 0x0971 0000072b: JUMP 0000072c: JUMPDEST 0000072d: DUP3 0000072e: MSTORE 0000072f: POP 00000730: POP 00000731: JUMP 00000732: JUMPDEST 00000733: PUSH2 0x072c 00000736: DUP2 00000737: PUSH2 0x097c 0000073a: JUMP 0000073b: JUMPDEST 0000073c: PUSH2 0x072c 0000073f: DUP2 00000740: PUSH2 0x0981 00000743: JUMP 00000744: JUMPDEST 00000745: PUSH1 0x00 00000747: PUSH2 0x0750 0000074a: DUP4 0000074b: DUP6 0000074c: PUSH2 0x0963 0000074f: JUMP 00000750: JUMPDEST 00000751: SWAP4 00000752: POP 00000753: PUSH2 0x075d 00000756: DUP4 00000757: DUP6 00000758: DUP5 00000759: PUSH2 0x09a8 0000075c: JUMP 0000075d: JUMPDEST 0000075e: PUSH2 0x0766 00000761: DUP4 00000762: PUSH2 0x09e4 00000765: JUMP 00000766: JUMPDEST 00000767: SWAP1 00000768: SWAP4 00000769: ADD 0000076a: SWAP4 0000076b: SWAP3 0000076c: POP 0000076d: POP 0000076e: POP 0000076f: JUMP 00000770: JUMPDEST 00000771: PUSH1 0x00 00000773: PUSH2 0x077b 00000776: DUP3 00000777: PUSH2 0x095f 0000077a: JUMP 0000077b: JUMPDEST 0000077c: PUSH2 0x0785 0000077f: DUP2 00000780: DUP6 00000781: PUSH2 0x096c 00000784: JUMP 00000785: JUMPDEST 00000786: SWAP4 00000787: POP 00000788: PUSH2 0x0795 0000078b: DUP2 0000078c: DUP6 0000078d: PUSH1 0x20 0000078f: DUP7 00000790: ADD 00000791: PUSH2 0x09b4 00000794: JUMP 00000795: JUMPDEST 00000796: SWAP3 00000797: SWAP1 00000798: SWAP3 00000799: ADD 0000079a: SWAP3 0000079b: SWAP2 0000079c: POP 0000079d: POP 0000079e: JUMP 0000079f: JUMPDEST 000007a0: PUSH2 0x072c 000007a3: DUP2 000007a4: PUSH2 0x098e 000007a7: JUMP 000007a8: JUMPDEST 000007a9: PUSH1 0x00 000007ab: PUSH2 0x07b5 000007ae: PUSH1 0x14 000007b0: DUP4 000007b1: PUSH2 0x0963 000007b4: JUMP 000007b5: JUMPDEST 000007b6: PUSH20 0x191ccb585d5d1a0b5d5b985d5d1a1bdc9a5e9959 000007cb: PUSH1 0x62 000007cd: SHL 000007ce: DUP2 000007cf: MSTORE 000007d0: PUSH1 0x20 000007d2: ADD 000007d3: SWAP3 000007d4: SWAP2 000007d5: POP 000007d6: POP 000007d7: JUMP 000007d8: JUMPDEST 000007d9: PUSH1 0x00 000007db: PUSH2 0x07e5 000007de: PUSH1 0x3b 000007e0: DUP4 000007e1: PUSH2 0x0963 000007e4: JUMP 000007e5: JUMPDEST 000007e6: PUSH32 0x52657665727420426c6f636b3a205472616e73616374696f6e20776173207265 00000807: DUP2 00000808: MSTORE 00000809: PUSH32 0x766572746564206279207468652072657665727420626c6f636b2e0000000000 0000082a: PUSH1 0x20 0000082c: DUP3 0000082d: ADD 0000082e: MSTORE 0000082f: PUSH1 0x40 00000831: ADD 00000832: SWAP3 00000833: SWAP2 00000834: POP 00000835: POP 00000836: JUMP 00000837: JUMPDEST 00000838: PUSH2 0x072c 0000083b: DUP2 0000083c: PUSH2 0x09a5 0000083f: JUMP 00000840: JUMPDEST 00000841: PUSH1 0x00 00000843: PUSH2 0x084c 00000846: DUP3 00000847: DUP5 00000848: PUSH2 0x0770 0000084b: JUMP 0000084c: JUMPDEST 0000084d: SWAP4 0000084e: SWAP3 0000084f: POP 00000850: POP 00000851: POP 00000852: JUMP 00000853: JUMPDEST 00000854: PUSH1 0x20 00000856: DUP2 00000857: ADD 00000858: PUSH2 0x0460 0000085b: DUP3 0000085c: DUP5 0000085d: PUSH2 0x0723 00000860: JUMP 00000861: JUMPDEST 00000862: PUSH1 0x60 00000864: DUP2 00000865: ADD 00000866: PUSH2 0x086f 00000869: DUP3 0000086a: DUP7 0000086b: PUSH2 0x0723 0000086e: JUMP 0000086f: JUMPDEST 00000870: PUSH2 0x087c 00000873: PUSH1 0x20 00000875: DUP4 00000876: ADD 00000877: DUP6 00000878: PUSH2 0x0723 0000087b: JUMP 0000087c: JUMPDEST 0000087d: PUSH2 0x064b 00000880: PUSH1 0x40 00000882: DUP4 00000883: ADD 00000884: DUP5 00000885: PUSH2 0x073b 00000888: JUMP 00000889: JUMPDEST 0000088a: PUSH1 0x20 0000088c: DUP2 0000088d: ADD 0000088e: PUSH2 0x0460 00000891: DUP3 00000892: DUP5 00000893: PUSH2 0x0732 00000896: JUMP 00000897: JUMPDEST 00000898: PUSH1 0x20 0000089a: DUP2 0000089b: ADD 0000089c: PUSH2 0x0460 0000089f: DUP3 000008a0: DUP5 000008a1: PUSH2 0x079f 000008a4: JUMP 000008a5: JUMPDEST 000008a6: PUSH1 0x20 000008a8: DUP1 000008a9: DUP3 000008aa: MSTORE 000008ab: DUP2 000008ac: ADD 000008ad: PUSH2 0x0460 000008b0: DUP2 000008b1: PUSH2 0x07a8 000008b4: JUMP 000008b5: JUMPDEST 000008b6: PUSH1 0x20 000008b8: DUP1 000008b9: DUP3 000008ba: MSTORE 000008bb: DUP2 000008bc: ADD 000008bd: PUSH2 0x0460 000008c0: DUP2 000008c1: PUSH2 0x07d8 000008c4: JUMP 000008c5: JUMPDEST 000008c6: PUSH1 0x40 000008c8: DUP2 000008c9: ADD 000008ca: PUSH2 0x08d3 000008cd: DUP3 000008ce: DUP7 000008cf: PUSH2 0x0837 000008d2: JUMP 000008d3: JUMPDEST 000008d4: DUP2 000008d5: DUP2 000008d6: SUB 000008d7: PUSH1 0x20 000008d9: DUP4 000008da: ADD 000008db: MSTORE 000008dc: PUSH2 0x08e6 000008df: DUP2 000008e0: DUP5 000008e1: DUP7 000008e2: PUSH2 0x0744 000008e5: JUMP 000008e6: JUMPDEST 000008e7: SWAP6 000008e8: SWAP5 000008e9: POP 000008ea: POP 000008eb: POP 000008ec: POP 000008ed: POP 000008ee: JUMP 000008ef: JUMPDEST 000008f0: PUSH1 0x40 000008f2: MLOAD 000008f3: DUP2 000008f4: DUP2 000008f5: ADD 000008f6: PUSH8 0xffffffffffffffff 000008ff: DUP2 00000900: GT 00000901: DUP3 00000902: DUP3 00000903: LT 00000904: OR 00000905: ISZERO 00000906: PUSH2 0x090e 00000909: JUMPI 0000090a: PUSH1 0x00 0000090c: DUP1 0000090d: REVERT 0000090e: JUMPDEST 0000090f: PUSH1 0x40 00000911: MSTORE 00000912: SWAP2 00000913: SWAP1 00000914: POP 00000915: JUMP 00000916: JUMPDEST 00000917: PUSH1 0x00 00000919: PUSH8 0xffffffffffffffff 00000922: DUP3 00000923: GT 00000924: ISZERO 00000925: PUSH2 0x092d 00000928: JUMPI 00000929: PUSH1 0x00 0000092b: DUP1 0000092c: REVERT 0000092d: JUMPDEST 0000092e: POP 0000092f: PUSH1 0x20 00000931: SWAP1 00000932: DUP2 00000933: MUL 00000934: ADD 00000935: SWAP1 00000936: JUMP 00000937: JUMPDEST 00000938: PUSH1 0x00 0000093a: PUSH8 0xffffffffffffffff 00000943: DUP3 00000944: GT 00000945: ISZERO 00000946: PUSH2 0x094e 00000949: JUMPI 0000094a: PUSH1 0x00 0000094c: DUP1 0000094d: REVERT 0000094e: JUMPDEST 0000094f: POP 00000950: PUSH1 0x20 00000952: PUSH1 0x1f 00000954: SWAP2 00000955: SWAP1 00000956: SWAP2 00000957: ADD 00000958: PUSH1 0x1f 0000095a: NOT 0000095b: AND 0000095c: ADD 0000095d: SWAP1 0000095e: JUMP 0000095f: JUMPDEST 00000960: MLOAD 00000961: SWAP1 00000962: JUMP 00000963: JUMPDEST 00000964: SWAP1 00000965: DUP2 00000966: MSTORE 00000967: PUSH1 0x20 00000969: ADD 0000096a: SWAP1 0000096b: JUMP 0000096c: JUMPDEST 0000096d: SWAP2 0000096e: SWAP1 0000096f: POP 00000970: JUMP 00000971: JUMPDEST 00000972: PUSH1 0x00 00000974: PUSH2 0x0460 00000977: DUP3 00000978: PUSH2 0x0999 0000097b: JUMP 0000097c: JUMPDEST 0000097d: ISZERO 0000097e: ISZERO 0000097f: SWAP1 00000980: JUMP 00000981: JUMPDEST 00000982: PUSH1 0x01 00000984: PUSH1 0x01 00000986: PUSH1 0xe0 00000988: SHL 00000989: SUB 0000098a: NOT 0000098b: AND 0000098c: SWAP1 0000098d: JUMP 0000098e: JUMPDEST 0000098f: PUSH1 0x00 00000991: PUSH2 0x0460 00000994: DUP3 00000995: PUSH2 0x0971 00000998: JUMP 00000999: JUMPDEST 0000099a: PUSH1 0x01 0000099c: PUSH1 0x01 0000099e: PUSH1 0xa0 000009a0: SHL 000009a1: SUB 000009a2: AND 000009a3: SWAP1 000009a4: JUMP 000009a5: JUMPDEST 000009a6: SWAP1 000009a7: JUMP 000009a8: JUMPDEST 000009a9: DUP3 000009aa: DUP2 000009ab: DUP4 000009ac: CALLDATACOPY 000009ad: POP 000009ae: PUSH1 0x00 000009b0: SWAP2 000009b1: ADD 000009b2: MSTORE 000009b3: JUMP 000009b4: JUMPDEST 000009b5: PUSH1 0x00 000009b7: JUMPDEST 000009b8: DUP4 000009b9: DUP2 000009ba: LT 000009bb: ISZERO 000009bc: PUSH2 0x09cf 000009bf: JUMPI 000009c0: DUP2 000009c1: DUP2 000009c2: ADD 000009c3: MLOAD 000009c4: DUP4 000009c5: DUP3 000009c6: ADD 000009c7: MSTORE 000009c8: PUSH1 0x20 000009ca: ADD 000009cb: PUSH2 0x09b7 000009ce: JUMP 000009cf: JUMPDEST 000009d0: DUP4 000009d1: DUP2 000009d2: GT 000009d3: ISZERO 000009d4: PUSH2 0x09de 000009d7: JUMPI 000009d8: PUSH1 0x00 000009da: DUP5 000009db: DUP5 000009dc: ADD 000009dd: MSTORE 000009de: JUMPDEST 000009df: POP 000009e0: POP 000009e1: POP 000009e2: POP 000009e3: JUMP 000009e4: JUMPDEST 000009e5: PUSH1 0x1f 000009e7: ADD 000009e8: PUSH1 0x1f 000009ea: NOT 000009eb: AND 000009ec: SWAP1 000009ed: JUMP 000009ee: JUMPDEST 000009ef: PUSH2 0x09f7 000009f2: DUP2 000009f3: PUSH2 0x0971 000009f6: JUMP 000009f7: JUMPDEST 000009f8: DUP2 000009f9: EQ 000009fa: PUSH2 0x0a02 000009fd: JUMPI 000009fe: PUSH1 0x00 00000a00: DUP1 00000a01: REVERT 00000a02: JUMPDEST 00000a03: POP 00000a04: JUMP 00000a05: JUMPDEST 00000a06: PUSH2 0x09f7 00000a09: DUP2 00000a0a: PUSH2 0x097c 00000a0d: JUMP 00000a0e: JUMPDEST 00000a0f: PUSH2 0x09f7 00000a12: DUP2 00000a13: PUSH2 0x098e 00000a16: JUMP 00000a17: JUMPDEST 00000a18: PUSH2 0x09f7 00000a1b: DUP2 00000a1c: PUSH2 0x09a5 00000a1f: JUMP 00000a20: INVALID 00000a21: LOG3 00000a22: PUSH6 0x627a7a723158 00000a29: KECCAK256 00000a2a: UNKNOWN(0x0F) 00000a2b: GAS 00000a2c: BLOCKHASH 00000a2d: UNKNOWN(0x4C) 00000a2e: MSTORE 00000a2f: ORIGIN 00000a30: AND 00000a31: CODECOPY 00000a32: REVERT 00000a33: SELFDESTRUCT 00000a34: UNKNOWN(0x4F) 00000a35: UNKNOWN(0xB6) 00000a36: PUSH20 0x63c14349c0273d5c023fa7be4a6ded0fb90e426c 00000a4b: PUSH6 0x78706572696d 00000a52: PUSH6 0x6e74616cf564 00000a59: PUSH20
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2a517504",
"selector": "0x2a517504",
"calldata_variants": [
"0x2a517504",
"0x2a5175040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7a9e5e4b",
"selector": "0x7a9e5e4b",
"calldata_variants": [
"0x7a9e5e4b",
"0x7a9e5e4b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf7e214f",
"selector": "0xbf7e214f",
"calldata_variants": [
"0xbf7e214f",
"0xbf7e214f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 2607,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x9842e476720e571a61ece247cfda89528ffe79347e4dd014bf98f67a9eb66365
call_targets:
0xdb83ca380a05ae5597a3f06fb29e1c9d38188baf
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9842e476720e571a61ece247cfda89528ffe79347e4dd014bf98f67a9eb66365",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xdb83ca380a05ae5597a3f06fb29e1c9d38188baf"
],
"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": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2a517504",
"selector": "0x2a517504",
"calldata_variants": [
"0x2a517504",
"0x2a5175040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7a9e5e4b",
"selector": "0x7a9e5e4b",
"calldata_variants": [
"0x7a9e5e4b",
"0x7a9e5e4b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf7e214f",
"selector": "0xbf7e214f",
"calldata_variants": [
"0xbf7e214f",
"0xbf7e214f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 655,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 2607,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x9842e476720e571a61ece247cfda89528ffe79347e4dd014bf98f67a9eb66365
call_targets:
0xdb83ca380a05ae5597a3f06fb29e1c9d38188baf
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9842e476720e571a61ece247cfda89528ffe79347e4dd014bf98f67a9eb66365",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xdb83ca380a05ae5597a3f06fb29e1c9d38188baf"
],
"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": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2a517504",
"selector": "0x2a517504",
"calldata_variants": [
"0x2a517504",
"0x2a5175040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7a9e5e4b",
"selector": "0x7a9e5e4b",
"calldata_variants": [
"0x7a9e5e4b",
"0x7a9e5e4b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf7e214f",
"selector": "0xbf7e214f",
"calldata_variants": [
"0xbf7e214f",
"0xbf7e214f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 655,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 2607,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0xb1b4e7f00c6725d1050f80da15d0a863b22c500e64f00eccae1ff1e2ec3bfa47
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 10,
"trace_id": "0xb1b4e7f00c6725d1050f80da15d0a863b22c500e64f00eccae1ff1e2ec3bfa47",
"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": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2a517504",
"selector": "0x2a517504",
"calldata_variants": [
"0x2a517504",
"0x2a5175040000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7a9e5e4b",
"selector": "0x7a9e5e4b",
"calldata_variants": [
"0x7a9e5e4b",
"0x7a9e5e4b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf7e214f",
"selector": "0xbf7e214f",
"calldata_variants": [
"0xbf7e214f",
"0xbf7e214f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 2607,
"type": "tx_origin_used"
}
],
"selfdestruct_count": 1
}
|