019b477e-a7a4-72c0-b2fd-f9a5e0b61844
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 |
|---|---|---|---|---|
| 20283 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20284 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 88241 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 88242 | capability.graph | complete | 1 / 3 | 1 week ago |
| 88243 | detector.run | complete | 1 / 3 | 1 week ago |
| 88244 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x00e5 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x047fc9aa 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0100 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x06fdde03 00000025: EQ 00000026: PUSH2 0x0109 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x0b97bc86 00000030: EQ 00000031: PUSH2 0x0166 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x142f328e 0000003b: EQ 0000003c: PUSH2 0x016f 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x200b3690 00000046: EQ 00000047: PUSH2 0x017e 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x239b18b4 00000051: EQ 00000052: PUSH2 0x01a7 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x313ce567 0000005c: EQ 0000005d: PUSH2 0x01b3 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x40193883 00000067: EQ 00000068: PUSH2 0x01bf 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x54fd4d50 00000072: EQ 00000073: PUSH2 0x01c8 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x70a08231 0000007d: EQ 0000007e: PUSH2 0x0226 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x7d3d6522 00000088: EQ 00000089: PUSH2 0x0254 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x8957ce54 00000093: EQ 00000094: PUSH2 0x0264 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x8f770ad0 0000009e: EQ 0000009f: PUSH2 0x0271 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x95d89b41 000000a9: EQ 000000aa: PUSH2 0x027a 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x99bcd3b2 000000b4: EQ 000000b5: PUSH2 0x02d5 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xa4fd6f56 000000bf: EQ 000000c0: PUSH2 0x02f3 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xad66e52a 000000ca: EQ 000000cb: PUSH2 0x0302 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xbeabacc8 000000d5: EQ 000000d6: PUSH2 0x030b 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xc24a0f8b 000000e0: EQ 000000e1: PUSH2 0x032a 000000e4: JUMPI 000000e5: JUMPDEST 000000e6: PUSH2 0x0333 000000e9: PUSH1 0x0b 000000eb: SLOAD 000000ec: PUSH1 0x00 000000ee: SWAP1 000000ef: DUP2 000000f0: SWAP1 000000f1: PUSH1 0xff 000000f3: AND 000000f4: PUSH1 0x01 000000f6: EQ 000000f7: ISZERO 000000f8: PUSH2 0x0335 000000fb: JUMPI 000000fc: PUSH2 0x0002 000000ff: JUMP 00000100: JUMPDEST 00000101: PUSH2 0x0242 00000104: PUSH1 0x05 00000106: SLOAD 00000107: DUP2 00000108: JUMP 00000109: JUMPDEST 0000010a: PUSH1 0x40 0000010c: DUP1 0000010d: MLOAD 0000010e: PUSH1 0x01 00000110: DUP1 00000111: SLOAD 00000112: PUSH1 0x20 00000114: PUSH1 0x02 00000116: DUP3 00000117: DUP5 00000118: AND 00000119: ISZERO 0000011a: PUSH2 0x0100 0000011d: MUL 0000011e: PUSH1 0x00 00000120: NOT 00000121: ADD 00000122: SWAP1 00000123: SWAP3 00000124: AND 00000125: SWAP2 00000126: SWAP1 00000127: SWAP2 00000128: DIV 00000129: PUSH1 0x1f 0000012b: DUP2 0000012c: ADD 0000012d: DUP3 0000012e: SWAP1 0000012f: DIV 00000130: DUP3 00000131: MUL 00000132: DUP5 00000133: ADD 00000134: DUP3 00000135: ADD 00000136: SWAP1 00000137: SWAP5 00000138: MSTORE 00000139: DUP4 0000013a: DUP4 0000013b: MSTORE 0000013c: PUSH2 0x0363 0000013f: SWAP4 00000140: SWAP1 00000141: DUP4 00000142: ADD 00000143: DUP3 00000144: DUP3 00000145: DUP1 00000146: ISZERO 00000147: PUSH2 0x0413 0000014a: JUMPI 0000014b: DUP1 0000014c: PUSH1 0x1f 0000014e: LT 0000014f: PUSH2 0x03e8 00000152: JUMPI 00000153: PUSH2 0x0100 00000156: DUP1 00000157: DUP4 00000158: SLOAD 00000159: DIV 0000015a: MUL 0000015b: DUP4 0000015c: MSTORE 0000015d: SWAP2 0000015e: PUSH1 0x20 00000160: ADD 00000161: SWAP2 00000162: PUSH2 0x0413 00000165: JUMP 00000166: JUMPDEST 00000167: PUSH2 0x0242 0000016a: PUSH1 0x08 0000016c: SLOAD 0000016d: DUP2 0000016e: JUMP 0000016f: JUMPDEST 00000170: PUSH2 0x0242 00000173: PUSH1 0x00 00000175: PUSH1 0x00 00000177: PUSH2 0x06f5 0000017a: PUSH2 0x0258 0000017d: JUMP 0000017e: JUMPDEST 0000017f: PUSH2 0x0333 00000182: PUSH1 0x04 00000184: CALLDATALOAD 00000185: PUSH1 0x24 00000187: CALLDATALOAD 00000188: PUSH1 0x44 0000018a: CALLDATALOAD 0000018b: PUSH1 0x00 0000018d: SLOAD 0000018e: PUSH1 0x01 00000190: PUSH1 0xa0 00000192: PUSH1 0x02 00000194: EXP 00000195: SUB 00000196: SWAP1 00000197: DUP2 00000198: AND 00000199: CALLER 0000019a: SWAP2 0000019b: SWAP1 0000019c: SWAP2 0000019d: AND 0000019e: EQ 0000019f: PUSH2 0x041b 000001a2: JUMPI 000001a3: PUSH2 0x0002 000001a6: JUMP 000001a7: JUMPDEST 000001a8: PUSH2 0x0242 000001ab: PUSH1 0x0b 000001ad: SLOAD 000001ae: PUSH1 0xff 000001b0: AND 000001b1: DUP2 000001b2: JUMP 000001b3: JUMPDEST 000001b4: PUSH2 0x03d1 000001b7: PUSH1 0x04 000001b9: SLOAD 000001ba: PUSH1 0xff 000001bc: AND 000001bd: DUP2 000001be: JUMP 000001bf: JUMPDEST 000001c0: PUSH2 0x0242 000001c3: PUSH1 0x0a 000001c5: SLOAD 000001c6: DUP2 000001c7: JUMP 000001c8: JUMPDEST 000001c9: PUSH1 0x40 000001cb: DUP1 000001cc: MLOAD 000001cd: PUSH1 0x03 000001cf: DUP1 000001d0: SLOAD 000001d1: PUSH1 0x20 000001d3: PUSH1 0x02 000001d5: PUSH1 0x01 000001d7: DUP4 000001d8: AND 000001d9: ISZERO 000001da: PUSH2 0x0100 000001dd: MUL 000001de: PUSH1 0x00 000001e0: NOT 000001e1: ADD 000001e2: SWAP1 000001e3: SWAP3 000001e4: AND 000001e5: SWAP2 000001e6: SWAP1 000001e7: SWAP2 000001e8: DIV 000001e9: PUSH1 0x1f 000001eb: DUP2 000001ec: ADD 000001ed: DUP3 000001ee: SWAP1 000001ef: DIV 000001f0: DUP3 000001f1: MUL 000001f2: DUP5 000001f3: ADD 000001f4: DUP3 000001f5: ADD 000001f6: SWAP1 000001f7: SWAP5 000001f8: MSTORE 000001f9: DUP4 000001fa: DUP4 000001fb: MSTORE 000001fc: PUSH2 0x0363 000001ff: SWAP4 00000200: SWAP1 00000201: DUP4 00000202: ADD 00000203: DUP3 00000204: DUP3 00000205: DUP1 00000206: ISZERO 00000207: PUSH2 0x0413 0000020a: JUMPI 0000020b: DUP1 0000020c: PUSH1 0x1f 0000020e: LT 0000020f: PUSH2 0x03e8 00000212: JUMPI 00000213: PUSH2 0x0100 00000216: DUP1 00000217: DUP4 00000218: SLOAD 00000219: DIV 0000021a: MUL 0000021b: DUP4 0000021c: MSTORE 0000021d: SWAP2 0000021e: PUSH1 0x20 00000220: ADD 00000221: SWAP2 00000222: PUSH2 0x0413 00000225: JUMP 00000226: JUMPDEST 00000227: PUSH1 0x04 00000229: CALLDATALOAD 0000022a: PUSH1 0x01 0000022c: PUSH1 0xa0 0000022e: PUSH1 0x02 00000230: EXP 00000231: SUB 00000232: AND 00000233: PUSH1 0x00 00000235: SWAP1 00000236: DUP2 00000237: MSTORE 00000238: PUSH1 0x0c 0000023a: PUSH1 0x20 0000023c: MSTORE 0000023d: PUSH1 0x40 0000023f: SWAP1 00000240: KECCAK256 00000241: SLOAD 00000242: JUMPDEST 00000243: PUSH1 0x40 00000245: DUP1 00000246: MLOAD 00000247: SWAP2 00000248: DUP3 00000249: MSTORE 0000024a: MLOAD 0000024b: SWAP1 0000024c: DUP2 0000024d: SWAP1 0000024e: SUB 0000024f: PUSH1 0x20 00000251: ADD 00000252: SWAP1 00000253: RETURN 00000254: JUMPDEST 00000255: PUSH2 0x0242 00000258: JUMPDEST 00000259: PUSH1 0x0a 0000025b: SLOAD 0000025c: PUSH1 0x05 0000025e: SLOAD 0000025f: LT 00000260: ISZERO 00000261: JUMPDEST 00000262: SWAP1 00000263: JUMP 00000264: JUMPDEST 00000265: PUSH2 0x0242 00000268: PUSH1 0x00 0000026a: PUSH2 0x05e4 0000026d: PUSH2 0x02d9 00000270: JUMP 00000271: JUMPDEST 00000272: PUSH2 0x0242 00000275: PUSH1 0x06 00000277: SLOAD 00000278: DUP2 00000279: JUMP 0000027a: JUMPDEST 0000027b: PUSH1 0x40 0000027d: DUP1 0000027e: MLOAD 0000027f: PUSH1 0x02 00000281: DUP1 00000282: SLOAD 00000283: PUSH1 0x20 00000285: PUSH1 0x01 00000287: DUP3 00000288: AND 00000289: ISZERO 0000028a: PUSH2 0x0100 0000028d: MUL 0000028e: PUSH1 0x00 00000290: NOT 00000291: ADD 00000292: SWAP1 00000293: SWAP2 00000294: AND 00000295: DUP3 00000296: SWAP1 00000297: DIV 00000298: PUSH1 0x1f 0000029a: DUP2 0000029b: ADD 0000029c: DUP3 0000029d: SWAP1 0000029e: DIV 0000029f: DUP3 000002a0: MUL 000002a1: DUP5 000002a2: ADD 000002a3: DUP3 000002a4: ADD 000002a5: SWAP1 000002a6: SWAP5 000002a7: MSTORE 000002a8: DUP4 000002a9: DUP4 000002aa: MSTORE 000002ab: PUSH2 0x0363 000002ae: SWAP4 000002af: SWAP1 000002b0: DUP4 000002b1: ADD 000002b2: DUP3 000002b3: DUP3 000002b4: DUP1 000002b5: ISZERO 000002b6: PUSH2 0x0413 000002b9: JUMPI 000002ba: DUP1 000002bb: PUSH1 0x1f 000002bd: LT 000002be: PUSH2 0x03e8 000002c1: JUMPI 000002c2: PUSH2 0x0100 000002c5: DUP1 000002c6: DUP4 000002c7: SLOAD 000002c8: DIV 000002c9: MUL 000002ca: DUP4 000002cb: MSTORE 000002cc: SWAP2 000002cd: PUSH1 0x20 000002cf: ADD 000002d0: SWAP2 000002d1: PUSH2 0x0413 000002d4: JUMP 000002d5: JUMPDEST 000002d6: PUSH2 0x0242 000002d9: JUMPDEST 000002da: PUSH1 0x06 000002dc: SLOAD 000002dd: PUSH1 0x05 000002df: SLOAD 000002e0: PUSH1 0x00 000002e2: SWAP2 000002e3: SWAP1 000002e4: LT 000002e5: ISZERO 000002e6: DUP1 000002e7: PUSH2 0x069f 000002ea: JUMPI 000002eb: POP 000002ec: PUSH2 0x0690 000002ef: PUSH2 0x02f7 000002f2: JUMP 000002f3: JUMPDEST 000002f4: PUSH2 0x0242 000002f7: JUMPDEST 000002f8: PUSH1 0x09 000002fa: SLOAD 000002fb: TIMESTAMP 000002fc: LT 000002fd: ISZERO 000002fe: PUSH2 0x0261 00000301: JUMP 00000302: JUMPDEST 00000303: PUSH2 0x0242 00000306: PUSH1 0x07 00000308: SLOAD 00000309: DUP2 0000030a: JUMP 0000030b: JUMPDEST 0000030c: PUSH2 0x0333 0000030f: PUSH1 0x04 00000311: CALLDATALOAD 00000312: PUSH1 0x24 00000314: CALLDATALOAD 00000315: PUSH1 0x44 00000317: CALLDATALOAD 00000318: PUSH1 0x0b 0000031a: SLOAD 0000031b: PUSH1 0xff 0000031d: AND 0000031e: PUSH1 0x00 00000320: EQ 00000321: ISZERO 00000322: PUSH2 0x0472 00000325: JUMPI 00000326: PUSH2 0x0002 00000329: JUMP 0000032a: JUMPDEST 0000032b: PUSH2 0x0242 0000032e: PUSH1 0x09 00000330: SLOAD 00000331: DUP2 00000332: JUMP 00000333: JUMPDEST 00000334: STOP 00000335: JUMPDEST 00000336: POP 00000337: CALLVALUE 00000338: SWAP1 00000339: POP 0000033a: CALLER 0000033b: PUSH2 0x0354 0000033e: DUP2 0000033f: DUP4 00000340: PUSH1 0x06 00000342: SLOAD 00000343: PUSH1 0x05 00000345: SLOAD 00000346: PUSH1 0x00 00000348: SWAP2 00000349: SWAP1 0000034a: GT 0000034b: ISZERO 0000034c: PUSH2 0x0598 0000034f: JUMPI 00000350: PUSH2 0x0592 00000353: JUMP 00000354: JUMPDEST 00000355: ISZERO 00000356: ISZERO 00000357: PUSH2 0x035f 0000035a: JUMPI 0000035b: PUSH2 0x0002 0000035e: JUMP 0000035f: JUMPDEST 00000360: POP 00000361: POP 00000362: JUMP 00000363: JUMPDEST 00000364: PUSH1 0x40 00000366: MLOAD 00000367: DUP1 00000368: DUP1 00000369: PUSH1 0x20 0000036b: ADD 0000036c: DUP3 0000036d: DUP2 0000036e: SUB 0000036f: DUP3 00000370: MSTORE 00000371: DUP4 00000372: DUP2 00000373: DUP2 00000374: MLOAD 00000375: DUP2 00000376: MSTORE 00000377: PUSH1 0x20 00000379: ADD 0000037a: SWAP2 0000037b: POP 0000037c: DUP1 0000037d: MLOAD 0000037e: SWAP1 0000037f: PUSH1 0x20 00000381: ADD 00000382: SWAP1 00000383: DUP1 00000384: DUP4 00000385: DUP4 00000386: DUP3 00000387: SWAP1 00000388: PUSH1 0x00 0000038a: PUSH1 0x04 0000038c: PUSH1 0x20 0000038e: DUP5 0000038f: PUSH1 0x1f 00000391: ADD 00000392: DIV 00000393: PUSH1 0x0f 00000395: MUL 00000396: PUSH1 0x03 00000398: ADD 00000399: CALL 0000039a: POP 0000039b: SWAP1 0000039c: POP 0000039d: SWAP1 0000039e: DUP2 0000039f: ADD 000003a0: SWAP1 000003a1: PUSH1 0x1f 000003a3: AND 000003a4: DUP1 000003a5: ISZERO 000003a6: PUSH2 0x03c3 000003a9: JUMPI 000003aa: DUP1 000003ab: DUP3 000003ac: SUB 000003ad: DUP1 000003ae: MLOAD 000003af: PUSH1 0x01 000003b1: DUP4 000003b2: PUSH1 0x20 000003b4: SUB 000003b5: PUSH2 0x0100 000003b8: EXP 000003b9: SUB 000003ba: NOT 000003bb: AND 000003bc: DUP2 000003bd: MSTORE 000003be: PUSH1 0x20 000003c0: ADD 000003c1: SWAP2 000003c2: POP 000003c3: JUMPDEST 000003c4: POP 000003c5: SWAP3 000003c6: POP 000003c7: POP 000003c8: POP 000003c9: PUSH1 0x40 000003cb: MLOAD 000003cc: DUP1 000003cd: SWAP2 000003ce: SUB 000003cf: SWAP1 000003d0: RETURN 000003d1: JUMPDEST 000003d2: PUSH1 0x40 000003d4: DUP1 000003d5: MLOAD 000003d6: PUSH1 0xff 000003d8: SWAP3 000003d9: SWAP1 000003da: SWAP3 000003db: AND 000003dc: DUP3 000003dd: MSTORE 000003de: MLOAD 000003df: SWAP1 000003e0: DUP2 000003e1: SWAP1 000003e2: SUB 000003e3: PUSH1 0x20 000003e5: ADD 000003e6: SWAP1 000003e7: RETURN 000003e8: JUMPDEST 000003e9: DUP3 000003ea: ADD 000003eb: SWAP2 000003ec: SWAP1 000003ed: PUSH1 0x00 000003ef: MSTORE 000003f0: PUSH1 0x20 000003f2: PUSH1 0x00 000003f4: KECCAK256 000003f5: SWAP1 000003f6: JUMPDEST 000003f7: DUP2 000003f8: SLOAD 000003f9: DUP2 000003fa: MSTORE 000003fb: SWAP1 000003fc: PUSH1 0x01 000003fe: ADD 000003ff: SWAP1 00000400: PUSH1 0x20 00000402: ADD 00000403: DUP1 00000404: DUP4 00000405: GT 00000406: PUSH2 0x03f6 00000409: JUMPI 0000040a: DUP3 0000040b: SWAP1 0000040c: SUB 0000040d: PUSH1 0x1f 0000040f: AND 00000410: DUP3 00000411: ADD 00000412: SWAP2 00000413: JUMPDEST 00000414: POP 00000415: POP 00000416: POP 00000417: POP 00000418: POP 00000419: DUP2 0000041a: JUMP 0000041b: JUMPDEST 0000041c: DUP1 0000041d: PUSH1 0x01 0000041f: EQ 00000420: ISZERO 00000421: PUSH2 0x044a 00000424: JUMPI 00000425: PUSH1 0x01 00000427: PUSH1 0xa0 00000429: PUSH1 0x02 0000042b: EXP 0000042c: SUB 0000042d: DUP4 0000042e: AND 0000042f: PUSH1 0x00 00000431: SWAP1 00000432: DUP2 00000433: MSTORE 00000434: PUSH1 0x0c 00000436: PUSH1 0x20 00000438: MSTORE 00000439: PUSH1 0x40 0000043b: SWAP1 0000043c: KECCAK256 0000043d: PUSH1 0x01 0000043f: ADD 00000440: DUP1 00000441: SLOAD 00000442: DUP4 00000443: ADD 00000444: SWAP1 00000445: SSTORE 00000446: PUSH2 0x046d 00000449: JUMP 0000044a: JUMPDEST 0000044b: PUSH1 0x01 0000044d: PUSH1 0xa0 0000044f: PUSH1 0x02 00000451: EXP 00000452: SUB 00000453: DUP4 00000454: AND 00000455: PUSH1 0x00 00000457: SWAP1 00000458: DUP2 00000459: MSTORE 0000045a: PUSH1 0x0c 0000045c: PUSH1 0x20 0000045e: MSTORE 0000045f: PUSH1 0x40 00000461: SWAP1 00000462: KECCAK256 00000463: PUSH1 0x01 00000465: ADD 00000466: DUP1 00000467: SLOAD 00000468: DUP4 00000469: SWAP1 0000046a: SUB 0000046b: SWAP1 0000046c: SSTORE 0000046d: JUMPDEST 0000046e: POP 0000046f: POP 00000470: POP 00000471: JUMP 00000472: JUMPDEST 00000473: PUSH1 0x01 00000475: PUSH1 0xa0 00000477: PUSH1 0x02 00000479: EXP 0000047a: SUB 0000047b: DUP4 0000047c: DUP2 0000047d: AND 0000047e: PUSH1 0x00 00000480: SWAP1 00000481: DUP2 00000482: MSTORE 00000483: PUSH1 0x0c 00000485: PUSH1 0x20 00000487: MSTORE 00000488: PUSH1 0x40 0000048a: DUP1 0000048b: DUP3 0000048c: KECCAK256 0000048d: PUSH1 0x01 0000048f: ADD 00000490: SLOAD 00000491: SWAP3 00000492: DUP6 00000493: AND 00000494: DUP3 00000495: MSTORE 00000496: SWAP1 00000497: KECCAK256 00000498: SLOAD 00000499: SWAP1 0000049a: DUP2 0000049b: SUB 0000049c: SWAP1 0000049d: DUP3 0000049e: ADD 0000049f: LT 000004a0: ISZERO 000004a1: PUSH2 0x04a9 000004a4: JUMPI 000004a5: PUSH2 0x0002 000004a8: JUMP 000004a9: JUMPDEST 000004aa: PUSH1 0x01 000004ac: PUSH1 0xa0 000004ae: PUSH1 0x02 000004b0: EXP 000004b1: SUB 000004b2: DUP4 000004b3: AND 000004b4: PUSH1 0x00 000004b6: SWAP1 000004b7: DUP2 000004b8: MSTORE 000004b9: PUSH1 0x0c 000004bb: PUSH1 0x20 000004bd: MSTORE 000004be: PUSH1 0x40 000004c0: SWAP1 000004c1: KECCAK256 000004c2: SLOAD 000004c3: DUP2 000004c4: SWAP1 000004c5: LT 000004c6: DUP1 000004c7: ISZERO 000004c8: PUSH2 0x04d1 000004cb: JUMPI 000004cc: POP 000004cd: PUSH1 0x00 000004cf: DUP2 000004d0: GT 000004d1: JUMPDEST 000004d2: ISZERO 000004d3: PUSH2 0x04db 000004d6: JUMPI 000004d7: PUSH2 0x0002 000004da: JUMP 000004db: JUMPDEST 000004dc: CALLER 000004dd: PUSH1 0x01 000004df: PUSH1 0xa0 000004e1: PUSH1 0x02 000004e3: EXP 000004e4: SUB 000004e5: AND 000004e6: DUP4 000004e7: PUSH1 0x01 000004e9: PUSH1 0xa0 000004eb: PUSH1 0x02 000004ed: EXP 000004ee: SUB 000004ef: AND 000004f0: EQ 000004f1: ISZERO 000004f2: PUSH2 0x046d 000004f5: JUMPI 000004f6: PUSH1 0x01 000004f8: PUSH1 0xa0 000004fa: PUSH1 0x02 000004fc: EXP 000004fd: SUB 000004fe: DUP3 000004ff: DUP2 00000500: AND 00000501: PUSH1 0x00 00000503: DUP2 00000504: DUP2 00000505: MSTORE 00000506: PUSH1 0x0c 00000508: PUSH1 0x20 0000050a: SWAP1 0000050b: DUP2 0000050c: MSTORE 0000050d: PUSH1 0x40 0000050f: DUP1 00000510: DUP4 00000511: KECCAK256 00000512: DUP1 00000513: SLOAD 00000514: DUP8 00000515: ADD 00000516: SWAP1 00000517: SSTORE 00000518: SWAP4 00000519: DUP8 0000051a: AND 0000051b: DUP1 0000051c: DUP4 0000051d: MSTORE 0000051e: SWAP2 0000051f: DUP5 00000520: SWAP1 00000521: KECCAK256 00000522: DUP1 00000523: SLOAD 00000524: DUP7 00000525: SWAP1 00000526: SUB 00000527: SWAP1 00000528: SSTORE 00000529: DUP4 0000052a: MLOAD 0000052b: DUP6 0000052c: DUP2 0000052d: MSTORE 0000052e: SWAP4 0000052f: MLOAD 00000530: SWAP3 00000531: SWAP4 00000532: SWAP2 00000533: SWAP3 00000534: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000555: SWAP3 00000556: DUP2 00000557: SWAP1 00000558: SUB 00000559: SWAP1 0000055a: SWAP2 0000055b: ADD 0000055c: SWAP1 0000055d: LOG3 0000055e: POP 0000055f: POP 00000560: POP 00000561: JUMP 00000562: JUMPDEST 00000563: POP 00000564: PUSH1 0x40 00000566: MLOAD 00000567: DUP3 00000568: SWAP1 00000569: PUSH32 0xe2aeb2ae0272c38a449d3cebb58f6894790a45bfb16f73a8e1761acb1e312053 0000058a: SWAP1 0000058b: PUSH1 0x00 0000058d: SWAP1 0000058e: LOG2 0000058f: POP 00000590: PUSH1 0x01 00000592: JUMPDEST 00000593: SWAP3 00000594: SWAP2 00000595: POP 00000596: POP 00000597: JUMP 00000598: JUMPDEST 00000599: PUSH1 0x0b 0000059b: SLOAD 0000059c: PUSH1 0xff 0000059e: AND 0000059f: PUSH1 0x01 000005a1: EQ 000005a2: ISZERO 000005a3: PUSH2 0x05ae 000005a6: JUMPI 000005a7: POP 000005a8: PUSH1 0x00 000005aa: PUSH2 0x0592 000005ad: JUMP 000005ae: JUMPDEST 000005af: PUSH1 0x01 000005b1: PUSH1 0xa0 000005b3: PUSH1 0x02 000005b5: EXP 000005b6: SUB 000005b7: DUP4 000005b8: AND 000005b9: PUSH1 0x00 000005bb: SWAP1 000005bc: DUP2 000005bd: MSTORE 000005be: PUSH1 0x0c 000005c0: PUSH1 0x20 000005c2: MSTORE 000005c3: PUSH1 0x40 000005c5: SWAP1 000005c6: KECCAK256 000005c7: DUP1 000005c8: SLOAD 000005c9: DUP4 000005ca: ADD 000005cb: SWAP1 000005cc: SSTORE 000005cd: PUSH1 0x05 000005cf: DUP1 000005d0: SLOAD 000005d1: DUP4 000005d2: ADD 000005d3: SWAP1 000005d4: SSTORE 000005d5: PUSH1 0x07 000005d7: DUP1 000005d8: SLOAD 000005d9: DUP4 000005da: ADD 000005db: SWAP1 000005dc: SSTORE 000005dd: PUSH2 0x0562 000005e0: PUSH2 0x02d9 000005e3: JUMP 000005e4: JUMPDEST 000005e5: POP 000005e6: PUSH1 0x0b 000005e8: SLOAD 000005e9: PUSH1 0xff 000005eb: AND 000005ec: PUSH1 0x01 000005ee: EQ 000005ef: ISZERO 000005f0: PUSH2 0x05fb 000005f3: JUMPI 000005f4: POP 000005f5: PUSH1 0x00 000005f7: PUSH2 0x0261 000005fa: JUMP 000005fb: JUMPDEST 000005fc: PUSH2 0x0603 000005ff: PUSH2 0x02f7 00000602: JUMP 00000603: JUMPDEST 00000604: DUP1 00000605: ISZERO 00000606: PUSH2 0x0614 00000609: JUMPI 0000060a: POP 0000060b: PUSH2 0x0612 0000060e: PUSH2 0x0258 00000611: JUMP 00000612: JUMPDEST 00000613: ISZERO 00000614: JUMPDEST 00000615: ISZERO 00000616: PUSH2 0x0261 00000619: JUMPI 0000061a: PUSH1 0x01 0000061c: PUSH1 0xa0 0000061e: PUSH1 0x02 00000620: EXP 00000621: SUB 00000622: CALLER 00000623: AND 00000624: PUSH1 0x00 00000626: SWAP1 00000627: DUP2 00000628: MSTORE 00000629: PUSH1 0x0c 0000062b: PUSH1 0x20 0000062d: MSTORE 0000062e: PUSH1 0x40 00000630: DUP2 00000631: KECCAK256 00000632: SLOAD 00000633: GT 00000634: ISZERO 00000635: PUSH2 0x0261 00000638: JUMPI 00000639: PUSH1 0x40 0000063b: PUSH1 0x00 0000063d: DUP2 0000063e: DUP2 0000063f: KECCAK256 00000640: SLOAD 00000641: SWAP2 00000642: MLOAD 00000643: PUSH1 0x01 00000645: PUSH1 0xa0 00000647: PUSH1 0x02 00000649: EXP 0000064a: SUB 0000064b: CALLER 0000064c: AND 0000064d: SWAP3 0000064e: SWAP1 0000064f: DUP3 00000650: DUP2 00000651: DUP2 00000652: DUP2 00000653: DUP6 00000654: DUP9 00000655: DUP4 00000656: CALL 00000657: SWAP4 00000658: POP 00000659: POP 0000065a: POP 0000065b: POP 0000065c: ISZERO 0000065d: PUSH2 0x0261 00000660: JUMPI 00000661: PUSH1 0x40 00000663: PUSH1 0x00 00000665: SWAP1 00000666: DUP2 00000667: KECCAK256 00000668: PUSH1 0x01 0000066a: PUSH1 0xa0 0000066c: PUSH1 0x02 0000066e: EXP 0000066f: SUB 00000670: CALLER 00000671: AND 00000672: DUP3 00000673: MSTORE 00000674: PUSH1 0x0c 00000676: PUSH1 0x20 00000678: MSTORE 00000679: PUSH1 0x05 0000067b: DUP1 0000067c: SLOAD 0000067d: DUP3 0000067e: SLOAD 0000067f: SWAP1 00000680: SUB 00000681: SWAP1 00000682: SSTORE 00000683: PUSH1 0x07 00000685: DUP1 00000686: SLOAD 00000687: DUP3 00000688: SLOAD 00000689: SWAP1 0000068a: SUB 0000068b: SWAP1 0000068c: SSTORE 0000068d: SSTORE 0000068e: SWAP1 0000068f: JUMP 00000690: JUMPDEST 00000691: DUP1 00000692: ISZERO 00000693: PUSH2 0x069f 00000696: JUMPI 00000697: POP 00000698: PUSH2 0x069f 0000069b: PUSH2 0x0258 0000069e: JUMP 0000069f: JUMPDEST 000006a0: ISZERO 000006a1: PUSH2 0x0261 000006a4: JUMPI 000006a5: POP 000006a6: PUSH1 0x0b 000006a8: DUP1 000006a9: SLOAD 000006aa: PUSH1 0xff 000006ac: NOT 000006ad: AND 000006ae: PUSH1 0x01 000006b0: SWAP1 000006b1: DUP2 000006b2: OR 000006b3: SWAP1 000006b4: SWAP2 000006b5: SSTORE 000006b6: PUSH2 0x0261 000006b9: JUMP 000006ba: JUMPDEST 000006bb: PUSH1 0x00 000006bd: DUP1 000006be: SLOAD 000006bf: PUSH1 0x07 000006c1: SLOAD 000006c2: PUSH1 0x40 000006c4: MLOAD 000006c5: PUSH1 0x01 000006c7: PUSH1 0xa0 000006c9: PUSH1 0x02 000006cb: EXP 000006cc: SUB 000006cd: SWAP3 000006ce: SWAP1 000006cf: SWAP3 000006d0: AND 000006d1: SWAP3 000006d2: SWAP2 000006d3: DUP3 000006d4: DUP2 000006d5: DUP2 000006d6: DUP2 000006d7: DUP6 000006d8: DUP9 000006d9: DUP4 000006da: CALL 000006db: SWAP4 000006dc: POP 000006dd: POP 000006de: POP 000006df: POP 000006e0: SWAP1 000006e1: POP 000006e2: DUP1 000006e3: ISZERO 000006e4: PUSH2 0x06ed 000006e7: JUMPI 000006e8: PUSH1 0x00 000006ea: PUSH1 0x07 000006ec: SSTORE 000006ed: JUMPDEST 000006ee: DUP1 000006ef: SWAP2 000006f0: POP 000006f1: JUMPDEST 000006f2: POP 000006f3: SWAP1 000006f4: JUMP 000006f5: JUMPDEST 000006f6: ISZERO 000006f7: ISZERO 000006f8: PUSH2 0x06ba 000006fb: JUMPI 000006fc: PUSH1 0x00 000006fe: SWAP2 000006ff: POP 00000700: PUSH2 0x06f1 00000703: JUMP
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x4153873c2e4a2335843b5402622711f3fdacd58b12a1232affcafa5b5449b747
call_targets:
0x24f75d50463f41eb1b405bf33ec7146a7ea929e1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4153873c2e4a2335843b5402622711f3fdacd58b12a1232affcafa5b5449b747",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x24f75d50463f41eb1b405bf33ec7146a7ea929e1"
],
"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": "0x047fc9aa",
"selector": "0x047fc9aa",
"calldata_variants": [
"0x047fc9aa",
"0x047fc9aa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0b97bc86",
"selector": "0x0b97bc86",
"calldata_variants": [
"0x0b97bc86",
"0x0b97bc860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x142f328e",
"selector": "0x142f328e",
"calldata_variants": [
"0x142f328e",
"0x142f328e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x200b3690",
"selector": "0x200b3690",
"calldata_variants": [
"0x200b3690",
"0x200b36900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x239b18b4",
"selector": "0x239b18b4",
"calldata_variants": [
"0x239b18b4",
"0x239b18b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x40193883",
"selector": "0x40193883",
"calldata_variants": [
"0x40193883",
"0x401938830000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 921,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1622,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1754,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x4153873c2e4a2335843b5402622711f3fdacd58b12a1232affcafa5b5449b747
call_targets:
0x24f75d50463f41eb1b405bf33ec7146a7ea929e1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4153873c2e4a2335843b5402622711f3fdacd58b12a1232affcafa5b5449b747",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x24f75d50463f41eb1b405bf33ec7146a7ea929e1"
],
"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": "0x047fc9aa",
"selector": "0x047fc9aa",
"calldata_variants": [
"0x047fc9aa",
"0x047fc9aa0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0b97bc86",
"selector": "0x0b97bc86",
"calldata_variants": [
"0x0b97bc86",
"0x0b97bc860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x142f328e",
"selector": "0x142f328e",
"calldata_variants": [
"0x142f328e",
"0x142f328e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x200b3690",
"selector": "0x200b3690",
"calldata_variants": [
"0x200b3690",
"0x200b36900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x239b18b4",
"selector": "0x239b18b4",
"calldata_variants": [
"0x239b18b4",
"0x239b18b40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x40193883",
"selector": "0x40193883",
"calldata_variants": [
"0x40193883",
"0x401938830000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 921,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1622,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1754,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|