019b3836-4b38-7128-9a78-c2ef2bce7a27
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 |
|---|---|---|---|---|
| 6875 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 6876 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 109086 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 109087 | capability.graph | complete | 1 / 3 | 1 week ago |
| 109088 | detector.run | complete | 1 / 3 | 1 week ago |
| 109089 | 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 0x00b9 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x13af4035 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x019e 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x26f5a8c9 00000025: EQ 00000026: PUSH2 0x01c1 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x371fa854 00000030: EQ 00000031: PUSH2 0x01ca 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x4162169f 0000003b: EQ 0000003c: PUSH2 0x01d3 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x4c8fe526 00000046: EQ 00000047: PUSH2 0x01e5 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x5970c915 00000051: EQ 00000052: PUSH2 0x01f7 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x61bc221a 0000005c: EQ 0000005d: PUSH2 0x0209 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x625e847d 00000067: EQ 00000068: PUSH2 0x0212 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x6637b882 00000072: EQ 00000073: PUSH2 0x0232 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x7f9f519f 0000007d: EQ 0000007e: PUSH2 0x0255 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x8da5cb5b 00000088: EQ 00000089: PUSH2 0x0278 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xa9059cbb 00000093: EQ 00000094: PUSH2 0x028a 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xc4463c80 0000009e: EQ 0000009f: PUSH2 0x02b0 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xc9d27afe 000000a9: EQ 000000aa: PUSH2 0x02df 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xe66f53b7 000000b4: EQ 000000b5: PUSH2 0x0305 000000b8: JUMPI 000000b9: JUMPDEST 000000ba: PUSH2 0x0317 000000bd: PUSH1 0x02 000000bf: SLOAD 000000c0: PUSH32 0x0e70820300000000000000000000000000000000000000000000000000000000 000000e1: PUSH1 0x60 000000e3: SWAP1 000000e4: DUP2 000000e5: MSTORE 000000e6: PUSH1 0x00 000000e8: SWAP2 000000e9: PUSH1 0x01 000000eb: PUSH1 0xa0 000000ed: PUSH1 0x02 000000ef: EXP 000000f0: SUB 000000f1: AND 000000f2: SWAP1 000000f3: PUSH4 0x0e708203 000000f8: SWAP1 000000f9: PUSH1 0x64 000000fb: SWAP1 000000fc: PUSH1 0x20 000000fe: SWAP1 000000ff: PUSH1 0x04 00000101: DUP2 00000102: DUP8 00000103: DUP8 00000104: PUSH2 0x61da 00000107: GAS 00000108: SUB 00000109: CALL 0000010a: ISZERO 0000010b: PUSH2 0x0002 0000010e: JUMPI 0000010f: POP 00000110: POP 00000111: PUSH1 0x40 00000113: MLOAD 00000114: MLOAD 00000115: CALLER 00000116: PUSH1 0x01 00000118: PUSH1 0xa0 0000011a: PUSH1 0x02 0000011c: EXP 0000011d: SUB 0000011e: SWAP1 0000011f: DUP2 00000120: AND 00000121: SWAP2 00000122: AND 00000123: EQ 00000124: SWAP1 00000125: POP 00000126: PUSH2 0x0329 00000129: JUMPI 0000012a: PUSH1 0x40 0000012c: DUP1 0000012d: MLOAD 0000012e: CALLER 0000012f: PUSH1 0x01 00000131: PUSH1 0xa0 00000133: PUSH1 0x02 00000135: EXP 00000136: SUB 00000137: AND 00000138: PUSH1 0x20 0000013a: DUP3 0000013b: ADD 0000013c: MSTORE 0000013d: DUP2 0000013e: DUP2 0000013f: MSTORE 00000140: PUSH1 0x0f 00000142: DUP2 00000143: DUP4 00000144: ADD 00000145: MSTORE 00000146: PUSH32 0x636f6e73747563746f72206661696c0000000000000000000000000000000000 00000167: PUSH1 0x60 00000169: DUP3 0000016a: ADD 0000016b: MSTORE 0000016c: SWAP1 0000016d: MLOAD 0000016e: PUSH32 0xa6af7265d7ede5fbf0ee375956b52b362800d4f92e268809bef5fdf2a57924b8 0000018f: SWAP2 00000190: DUP2 00000191: SWAP1 00000192: SUB 00000193: PUSH1 0x80 00000195: ADD 00000196: SWAP1 00000197: LOG1 00000198: POP 00000199: PUSH1 0x01 0000019b: JUMPDEST 0000019c: SWAP1 0000019d: JUMP 0000019e: JUMPDEST 0000019f: PUSH2 0x0317 000001a2: PUSH1 0x04 000001a4: CALLDATALOAD 000001a5: PUSH1 0x00 000001a7: DUP1 000001a8: SLOAD 000001a9: PUSH1 0x01 000001ab: PUSH1 0xa0 000001ad: PUSH1 0x02 000001af: EXP 000001b0: SUB 000001b1: SWAP1 000001b2: DUP2 000001b3: AND 000001b4: CALLER 000001b5: SWAP1 000001b6: SWAP2 000001b7: AND 000001b8: EQ 000001b9: PUSH2 0x0492 000001bc: JUMPI 000001bd: PUSH2 0x0002 000001c0: JUMP 000001c1: JUMPDEST 000001c2: PUSH2 0x0475 000001c5: PUSH1 0x05 000001c7: SLOAD 000001c8: DUP2 000001c9: JUMP 000001ca: JUMPDEST 000001cb: PUSH2 0x0475 000001ce: PUSH1 0x04 000001d0: SLOAD 000001d1: DUP2 000001d2: JUMP 000001d3: JUMPDEST 000001d4: PUSH2 0x047f 000001d7: PUSH1 0x02 000001d9: SLOAD 000001da: PUSH1 0x01 000001dc: PUSH1 0xa0 000001de: PUSH1 0x02 000001e0: EXP 000001e1: SUB 000001e2: AND 000001e3: DUP2 000001e4: JUMP 000001e5: JUMPDEST 000001e6: PUSH2 0x047f 000001e9: PUSH1 0x06 000001eb: SLOAD 000001ec: PUSH1 0x01 000001ee: PUSH1 0xa0 000001f0: PUSH1 0x02 000001f2: EXP 000001f3: SUB 000001f4: AND 000001f5: DUP2 000001f6: JUMP 000001f7: JUMPDEST 000001f8: PUSH2 0x047f 000001fb: PUSH1 0x07 000001fd: SLOAD 000001fe: PUSH1 0x01 00000200: PUSH1 0xa0 00000202: PUSH1 0x02 00000204: EXP 00000205: SUB 00000206: AND 00000207: DUP2 00000208: JUMP 00000209: JUMPDEST 0000020a: PUSH2 0x0475 0000020d: PUSH1 0x03 0000020f: SLOAD 00000210: DUP2 00000211: JUMP 00000212: JUMPDEST 00000213: PUSH2 0x0317 00000216: PUSH1 0x00 00000218: DUP1 00000219: SLOAD 0000021a: PUSH1 0x01 0000021c: PUSH1 0xa0 0000021e: PUSH1 0x02 00000220: EXP 00000221: SUB 00000222: SWAP1 00000223: DUP2 00000224: AND 00000225: CALLER 00000226: SWAP1 00000227: SWAP2 00000228: AND 00000229: EQ 0000022a: PUSH2 0x04ef 0000022d: JUMPI 0000022e: PUSH2 0x0002 00000231: JUMP 00000232: JUMPDEST 00000233: PUSH2 0x0317 00000236: PUSH1 0x04 00000238: CALLDATALOAD 00000239: PUSH1 0x00 0000023b: DUP1 0000023c: SLOAD 0000023d: PUSH1 0x01 0000023f: PUSH1 0xa0 00000241: PUSH1 0x02 00000243: EXP 00000244: SUB 00000245: SWAP1 00000246: DUP2 00000247: AND 00000248: CALLER 00000249: SWAP1 0000024a: SWAP2 0000024b: AND 0000024c: EQ 0000024d: PUSH2 0x057a 00000250: JUMPI 00000251: PUSH2 0x0002 00000254: JUMP 00000255: JUMPDEST 00000256: PUSH2 0x0317 00000259: PUSH1 0x04 0000025b: CALLDATALOAD 0000025c: PUSH1 0x00 0000025e: DUP1 0000025f: SLOAD 00000260: PUSH1 0x01 00000262: PUSH1 0xa0 00000264: PUSH1 0x02 00000266: EXP 00000267: SUB 00000268: SWAP1 00000269: DUP2 0000026a: AND 0000026b: CALLER 0000026c: SWAP1 0000026d: SWAP2 0000026e: AND 0000026f: EQ 00000270: PUSH2 0x05d7 00000273: JUMPI 00000274: PUSH2 0x0002 00000277: JUMP 00000278: JUMPDEST 00000279: PUSH2 0x047f 0000027c: PUSH1 0x00 0000027e: SLOAD 0000027f: PUSH1 0x01 00000281: PUSH1 0xa0 00000283: PUSH1 0x02 00000285: EXP 00000286: SUB 00000287: AND 00000288: DUP2 00000289: JUMP 0000028a: JUMPDEST 0000028b: PUSH2 0x0317 0000028e: PUSH1 0x04 00000290: CALLDATALOAD 00000291: PUSH1 0x24 00000293: CALLDATALOAD 00000294: PUSH1 0x00 00000296: DUP1 00000297: SLOAD 00000298: PUSH1 0x01 0000029a: PUSH1 0xa0 0000029c: PUSH1 0x02 0000029e: EXP 0000029f: SUB 000002a0: SWAP1 000002a1: DUP2 000002a2: AND 000002a3: CALLER 000002a4: SWAP1 000002a5: SWAP2 000002a6: AND 000002a7: EQ 000002a8: PUSH2 0x060f 000002ab: JUMPI 000002ac: PUSH2 0x0002 000002af: JUMP 000002b0: JUMPDEST 000002b1: PUSH2 0x0317 000002b4: PUSH1 0x04 000002b6: CALLDATALOAD 000002b7: PUSH1 0x24 000002b9: CALLDATALOAD 000002ba: PUSH1 0x44 000002bc: CALLDATALOAD 000002bd: PUSH1 0x64 000002bf: CALLDATALOAD 000002c0: PUSH1 0x84 000002c2: CALLDATALOAD 000002c3: PUSH1 0x00 000002c5: DUP1 000002c6: SLOAD 000002c7: PUSH1 0x01 000002c9: PUSH1 0xa0 000002cb: PUSH1 0x02 000002cd: EXP 000002ce: SUB 000002cf: SWAP1 000002d0: DUP2 000002d1: AND 000002d2: CALLER 000002d3: SWAP1 000002d4: SWAP2 000002d5: AND 000002d6: EQ 000002d7: PUSH2 0x06a6 000002da: JUMPI 000002db: PUSH2 0x0002 000002de: JUMP 000002df: JUMPDEST 000002e0: PUSH2 0x0317 000002e3: PUSH1 0x04 000002e5: CALLDATALOAD 000002e6: PUSH1 0x24 000002e8: CALLDATALOAD 000002e9: PUSH1 0x00 000002eb: DUP1 000002ec: SLOAD 000002ed: PUSH1 0x01 000002ef: PUSH1 0xa0 000002f1: PUSH1 0x02 000002f3: EXP 000002f4: SUB 000002f5: SWAP1 000002f6: DUP2 000002f7: AND 000002f8: CALLER 000002f9: SWAP1 000002fa: SWAP2 000002fb: AND 000002fc: EQ 000002fd: PUSH2 0x07bb 00000300: JUMPI 00000301: PUSH2 0x0002 00000304: JUMP 00000305: JUMPDEST 00000306: PUSH2 0x047f 00000309: PUSH1 0x01 0000030b: SLOAD 0000030c: PUSH1 0x01 0000030e: PUSH1 0xa0 00000310: PUSH1 0x02 00000312: EXP 00000313: SUB 00000314: AND 00000315: DUP2 00000316: JUMP 00000317: JUMPDEST 00000318: PUSH1 0x40 0000031a: DUP1 0000031b: MLOAD 0000031c: SWAP2 0000031d: DUP3 0000031e: MSTORE 0000031f: MLOAD 00000320: SWAP1 00000321: DUP2 00000322: SWAP1 00000323: SUB 00000324: PUSH1 0x20 00000326: ADD 00000327: SWAP1 00000328: RETURN 00000329: JUMPDEST 0000032a: PUSH1 0x05 0000032c: SLOAD 0000032d: PUSH1 0x03 0000032f: SLOAD 00000330: PUSH1 0x00 00000332: NOT 00000333: SWAP1 00000334: SWAP2 00000335: ADD 00000336: SWAP1 00000337: GT 00000338: ISZERO 00000339: PUSH2 0x0402 0000033c: JUMPI 0000033d: PUSH1 0x40 0000033f: DUP1 00000340: MLOAD 00000341: PUSH1 0x02 00000343: SLOAD 00000344: PUSH1 0x06 00000346: SLOAD 00000347: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000368: DUP4 00000369: MSTORE 0000036a: ADDRESS 0000036b: PUSH1 0x01 0000036d: PUSH1 0xa0 0000036f: PUSH1 0x02 00000371: EXP 00000372: SUB 00000373: SWAP1 00000374: DUP2 00000375: AND 00000376: PUSH1 0x04 00000378: DUP6 00000379: ADD 0000037a: MSTORE 0000037b: SWAP4 0000037c: MLOAD 0000037d: SWAP2 0000037e: DUP5 0000037f: AND 00000380: SWAP4 00000381: PUSH4 0xa9059cbb 00000386: SWAP4 00000387: SWAP2 00000388: AND 00000389: SWAP2 0000038a: DUP5 0000038b: SWAP2 0000038c: PUSH4 0x70a08231 00000391: SWAP2 00000392: PUSH1 0x24 00000394: DUP1 00000395: DUP4 00000396: ADD 00000397: SWAP3 00000398: PUSH1 0x20 0000039a: SWAP3 0000039b: SWAP2 0000039c: SWAP1 0000039d: DUP3 0000039e: SWAP1 0000039f: SUB 000003a0: ADD 000003a1: DUP2 000003a2: DUP11 000003a3: DUP8 000003a4: PUSH2 0x61da 000003a7: GAS 000003a8: SUB 000003a9: CALL 000003aa: ISZERO 000003ab: PUSH2 0x0002 000003ae: JUMPI 000003af: POP 000003b0: POP 000003b1: PUSH1 0x40 000003b3: DUP1 000003b4: MLOAD 000003b5: DUP1 000003b6: MLOAD 000003b7: PUSH1 0xe0 000003b9: PUSH1 0x02 000003bb: EXP 000003bc: PUSH4 0xa9059cbb 000003c1: MUL 000003c2: DUP3 000003c3: MSTORE 000003c4: PUSH1 0x04 000003c6: DUP3 000003c7: ADD 000003c8: SWAP5 000003c9: SWAP1 000003ca: SWAP5 000003cb: MSTORE 000003cc: PUSH1 0x24 000003ce: DUP2 000003cf: ADD 000003d0: SWAP4 000003d1: SWAP1 000003d2: SWAP4 000003d3: MSTORE 000003d4: MLOAD 000003d5: PUSH1 0x44 000003d7: DUP1 000003d8: DUP5 000003d9: ADD 000003da: SWAP4 000003db: PUSH1 0x20 000003dd: SWAP4 000003de: POP 000003df: DUP3 000003e0: SWAP1 000003e1: SUB 000003e2: ADD 000003e3: DUP2 000003e4: DUP8 000003e5: DUP8 000003e6: PUSH2 0x61da 000003e9: GAS 000003ea: SUB 000003eb: CALL 000003ec: ISZERO 000003ed: PUSH2 0x0002 000003f0: JUMPI 000003f1: POP 000003f2: POP 000003f3: PUSH1 0x01 000003f5: PUSH1 0x03 000003f7: DUP2 000003f8: SWAP1 000003f9: SSTORE 000003fa: SWAP2 000003fb: POP 000003fc: PUSH2 0x019b 000003ff: SWAP1 00000400: POP 00000401: JUMP 00000402: JUMPDEST 00000403: PUSH1 0x40 00000405: DUP1 00000406: MLOAD 00000407: PUSH1 0x03 00000409: DUP1 0000040a: SLOAD 0000040b: PUSH1 0x01 0000040d: SWAP1 0000040e: DUP2 0000040f: ADD 00000410: SWAP1 00000411: SWAP2 00000412: SSTORE 00000413: PUSH1 0x02 00000415: SLOAD 00000416: PUSH1 0x04 00000418: DUP1 00000419: SLOAD 0000041a: SWAP3 0000041b: SLOAD 0000041c: PUSH1 0xe2 0000041e: PUSH1 0x02 00000420: EXP 00000421: PUSH4 0x20998771 00000426: MUL 00000427: DUP6 00000428: MSTORE 00000429: SWAP1 0000042a: DUP5 0000042b: ADD 0000042c: SWAP3 0000042d: SWAP1 0000042e: SWAP3 0000042f: MSTORE 00000430: PUSH1 0x01 00000432: PUSH1 0xa0 00000434: PUSH1 0x02 00000436: EXP 00000437: SUB 00000438: SWAP2 00000439: DUP3 0000043a: AND 0000043b: PUSH1 0x24 0000043d: DUP5 0000043e: ADD 0000043f: MSTORE 00000440: SWAP3 00000441: MLOAD 00000442: SWAP3 00000443: AND 00000444: SWAP2 00000445: PUSH4 0x82661dc4 0000044a: SWAP2 0000044b: PUSH1 0x44 0000044d: DUP1 0000044e: DUP3 0000044f: ADD 00000450: SWAP3 00000451: PUSH1 0x20 00000453: SWAP3 00000454: SWAP1 00000455: SWAP2 00000456: SWAP1 00000457: DUP3 00000458: SWAP1 00000459: SUB 0000045a: ADD 0000045b: DUP2 0000045c: DUP8 0000045d: DUP8 0000045e: PUSH2 0x61da 00000461: GAS 00000462: SUB 00000463: CALL 00000464: ISZERO 00000465: PUSH2 0x0002 00000468: JUMPI 00000469: POP 0000046a: PUSH1 0x01 0000046c: SWAP3 0000046d: POP 0000046e: PUSH2 0x019b 00000471: SWAP2 00000472: POP 00000473: POP 00000474: JUMP 00000475: JUMPDEST 00000476: PUSH1 0x60 00000478: SWAP1 00000479: DUP2 0000047a: MSTORE 0000047b: PUSH1 0x20 0000047d: SWAP1 0000047e: RETURN 0000047f: JUMPDEST 00000480: PUSH1 0x01 00000482: PUSH1 0xa0 00000484: PUSH1 0x02 00000486: EXP 00000487: SUB 00000488: AND 00000489: PUSH1 0x60 0000048b: SWAP1 0000048c: DUP2 0000048d: MSTORE 0000048e: PUSH1 0x20 00000490: SWAP1 00000491: RETURN 00000492: JUMPDEST 00000493: PUSH1 0x01 00000495: PUSH1 0xa0 00000497: PUSH1 0x02 00000499: EXP 0000049a: SUB 0000049b: DUP3 0000049c: AND 0000049d: PUSH1 0x60 0000049f: SWAP1 000004a0: DUP2 000004a1: MSTORE 000004a2: PUSH32 0x3edd90e7770f06fafde38004653b33870066c33bfc923ff6102acd601f85dfbc 000004c3: SWAP1 000004c4: PUSH1 0x20 000004c6: SWAP1 000004c7: LOG1 000004c8: DUP2 000004c9: PUSH1 0x00 000004cb: PUSH1 0x00 000004cd: PUSH2 0x0100 000004d0: EXP 000004d1: DUP2 000004d2: SLOAD 000004d3: DUP2 000004d4: PUSH1 0x01 000004d6: PUSH1 0xa0 000004d8: PUSH1 0x02 000004da: EXP 000004db: SUB 000004dc: MUL 000004dd: NOT 000004de: AND 000004df: SWAP1 000004e0: DUP4 000004e1: MUL 000004e2: OR 000004e3: SWAP1 000004e4: SSTORE 000004e5: POP 000004e6: PUSH1 0x01 000004e8: SWAP1 000004e9: POP 000004ea: JUMPDEST 000004eb: SWAP2 000004ec: SWAP1 000004ed: POP 000004ee: JUMP 000004ef: JUMPDEST 000004f0: PUSH1 0x01 000004f2: PUSH1 0x03 000004f4: SSTORE 000004f5: PUSH1 0x07 000004f7: SLOAD 000004f8: PUSH1 0x01 000004fa: PUSH1 0xa0 000004fc: PUSH1 0x02 000004fe: EXP 000004ff: SUB 00000500: SWAP1 00000501: DUP2 00000502: AND 00000503: SWAP1 00000504: DUP3 00000505: SWAP1 00000506: ADDRESS 00000507: AND 00000508: BALANCE 00000509: PUSH1 0x60 0000050b: DUP3 0000050c: DUP2 0000050d: DUP2 0000050e: DUP2 0000050f: DUP6 00000510: DUP9 00000511: DUP4 00000512: CALL 00000513: POP 00000514: POP 00000515: PUSH1 0x40 00000517: DUP1 00000518: MLOAD 00000519: PUSH1 0x02 0000051b: SLOAD 0000051c: PUSH1 0x01 0000051e: SLOAD 0000051f: PUSH1 0x04 00000521: DUP1 00000522: SLOAD 00000523: PUSH1 0xe2 00000525: PUSH1 0x02 00000527: EXP 00000528: PUSH4 0x20998771 0000052d: MUL 0000052e: DUP6 0000052f: MSTORE 00000530: SWAP1 00000531: DUP5 00000532: ADD 00000533: MSTORE 00000534: PUSH1 0x01 00000536: PUSH1 0xa0 00000538: PUSH1 0x02 0000053a: EXP 0000053b: SUB 0000053c: SWAP1 0000053d: DUP2 0000053e: AND 0000053f: PUSH1 0x24 00000541: DUP5 00000542: ADD 00000543: MSTORE 00000544: SWAP3 00000545: MLOAD 00000546: SWAP3 00000547: AND 00000548: SWAP5 00000549: POP 0000054a: PUSH4 0x82661dc4 0000054f: SWAP4 00000550: POP 00000551: PUSH1 0x44 00000553: DUP1 00000554: DUP3 00000555: ADD 00000556: SWAP4 00000557: POP 00000558: PUSH1 0x20 0000055a: SWAP3 0000055b: SWAP2 0000055c: DUP3 0000055d: SWAP1 0000055e: SUB 0000055f: ADD 00000560: DUP2 00000561: DUP8 00000562: DUP8 00000563: PUSH2 0x61da 00000566: GAS 00000567: SUB 00000568: CALL 00000569: ISZERO 0000056a: PUSH2 0x0002 0000056d: JUMPI 0000056e: POP 0000056f: PUSH1 0x01 00000571: SWAP3 00000572: POP 00000573: PUSH2 0x019b 00000576: SWAP2 00000577: POP 00000578: POP 00000579: JUMP 0000057a: JUMPDEST 0000057b: PUSH1 0x02 0000057d: DUP1 0000057e: SLOAD 0000057f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000594: NOT 00000595: AND 00000596: DUP4 00000597: OR 00000598: SWAP1 00000599: DUP2 0000059a: SWAP1 0000059b: SSTORE 0000059c: PUSH1 0x01 0000059e: PUSH1 0xa0 000005a0: PUSH1 0x02 000005a2: EXP 000005a3: SUB 000005a4: AND 000005a5: PUSH1 0x60 000005a7: SWAP1 000005a8: DUP2 000005a9: MSTORE 000005aa: PUSH32 0xce6a5015a40a2ec38ce912a63bca374d85386207c6927d284292449f14310822 000005cb: SWAP1 000005cc: PUSH1 0x20 000005ce: SWAP1 000005cf: LOG1 000005d0: POP 000005d1: PUSH1 0x01 000005d3: PUSH2 0x04ea 000005d6: JUMP 000005d7: JUMPDEST 000005d8: PUSH1 0x05 000005da: DUP3 000005db: SWAP1 000005dc: SSTORE 000005dd: PUSH1 0x60 000005df: DUP3 000005e0: DUP2 000005e1: MSTORE 000005e2: PUSH32 0xbab6859bc098da798dbdc4860f0fee7467d703dadd975799e8c258b46a37d3de 00000603: SWAP1 00000604: PUSH1 0x20 00000606: SWAP1 00000607: LOG1 00000608: POP 00000609: PUSH1 0x01 0000060b: PUSH2 0x04ea 0000060e: JUMP 0000060f: JUMPDEST 00000610: PUSH1 0x02 00000612: SLOAD 00000613: PUSH1 0xe0 00000615: PUSH1 0x02 00000617: EXP 00000618: PUSH4 0xa9059cbb 0000061d: MUL 0000061e: PUSH1 0x60 00000620: SWAP1 00000621: DUP2 00000622: MSTORE 00000623: PUSH1 0x01 00000625: PUSH1 0xa0 00000627: PUSH1 0x02 00000629: EXP 0000062a: SUB 0000062b: DUP6 0000062c: DUP2 0000062d: AND 0000062e: PUSH1 0x64 00000630: MSTORE 00000631: PUSH1 0x84 00000633: DUP6 00000634: SWAP1 00000635: MSTORE 00000636: SWAP1 00000637: SWAP2 00000638: AND 00000639: SWAP1 0000063a: PUSH4 0xa9059cbb 0000063f: SWAP1 00000640: PUSH1 0xa4 00000642: SWAP1 00000643: PUSH1 0x20 00000645: SWAP1 00000646: PUSH1 0x44 00000648: DUP2 00000649: DUP8 0000064a: DUP8 0000064b: PUSH2 0x61da 0000064e: GAS 0000064f: SUB 00000650: CALL 00000651: ISZERO 00000652: PUSH2 0x0002 00000655: JUMPI 00000656: POP 00000657: POP 00000658: PUSH1 0x40 0000065a: DUP1 0000065b: MLOAD 0000065c: PUSH1 0x01 0000065e: PUSH1 0xa0 00000660: PUSH1 0x02 00000662: EXP 00000663: SUB 00000664: DUP7 00000665: AND 00000666: DUP2 00000667: MSTORE 00000668: PUSH1 0x20 0000066a: DUP2 0000066b: ADD 0000066c: DUP6 0000066d: SWAP1 0000066e: MSTORE 0000066f: DUP2 00000670: MLOAD 00000671: PUSH32 0x69ca02dd4edd7bf0a4abb9ed3b7af3f14778db5d61921c7dc7cd545266326de2 00000692: SWAP4 00000693: POP 00000694: SWAP1 00000695: DUP2 00000696: SWAP1 00000697: SUB 00000698: SWAP1 00000699: SWAP2 0000069a: ADD 0000069b: SWAP1 0000069c: LOG1 0000069d: POP 0000069e: PUSH1 0x01 000006a0: JUMPDEST 000006a1: SWAP3 000006a2: SWAP2 000006a3: POP 000006a4: POP 000006a5: JUMP 000006a6: JUMPDEST 000006a7: PUSH1 0x06 000006a9: DUP1 000006aa: SLOAD 000006ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006c0: NOT 000006c1: SWAP1 000006c2: DUP2 000006c3: AND 000006c4: DUP7 000006c5: OR 000006c6: SWAP1 000006c7: SWAP2 000006c8: SSTORE 000006c9: PUSH1 0x01 000006cb: PUSH1 0x03 000006cd: DUP2 000006ce: SWAP1 000006cf: SSTORE 000006d0: DUP1 000006d1: SLOAD 000006d2: DUP3 000006d3: AND 000006d4: DUP8 000006d5: OR 000006d6: SWAP1 000006d7: SSTORE 000006d8: PUSH1 0x04 000006da: DUP8 000006db: SWAP1 000006dc: SSTORE 000006dd: PUSH1 0x05 000006df: DUP5 000006e0: SWAP1 000006e1: SSTORE 000006e2: PUSH1 0x07 000006e4: DUP1 000006e5: SLOAD 000006e6: SWAP1 000006e7: SWAP2 000006e8: AND 000006e9: DUP4 000006ea: OR 000006eb: SWAP1 000006ec: DUP2 000006ed: SWAP1 000006ee: SSTORE 000006ef: PUSH1 0x01 000006f1: PUSH1 0xa0 000006f3: PUSH1 0x02 000006f5: EXP 000006f6: SUB 000006f7: SWAP1 000006f8: DUP2 000006f9: AND 000006fa: SWAP1 000006fb: DUP3 000006fc: SWAP1 000006fd: ADDRESS 000006fe: AND 000006ff: BALANCE 00000700: PUSH1 0x60 00000702: DUP3 00000703: DUP2 00000704: DUP2 00000705: DUP2 00000706: DUP6 00000707: DUP9 00000708: DUP4 00000709: CALL 0000070a: POP 0000070b: POP 0000070c: PUSH1 0x40 0000070e: DUP1 0000070f: MLOAD 00000710: PUSH1 0x02 00000712: SLOAD 00000713: PUSH1 0x04 00000715: DUP1 00000716: SLOAD 00000717: PUSH1 0x01 00000719: SLOAD 0000071a: PUSH1 0xe2 0000071c: PUSH1 0x02 0000071e: EXP 0000071f: PUSH4 0x20998771 00000724: MUL 00000725: DUP6 00000726: MSTORE 00000727: SWAP2 00000728: DUP5 00000729: ADD 0000072a: MSTORE 0000072b: PUSH1 0x01 0000072d: PUSH1 0xa0 0000072f: PUSH1 0x02 00000731: EXP 00000732: SUB 00000733: SWAP1 00000734: DUP2 00000735: AND 00000736: PUSH1 0x24 00000738: DUP5 00000739: ADD 0000073a: MSTORE 0000073b: SWAP3 0000073c: MLOAD 0000073d: SWAP3 0000073e: AND 0000073f: SWAP5 00000740: POP 00000741: PUSH4 0x82661dc4 00000746: SWAP4 00000747: POP 00000748: PUSH1 0x44 0000074a: DUP1 0000074b: DUP3 0000074c: ADD 0000074d: SWAP4 0000074e: POP 0000074f: PUSH1 0x20 00000751: SWAP3 00000752: SWAP2 00000753: DUP3 00000754: SWAP1 00000755: SUB 00000756: ADD 00000757: DUP2 00000758: DUP8 00000759: DUP8 0000075a: PUSH2 0x61da 0000075d: GAS 0000075e: SUB 0000075f: CALL 00000760: ISZERO 00000761: PUSH2 0x0002 00000764: JUMPI 00000765: POP 00000766: POP 00000767: PUSH1 0x40 00000769: DUP1 0000076a: MLOAD 0000076b: PUSH1 0x04 0000076d: SLOAD 0000076e: PUSH1 0x06 00000770: SLOAD 00000771: SWAP1 00000772: DUP3 00000773: MSTORE 00000774: PUSH1 0x01 00000776: PUSH1 0xa0 00000778: PUSH1 0x02 0000077a: EXP 0000077b: SUB 0000077c: AND 0000077d: PUSH1 0x20 0000077f: DUP3 00000780: ADD 00000781: MSTORE 00000782: DUP2 00000783: MLOAD 00000784: PUSH32 0xa1ab731770d71027cd294cc0af5c8f5ec3c2ff5dbe6b75d68963d17192f8377b 000007a5: SWAP4 000007a6: POP 000007a7: SWAP1 000007a8: DUP2 000007a9: SWAP1 000007aa: SUB 000007ab: SWAP1 000007ac: SWAP2 000007ad: ADD 000007ae: SWAP1 000007af: LOG1 000007b0: POP 000007b1: PUSH1 0x01 000007b3: SWAP6 000007b4: SWAP5 000007b5: POP 000007b6: POP 000007b7: POP 000007b8: POP 000007b9: POP 000007ba: JUMP 000007bb: JUMPDEST 000007bc: PUSH1 0x02 000007be: SLOAD 000007bf: PUSH32 0xc9d27afe00000000000000000000000000000000000000000000000000000000 000007e0: PUSH1 0x60 000007e2: SWAP1 000007e3: DUP2 000007e4: MSTORE 000007e5: PUSH1 0x64 000007e7: DUP6 000007e8: SWAP1 000007e9: MSTORE 000007ea: DUP4 000007eb: ISZERO 000007ec: ISZERO 000007ed: PUSH1 0x84 000007ef: MSTORE 000007f0: PUSH1 0x01 000007f2: PUSH1 0xa0 000007f4: PUSH1 0x02 000007f6: EXP 000007f7: SUB 000007f8: SWAP1 000007f9: SWAP2 000007fa: AND 000007fb: SWAP1 000007fc: PUSH4 0xc9d27afe 00000801: SWAP1 00000802: PUSH1 0xa4 00000804: SWAP1 00000805: PUSH1 0x20 00000807: SWAP1 00000808: PUSH1 0x44 0000080a: DUP2 0000080b: DUP8 0000080c: DUP8 0000080d: PUSH2 0x61da 00000810: GAS 00000811: SUB 00000812: CALL 00000813: ISZERO 00000814: PUSH2 0x0002 00000817: JUMPI 00000818: POP 00000819: POP 0000081a: PUSH1 0x40 0000081c: DUP1 0000081d: MLOAD 0000081e: DUP6 0000081f: DUP2 00000820: MSTORE 00000821: DUP5 00000822: ISZERO 00000823: ISZERO 00000824: PUSH1 0x20 00000826: DUP3 00000827: ADD 00000828: MSTORE 00000829: DUP2 0000082a: MLOAD 0000082b: PUSH32 0x8bfa1f40665434b48e7becc865cc0586ce3d6d2388521c05d4db87536ac82799 0000084c: SWAP4 0000084d: POP 0000084e: SWAP1 0000084f: DUP2 00000850: SWAP1 00000851: SUB 00000852: SWAP1 00000853: SWAP2 00000854: ADD 00000855: SWAP1 00000856: LOG1 00000857: POP 00000858: PUSH1 0x01 0000085a: PUSH2 0x06a0 0000085d: 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 | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x397313823890b491dc684699d7d8987b1832b6dd1765c04e5ead4fb151cc1351
call_targets:
0xca04d260356d19f0d7255041542c9cbc866f2cb3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x397313823890b491dc684699d7d8987b1832b6dd1765c04e5ead4fb151cc1351",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xca04d260356d19f0d7255041542c9cbc866f2cb3"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x26f5a8c9",
"selector": "0x26f5a8c9",
"calldata_variants": [
"0x26f5a8c9",
"0x26f5a8c90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x371fa854",
"selector": "0x371fa854",
"calldata_variants": [
"0x371fa854",
"0x371fa8540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4162169f",
"selector": "0x4162169f",
"calldata_variants": [
"0x4162169f",
"0x4162169f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4c8fe526",
"selector": "0x4c8fe526",
"calldata_variants": [
"0x4c8fe526",
"0x4c8fe5260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5970c915",
"selector": "0x5970c915",
"calldata_variants": [
"0x5970c915",
"0x5970c9150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x61bc221a",
"selector": "0x61bc221a",
"calldata_variants": [
"0x61bc221a",
"0x61bc221a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x625e847d",
"selector": "0x625e847d",
"calldata_variants": [
"0x625e847d",
"0x625e847d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 265,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "constant"
},
{
"pc": 937,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1003,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 10,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x397313823890b491dc684699d7d8987b1832b6dd1765c04e5ead4fb151cc1351
call_targets:
0xca04d260356d19f0d7255041542c9cbc866f2cb3
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x397313823890b491dc684699d7d8987b1832b6dd1765c04e5ead4fb151cc1351",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xca04d260356d19f0d7255041542c9cbc866f2cb3"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x26f5a8c9",
"selector": "0x26f5a8c9",
"calldata_variants": [
"0x26f5a8c9",
"0x26f5a8c90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x371fa854",
"selector": "0x371fa854",
"calldata_variants": [
"0x371fa854",
"0x371fa8540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4162169f",
"selector": "0x4162169f",
"calldata_variants": [
"0x4162169f",
"0x4162169f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4c8fe526",
"selector": "0x4c8fe526",
"calldata_variants": [
"0x4c8fe526",
"0x4c8fe5260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5970c915",
"selector": "0x5970c915",
"calldata_variants": [
"0x5970c915",
"0x5970c9150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x61bc221a",
"selector": "0x61bc221a",
"calldata_variants": [
"0x61bc221a",
"0x61bc221a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x625e847d",
"selector": "0x625e847d",
"calldata_variants": [
"0x625e847d",
"0x625e847d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 265,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "constant"
},
{
"pc": 937,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1003,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 10,
"guards_detected": [],
"untrusted_call_count": 10
}
|