019b477e-ba36-739c-80cb-412e2d7e7243
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 |
|---|---|---|---|---|
| 23705 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23706 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 90253 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 90254 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 90255 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 90256 | 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 0x00a3 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x43d726d6 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x00a8 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x521eb273 00000046: EQ 00000047: PUSH2 0x00bf 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x715018a6 00000051: EQ 00000052: PUSH2 0x00f0 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x8c52dc41 0000005c: EQ 0000005d: PUSH2 0x0105 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x8da5cb5b 00000067: EQ 00000068: PUSH2 0x011a 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0xc19d93fb 00000072: EQ 00000073: PUSH2 0x012f 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xcb13cddb 0000007d: EQ 0000007e: PUSH2 0x0168 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xf2fde38b 00000088: EQ 00000089: PUSH2 0x019b 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xf340fa01 00000093: EQ 00000094: PUSH2 0x01bc 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xfa89401a 0000009e: EQ 0000009f: PUSH2 0x01d0 000000a2: JUMPI 000000a3: JUMPDEST 000000a4: PUSH1 0x00 000000a6: DUP1 000000a7: REVERT 000000a8: JUMPDEST 000000a9: CALLVALUE 000000aa: DUP1 000000ab: ISZERO 000000ac: PUSH2 0x00b4 000000af: JUMPI 000000b0: PUSH1 0x00 000000b2: DUP1 000000b3: REVERT 000000b4: JUMPDEST 000000b5: POP 000000b6: PUSH2 0x00bd 000000b9: PUSH2 0x01f1 000000bc: JUMP 000000bd: JUMPDEST 000000be: STOP 000000bf: JUMPDEST 000000c0: CALLVALUE 000000c1: DUP1 000000c2: ISZERO 000000c3: PUSH2 0x00cb 000000c6: JUMPI 000000c7: PUSH1 0x00 000000c9: DUP1 000000ca: REVERT 000000cb: JUMPDEST 000000cc: POP 000000cd: PUSH2 0x00d4 000000d0: PUSH2 0x02c7 000000d3: JUMP 000000d4: JUMPDEST 000000d5: PUSH1 0x40 000000d7: DUP1 000000d8: MLOAD 000000d9: PUSH1 0x01 000000db: PUSH1 0xa0 000000dd: PUSH1 0x02 000000df: EXP 000000e0: SUB 000000e1: SWAP1 000000e2: SWAP3 000000e3: AND 000000e4: DUP3 000000e5: MSTORE 000000e6: MLOAD 000000e7: SWAP1 000000e8: DUP2 000000e9: SWAP1 000000ea: SUB 000000eb: PUSH1 0x20 000000ed: ADD 000000ee: SWAP1 000000ef: RETURN 000000f0: JUMPDEST 000000f1: CALLVALUE 000000f2: DUP1 000000f3: ISZERO 000000f4: PUSH2 0x00fc 000000f7: JUMPI 000000f8: PUSH1 0x00 000000fa: DUP1 000000fb: REVERT 000000fc: JUMPDEST 000000fd: POP 000000fe: PUSH2 0x00bd 00000101: PUSH2 0x02d6 00000104: JUMP 00000105: JUMPDEST 00000106: CALLVALUE 00000107: DUP1 00000108: ISZERO 00000109: PUSH2 0x0111 0000010c: JUMPI 0000010d: PUSH1 0x00 0000010f: DUP1 00000110: REVERT 00000111: JUMPDEST 00000112: POP 00000113: PUSH2 0x00bd 00000116: PUSH2 0x0342 00000119: JUMP 0000011a: JUMPDEST 0000011b: CALLVALUE 0000011c: DUP1 0000011d: ISZERO 0000011e: PUSH2 0x0126 00000121: JUMPI 00000122: PUSH1 0x00 00000124: DUP1 00000125: REVERT 00000126: JUMPDEST 00000127: POP 00000128: PUSH2 0x00d4 0000012b: PUSH2 0x03cc 0000012e: JUMP 0000012f: JUMPDEST 00000130: CALLVALUE 00000131: DUP1 00000132: ISZERO 00000133: PUSH2 0x013b 00000136: JUMPI 00000137: PUSH1 0x00 00000139: DUP1 0000013a: REVERT 0000013b: JUMPDEST 0000013c: POP 0000013d: PUSH2 0x0144 00000140: PUSH2 0x03db 00000143: JUMP 00000144: JUMPDEST 00000145: PUSH1 0x40 00000147: MLOAD 00000148: DUP1 00000149: DUP3 0000014a: PUSH1 0x02 0000014c: DUP2 0000014d: GT 0000014e: ISZERO 0000014f: PUSH2 0x0154 00000152: JUMPI 00000153: INVALID 00000154: JUMPDEST 00000155: PUSH1 0xff 00000157: AND 00000158: DUP2 00000159: MSTORE 0000015a: PUSH1 0x20 0000015c: ADD 0000015d: SWAP2 0000015e: POP 0000015f: POP 00000160: PUSH1 0x40 00000162: MLOAD 00000163: DUP1 00000164: SWAP2 00000165: SUB 00000166: SWAP1 00000167: RETURN 00000168: JUMPDEST 00000169: CALLVALUE 0000016a: DUP1 0000016b: ISZERO 0000016c: PUSH2 0x0174 0000016f: JUMPI 00000170: PUSH1 0x00 00000172: DUP1 00000173: REVERT 00000174: JUMPDEST 00000175: POP 00000176: PUSH2 0x0189 00000179: PUSH1 0x01 0000017b: PUSH1 0xa0 0000017d: PUSH1 0x02 0000017f: EXP 00000180: SUB 00000181: PUSH1 0x04 00000183: CALLDATALOAD 00000184: AND 00000185: PUSH2 0x03eb 00000188: JUMP 00000189: JUMPDEST 0000018a: PUSH1 0x40 0000018c: DUP1 0000018d: MLOAD 0000018e: SWAP2 0000018f: DUP3 00000190: MSTORE 00000191: MLOAD 00000192: SWAP1 00000193: DUP2 00000194: SWAP1 00000195: SUB 00000196: PUSH1 0x20 00000198: ADD 00000199: SWAP1 0000019a: RETURN 0000019b: JUMPDEST 0000019c: CALLVALUE 0000019d: DUP1 0000019e: ISZERO 0000019f: PUSH2 0x01a7 000001a2: JUMPI 000001a3: PUSH1 0x00 000001a5: DUP1 000001a6: REVERT 000001a7: JUMPDEST 000001a8: POP 000001a9: PUSH2 0x00bd 000001ac: PUSH1 0x01 000001ae: PUSH1 0xa0 000001b0: PUSH1 0x02 000001b2: EXP 000001b3: SUB 000001b4: PUSH1 0x04 000001b6: CALLDATALOAD 000001b7: AND 000001b8: PUSH2 0x03fd 000001bb: JUMP 000001bc: JUMPDEST 000001bd: PUSH2 0x00bd 000001c0: PUSH1 0x01 000001c2: PUSH1 0xa0 000001c4: PUSH1 0x02 000001c6: EXP 000001c7: SUB 000001c8: PUSH1 0x04 000001ca: CALLDATALOAD 000001cb: AND 000001cc: PUSH2 0x041d 000001cf: JUMP 000001d0: JUMPDEST 000001d1: CALLVALUE 000001d2: DUP1 000001d3: ISZERO 000001d4: PUSH2 0x01dc 000001d7: JUMPI 000001d8: PUSH1 0x00 000001da: DUP1 000001db: REVERT 000001dc: JUMPDEST 000001dd: POP 000001de: PUSH2 0x00bd 000001e1: PUSH1 0x01 000001e3: PUSH1 0xa0 000001e5: PUSH1 0x02 000001e7: EXP 000001e8: SUB 000001e9: PUSH1 0x04 000001eb: CALLDATALOAD 000001ec: AND 000001ed: PUSH2 0x049d 000001f0: JUMP 000001f1: JUMPDEST 000001f2: PUSH1 0x00 000001f4: SLOAD 000001f5: PUSH1 0x01 000001f7: PUSH1 0xa0 000001f9: PUSH1 0x02 000001fb: EXP 000001fc: SUB 000001fd: AND 000001fe: CALLER 000001ff: EQ 00000200: PUSH2 0x0208 00000203: JUMPI 00000204: PUSH1 0x00 00000206: DUP1 00000207: REVERT 00000208: JUMPDEST 00000209: PUSH1 0x00 0000020b: PUSH1 0x02 0000020d: DUP1 0000020e: SLOAD 0000020f: PUSH1 0xa0 00000211: PUSH1 0x02 00000213: EXP 00000214: SWAP1 00000215: DIV 00000216: PUSH1 0xff 00000218: AND 00000219: SWAP1 0000021a: DUP2 0000021b: GT 0000021c: ISZERO 0000021d: PUSH2 0x0222 00000220: JUMPI 00000221: INVALID 00000222: JUMPDEST 00000223: EQ 00000224: PUSH2 0x022c 00000227: JUMPI 00000228: PUSH1 0x00 0000022a: DUP1 0000022b: REVERT 0000022c: JUMPDEST 0000022d: PUSH1 0x02 0000022f: DUP1 00000230: SLOAD 00000231: PUSH21 0xff0000000000000000000000000000000000000000 00000247: NOT 00000248: AND 00000249: PUSH21 0x020000000000000000000000000000000000000000 0000025f: OR 00000260: SWAP1 00000261: SSTORE 00000262: PUSH1 0x40 00000264: MLOAD 00000265: PUSH32 0x1cdde67b72a90f19919ac732a437ac2f7a10fc128d28c2a6e525d89ce5cd9d3a 00000286: SWAP1 00000287: PUSH1 0x00 00000289: SWAP1 0000028a: LOG1 0000028b: PUSH1 0x02 0000028d: SLOAD 0000028e: PUSH1 0x40 00000290: MLOAD 00000291: PUSH1 0x01 00000293: PUSH1 0xa0 00000295: PUSH1 0x02 00000297: EXP 00000298: SUB 00000299: SWAP1 0000029a: SWAP2 0000029b: AND 0000029c: SWAP1 0000029d: ADDRESS 0000029e: BALANCE 0000029f: DUP1 000002a0: ISZERO 000002a1: PUSH2 0x08fc 000002a4: MUL 000002a5: SWAP2 000002a6: PUSH1 0x00 000002a8: DUP2 000002a9: DUP2 000002aa: DUP2 000002ab: DUP6 000002ac: DUP9 000002ad: DUP9 000002ae: CALL 000002af: SWAP4 000002b0: POP 000002b1: POP 000002b2: POP 000002b3: POP 000002b4: ISZERO 000002b5: DUP1 000002b6: ISZERO 000002b7: PUSH2 0x02c4 000002ba: JUMPI 000002bb: RETURNDATASIZE 000002bc: PUSH1 0x00 000002be: DUP1 000002bf: RETURNDATACOPY 000002c0: RETURNDATASIZE 000002c1: PUSH1 0x00 000002c3: REVERT 000002c4: JUMPDEST 000002c5: POP 000002c6: JUMP 000002c7: JUMPDEST 000002c8: PUSH1 0x02 000002ca: SLOAD 000002cb: PUSH1 0x01 000002cd: PUSH1 0xa0 000002cf: PUSH1 0x02 000002d1: EXP 000002d2: SUB 000002d3: AND 000002d4: DUP2 000002d5: JUMP 000002d6: JUMPDEST 000002d7: PUSH1 0x00 000002d9: SLOAD 000002da: PUSH1 0x01 000002dc: PUSH1 0xa0 000002de: PUSH1 0x02 000002e0: EXP 000002e1: SUB 000002e2: AND 000002e3: CALLER 000002e4: EQ 000002e5: PUSH2 0x02ed 000002e8: JUMPI 000002e9: PUSH1 0x00 000002eb: DUP1 000002ec: REVERT 000002ed: JUMPDEST 000002ee: PUSH1 0x00 000002f0: DUP1 000002f1: SLOAD 000002f2: PUSH1 0x40 000002f4: MLOAD 000002f5: PUSH1 0x01 000002f7: PUSH1 0xa0 000002f9: PUSH1 0x02 000002fb: EXP 000002fc: SUB 000002fd: SWAP1 000002fe: SWAP2 000002ff: AND 00000300: SWAP2 00000301: PUSH32 0xf8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c64820 00000322: SWAP2 00000323: LOG2 00000324: PUSH1 0x00 00000326: DUP1 00000327: SLOAD 00000328: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000033d: NOT 0000033e: AND 0000033f: SWAP1 00000340: SSTORE 00000341: JUMP 00000342: JUMPDEST 00000343: PUSH1 0x00 00000345: SLOAD 00000346: PUSH1 0x01 00000348: PUSH1 0xa0 0000034a: PUSH1 0x02 0000034c: EXP 0000034d: SUB 0000034e: AND 0000034f: CALLER 00000350: EQ 00000351: PUSH2 0x0359 00000354: JUMPI 00000355: PUSH1 0x00 00000357: DUP1 00000358: REVERT 00000359: JUMPDEST 0000035a: PUSH1 0x00 0000035c: PUSH1 0x02 0000035e: DUP1 0000035f: SLOAD 00000360: PUSH1 0xa0 00000362: PUSH1 0x02 00000364: EXP 00000365: SWAP1 00000366: DIV 00000367: PUSH1 0xff 00000369: AND 0000036a: SWAP1 0000036b: DUP2 0000036c: GT 0000036d: ISZERO 0000036e: PUSH2 0x0373 00000371: JUMPI 00000372: INVALID 00000373: JUMPDEST 00000374: EQ 00000375: PUSH2 0x037d 00000378: JUMPI 00000379: PUSH1 0x00 0000037b: DUP1 0000037c: REVERT 0000037d: JUMPDEST 0000037e: PUSH1 0x02 00000380: DUP1 00000381: SLOAD 00000382: PUSH21 0xff0000000000000000000000000000000000000000 00000398: NOT 00000399: AND 0000039a: PUSH1 0xa0 0000039c: PUSH1 0x02 0000039e: EXP 0000039f: OR 000003a0: SWAP1 000003a1: SSTORE 000003a2: PUSH1 0x40 000003a4: MLOAD 000003a5: PUSH32 0x599d8e5a83cffb867d051598c4d70e805d59802d8081c1c7d6dffc5b6aca2b89 000003c6: SWAP1 000003c7: PUSH1 0x00 000003c9: SWAP1 000003ca: LOG1 000003cb: JUMP 000003cc: JUMPDEST 000003cd: PUSH1 0x00 000003cf: SLOAD 000003d0: PUSH1 0x01 000003d2: PUSH1 0xa0 000003d4: PUSH1 0x02 000003d6: EXP 000003d7: SUB 000003d8: AND 000003d9: DUP2 000003da: JUMP 000003db: JUMPDEST 000003dc: PUSH1 0x02 000003de: SLOAD 000003df: PUSH1 0xa0 000003e1: PUSH1 0x02 000003e3: EXP 000003e4: SWAP1 000003e5: DIV 000003e6: PUSH1 0xff 000003e8: AND 000003e9: DUP2 000003ea: JUMP 000003eb: JUMPDEST 000003ec: PUSH1 0x01 000003ee: PUSH1 0x20 000003f0: MSTORE 000003f1: PUSH1 0x00 000003f3: SWAP1 000003f4: DUP2 000003f5: MSTORE 000003f6: PUSH1 0x40 000003f8: SWAP1 000003f9: KECCAK256 000003fa: SLOAD 000003fb: DUP2 000003fc: JUMP 000003fd: JUMPDEST 000003fe: PUSH1 0x00 00000400: SLOAD 00000401: PUSH1 0x01 00000403: PUSH1 0xa0 00000405: PUSH1 0x02 00000407: EXP 00000408: SUB 00000409: AND 0000040a: CALLER 0000040b: EQ 0000040c: PUSH2 0x0414 0000040f: JUMPI 00000410: PUSH1 0x00 00000412: DUP1 00000413: REVERT 00000414: JUMPDEST 00000415: PUSH2 0x02c4 00000418: DUP2 00000419: PUSH2 0x0552 0000041c: JUMP 0000041d: JUMPDEST 0000041e: PUSH1 0x00 00000420: SLOAD 00000421: PUSH1 0x01 00000423: PUSH1 0xa0 00000425: PUSH1 0x02 00000427: EXP 00000428: SUB 00000429: AND 0000042a: CALLER 0000042b: EQ 0000042c: PUSH2 0x0434 0000042f: JUMPI 00000430: PUSH1 0x00 00000432: DUP1 00000433: REVERT 00000434: JUMPDEST 00000435: PUSH1 0x00 00000437: PUSH1 0x02 00000439: DUP1 0000043a: SLOAD 0000043b: PUSH1 0xa0 0000043d: PUSH1 0x02 0000043f: EXP 00000440: SWAP1 00000441: DIV 00000442: PUSH1 0xff 00000444: AND 00000445: SWAP1 00000446: DUP2 00000447: GT 00000448: ISZERO 00000449: PUSH2 0x044e 0000044c: JUMPI 0000044d: INVALID 0000044e: JUMPDEST 0000044f: EQ 00000450: PUSH2 0x0458 00000453: JUMPI 00000454: PUSH1 0x00 00000456: DUP1 00000457: REVERT 00000458: JUMPDEST 00000459: PUSH1 0x01 0000045b: PUSH1 0xa0 0000045d: PUSH1 0x02 0000045f: EXP 00000460: SUB 00000461: DUP2 00000462: AND 00000463: PUSH1 0x00 00000465: SWAP1 00000466: DUP2 00000467: MSTORE 00000468: PUSH1 0x01 0000046a: PUSH1 0x20 0000046c: MSTORE 0000046d: PUSH1 0x40 0000046f: SWAP1 00000470: KECCAK256 00000471: SLOAD 00000472: PUSH2 0x0481 00000475: SWAP1 00000476: CALLVALUE 00000477: PUSH4 0xffffffff 0000047c: PUSH2 0x05cf 0000047f: AND 00000480: JUMP 00000481: JUMPDEST 00000482: PUSH1 0x01 00000484: PUSH1 0xa0 00000486: PUSH1 0x02 00000488: EXP 00000489: SUB 0000048a: SWAP1 0000048b: SWAP2 0000048c: AND 0000048d: PUSH1 0x00 0000048f: SWAP1 00000490: DUP2 00000491: MSTORE 00000492: PUSH1 0x01 00000494: PUSH1 0x20 00000496: MSTORE 00000497: PUSH1 0x40 00000499: SWAP1 0000049a: KECCAK256 0000049b: SSTORE 0000049c: JUMP 0000049d: JUMPDEST 0000049e: PUSH1 0x00 000004a0: PUSH1 0x01 000004a2: PUSH1 0x02 000004a4: DUP1 000004a5: SLOAD 000004a6: PUSH1 0xa0 000004a8: PUSH1 0x02 000004aa: EXP 000004ab: SWAP1 000004ac: DIV 000004ad: PUSH1 0xff 000004af: AND 000004b0: SWAP1 000004b1: DUP2 000004b2: GT 000004b3: ISZERO 000004b4: PUSH2 0x04b9 000004b7: JUMPI 000004b8: INVALID 000004b9: JUMPDEST 000004ba: EQ 000004bb: PUSH2 0x04c3 000004be: JUMPI 000004bf: PUSH1 0x00 000004c1: DUP1 000004c2: REVERT 000004c3: JUMPDEST 000004c4: POP 000004c5: PUSH1 0x01 000004c7: PUSH1 0xa0 000004c9: PUSH1 0x02 000004cb: EXP 000004cc: SUB 000004cd: DUP2 000004ce: AND 000004cf: PUSH1 0x00 000004d1: DUP2 000004d2: DUP2 000004d3: MSTORE 000004d4: PUSH1 0x01 000004d6: PUSH1 0x20 000004d8: MSTORE 000004d9: PUSH1 0x40 000004db: DUP1 000004dc: DUP3 000004dd: KECCAK256 000004de: DUP1 000004df: SLOAD 000004e0: SWAP1 000004e1: DUP4 000004e2: SWAP1 000004e3: SSTORE 000004e4: SWAP1 000004e5: MLOAD 000004e6: SWAP1 000004e7: SWAP3 000004e8: SWAP2 000004e9: DUP4 000004ea: ISZERO 000004eb: PUSH2 0x08fc 000004ee: MUL 000004ef: SWAP2 000004f0: DUP5 000004f1: SWAP2 000004f2: DUP2 000004f3: DUP2 000004f4: DUP2 000004f5: DUP6 000004f6: DUP9 000004f7: DUP9 000004f8: CALL 000004f9: SWAP4 000004fa: POP 000004fb: POP 000004fc: POP 000004fd: POP 000004fe: ISZERO 000004ff: DUP1 00000500: ISZERO 00000501: PUSH2 0x050e 00000504: JUMPI 00000505: RETURNDATASIZE 00000506: PUSH1 0x00 00000508: DUP1 00000509: RETURNDATACOPY 0000050a: RETURNDATASIZE 0000050b: PUSH1 0x00 0000050d: REVERT 0000050e: JUMPDEST 0000050f: POP 00000510: PUSH1 0x40 00000512: DUP1 00000513: MLOAD 00000514: DUP3 00000515: DUP2 00000516: MSTORE 00000517: SWAP1 00000518: MLOAD 00000519: PUSH1 0x01 0000051b: PUSH1 0xa0 0000051d: PUSH1 0x02 0000051f: EXP 00000520: SUB 00000521: DUP5 00000522: AND 00000523: SWAP2 00000524: PUSH32 0xd7dee2702d63ad89917b6a4da9981c90c4d24f8c2bdfd64c604ecae57d8d0651 00000545: SWAP2 00000546: SWAP1 00000547: DUP2 00000548: SWAP1 00000549: SUB 0000054a: PUSH1 0x20 0000054c: ADD 0000054d: SWAP1 0000054e: LOG2 0000054f: POP 00000550: POP 00000551: JUMP 00000552: JUMPDEST 00000553: PUSH1 0x01 00000555: PUSH1 0xa0 00000557: PUSH1 0x02 00000559: EXP 0000055a: SUB 0000055b: DUP2 0000055c: AND 0000055d: ISZERO 0000055e: ISZERO 0000055f: PUSH2 0x0567 00000562: JUMPI 00000563: PUSH1 0x00 00000565: DUP1 00000566: REVERT 00000567: JUMPDEST 00000568: PUSH1 0x00 0000056a: DUP1 0000056b: SLOAD 0000056c: PUSH1 0x40 0000056e: MLOAD 0000056f: PUSH1 0x01 00000571: PUSH1 0xa0 00000573: PUSH1 0x02 00000575: EXP 00000576: SUB 00000577: DUP1 00000578: DUP6 00000579: AND 0000057a: SWAP4 0000057b: SWAP3 0000057c: AND 0000057d: SWAP2 0000057e: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000059f: SWAP2 000005a0: LOG3 000005a1: PUSH1 0x00 000005a3: DUP1 000005a4: SLOAD 000005a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ba: NOT 000005bb: AND 000005bc: PUSH1 0x01 000005be: PUSH1 0xa0 000005c0: PUSH1 0x02 000005c2: EXP 000005c3: SUB 000005c4: SWAP3 000005c5: SWAP1 000005c6: SWAP3 000005c7: AND 000005c8: SWAP2 000005c9: SWAP1 000005ca: SWAP2 000005cb: OR 000005cc: SWAP1 000005cd: SSTORE 000005ce: JUMP 000005cf: JUMPDEST 000005d0: DUP2 000005d1: DUP2 000005d2: ADD 000005d3: DUP3 000005d4: DUP2 000005d5: LT 000005d6: ISZERO 000005d7: PUSH2 0x05dc 000005da: JUMPI 000005db: INVALID 000005dc: JUMPDEST 000005dd: SWAP3 000005de: SWAP2 000005df: POP 000005e0: POP 000005e1: JUMP 000005e2: STOP 000005e3: LOG1 000005e4: PUSH6 0x627a7a723058 000005eb: KECCAK256 000005ec: UNKNOWN(0xBE) 000005ed: UNKNOWN(0xDC) 000005ee: UNKNOWN(0xEC) 000005ef: DUP15 000005f0: PUSH7 0x341ed53ef3c663 000005f8: RETURNDATACOPY 000005f9: SWAP11 000005fa: UNKNOWN(0xE6) 000005fb: UNKNOWN(0xBC) 000005fc: CREATE 000005fd: SWAP2 000005fe: SHL 000005ff: STOP 00000600: EXTCODESIZE 00000601: PUSH6 0x77021cf5655c 00000608: UNKNOWN(0xC2) 00000609: DIV 0000060a: DUP7 0000060b: SIGNEXTEND 0000060c: STOP 0000060d: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xb3618d423b4d152a20a6ba9f6fe76039b8cb760eec81849ff2a43672f83b75b6
call_targets:
0x69fe0bab10e566698ab4609ca5a0f9b7914e984a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb3618d423b4d152a20a6ba9f6fe76039b8cb760eec81849ff2a43672f83b75b6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x69fe0bab10e566698ab4609ca5a0f9b7914e984a"
],
"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": "0x43d726d6",
"selector": "0x43d726d6",
"calldata_variants": [
"0x43d726d6",
"0x43d726d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x521eb273",
"selector": "0x521eb273",
"calldata_variants": [
"0x521eb273",
"0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8c52dc41",
"selector": "0x8c52dc41",
"calldata_variants": [
"0x8c52dc41",
"0x8c52dc410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc19d93fb",
"selector": "0xc19d93fb",
"calldata_variants": [
"0xc19d93fb",
"0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb13cddb",
"selector": "0xcb13cddb",
"calldata_variants": [
"0xcb13cddb",
"0xcb13cddb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1272,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xb3618d423b4d152a20a6ba9f6fe76039b8cb760eec81849ff2a43672f83b75b6
call_targets:
0x69fe0bab10e566698ab4609ca5a0f9b7914e984a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb3618d423b4d152a20a6ba9f6fe76039b8cb760eec81849ff2a43672f83b75b6",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x69fe0bab10e566698ab4609ca5a0f9b7914e984a"
],
"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": "0x43d726d6",
"selector": "0x43d726d6",
"calldata_variants": [
"0x43d726d6",
"0x43d726d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x521eb273",
"selector": "0x521eb273",
"calldata_variants": [
"0x521eb273",
"0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8c52dc41",
"selector": "0x8c52dc41",
"calldata_variants": [
"0x8c52dc41",
"0x8c52dc410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc19d93fb",
"selector": "0xc19d93fb",
"calldata_variants": [
"0xc19d93fb",
"0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb13cddb",
"selector": "0xcb13cddb",
"calldata_variants": [
"0xcb13cddb",
"0xcb13cddb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 686,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "constant"
},
{
"pc": 1272,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x1a655f31d2baebbce0ee67eba4d88f52d747ebdfdede1cfe34d3092bd7f8326a
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 20,
"trace_id": "0x1a655f31d2baebbce0ee67eba4d88f52d747ebdfdede1cfe34d3092bd7f8326a",
"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": "0x43d726d6",
"selector": "0x43d726d6",
"calldata_variants": [
"0x43d726d6",
"0x43d726d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x521eb273",
"selector": "0x521eb273",
"calldata_variants": [
"0x521eb273",
"0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8c52dc41",
"selector": "0x8c52dc41",
"calldata_variants": [
"0x8c52dc41",
"0x8c52dc410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc19d93fb",
"selector": "0xc19d93fb",
"calldata_variants": [
"0xc19d93fb",
"0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb13cddb",
"selector": "0xcb13cddb",
"calldata_variants": [
"0xcb13cddb",
"0xcb13cddb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|