019b477e-bf48-7183-80fa-c8cb5b7008be
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 |
|---|---|---|---|---|
| 24511 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24512 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 67650 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 67651 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 67652 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 67653 | 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 0x0059 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x5c975abb 00000019: EQ 0000001a: PUSH2 0x009b 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x715018a6 00000024: EQ 00000025: PUSH2 0x00c4 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x8da5cb5b 0000002f: EQ 00000030: PUSH2 0x00db 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xbfd7ffe7 0000003a: EQ 0000003b: PUSH2 0x010c 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xed12e8ef 00000045: EQ 00000046: PUSH2 0x0145 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x016c 00000054: JUMPI 00000055: PUSH2 0x0096 00000058: JUMP 00000059: JUMPDEST 0000005a: CALLDATASIZE 0000005b: PUSH2 0x0096 0000005e: JUMPI 0000005f: PUSH1 0x40 00000061: DUP1 00000062: MLOAD 00000063: CALLVALUE 00000064: DUP2 00000065: MSTORE 00000066: SWAP1 00000067: MLOAD 00000068: CALLER 00000069: SWAP2 0000006a: PUSH32 0x0de0271e0148b63e6b759917905b6ae5d995f6081392a30b9fa9e23bb4fb9871 0000008b: SWAP2 0000008c: SWAP1 0000008d: DUP2 0000008e: SWAP1 0000008f: SUB 00000090: PUSH1 0x20 00000092: ADD 00000093: SWAP1 00000094: LOG2 00000095: STOP 00000096: JUMPDEST 00000097: PUSH1 0x00 00000099: DUP1 0000009a: REVERT 0000009b: JUMPDEST 0000009c: CALLVALUE 0000009d: DUP1 0000009e: ISZERO 0000009f: PUSH2 0x00a7 000000a2: JUMPI 000000a3: PUSH1 0x00 000000a5: DUP1 000000a6: REVERT 000000a7: JUMPDEST 000000a8: POP 000000a9: PUSH2 0x00b0 000000ac: PUSH2 0x019f 000000af: JUMP 000000b0: JUMPDEST 000000b1: PUSH1 0x40 000000b3: DUP1 000000b4: MLOAD 000000b5: SWAP2 000000b6: ISZERO 000000b7: ISZERO 000000b8: DUP3 000000b9: MSTORE 000000ba: MLOAD 000000bb: SWAP1 000000bc: DUP2 000000bd: SWAP1 000000be: SUB 000000bf: PUSH1 0x20 000000c1: ADD 000000c2: SWAP1 000000c3: RETURN 000000c4: JUMPDEST 000000c5: CALLVALUE 000000c6: DUP1 000000c7: ISZERO 000000c8: PUSH2 0x00d0 000000cb: JUMPI 000000cc: PUSH1 0x00 000000ce: DUP1 000000cf: REVERT 000000d0: JUMPDEST 000000d1: POP 000000d2: PUSH2 0x00d9 000000d5: PUSH2 0x01af 000000d8: JUMP 000000d9: JUMPDEST 000000da: STOP 000000db: JUMPDEST 000000dc: CALLVALUE 000000dd: DUP1 000000de: ISZERO 000000df: PUSH2 0x00e7 000000e2: JUMPI 000000e3: PUSH1 0x00 000000e5: DUP1 000000e6: REVERT 000000e7: JUMPDEST 000000e8: POP 000000e9: PUSH2 0x00f0 000000ec: PUSH2 0x025b 000000ef: JUMP 000000f0: JUMPDEST 000000f1: PUSH1 0x40 000000f3: DUP1 000000f4: MLOAD 000000f5: PUSH1 0x01 000000f7: PUSH1 0x01 000000f9: PUSH1 0xa0 000000fb: SHL 000000fc: SUB 000000fd: SWAP1 000000fe: SWAP3 000000ff: AND 00000100: DUP3 00000101: MSTORE 00000102: MLOAD 00000103: SWAP1 00000104: DUP2 00000105: SWAP1 00000106: SUB 00000107: PUSH1 0x20 00000109: ADD 0000010a: SWAP1 0000010b: RETURN 0000010c: JUMPDEST 0000010d: CALLVALUE 0000010e: DUP1 0000010f: ISZERO 00000110: PUSH2 0x0118 00000113: JUMPI 00000114: PUSH1 0x00 00000116: DUP1 00000117: REVERT 00000118: JUMPDEST 00000119: POP 0000011a: PUSH2 0x00d9 0000011d: PUSH1 0x04 0000011f: DUP1 00000120: CALLDATASIZE 00000121: SUB 00000122: PUSH1 0x40 00000124: DUP2 00000125: LT 00000126: ISZERO 00000127: PUSH2 0x012f 0000012a: JUMPI 0000012b: PUSH1 0x00 0000012d: DUP1 0000012e: REVERT 0000012f: JUMPDEST 00000130: POP 00000131: DUP1 00000132: CALLDATALOAD 00000133: SWAP1 00000134: PUSH1 0x20 00000136: ADD 00000137: CALLDATALOAD 00000138: PUSH1 0x01 0000013a: PUSH1 0x01 0000013c: PUSH1 0xa0 0000013e: SHL 0000013f: SUB 00000140: AND 00000141: PUSH2 0x026a 00000144: JUMP 00000145: JUMPDEST 00000146: CALLVALUE 00000147: DUP1 00000148: ISZERO 00000149: PUSH2 0x0151 0000014c: JUMPI 0000014d: PUSH1 0x00 0000014f: DUP1 00000150: REVERT 00000151: JUMPDEST 00000152: POP 00000153: PUSH2 0x015a 00000156: PUSH2 0x03a9 00000159: JUMP 0000015a: JUMPDEST 0000015b: PUSH1 0x40 0000015d: DUP1 0000015e: MLOAD 0000015f: SWAP2 00000160: DUP3 00000161: MSTORE 00000162: MLOAD 00000163: SWAP1 00000164: DUP2 00000165: SWAP1 00000166: SUB 00000167: PUSH1 0x20 00000169: ADD 0000016a: SWAP1 0000016b: RETURN 0000016c: JUMPDEST 0000016d: CALLVALUE 0000016e: DUP1 0000016f: ISZERO 00000170: PUSH2 0x0178 00000173: JUMPI 00000174: PUSH1 0x00 00000176: DUP1 00000177: REVERT 00000178: JUMPDEST 00000179: POP 0000017a: PUSH2 0x00d9 0000017d: PUSH1 0x04 0000017f: DUP1 00000180: CALLDATASIZE 00000181: SUB 00000182: PUSH1 0x20 00000184: DUP2 00000185: LT 00000186: ISZERO 00000187: PUSH2 0x018f 0000018a: JUMPI 0000018b: PUSH1 0x00 0000018d: DUP1 0000018e: REVERT 0000018f: JUMPDEST 00000190: POP 00000191: CALLDATALOAD 00000192: PUSH1 0x01 00000194: PUSH1 0x01 00000196: PUSH1 0xa0 00000198: SHL 00000199: SUB 0000019a: AND 0000019b: PUSH2 0x045f 0000019e: JUMP 0000019f: JUMPDEST 000001a0: PUSH1 0x00 000001a2: SLOAD 000001a3: PUSH1 0x01 000001a5: PUSH1 0xa0 000001a7: SHL 000001a8: SWAP1 000001a9: DIV 000001aa: PUSH1 0xff 000001ac: AND 000001ad: SWAP1 000001ae: JUMP 000001af: JUMPDEST 000001b0: PUSH2 0x01b7 000001b3: PUSH2 0x0561 000001b6: JUMP 000001b7: JUMPDEST 000001b8: PUSH1 0x01 000001ba: PUSH1 0x01 000001bc: PUSH1 0xa0 000001be: SHL 000001bf: SUB 000001c0: AND 000001c1: PUSH2 0x01c8 000001c4: PUSH2 0x025b 000001c7: JUMP 000001c8: JUMPDEST 000001c9: PUSH1 0x01 000001cb: PUSH1 0x01 000001cd: PUSH1 0xa0 000001cf: SHL 000001d0: SUB 000001d1: AND 000001d2: EQ 000001d3: PUSH2 0x0211 000001d6: JUMPI 000001d7: PUSH1 0x40 000001d9: DUP1 000001da: MLOAD 000001db: PUSH3 0x461bcd 000001df: PUSH1 0xe5 000001e1: SHL 000001e2: DUP2 000001e3: MSTORE 000001e4: PUSH1 0x20 000001e6: PUSH1 0x04 000001e8: DUP3 000001e9: ADD 000001ea: DUP2 000001eb: SWAP1 000001ec: MSTORE 000001ed: PUSH1 0x24 000001ef: DUP3 000001f0: ADD 000001f1: MSTORE 000001f2: PUSH1 0x00 000001f4: DUP1 000001f5: MLOAD 000001f6: PUSH1 0x20 000001f8: PUSH2 0x058c 000001fb: DUP4 000001fc: CODECOPY 000001fd: DUP2 000001fe: MLOAD 000001ff: SWAP2 00000200: MSTORE 00000201: PUSH1 0x44 00000203: DUP3 00000204: ADD 00000205: MSTORE 00000206: SWAP1 00000207: MLOAD 00000208: SWAP1 00000209: DUP2 0000020a: SWAP1 0000020b: SUB 0000020c: PUSH1 0x64 0000020e: ADD 0000020f: SWAP1 00000210: REVERT 00000211: JUMPDEST 00000212: PUSH1 0x00 00000214: DUP1 00000215: SLOAD 00000216: PUSH1 0x40 00000218: MLOAD 00000219: PUSH1 0x01 0000021b: PUSH1 0x01 0000021d: PUSH1 0xa0 0000021f: SHL 00000220: SUB 00000221: SWAP1 00000222: SWAP2 00000223: AND 00000224: SWAP1 00000225: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000246: SWAP1 00000247: DUP4 00000248: SWAP1 00000249: LOG3 0000024a: PUSH1 0x00 0000024c: DUP1 0000024d: SLOAD 0000024e: PUSH1 0x01 00000250: PUSH1 0x01 00000252: PUSH1 0xa0 00000254: SHL 00000255: SUB 00000256: NOT 00000257: AND 00000258: SWAP1 00000259: SSTORE 0000025a: JUMP 0000025b: JUMPDEST 0000025c: PUSH1 0x00 0000025e: SLOAD 0000025f: PUSH1 0x01 00000261: PUSH1 0x01 00000263: PUSH1 0xa0 00000265: SHL 00000266: SUB 00000267: AND 00000268: SWAP1 00000269: JUMP 0000026a: JUMPDEST 0000026b: PUSH2 0x0272 0000026e: PUSH2 0x0561 00000271: JUMP 00000272: JUMPDEST 00000273: PUSH1 0x01 00000275: PUSH1 0x01 00000277: PUSH1 0xa0 00000279: SHL 0000027a: SUB 0000027b: AND 0000027c: PUSH2 0x0283 0000027f: PUSH2 0x025b 00000282: JUMP 00000283: JUMPDEST 00000284: PUSH1 0x01 00000286: PUSH1 0x01 00000288: PUSH1 0xa0 0000028a: SHL 0000028b: SUB 0000028c: AND 0000028d: EQ 0000028e: PUSH2 0x02cc 00000291: JUMPI 00000292: PUSH1 0x40 00000294: DUP1 00000295: MLOAD 00000296: PUSH3 0x461bcd 0000029a: PUSH1 0xe5 0000029c: SHL 0000029d: DUP2 0000029e: MSTORE 0000029f: PUSH1 0x20 000002a1: PUSH1 0x04 000002a3: DUP3 000002a4: ADD 000002a5: DUP2 000002a6: SWAP1 000002a7: MSTORE 000002a8: PUSH1 0x24 000002aa: DUP3 000002ab: ADD 000002ac: MSTORE 000002ad: PUSH1 0x00 000002af: DUP1 000002b0: MLOAD 000002b1: PUSH1 0x20 000002b3: PUSH2 0x058c 000002b6: DUP4 000002b7: CODECOPY 000002b8: DUP2 000002b9: MLOAD 000002ba: SWAP2 000002bb: MSTORE 000002bc: PUSH1 0x44 000002be: DUP3 000002bf: ADD 000002c0: MSTORE 000002c1: SWAP1 000002c2: MLOAD 000002c3: SWAP1 000002c4: DUP2 000002c5: SWAP1 000002c6: SUB 000002c7: PUSH1 0x64 000002c9: ADD 000002ca: SWAP1 000002cb: REVERT 000002cc: JUMPDEST 000002cd: PUSH2 0x02d4 000002d0: PUSH2 0x019f 000002d3: JUMP 000002d4: JUMPDEST 000002d5: ISZERO 000002d6: PUSH2 0x0319 000002d9: JUMPI 000002da: PUSH1 0x40 000002dc: DUP1 000002dd: MLOAD 000002de: PUSH3 0x461bcd 000002e2: PUSH1 0xe5 000002e4: SHL 000002e5: DUP2 000002e6: MSTORE 000002e7: PUSH1 0x20 000002e9: PUSH1 0x04 000002eb: DUP3 000002ec: ADD 000002ed: MSTORE 000002ee: PUSH1 0x10 000002f0: PUSH1 0x24 000002f2: DUP3 000002f3: ADD 000002f4: MSTORE 000002f5: PUSH16 0x14185d5cd8589b194e881c185d5cd959 00000306: PUSH1 0x82 00000308: SHL 00000309: PUSH1 0x44 0000030b: DUP3 0000030c: ADD 0000030d: MSTORE 0000030e: SWAP1 0000030f: MLOAD 00000310: SWAP1 00000311: DUP2 00000312: SWAP1 00000313: SUB 00000314: PUSH1 0x64 00000316: ADD 00000317: SWAP1 00000318: REVERT 00000319: JUMPDEST 0000031a: DUP2 0000031b: SELFBALANCE 0000031c: LT 0000031d: ISZERO 0000031e: PUSH2 0x036e 00000321: JUMPI 00000322: PUSH1 0x40 00000324: DUP1 00000325: MLOAD 00000326: PUSH3 0x461bcd 0000032a: PUSH1 0xe5 0000032c: SHL 0000032d: DUP2 0000032e: MSTORE 0000032f: PUSH1 0x20 00000331: PUSH1 0x04 00000333: DUP3 00000334: ADD 00000335: MSTORE 00000336: PUSH1 0x1e 00000338: PUSH1 0x24 0000033a: DUP3 0000033b: ADD 0000033c: MSTORE 0000033d: PUSH32 0x4e6f7420656e6f756768742057454920696e207468652062616c616e63650000 0000035e: PUSH1 0x44 00000360: DUP3 00000361: ADD 00000362: MSTORE 00000363: SWAP1 00000364: MLOAD 00000365: SWAP1 00000366: DUP2 00000367: SWAP1 00000368: SUB 00000369: PUSH1 0x64 0000036b: ADD 0000036c: SWAP1 0000036d: REVERT 0000036e: JUMPDEST 0000036f: PUSH1 0x40 00000371: MLOAD 00000372: PUSH1 0x01 00000374: PUSH1 0x01 00000376: PUSH1 0xa0 00000378: SHL 00000379: SUB 0000037a: DUP3 0000037b: AND 0000037c: SWAP1 0000037d: DUP4 0000037e: ISZERO 0000037f: PUSH2 0x08fc 00000382: MUL 00000383: SWAP1 00000384: DUP5 00000385: SWAP1 00000386: PUSH1 0x00 00000388: DUP2 00000389: DUP2 0000038a: DUP2 0000038b: DUP6 0000038c: DUP9 0000038d: DUP9 0000038e: CALL 0000038f: SWAP4 00000390: POP 00000391: POP 00000392: POP 00000393: POP 00000394: ISZERO 00000395: DUP1 00000396: ISZERO 00000397: PUSH2 0x03a4 0000039a: JUMPI 0000039b: RETURNDATASIZE 0000039c: PUSH1 0x00 0000039e: DUP1 0000039f: RETURNDATACOPY 000003a0: RETURNDATASIZE 000003a1: PUSH1 0x00 000003a3: REVERT 000003a4: JUMPDEST 000003a5: POP 000003a6: POP 000003a7: POP 000003a8: JUMP 000003a9: JUMPDEST 000003aa: PUSH1 0x00 000003ac: PUSH2 0x03b3 000003af: PUSH2 0x0561 000003b2: JUMP 000003b3: JUMPDEST 000003b4: PUSH1 0x01 000003b6: PUSH1 0x01 000003b8: PUSH1 0xa0 000003ba: SHL 000003bb: SUB 000003bc: AND 000003bd: PUSH2 0x03c4 000003c0: PUSH2 0x025b 000003c3: JUMP 000003c4: JUMPDEST 000003c5: PUSH1 0x01 000003c7: PUSH1 0x01 000003c9: PUSH1 0xa0 000003cb: SHL 000003cc: SUB 000003cd: AND 000003ce: EQ 000003cf: PUSH2 0x040d 000003d2: JUMPI 000003d3: PUSH1 0x40 000003d5: DUP1 000003d6: MLOAD 000003d7: PUSH3 0x461bcd 000003db: PUSH1 0xe5 000003dd: SHL 000003de: DUP2 000003df: MSTORE 000003e0: PUSH1 0x20 000003e2: PUSH1 0x04 000003e4: DUP3 000003e5: ADD 000003e6: DUP2 000003e7: SWAP1 000003e8: MSTORE 000003e9: PUSH1 0x24 000003eb: DUP3 000003ec: ADD 000003ed: MSTORE 000003ee: PUSH1 0x00 000003f0: DUP1 000003f1: MLOAD 000003f2: PUSH1 0x20 000003f4: PUSH2 0x058c 000003f7: DUP4 000003f8: CODECOPY 000003f9: DUP2 000003fa: MLOAD 000003fb: SWAP2 000003fc: MSTORE 000003fd: PUSH1 0x44 000003ff: DUP3 00000400: ADD 00000401: MSTORE 00000402: SWAP1 00000403: MLOAD 00000404: SWAP1 00000405: DUP2 00000406: SWAP1 00000407: SUB 00000408: PUSH1 0x64 0000040a: ADD 0000040b: SWAP1 0000040c: REVERT 0000040d: JUMPDEST 0000040e: PUSH2 0x0415 00000411: PUSH2 0x019f 00000414: JUMP 00000415: JUMPDEST 00000416: ISZERO 00000417: PUSH2 0x045a 0000041a: JUMPI 0000041b: PUSH1 0x40 0000041d: DUP1 0000041e: MLOAD 0000041f: PUSH3 0x461bcd 00000423: PUSH1 0xe5 00000425: SHL 00000426: DUP2 00000427: MSTORE 00000428: PUSH1 0x20 0000042a: PUSH1 0x04 0000042c: DUP3 0000042d: ADD 0000042e: MSTORE 0000042f: PUSH1 0x10 00000431: PUSH1 0x24 00000433: DUP3 00000434: ADD 00000435: MSTORE 00000436: PUSH16 0x14185d5cd8589b194e881c185d5cd959 00000447: PUSH1 0x82 00000449: SHL 0000044a: PUSH1 0x44 0000044c: DUP3 0000044d: ADD 0000044e: MSTORE 0000044f: SWAP1 00000450: MLOAD 00000451: SWAP1 00000452: DUP2 00000453: SWAP1 00000454: SUB 00000455: PUSH1 0x64 00000457: ADD 00000458: SWAP1 00000459: REVERT 0000045a: JUMPDEST 0000045b: POP 0000045c: SELFBALANCE 0000045d: SWAP1 0000045e: JUMP 0000045f: JUMPDEST 00000460: PUSH2 0x0467 00000463: PUSH2 0x0561 00000466: JUMP 00000467: JUMPDEST 00000468: PUSH1 0x01 0000046a: PUSH1 0x01 0000046c: PUSH1 0xa0 0000046e: SHL 0000046f: SUB 00000470: AND 00000471: PUSH2 0x0478 00000474: PUSH2 0x025b 00000477: JUMP 00000478: JUMPDEST 00000479: PUSH1 0x01 0000047b: PUSH1 0x01 0000047d: PUSH1 0xa0 0000047f: SHL 00000480: SUB 00000481: AND 00000482: EQ 00000483: PUSH2 0x04c1 00000486: JUMPI 00000487: PUSH1 0x40 00000489: DUP1 0000048a: MLOAD 0000048b: PUSH3 0x461bcd 0000048f: PUSH1 0xe5 00000491: SHL 00000492: DUP2 00000493: MSTORE 00000494: PUSH1 0x20 00000496: PUSH1 0x04 00000498: DUP3 00000499: ADD 0000049a: DUP2 0000049b: SWAP1 0000049c: MSTORE 0000049d: PUSH1 0x24 0000049f: DUP3 000004a0: ADD 000004a1: MSTORE 000004a2: PUSH1 0x00 000004a4: DUP1 000004a5: MLOAD 000004a6: PUSH1 0x20 000004a8: PUSH2 0x058c 000004ab: DUP4 000004ac: CODECOPY 000004ad: DUP2 000004ae: MLOAD 000004af: SWAP2 000004b0: MSTORE 000004b1: PUSH1 0x44 000004b3: DUP3 000004b4: ADD 000004b5: MSTORE 000004b6: SWAP1 000004b7: MLOAD 000004b8: SWAP1 000004b9: DUP2 000004ba: SWAP1 000004bb: SUB 000004bc: PUSH1 0x64 000004be: ADD 000004bf: SWAP1 000004c0: REVERT 000004c1: JUMPDEST 000004c2: PUSH1 0x01 000004c4: PUSH1 0x01 000004c6: PUSH1 0xa0 000004c8: SHL 000004c9: SUB 000004ca: DUP2 000004cb: AND 000004cc: PUSH2 0x0506 000004cf: JUMPI 000004d0: PUSH1 0x40 000004d2: MLOAD 000004d3: PUSH3 0x461bcd 000004d7: PUSH1 0xe5 000004d9: SHL 000004da: DUP2 000004db: MSTORE 000004dc: PUSH1 0x04 000004de: ADD 000004df: DUP1 000004e0: DUP1 000004e1: PUSH1 0x20 000004e3: ADD 000004e4: DUP3 000004e5: DUP2 000004e6: SUB 000004e7: DUP3 000004e8: MSTORE 000004e9: PUSH1 0x26 000004eb: DUP2 000004ec: MSTORE 000004ed: PUSH1 0x20 000004ef: ADD 000004f0: DUP1 000004f1: PUSH2 0x0566 000004f4: PUSH1 0x26 000004f6: SWAP2 000004f7: CODECOPY 000004f8: PUSH1 0x40 000004fa: ADD 000004fb: SWAP2 000004fc: POP 000004fd: POP 000004fe: PUSH1 0x40 00000500: MLOAD 00000501: DUP1 00000502: SWAP2 00000503: SUB 00000504: SWAP1 00000505: REVERT 00000506: JUMPDEST 00000507: PUSH1 0x00 00000509: DUP1 0000050a: SLOAD 0000050b: PUSH1 0x40 0000050d: MLOAD 0000050e: PUSH1 0x01 00000510: PUSH1 0x01 00000512: PUSH1 0xa0 00000514: SHL 00000515: SUB 00000516: DUP1 00000517: DUP6 00000518: AND 00000519: SWAP4 0000051a: SWAP3 0000051b: AND 0000051c: SWAP2 0000051d: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000053e: SWAP2 0000053f: LOG3 00000540: PUSH1 0x00 00000542: DUP1 00000543: SLOAD 00000544: PUSH1 0x01 00000546: PUSH1 0x01 00000548: PUSH1 0xa0 0000054a: SHL 0000054b: SUB 0000054c: NOT 0000054d: AND 0000054e: PUSH1 0x01 00000550: PUSH1 0x01 00000552: PUSH1 0xa0 00000554: SHL 00000555: SUB 00000556: SWAP3 00000557: SWAP1 00000558: SWAP3 00000559: AND 0000055a: SWAP2 0000055b: SWAP1 0000055c: SWAP2 0000055d: OR 0000055e: SWAP1 0000055f: SSTORE 00000560: JUMP 00000561: JUMPDEST 00000562: CALLER 00000563: SWAP1 00000564: JUMP 00000565: INVALID 00000566: UNKNOWN(0x4F) 00000567: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520 00000580: PUSH27 0x65726f20616464726573734f776e61626c653a2063616c6c657220 0000059c: PUSH10 0x73206e6f742074686520 000005a7: PUSH16 0x776e6572a26469706673582212204c41 000005b8: SWAP13 000005b9: UNKNOWN(0xA9) 000005ba: CALLDATACOPY 000005bb: EXTCODECOPY 000005bc: TIMESTAMP 000005bd: PUSH24 0xaf2b035f6586e2191d22eb8501f9941eb4d5ce86f72300fd 000005d6: PUSH5 0x736f6c6343 000005dc: STOP 000005dd: SMOD 000005de: MOD 000005df: STOP 000005e0: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xcee96f5c706554ed1927c357263f945844579c4d501d1f9934ba388ee8787908
call_targets:
0x48c45a687173ec396353cd1e507b26fa4f6ff6d9
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcee96f5c706554ed1927c357263f945844579c4d501d1f9934ba388ee8787908",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x48c45a687173ec396353cd1e507b26fa4f6ff6d9"
],
"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": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbfd7ffe7",
"selector": "0xbfd7ffe7",
"calldata_variants": [
"0xbfd7ffe7",
"0xbfd7ffe70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xed12e8ef",
"selector": "0xed12e8ef",
"calldata_variants": [
"0xed12e8ef",
"0xed12e8ef0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 910,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xcee96f5c706554ed1927c357263f945844579c4d501d1f9934ba388ee8787908
call_targets:
0x48c45a687173ec396353cd1e507b26fa4f6ff6d9
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcee96f5c706554ed1927c357263f945844579c4d501d1f9934ba388ee8787908",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x48c45a687173ec396353cd1e507b26fa4f6ff6d9"
],
"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": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbfd7ffe7",
"selector": "0xbfd7ffe7",
"calldata_variants": [
"0xbfd7ffe7",
"0xbfd7ffe70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xed12e8ef",
"selector": "0xed12e8ef",
"calldata_variants": [
"0xed12e8ef",
"0xed12e8ef0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 910,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|