019b3836-4fce-7055-bd10-ea6273ab313b
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 |
|---|---|---|---|---|
| 7579 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 7580 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 51084 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 51085 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 51086 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 51087 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x008d 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x106f0490 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x008f 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x35ddea53 00000025: EQ 00000026: PUSH2 0x0126 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x364dab10 00000030: EQ 00000031: PUSH2 0x0153 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x6eb27154 0000003b: EQ 0000003c: PUSH2 0x0165 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x79085425 00000046: EQ 00000047: PUSH2 0x0177 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x80fad325 00000051: EQ 00000052: PUSH2 0x0180 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x8a00a82f 0000005c: EQ 0000005d: PUSH2 0x0189 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0xb683b226 00000067: EQ 00000068: PUSH2 0x01b0 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0xbd5a9b02 00000072: EQ 00000073: PUSH2 0x01c8 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xef2e6753 0000007d: EQ 0000007e: PUSH2 0x01ec 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xff5fc56f 00000088: EQ 00000089: PUSH2 0x020a 0000008c: JUMPI 0000008d: JUMPDEST 0000008e: STOP 0000008f: JUMPDEST 00000090: PUSH2 0x021c 00000093: PUSH1 0x04 00000095: CALLDATALOAD 00000096: PUSH1 0x05 00000098: DUP1 00000099: SLOAD 0000009a: DUP3 0000009b: SWAP1 0000009c: DUP2 0000009d: LT 0000009e: ISZERO 0000009f: PUSH2 0x0002 000000a2: JUMPI 000000a3: POP 000000a4: PUSH1 0x00 000000a6: MSTORE 000000a7: PUSH1 0x03 000000a9: MUL 000000aa: PUSH32 0x036b6384b5eca791c62761152d0c79bb0604c104a5fb6f4eb0703f3154bb3db0 000000cb: DUP2 000000cc: ADD 000000cd: SLOAD 000000ce: PUSH32 0x036b6384b5eca791c62761152d0c79bb0604c104a5fb6f4eb0703f3154bb3db1 000000ef: DUP3 000000f0: ADD 000000f1: SLOAD 000000f2: PUSH32 0x036b6384b5eca791c62761152d0c79bb0604c104a5fb6f4eb0703f3154bb3db2 00000113: SWAP3 00000114: SWAP1 00000115: SWAP3 00000116: ADD 00000117: SLOAD 00000118: SWAP1 00000119: SWAP2 0000011a: PUSH1 0x01 0000011c: PUSH1 0xa0 0000011e: PUSH1 0x02 00000120: EXP 00000121: SUB 00000122: AND 00000123: SWAP1 00000124: DUP4 00000125: JUMP 00000126: JUMPDEST 00000127: PUSH2 0x022d 0000012a: PUSH1 0x04 0000012c: CALLDATALOAD 0000012d: PUSH1 0x24 0000012f: CALLDATALOAD 00000130: PUSH1 0x44 00000132: CALLDATALOAD 00000133: PUSH1 0x01 00000135: SLOAD 00000136: PUSH1 0x00 00000138: SWAP1 00000139: DUP2 0000013a: SWAP1 0000013b: PUSH1 0x01 0000013d: PUSH1 0xa0 0000013f: PUSH1 0x02 00000141: EXP 00000142: SUB 00000143: SWAP1 00000144: DUP2 00000145: AND 00000146: CALLER 00000147: SWAP1 00000148: SWAP2 00000149: AND 0000014a: EQ 0000014b: PUSH2 0x025c 0000014e: JUMPI 0000014f: PUSH2 0x0002 00000152: JUMP 00000153: JUMPDEST 00000154: PUSH2 0x023f 00000157: PUSH1 0x01 00000159: SLOAD 0000015a: PUSH1 0x01 0000015c: PUSH1 0xa0 0000015e: PUSH1 0x02 00000160: EXP 00000161: SUB 00000162: AND 00000163: DUP2 00000164: JUMP 00000165: JUMPDEST 00000166: PUSH2 0x023f 00000169: PUSH1 0x00 0000016b: SLOAD 0000016c: PUSH1 0x01 0000016e: PUSH1 0xa0 00000170: PUSH1 0x02 00000172: EXP 00000173: SUB 00000174: AND 00000175: DUP2 00000176: JUMP 00000177: JUMPDEST 00000178: PUSH2 0x022d 0000017b: PUSH1 0x06 0000017d: SLOAD 0000017e: DUP2 0000017f: JUMP 00000180: JUMPDEST 00000181: PUSH2 0x022d 00000184: PUSH1 0x03 00000186: SLOAD 00000187: DUP2 00000188: JUMP 00000189: JUMPDEST 0000018a: PUSH2 0x022d 0000018d: PUSH1 0x04 0000018f: CALLDATALOAD 00000190: PUSH1 0x01 00000192: SLOAD 00000193: PUSH1 0x00 00000195: SWAP1 00000196: DUP2 00000197: SWAP1 00000198: PUSH1 0x01 0000019a: PUSH1 0xa0 0000019c: PUSH1 0x02 0000019e: EXP 0000019f: SUB 000001a0: SWAP1 000001a1: DUP2 000001a2: AND 000001a3: CALLER 000001a4: SWAP1 000001a5: SWAP2 000001a6: AND 000001a7: EQ 000001a8: PUSH2 0x02fb 000001ab: JUMPI 000001ac: PUSH2 0x0002 000001af: JUMP 000001b0: JUMPDEST 000001b1: PUSH2 0x022d 000001b4: PUSH1 0x04 000001b6: CALLDATALOAD 000001b7: PUSH1 0x04 000001b9: PUSH1 0x20 000001bb: MSTORE 000001bc: PUSH1 0x00 000001be: SWAP1 000001bf: DUP2 000001c0: MSTORE 000001c1: PUSH1 0x40 000001c3: SWAP1 000001c4: KECCAK256 000001c5: SLOAD 000001c6: DUP2 000001c7: JUMP 000001c8: JUMPDEST 000001c9: PUSH2 0x022d 000001cc: PUSH1 0x04 000001ce: CALLDATALOAD 000001cf: PUSH1 0x00 000001d1: DUP1 000001d2: SLOAD 000001d3: DUP2 000001d4: SWAP1 000001d5: CALLER 000001d6: PUSH1 0x01 000001d8: PUSH1 0xa0 000001da: PUSH1 0x02 000001dc: EXP 000001dd: SUB 000001de: SWAP1 000001df: DUP2 000001e0: AND 000001e1: SWAP2 000001e2: AND 000001e3: EQ 000001e4: PUSH2 0x02fb 000001e7: JUMPI 000001e8: PUSH2 0x0002 000001eb: JUMP 000001ec: JUMPDEST 000001ed: PUSH2 0x008d 000001f0: PUSH1 0x00 000001f2: SLOAD 000001f3: CALLER 000001f4: PUSH1 0x01 000001f6: PUSH1 0xa0 000001f8: PUSH1 0x02 000001fa: EXP 000001fb: SUB 000001fc: SWAP1 000001fd: DUP2 000001fe: AND 000001ff: SWAP2 00000200: AND 00000201: EQ 00000202: PUSH2 0x0252 00000205: JUMPI 00000206: PUSH2 0x0002 00000209: JUMP 0000020a: JUMPDEST 0000020b: PUSH2 0x023f 0000020e: PUSH1 0x02 00000210: SLOAD 00000211: PUSH1 0x01 00000213: PUSH1 0xa0 00000215: PUSH1 0x02 00000217: EXP 00000218: SUB 00000219: AND 0000021a: DUP2 0000021b: JUMP 0000021c: JUMPDEST 0000021d: PUSH1 0x60 0000021f: SWAP3 00000220: DUP4 00000221: MSTORE 00000222: PUSH1 0x80 00000224: SWAP2 00000225: SWAP1 00000226: SWAP2 00000227: MSTORE 00000228: PUSH1 0xa0 0000022a: MSTORE 0000022b: DUP1 0000022c: RETURN 0000022d: JUMPDEST 0000022e: PUSH1 0x40 00000230: DUP1 00000231: MLOAD 00000232: SWAP2 00000233: DUP3 00000234: MSTORE 00000235: MLOAD 00000236: SWAP1 00000237: DUP2 00000238: SWAP1 00000239: SUB 0000023a: PUSH1 0x20 0000023c: ADD 0000023d: SWAP1 0000023e: RETURN 0000023f: JUMPDEST 00000240: PUSH1 0x01 00000242: PUSH1 0xa0 00000244: PUSH1 0x02 00000246: EXP 00000247: SUB 00000248: AND 00000249: PUSH1 0x60 0000024b: SWAP1 0000024c: DUP2 0000024d: MSTORE 0000024e: PUSH1 0x20 00000250: SWAP1 00000251: RETURN 00000252: JUMPDEST 00000253: PUSH1 0x03 00000255: DUP1 00000256: SLOAD 00000257: CALLVALUE 00000258: ADD 00000259: SWAP1 0000025a: SSTORE 0000025b: JUMP 0000025c: JUMPDEST 0000025d: PUSH1 0x02 0000025f: SLOAD 00000260: PUSH1 0xe0 00000262: PUSH1 0x02 00000264: EXP 00000265: PUSH4 0x70a08231 0000026a: MUL 0000026b: PUSH1 0x60 0000026d: SWAP1 0000026e: DUP2 0000026f: MSTORE 00000270: PUSH1 0x01 00000272: PUSH1 0xa0 00000274: PUSH1 0x02 00000276: EXP 00000277: SUB 00000278: DUP8 00000279: DUP2 0000027a: AND 0000027b: PUSH1 0x64 0000027d: MSTORE 0000027e: SWAP1 0000027f: SWAP2 00000280: AND 00000281: SWAP1 00000282: PUSH4 0x70a08231 00000287: SWAP1 00000288: PUSH1 0x84 0000028a: SWAP1 0000028b: PUSH1 0x20 0000028d: SWAP1 0000028e: PUSH1 0x24 00000290: DUP2 00000291: DUP8 00000292: DUP8 00000293: PUSH2 0x61da 00000296: GAS 00000297: SUB 00000298: CALL 00000299: ISZERO 0000029a: PUSH2 0x0002 0000029d: JUMPI 0000029e: POP 0000029f: POP 000002a0: PUSH1 0x40 000002a2: DUP1 000002a3: MLOAD 000002a4: MLOAD 000002a5: PUSH1 0x01 000002a7: PUSH1 0xa0 000002a9: PUSH1 0x02 000002ab: EXP 000002ac: SUB 000002ad: DUP9 000002ae: AND 000002af: SWAP1 000002b0: SWAP4 000002b1: MSTORE 000002b2: PUSH1 0x04 000002b4: PUSH1 0x20 000002b6: MSTORE 000002b7: DUP4 000002b8: KECCAK256 000002b9: SLOAD 000002ba: DUP1 000002bb: DUP6 000002bc: MUL 000002bd: SWAP3 000002be: SWAP1 000002bf: SWAP3 000002c0: DIV 000002c1: SWAP2 000002c2: DUP3 000002c3: GT 000002c4: ISZERO 000002c5: SWAP1 000002c6: POP 000002c7: PUSH2 0x02cf 000002ca: JUMPI 000002cb: PUSH2 0x0002 000002ce: JUMP 000002cf: JUMPDEST 000002d0: PUSH1 0x40 000002d2: DUP1 000002d3: DUP4 000002d4: KECCAK256 000002d5: DUP1 000002d6: SLOAD 000002d7: DUP4 000002d8: SWAP1 000002d9: SUB 000002da: SWAP1 000002db: SSTORE 000002dc: PUSH1 0x01 000002de: PUSH1 0xa0 000002e0: PUSH1 0x02 000002e2: EXP 000002e3: SUB 000002e4: DUP6 000002e5: AND 000002e6: DUP4 000002e7: MSTORE 000002e8: SWAP1 000002e9: SWAP2 000002ea: KECCAK256 000002eb: DUP1 000002ec: SLOAD 000002ed: DUP3 000002ee: ADD 000002ef: SWAP1 000002f0: SSTORE 000002f1: PUSH1 0x01 000002f3: SWAP1 000002f4: POP 000002f5: SWAP4 000002f6: SWAP3 000002f7: POP 000002f8: POP 000002f9: POP 000002fa: JUMP 000002fb: JUMPDEST 000002fc: PUSH1 0x01 000002fe: PUSH1 0xa0 00000300: PUSH1 0x02 00000302: EXP 00000303: SUB 00000304: DUP4 00000305: DUP2 00000306: AND 00000307: DUP3 00000308: MSTORE 00000309: PUSH1 0x04 0000030b: PUSH1 0x20 0000030d: DUP2 0000030e: DUP2 0000030f: MSTORE 00000310: PUSH1 0x40 00000312: DUP5 00000313: KECCAK256 00000314: SLOAD 00000315: PUSH1 0x02 00000317: SLOAD 00000318: PUSH32 0x366d485800000000000000000000000000000000000000000000000000000000 00000339: PUSH1 0x60 0000033b: SWAP1 0000033c: DUP2 0000033d: MSTORE 0000033e: SWAP2 0000033f: SWAP5 00000340: AND 00000341: SWAP3 00000342: PUSH4 0x366d4858 00000347: SWAP3 00000348: PUSH1 0x64 0000034a: SWAP3 0000034b: SWAP1 0000034c: SWAP2 0000034d: DUP2 0000034e: DUP9 0000034f: DUP8 00000350: PUSH2 0x61da 00000353: GAS 00000354: SUB 00000355: CALL 00000356: ISZERO 00000357: PUSH2 0x0002 0000035a: JUMPI 0000035b: POP 0000035c: POP 0000035d: PUSH1 0x40 0000035f: DUP1 00000360: MLOAD 00000361: DUP1 00000362: MLOAD 00000363: PUSH1 0x02 00000365: SLOAD 00000366: PUSH1 0xe0 00000368: PUSH1 0x02 0000036a: EXP 0000036b: PUSH4 0x70a08231 00000370: MUL 00000371: DUP4 00000372: MSTORE 00000373: PUSH1 0x01 00000375: PUSH1 0xa0 00000377: PUSH1 0x02 00000379: EXP 0000037a: SUB 0000037b: DUP10 0000037c: DUP2 0000037d: AND 0000037e: PUSH1 0x04 00000380: DUP6 00000381: ADD 00000382: MSTORE 00000383: SWAP4 00000384: MLOAD 00000385: SWAP2 00000386: SWAP5 00000387: POP 00000388: SWAP1 00000389: SWAP3 0000038a: AND 0000038b: SWAP2 0000038c: PUSH4 0x70a08231 00000391: SWAP2 00000392: PUSH1 0x24 00000394: DUP2 00000395: DUP2 00000396: ADD 00000397: SWAP3 00000398: PUSH1 0x20 0000039a: SWAP3 0000039b: SWAP1 0000039c: SWAP2 0000039d: SWAP1 0000039e: DUP3 0000039f: SWAP1 000003a0: SUB 000003a1: ADD 000003a2: DUP2 000003a3: DUP10 000003a4: DUP8 000003a5: PUSH2 0x61da 000003a8: GAS 000003a9: SUB 000003aa: CALL 000003ab: ISZERO 000003ac: PUSH2 0x0002 000003af: JUMPI 000003b0: POP 000003b1: POP 000003b2: POP 000003b3: PUSH1 0x40 000003b5: MLOAD 000003b6: DUP1 000003b7: MLOAD 000003b8: SWAP1 000003b9: PUSH1 0x20 000003bb: ADD 000003bc: POP 000003bd: PUSH1 0x03 000003bf: PUSH1 0x00 000003c1: POP 000003c2: SLOAD 000003c3: MUL 000003c4: DIV 000003c5: LT 000003c6: ISZERO 000003c7: PUSH2 0x03cf 000003ca: JUMPI 000003cb: PUSH2 0x0002 000003ce: JUMP 000003cf: JUMPDEST 000003d0: PUSH1 0x04 000003d2: PUSH1 0x00 000003d4: POP 000003d5: PUSH1 0x00 000003d7: DUP5 000003d8: PUSH1 0x01 000003da: PUSH1 0xa0 000003dc: PUSH1 0x02 000003de: EXP 000003df: SUB 000003e0: AND 000003e1: DUP2 000003e2: MSTORE 000003e3: PUSH1 0x20 000003e5: ADD 000003e6: SWAP1 000003e7: DUP2 000003e8: MSTORE 000003e9: PUSH1 0x20 000003eb: ADD 000003ec: PUSH1 0x00 000003ee: KECCAK256 000003ef: PUSH1 0x00 000003f1: POP 000003f2: SLOAD 000003f3: PUSH1 0x02 000003f5: PUSH1 0x00 000003f7: SWAP1 000003f8: SLOAD 000003f9: SWAP1 000003fa: PUSH2 0x0100 000003fd: EXP 000003fe: SWAP1 000003ff: DIV 00000400: PUSH1 0x01 00000402: PUSH1 0xa0 00000404: PUSH1 0x02 00000406: EXP 00000407: SUB 00000408: AND 00000409: PUSH1 0x01 0000040b: PUSH1 0xa0 0000040d: PUSH1 0x02 0000040f: EXP 00000410: SUB 00000411: AND 00000412: PUSH4 0x366d4858 00000417: PUSH1 0x40 00000419: MLOAD 0000041a: DUP2 0000041b: PUSH1 0xe0 0000041d: PUSH1 0x02 0000041f: EXP 00000420: MUL 00000421: DUP2 00000422: MSTORE 00000423: PUSH1 0x04 00000425: ADD 00000426: DUP1 00000427: SWAP1 00000428: POP 00000429: PUSH1 0x20 0000042b: PUSH1 0x40 0000042d: MLOAD 0000042e: DUP1 0000042f: DUP4 00000430: SUB 00000431: DUP2 00000432: PUSH1 0x00 00000434: DUP8 00000435: PUSH2 0x61da 00000438: GAS 00000439: SUB 0000043a: CALL 0000043b: ISZERO 0000043c: PUSH2 0x0002 0000043f: JUMPI 00000440: POP 00000441: POP 00000442: PUSH1 0x40 00000444: DUP1 00000445: MLOAD 00000446: DUP1 00000447: MLOAD 00000448: PUSH1 0x02 0000044a: SLOAD 0000044b: PUSH1 0xe0 0000044d: PUSH1 0x02 0000044f: EXP 00000450: PUSH4 0x70a08231 00000455: MUL 00000456: DUP4 00000457: MSTORE 00000458: PUSH1 0x01 0000045a: PUSH1 0xa0 0000045c: PUSH1 0x02 0000045e: EXP 0000045f: SUB 00000460: DUP10 00000461: DUP2 00000462: AND 00000463: PUSH1 0x04 00000465: DUP6 00000466: ADD 00000467: MSTORE 00000468: SWAP4 00000469: MLOAD 0000046a: SWAP2 0000046b: SWAP5 0000046c: POP 0000046d: SWAP1 0000046e: SWAP3 0000046f: AND 00000470: SWAP2 00000471: PUSH4 0x70a08231 00000476: SWAP2 00000477: PUSH1 0x24 00000479: DUP2 0000047a: DUP2 0000047b: ADD 0000047c: SWAP3 0000047d: PUSH1 0x20 0000047f: SWAP3 00000480: SWAP1 00000481: SWAP2 00000482: SWAP1 00000483: DUP3 00000484: SWAP1 00000485: SUB 00000486: ADD 00000487: DUP2 00000488: DUP10 00000489: DUP8 0000048a: PUSH2 0x61da 0000048d: GAS 0000048e: SUB 0000048f: CALL 00000490: ISZERO 00000491: PUSH2 0x0002 00000494: JUMPI 00000495: POP 00000496: POP 00000497: POP 00000498: PUSH1 0x40 0000049a: MLOAD 0000049b: DUP1 0000049c: MLOAD 0000049d: SWAP1 0000049e: PUSH1 0x20 000004a0: ADD 000004a1: POP 000004a2: PUSH1 0x03 000004a4: PUSH1 0x00 000004a6: POP 000004a7: SLOAD 000004a8: MUL 000004a9: DIV 000004aa: SUB 000004ab: SWAP1 000004ac: POP 000004ad: PUSH2 0x0512 000004b0: DUP4 000004b1: DUP3 000004b2: PUSH1 0x00 000004b4: DUP2 000004b5: PUSH1 0x04 000004b7: PUSH1 0x00 000004b9: POP 000004ba: PUSH1 0x00 000004bc: DUP6 000004bd: PUSH1 0x01 000004bf: PUSH1 0xa0 000004c1: PUSH1 0x02 000004c3: EXP 000004c4: SUB 000004c5: AND 000004c6: DUP2 000004c7: MSTORE 000004c8: PUSH1 0x20 000004ca: ADD 000004cb: SWAP1 000004cc: DUP2 000004cd: MSTORE 000004ce: PUSH1 0x20 000004d0: ADD 000004d1: PUSH1 0x00 000004d3: KECCAK256 000004d4: PUSH1 0x00 000004d6: DUP3 000004d7: DUP3 000004d8: DUP3 000004d9: POP 000004da: SLOAD 000004db: ADD 000004dc: SWAP3 000004dd: POP 000004de: POP 000004df: DUP2 000004e0: SWAP1 000004e1: SSTORE 000004e2: POP 000004e3: DUP3 000004e4: PUSH1 0x01 000004e6: PUSH1 0xa0 000004e8: PUSH1 0x02 000004ea: EXP 000004eb: SUB 000004ec: AND 000004ed: PUSH1 0x00 000004ef: DUP4 000004f0: PUSH1 0x40 000004f2: MLOAD 000004f3: DUP1 000004f4: SWAP1 000004f5: POP 000004f6: PUSH1 0x00 000004f8: PUSH1 0x40 000004fa: MLOAD 000004fb: DUP1 000004fc: DUP4 000004fd: SUB 000004fe: DUP2 000004ff: DUP6 00000500: DUP9 00000501: DUP9 00000502: CALL 00000503: SWAP4 00000504: POP 00000505: POP 00000506: POP 00000507: POP 00000508: ISZERO 00000509: ISZERO 0000050a: PUSH2 0x05b5 0000050d: JUMPI 0000050e: PUSH2 0x0002 00000511: JUMP 00000512: JUMPDEST 00000513: POP 00000514: PUSH2 0x05ae 00000517: DUP4 00000518: DUP3 00000519: PUSH1 0x40 0000051b: DUP1 0000051c: MLOAD 0000051d: PUSH1 0x60 0000051f: DUP2 00000520: ADD 00000521: DUP3 00000522: MSTORE 00000523: NUMBER 00000524: DUP2 00000525: MSTORE 00000526: PUSH1 0x01 00000528: PUSH1 0xa0 0000052a: PUSH1 0x02 0000052c: EXP 0000052d: SUB 0000052e: DUP5 0000052f: AND 00000530: PUSH1 0x20 00000532: DUP3 00000533: ADD 00000534: MSTORE 00000535: SWAP1 00000536: DUP2 00000537: ADD 00000538: DUP3 00000539: SWAP1 0000053a: MSTORE 0000053b: PUSH1 0x06 0000053d: SLOAD 0000053e: PUSH1 0x05 00000540: DUP1 00000541: SLOAD 00000542: PUSH1 0x01 00000544: SWAP3 00000545: SWAP1 00000546: SWAP3 00000547: ADD 00000548: DUP1 00000549: DUP3 0000054a: SSTORE 0000054b: DUP9 0000054c: SWAP4 0000054d: SWAP3 0000054e: SWAP1 0000054f: SWAP2 00000550: SWAP1 00000551: DUP3 00000552: SWAP1 00000553: DUP1 00000554: ISZERO 00000555: DUP3 00000556: SWAP1 00000557: GT 00000558: PUSH2 0x05be 0000055b: JUMPI 0000055c: PUSH1 0x03 0000055e: MUL 0000055f: DUP2 00000560: PUSH1 0x03 00000562: MUL 00000563: DUP4 00000564: PUSH1 0x00 00000566: MSTORE 00000567: PUSH1 0x20 00000569: PUSH1 0x00 0000056b: KECCAK256 0000056c: SWAP2 0000056d: DUP3 0000056e: ADD 0000056f: SWAP2 00000570: ADD 00000571: PUSH2 0x05be 00000574: SWAP2 00000575: SWAP1 00000576: JUMPDEST 00000577: DUP1 00000578: DUP3 00000579: GT 0000057a: ISZERO 0000057b: PUSH2 0x0697 0000057e: JUMPI 0000057f: DUP8 00000580: DUP2 00000581: SSTORE 00000582: PUSH1 0x01 00000584: DUP2 00000585: ADD 00000586: DUP1 00000587: SLOAD 00000588: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000059d: NOT 0000059e: AND 0000059f: DUP2 000005a0: SSTORE 000005a1: PUSH1 0x02 000005a3: SWAP2 000005a4: SWAP1 000005a5: SWAP2 000005a6: ADD 000005a7: DUP9 000005a8: SWAP1 000005a9: SSTORE 000005aa: PUSH2 0x0576 000005ad: JUMP 000005ae: JUMPDEST 000005af: SWAP4 000005b0: SWAP3 000005b1: POP 000005b2: POP 000005b3: POP 000005b4: JUMP 000005b5: JUMPDEST 000005b6: POP 000005b7: PUSH1 0x01 000005b9: SWAP3 000005ba: SWAP2 000005bb: POP 000005bc: POP 000005bd: JUMP 000005be: JUMPDEST 000005bf: POP 000005c0: POP 000005c1: PUSH1 0x06 000005c3: SLOAD 000005c4: DUP2 000005c5: SLOAD 000005c6: DUP5 000005c7: SWAP4 000005c8: POP 000005c9: DUP2 000005ca: LT 000005cb: ISZERO 000005cc: PUSH2 0x0002 000005cf: JUMPI 000005d0: SWAP1 000005d1: DUP5 000005d2: MSTORE 000005d3: PUSH1 0x03 000005d5: MUL 000005d6: PUSH32 0x036b6384b5eca791c62761152d0c79bb0604c104a5fb6f4eb0703f3154bb3db0 000005f7: ADD 000005f8: DUP4 000005f9: POP 000005fa: PUSH1 0x00 000005fc: DUP3 000005fd: ADD 000005fe: MLOAD 000005ff: DUP2 00000600: PUSH1 0x00 00000602: ADD 00000603: PUSH1 0x00 00000605: POP 00000606: SSTORE 00000607: PUSH1 0x20 00000609: DUP3 0000060a: ADD 0000060b: MLOAD 0000060c: DUP2 0000060d: PUSH1 0x01 0000060f: ADD 00000610: PUSH1 0x00 00000612: PUSH2 0x0100 00000615: EXP 00000616: DUP2 00000617: SLOAD 00000618: DUP2 00000619: PUSH1 0x01 0000061b: PUSH1 0xa0 0000061d: PUSH1 0x02 0000061f: EXP 00000620: SUB 00000621: MUL 00000622: NOT 00000623: AND 00000624: SWAP1 00000625: DUP4 00000626: MUL 00000627: OR 00000628: SWAP1 00000629: SSTORE 0000062a: POP 0000062b: PUSH1 0x40 0000062d: DUP3 0000062e: ADD 0000062f: MLOAD 00000630: DUP2 00000631: PUSH1 0x02 00000633: ADD 00000634: PUSH1 0x00 00000636: POP 00000637: SSTORE 00000638: SWAP1 00000639: POP 0000063a: POP 0000063b: PUSH1 0x06 0000063d: PUSH1 0x00 0000063f: POP 00000640: SLOAD 00000641: PUSH1 0x01 00000643: ADD 00000644: PUSH1 0x06 00000646: PUSH1 0x00 00000648: POP 00000649: DUP2 0000064a: SWAP1 0000064b: SSTORE 0000064c: POP 0000064d: DUP4 0000064e: PUSH1 0x01 00000650: PUSH1 0xa0 00000652: PUSH1 0x02 00000654: EXP 00000655: SUB 00000656: AND 00000657: PUSH32 0xe2403640ba68fed3a2f88b7557551d1993f84b99bb10ff833f0cf8db0c5e0486 00000678: DUP5 00000679: PUSH1 0x40 0000067b: MLOAD 0000067c: DUP1 0000067d: DUP3 0000067e: DUP2 0000067f: MSTORE 00000680: PUSH1 0x20 00000682: ADD 00000683: SWAP2 00000684: POP 00000685: POP 00000686: PUSH1 0x40 00000688: MLOAD 00000689: DUP1 0000068a: SWAP2 0000068b: SUB 0000068c: SWAP1 0000068d: LOG2 0000068e: POP 0000068f: PUSH1 0x01 00000691: SWAP4 00000692: SWAP3 00000693: POP 00000694: POP 00000695: POP 00000696: JUMP 00000697: JUMPDEST 00000698: POP 00000699: SWAP1 0000069a: JUMP
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x97977d16c99118efba704cb6eac1966f76f163bba5ec68417aee37bc55a9fddb
call_targets:
0xc9bb24d149eb4eba2838497e64c1028194665e27
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x97977d16c99118efba704cb6eac1966f76f163bba5ec68417aee37bc55a9fddb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc9bb24d149eb4eba2838497e64c1028194665e27"
],
"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": "0x106f0490",
"selector": "0x106f0490",
"calldata_variants": [
"0x106f0490",
"0x106f04900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x35ddea53",
"selector": "0x35ddea53",
"calldata_variants": [
"0x35ddea53",
"0x35ddea530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x364dab10",
"selector": "0x364dab10",
"calldata_variants": [
"0x364dab10",
"0x364dab100000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6eb27154",
"selector": "0x6eb27154",
"calldata_variants": [
"0x6eb27154",
"0x6eb271540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79085425",
"selector": "0x79085425",
"calldata_variants": [
"0x79085425",
"0x790854250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x80fad325",
"selector": "0x80fad325",
"calldata_variants": [
"0x80fad325",
"0x80fad3250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a00a82f",
"selector": "0x8a00a82f",
"calldata_variants": [
"0x8a00a82f",
"0x8a00a82f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb683b226",
"selector": "0xb683b226",
"calldata_variants": [
"0xb683b226",
"0xb683b2260000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 664,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 853,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 938,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [],
"untrusted_call_count": 6
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x97977d16c99118efba704cb6eac1966f76f163bba5ec68417aee37bc55a9fddb
call_targets:
0xc9bb24d149eb4eba2838497e64c1028194665e27
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x97977d16c99118efba704cb6eac1966f76f163bba5ec68417aee37bc55a9fddb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc9bb24d149eb4eba2838497e64c1028194665e27"
],
"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": "0x106f0490",
"selector": "0x106f0490",
"calldata_variants": [
"0x106f0490",
"0x106f04900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x35ddea53",
"selector": "0x35ddea53",
"calldata_variants": [
"0x35ddea53",
"0x35ddea530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x364dab10",
"selector": "0x364dab10",
"calldata_variants": [
"0x364dab10",
"0x364dab100000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6eb27154",
"selector": "0x6eb27154",
"calldata_variants": [
"0x6eb27154",
"0x6eb271540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79085425",
"selector": "0x79085425",
"calldata_variants": [
"0x79085425",
"0x790854250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x80fad325",
"selector": "0x80fad325",
"calldata_variants": [
"0x80fad325",
"0x80fad3250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a00a82f",
"selector": "0x8a00a82f",
"calldata_variants": [
"0x8a00a82f",
"0x8a00a82f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb683b226",
"selector": "0xb683b226",
"calldata_variants": [
"0xb683b226",
"0xb683b2260000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 664,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 853,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 938,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": []
}
|