019b3836-3078-72e8-8e06-29bb58fad3fa
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 |
|---|---|---|---|---|
| 2623 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 2624 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 46200 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 46201 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 46202 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 46203 | 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 0x00ab 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: DUP1 0000002f: PUSH4 0x41c0e1b5 00000034: EQ 00000035: PUSH2 0x00ad 00000038: JUMPI 00000039: DUP1 0000003a: PUSH4 0x4d9a4af7 0000003f: EQ 00000040: PUSH2 0x00bc 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0x837a43a3 0000004a: EQ 0000004b: PUSH2 0x00cb 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0x84a6ff15 00000055: EQ 00000056: PUSH2 0x00f1 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x84f0a7cb 00000060: EQ 00000061: PUSH2 0x0117 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x9dd3af1c 0000006b: EQ 0000006c: PUSH2 0x013d 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xaac3b632 00000076: EQ 00000077: PUSH2 0x0155 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xd321181e 00000081: EQ 00000082: PUSH2 0x0164 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xec85a928 0000008c: EQ 0000008d: PUSH2 0x0187 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xf2a75fe4 00000097: EQ 00000098: PUSH2 0x01a8 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0xf7f30387 000000a2: EQ 000000a3: PUSH2 0x01b7 000000a6: JUMPI 000000a7: PUSH2 0x00ab 000000aa: JUMP 000000ab: JUMPDEST 000000ac: STOP 000000ad: JUMPDEST 000000ae: PUSH2 0x00ba 000000b1: PUSH1 0x04 000000b3: DUP1 000000b4: POP 000000b5: POP 000000b6: PUSH2 0x084a 000000b9: JUMP 000000ba: JUMPDEST 000000bb: STOP 000000bc: JUMPDEST 000000bd: PUSH2 0x00c9 000000c0: PUSH1 0x04 000000c2: DUP1 000000c3: POP 000000c4: POP 000000c5: PUSH2 0x061f 000000c8: JUMP 000000c9: JUMPDEST 000000ca: STOP 000000cb: JUMPDEST 000000cc: PUSH2 0x00d8 000000cf: PUSH1 0x04 000000d1: DUP1 000000d2: POP 000000d3: POP 000000d4: PUSH2 0x01c6 000000d7: JUMP 000000d8: JUMPDEST 000000d9: PUSH1 0x40 000000db: MLOAD 000000dc: DUP1 000000dd: DUP3 000000de: PUSH1 0xff 000000e0: AND 000000e1: DUP2 000000e2: MSTORE 000000e3: PUSH1 0x20 000000e5: ADD 000000e6: SWAP2 000000e7: POP 000000e8: POP 000000e9: PUSH1 0x40 000000eb: MLOAD 000000ec: DUP1 000000ed: SWAP2 000000ee: SUB 000000ef: SWAP1 000000f0: RETURN 000000f1: JUMPDEST 000000f2: PUSH2 0x00fe 000000f5: PUSH1 0x04 000000f7: DUP1 000000f8: POP 000000f9: POP 000000fa: PUSH2 0x01e2 000000fd: JUMP 000000fe: JUMPDEST 000000ff: PUSH1 0x40 00000101: MLOAD 00000102: DUP1 00000103: DUP3 00000104: PUSH1 0xff 00000106: AND 00000107: DUP2 00000108: MSTORE 00000109: PUSH1 0x20 0000010b: ADD 0000010c: SWAP2 0000010d: POP 0000010e: POP 0000010f: PUSH1 0x40 00000111: MLOAD 00000112: DUP1 00000113: SWAP2 00000114: SUB 00000115: SWAP1 00000116: RETURN 00000117: JUMPDEST 00000118: PUSH2 0x0124 0000011b: PUSH1 0x04 0000011d: DUP1 0000011e: POP 0000011f: POP 00000120: PUSH2 0x01fe 00000123: JUMP 00000124: JUMPDEST 00000125: PUSH1 0x40 00000127: MLOAD 00000128: DUP1 00000129: DUP3 0000012a: PUSH1 0x00 0000012c: SIGNEXTEND 0000012d: DUP2 0000012e: MSTORE 0000012f: PUSH1 0x20 00000131: ADD 00000132: SWAP2 00000133: POP 00000134: POP 00000135: PUSH1 0x40 00000137: MLOAD 00000138: DUP1 00000139: SWAP2 0000013a: SUB 0000013b: SWAP1 0000013c: RETURN 0000013d: JUMPDEST 0000013e: PUSH2 0x0153 00000141: PUSH1 0x04 00000143: DUP1 00000144: DUP1 00000145: CALLDATALOAD 00000146: SWAP1 00000147: PUSH1 0x20 00000149: ADD 0000014a: SWAP1 0000014b: SWAP2 0000014c: SWAP1 0000014d: POP 0000014e: POP 0000014f: PUSH2 0x057d 00000152: JUMP 00000153: JUMPDEST 00000154: STOP 00000155: JUMPDEST 00000156: PUSH2 0x0162 00000159: PUSH1 0x04 0000015b: DUP1 0000015c: POP 0000015d: POP 0000015e: PUSH2 0x047b 00000161: JUMP 00000162: JUMPDEST 00000163: STOP 00000164: JUMPDEST 00000165: PUSH2 0x0171 00000168: PUSH1 0x04 0000016a: DUP1 0000016b: POP 0000016c: POP 0000016d: PUSH2 0x021a 00000170: JUMP 00000171: JUMPDEST 00000172: PUSH1 0x40 00000174: MLOAD 00000175: DUP1 00000176: DUP3 00000177: DUP2 00000178: MSTORE 00000179: PUSH1 0x20 0000017b: ADD 0000017c: SWAP2 0000017d: POP 0000017e: POP 0000017f: PUSH1 0x40 00000181: MLOAD 00000182: DUP1 00000183: SWAP2 00000184: SUB 00000185: SWAP1 00000186: RETURN 00000187: JUMPDEST 00000188: PUSH2 0x01a6 0000018b: PUSH1 0x04 0000018d: DUP1 0000018e: DUP1 0000018f: CALLDATALOAD 00000190: SWAP1 00000191: PUSH1 0x20 00000193: ADD 00000194: SWAP1 00000195: SWAP2 00000196: SWAP1 00000197: DUP1 00000198: CALLDATALOAD 00000199: SWAP1 0000019a: PUSH1 0x20 0000019c: ADD 0000019d: SWAP1 0000019e: SWAP2 0000019f: SWAP1 000001a0: POP 000001a1: POP 000001a2: PUSH2 0x04e7 000001a5: JUMP 000001a6: JUMPDEST 000001a7: STOP 000001a8: JUMPDEST 000001a9: PUSH2 0x01b5 000001ac: PUSH1 0x04 000001ae: DUP1 000001af: POP 000001b0: POP 000001b1: PUSH2 0x077a 000001b4: JUMP 000001b5: JUMPDEST 000001b6: STOP 000001b7: JUMPDEST 000001b8: PUSH2 0x01c4 000001bb: PUSH1 0x04 000001bd: DUP1 000001be: POP 000001bf: POP 000001c0: PUSH2 0x022c 000001c3: JUMP 000001c4: JUMPDEST 000001c5: STOP 000001c6: JUMPDEST 000001c7: PUSH1 0x00 000001c9: PUSH1 0x02 000001cb: PUSH1 0x14 000001cd: SWAP1 000001ce: SLOAD 000001cf: SWAP1 000001d0: PUSH2 0x0100 000001d3: EXP 000001d4: SWAP1 000001d5: DIV 000001d6: PUSH1 0xff 000001d8: AND 000001d9: SWAP1 000001da: POP 000001db: PUSH2 0x01df 000001de: JUMP 000001df: JUMPDEST 000001e0: SWAP1 000001e1: JUMP 000001e2: JUMPDEST 000001e3: PUSH1 0x00 000001e5: PUSH1 0x02 000001e7: PUSH1 0x15 000001e9: SWAP1 000001ea: SLOAD 000001eb: SWAP1 000001ec: PUSH2 0x0100 000001ef: EXP 000001f0: SWAP1 000001f1: DIV 000001f2: PUSH1 0xff 000001f4: AND 000001f5: SWAP1 000001f6: POP 000001f7: PUSH2 0x01fb 000001fa: JUMP 000001fb: JUMPDEST 000001fc: SWAP1 000001fd: JUMP 000001fe: JUMPDEST 000001ff: PUSH1 0x00 00000201: PUSH1 0x02 00000203: PUSH1 0x16 00000205: SWAP1 00000206: SLOAD 00000207: SWAP1 00000208: PUSH2 0x0100 0000020b: EXP 0000020c: SWAP1 0000020d: DIV 0000020e: PUSH1 0x00 00000210: SIGNEXTEND 00000211: SWAP1 00000212: POP 00000213: PUSH2 0x0217 00000216: JUMP 00000217: JUMPDEST 00000218: SWAP1 00000219: JUMP 0000021a: JUMPDEST 0000021b: PUSH1 0x00 0000021d: PUSH1 0x03 0000021f: PUSH1 0x00 00000221: POP 00000222: SLOAD 00000223: SWAP1 00000224: POP 00000225: PUSH2 0x0229 00000228: JUMP 00000229: JUMPDEST 0000022a: SWAP1 0000022b: JUMP 0000022c: JUMPDEST 0000022d: PUSH1 0x00 0000022f: PUSH1 0x00 00000231: PUSH1 0x00 00000233: PUSH2 0x09c4 00000236: PUSH1 0x03 00000238: PUSH1 0x00 0000023a: POP 0000023b: SLOAD 0000023c: NUMBER 0000023d: SUB 0000023e: LT 0000023f: ISZERO 00000240: PUSH2 0x0248 00000243: JUMPI 00000244: PUSH2 0x0002 00000247: JUMP 00000248: JUMPDEST 00000249: NUMBER 0000024a: PUSH1 0x03 0000024c: PUSH1 0x00 0000024e: POP 0000024f: DUP2 00000250: SWAP1 00000251: SSTORE 00000252: POP 00000253: PUSH1 0x11 00000255: PUSH1 0x02 00000257: PUSH1 0x16 00000259: SWAP1 0000025a: SLOAD 0000025b: SWAP1 0000025c: PUSH2 0x0100 0000025f: EXP 00000260: SWAP1 00000261: DIV 00000262: PUSH1 0x00 00000264: SIGNEXTEND 00000265: PUSH1 0x00 00000267: SIGNEXTEND 00000268: EQ 00000269: ISZERO 0000026a: PUSH2 0x02b0 0000026d: JUMPI 0000026e: PUSH1 0x00 00000270: PUSH1 0x02 00000272: PUSH1 0x16 00000274: PUSH2 0x0100 00000277: EXP 00000278: DUP2 00000279: SLOAD 0000027a: DUP2 0000027b: PUSH1 0xff 0000027d: MUL 0000027e: NOT 0000027f: AND 00000280: SWAP1 00000281: DUP4 00000282: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 000002a3: SWAP1 000002a4: DUP2 000002a5: MUL 000002a6: DIV 000002a7: MUL 000002a8: OR 000002a9: SWAP1 000002aa: SSTORE 000002ab: POP 000002ac: PUSH2 0x0300 000002af: JUMP 000002b0: JUMPDEST 000002b1: PUSH1 0x01 000002b3: PUSH1 0x02 000002b5: PUSH1 0x16 000002b7: SWAP1 000002b8: SLOAD 000002b9: SWAP1 000002ba: PUSH2 0x0100 000002bd: EXP 000002be: SWAP1 000002bf: DIV 000002c0: PUSH1 0x00 000002c2: SIGNEXTEND 000002c3: ADD 000002c4: PUSH1 0x02 000002c6: PUSH1 0x16 000002c8: PUSH2 0x0100 000002cb: EXP 000002cc: DUP2 000002cd: SLOAD 000002ce: DUP2 000002cf: PUSH1 0xff 000002d1: MUL 000002d2: NOT 000002d3: AND 000002d4: SWAP1 000002d5: DUP4 000002d6: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 000002f7: SWAP1 000002f8: DUP2 000002f9: MUL 000002fa: DIV 000002fb: MUL 000002fc: OR 000002fd: SWAP1 000002fe: SSTORE 000002ff: POP 00000300: JUMPDEST 00000301: PUSH2 0x0308 00000304: PUSH2 0x0917 00000307: JUMP 00000308: JUMPDEST 00000309: PUSH1 0x40 0000030b: MLOAD 0000030c: DUP1 0000030d: DUP1 0000030e: PUSH32 0x7363686564756c654661726d43616c6c28290000000000000000000000000000 0000032f: DUP2 00000330: MSTORE 00000331: PUSH1 0x20 00000333: ADD 00000334: POP 00000335: PUSH1 0x12 00000337: ADD 00000338: SWAP1 00000339: POP 0000033a: PUSH1 0x40 0000033c: MLOAD 0000033d: DUP1 0000033e: SWAP2 0000033f: SUB 00000340: SWAP1 00000341: KECCAK256 00000342: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000360: DUP1 00000361: SWAP2 00000362: DIV 00000363: MUL 00000364: SWAP3 00000365: POP 00000366: PUSH2 0x09c5 00000369: NUMBER 0000036a: ADD 0000036b: SWAP2 0000036c: POP 0000036d: PUSH1 0x40 0000036f: MLOAD 00000370: DUP1 00000371: DUP1 00000372: PUSH32 0x7363686564756c6543616c6c286279746573342c75696e743235362900000000 00000393: DUP2 00000394: MSTORE 00000395: PUSH1 0x20 00000397: ADD 00000398: POP 00000399: PUSH1 0x1c 0000039b: ADD 0000039c: SWAP1 0000039d: POP 0000039e: PUSH1 0x40 000003a0: MLOAD 000003a1: DUP1 000003a2: SWAP2 000003a3: SUB 000003a4: SWAP1 000003a5: KECCAK256 000003a6: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000003c4: DUP1 000003c5: SWAP2 000003c6: DIV 000003c7: MUL 000003c8: SWAP1 000003c9: POP 000003ca: PUSH1 0x02 000003cc: PUSH1 0x00 000003ce: SWAP1 000003cf: SLOAD 000003d0: SWAP1 000003d1: PUSH2 0x0100 000003d4: EXP 000003d5: SWAP1 000003d6: DIV 000003d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ec: AND 000003ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000402: AND 00000403: DUP2 00000404: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000422: SWAP1 00000423: DIV 00000424: DUP5 00000425: DUP5 00000426: PUSH1 0x40 00000428: MLOAD 00000429: DUP4 0000042a: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000448: MUL 00000449: DUP2 0000044a: MSTORE 0000044b: PUSH1 0x04 0000044d: ADD 0000044e: DUP1 0000044f: DUP4 00000450: DUP2 00000451: MSTORE 00000452: PUSH1 0x20 00000454: ADD 00000455: DUP3 00000456: DUP2 00000457: MSTORE 00000458: PUSH1 0x20 0000045a: ADD 0000045b: SWAP3 0000045c: POP 0000045d: POP 0000045e: POP 0000045f: PUSH1 0x00 00000461: PUSH1 0x40 00000463: MLOAD 00000464: DUP1 00000465: DUP4 00000466: SUB 00000467: DUP2 00000468: PUSH1 0x00 0000046a: DUP8 0000046b: PUSH2 0x61da 0000046e: GAS 0000046f: SUB 00000470: CALL 00000471: SWAP3 00000472: POP 00000473: POP 00000474: POP 00000475: POP 00000476: JUMPDEST 00000477: POP 00000478: POP 00000479: POP 0000047a: JUMP 0000047b: JUMPDEST 0000047c: PUSH1 0x00 0000047e: PUSH1 0x00 00000480: SWAP1 00000481: SLOAD 00000482: SWAP1 00000483: PUSH2 0x0100 00000486: EXP 00000487: SWAP1 00000488: DIV 00000489: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000049e: AND 0000049f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b4: AND 000004b5: CALLER 000004b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004cb: AND 000004cc: EQ 000004cd: ISZERO 000004ce: ISZERO 000004cf: PUSH2 0x04db 000004d2: JUMPI 000004d3: PUSH2 0x0002 000004d6: JUMP 000004d7: PUSH2 0x04e4 000004da: JUMP 000004db: JUMPDEST 000004dc: PUSH2 0x04e3 000004df: PUSH2 0x0917 000004e2: JUMP 000004e3: JUMPDEST 000004e4: JUMPDEST 000004e5: JUMPDEST 000004e6: JUMP 000004e7: JUMPDEST 000004e8: PUSH1 0x00 000004ea: PUSH1 0x00 000004ec: SWAP1 000004ed: SLOAD 000004ee: SWAP1 000004ef: PUSH2 0x0100 000004f2: EXP 000004f3: SWAP1 000004f4: DIV 000004f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000050a: AND 0000050b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000520: AND 00000521: CALLER 00000522: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000537: AND 00000538: EQ 00000539: ISZERO 0000053a: ISZERO 0000053b: PUSH2 0x0547 0000053e: JUMPI 0000053f: PUSH2 0x0002 00000542: JUMP 00000543: PUSH2 0x0578 00000546: JUMP 00000547: JUMPDEST 00000548: DUP2 00000549: PUSH1 0x02 0000054b: PUSH1 0x14 0000054d: PUSH2 0x0100 00000550: EXP 00000551: DUP2 00000552: SLOAD 00000553: DUP2 00000554: PUSH1 0xff 00000556: MUL 00000557: NOT 00000558: AND 00000559: SWAP1 0000055a: DUP4 0000055b: MUL 0000055c: OR 0000055d: SWAP1 0000055e: SSTORE 0000055f: POP 00000560: DUP1 00000561: PUSH1 0x02 00000563: PUSH1 0x15 00000565: PUSH2 0x0100 00000568: EXP 00000569: DUP2 0000056a: SLOAD 0000056b: DUP2 0000056c: PUSH1 0xff 0000056e: MUL 0000056f: NOT 00000570: AND 00000571: SWAP1 00000572: DUP4 00000573: MUL 00000574: OR 00000575: SWAP1 00000576: SSTORE 00000577: POP 00000578: JUMPDEST 00000579: JUMPDEST 0000057a: POP 0000057b: POP 0000057c: JUMP 0000057d: JUMPDEST 0000057e: PUSH1 0x00 00000580: PUSH1 0x00 00000582: SWAP1 00000583: SLOAD 00000584: SWAP1 00000585: PUSH2 0x0100 00000588: EXP 00000589: SWAP1 0000058a: DIV 0000058b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a0: AND 000005a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005b6: AND 000005b7: CALLER 000005b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005cd: AND 000005ce: EQ 000005cf: ISZERO 000005d0: ISZERO 000005d1: PUSH2 0x05dd 000005d4: JUMPI 000005d5: PUSH2 0x0002 000005d8: JUMP 000005d9: PUSH2 0x061b 000005dc: JUMP 000005dd: JUMPDEST 000005de: DUP1 000005df: PUSH1 0x02 000005e1: PUSH1 0x16 000005e3: PUSH2 0x0100 000005e6: EXP 000005e7: DUP2 000005e8: SLOAD 000005e9: DUP2 000005ea: PUSH1 0xff 000005ec: MUL 000005ed: NOT 000005ee: AND 000005ef: SWAP1 000005f0: DUP4 000005f1: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00000612: SWAP1 00000613: DUP2 00000614: MUL 00000615: DIV 00000616: MUL 00000617: OR 00000618: SWAP1 00000619: SSTORE 0000061a: POP 0000061b: JUMPDEST 0000061c: JUMPDEST 0000061d: POP 0000061e: JUMP 0000061f: JUMPDEST 00000620: PUSH1 0x00 00000622: PUSH1 0x00 00000624: SWAP1 00000625: SLOAD 00000626: SWAP1 00000627: PUSH2 0x0100 0000062a: EXP 0000062b: SWAP1 0000062c: DIV 0000062d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000642: AND 00000643: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000658: AND 00000659: CALLER 0000065a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000066f: AND 00000670: EQ 00000671: ISZERO 00000672: ISZERO 00000673: PUSH2 0x067f 00000676: JUMPI 00000677: PUSH2 0x0002 0000067a: JUMP 0000067b: PUSH2 0x0777 0000067e: JUMP 0000067f: JUMPDEST 00000680: PUSH1 0x01 00000682: PUSH1 0x00 00000684: SWAP1 00000685: SLOAD 00000686: SWAP1 00000687: PUSH2 0x0100 0000068a: EXP 0000068b: SWAP1 0000068c: DIV 0000068d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006a2: AND 000006a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006b8: AND 000006b9: PUSH4 0x7d5fec5a 000006be: PUSH1 0x02 000006c0: PUSH1 0x14 000006c2: SWAP1 000006c3: SLOAD 000006c4: SWAP1 000006c5: PUSH2 0x0100 000006c8: EXP 000006c9: SWAP1 000006ca: DIV 000006cb: PUSH1 0xff 000006cd: AND 000006ce: PUSH1 0x02 000006d0: PUSH1 0x15 000006d2: SWAP1 000006d3: SLOAD 000006d4: SWAP1 000006d5: PUSH2 0x0100 000006d8: EXP 000006d9: SWAP1 000006da: DIV 000006db: PUSH1 0xff 000006dd: AND 000006de: PUSH1 0x00 000006e0: PUSH1 0x00 000006e2: SWAP1 000006e3: SLOAD 000006e4: SWAP1 000006e5: PUSH2 0x0100 000006e8: EXP 000006e9: SWAP1 000006ea: DIV 000006eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000700: AND 00000701: PUSH1 0x40 00000703: MLOAD 00000704: DUP5 00000705: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000723: MUL 00000724: DUP2 00000725: MSTORE 00000726: PUSH1 0x04 00000728: ADD 00000729: DUP1 0000072a: DUP5 0000072b: PUSH1 0xff 0000072d: AND 0000072e: DUP2 0000072f: MSTORE 00000730: PUSH1 0x20 00000732: ADD 00000733: DUP4 00000734: PUSH1 0xff 00000736: AND 00000737: DUP2 00000738: MSTORE 00000739: PUSH1 0x20 0000073b: ADD 0000073c: DUP3 0000073d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000752: AND 00000753: DUP2 00000754: MSTORE 00000755: PUSH1 0x20 00000757: ADD 00000758: SWAP4 00000759: POP 0000075a: POP 0000075b: POP 0000075c: POP 0000075d: PUSH1 0x00 0000075f: PUSH1 0x40 00000761: MLOAD 00000762: DUP1 00000763: DUP4 00000764: SUB 00000765: DUP2 00000766: PUSH1 0x00 00000768: DUP8 00000769: PUSH2 0x61da 0000076c: GAS 0000076d: SUB 0000076e: CALL 0000076f: ISZERO 00000770: PUSH2 0x0002 00000773: JUMPI 00000774: POP 00000775: POP 00000776: POP 00000777: JUMPDEST 00000778: JUMPDEST 00000779: JUMP 0000077a: JUMPDEST 0000077b: PUSH1 0x00 0000077d: PUSH1 0x00 0000077f: SWAP1 00000780: SLOAD 00000781: SWAP1 00000782: PUSH2 0x0100 00000785: EXP 00000786: SWAP1 00000787: DIV 00000788: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000079d: AND 0000079e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007b3: AND 000007b4: CALLER 000007b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ca: AND 000007cb: EQ 000007cc: ISZERO 000007cd: ISZERO 000007ce: PUSH2 0x07da 000007d1: JUMPI 000007d2: PUSH2 0x0002 000007d5: JUMP 000007d6: PUSH2 0x0847 000007d9: JUMP 000007da: JUMPDEST 000007db: PUSH1 0x00 000007dd: PUSH1 0x00 000007df: SWAP1 000007e0: SLOAD 000007e1: SWAP1 000007e2: PUSH2 0x0100 000007e5: EXP 000007e6: SWAP1 000007e7: DIV 000007e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007fd: AND 000007fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000813: AND 00000814: PUSH1 0x00 00000816: ADDRESS 00000817: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000082c: AND 0000082d: BALANCE 0000082e: PUSH1 0x40 00000830: MLOAD 00000831: DUP1 00000832: SWAP1 00000833: POP 00000834: PUSH1 0x00 00000836: PUSH1 0x40 00000838: MLOAD 00000839: DUP1 0000083a: DUP4 0000083b: SUB 0000083c: DUP2 0000083d: DUP6 0000083e: DUP9 0000083f: DUP9 00000840: CALL 00000841: SWAP4 00000842: POP 00000843: POP 00000844: POP 00000845: POP 00000846: POP 00000847: JUMPDEST 00000848: JUMPDEST 00000849: JUMP 0000084a: JUMPDEST 0000084b: PUSH1 0x00 0000084d: PUSH1 0x00 0000084f: SWAP1 00000850: SLOAD 00000851: SWAP1 00000852: PUSH2 0x0100 00000855: EXP 00000856: SWAP1 00000857: DIV 00000858: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000086d: AND 0000086e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000883: AND 00000884: CALLER 00000885: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000089a: AND 0000089b: EQ 0000089c: ISZERO 0000089d: ISZERO 0000089e: PUSH2 0x08aa 000008a1: JUMPI 000008a2: PUSH2 0x0002 000008a5: JUMP 000008a6: PUSH2 0x0914 000008a9: JUMP 000008aa: JUMPDEST 000008ab: PUSH3 0x0186a0 000008af: ADDRESS 000008b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c5: AND 000008c6: BALANCE 000008c7: LT 000008c8: ISZERO 000008c9: PUSH2 0x08d1 000008cc: JUMPI 000008cd: PUSH2 0x0002 000008d0: JUMP 000008d1: JUMPDEST 000008d2: PUSH2 0x08d9 000008d5: PUSH2 0x061f 000008d8: JUMP 000008d9: JUMPDEST 000008da: PUSH1 0x00 000008dc: PUSH1 0x00 000008de: SWAP1 000008df: SLOAD 000008e0: SWAP1 000008e1: PUSH2 0x0100 000008e4: EXP 000008e5: SWAP1 000008e6: DIV 000008e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008fc: AND 000008fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000912: AND 00000913: SELFDESTRUCT 00000914: JUMPDEST 00000915: JUMPDEST 00000916: JUMP 00000917: JUMPDEST 00000918: PUSH1 0x01 0000091a: PUSH1 0x00 0000091c: SWAP1 0000091d: SLOAD 0000091e: SWAP1 0000091f: PUSH2 0x0100 00000922: EXP 00000923: SWAP1 00000924: DIV 00000925: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000093a: AND 0000093b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000950: AND 00000951: PUSH4 0x90fd53ec 00000956: PUSH1 0x02 00000958: PUSH1 0x14 0000095a: SWAP1 0000095b: SLOAD 0000095c: SWAP1 0000095d: PUSH2 0x0100 00000960: EXP 00000961: SWAP1 00000962: DIV 00000963: PUSH1 0xff 00000965: AND 00000966: PUSH1 0x02 00000968: PUSH1 0x15 0000096a: SWAP1 0000096b: SLOAD 0000096c: SWAP1 0000096d: PUSH2 0x0100 00000970: EXP 00000971: SWAP1 00000972: DIV 00000973: PUSH1 0xff 00000975: AND 00000976: PUSH1 0x02 00000978: PUSH1 0x16 0000097a: SWAP1 0000097b: SLOAD 0000097c: SWAP1 0000097d: PUSH2 0x0100 00000980: EXP 00000981: SWAP1 00000982: DIV 00000983: PUSH1 0x00 00000985: SIGNEXTEND 00000986: PUSH1 0x40 00000988: MLOAD 00000989: DUP5 0000098a: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000009a8: MUL 000009a9: DUP2 000009aa: MSTORE 000009ab: PUSH1 0x04 000009ad: ADD 000009ae: DUP1 000009af: DUP5 000009b0: PUSH1 0xff 000009b2: AND 000009b3: DUP2 000009b4: MSTORE 000009b5: PUSH1 0x20 000009b7: ADD 000009b8: DUP4 000009b9: PUSH1 0xff 000009bb: AND 000009bc: DUP2 000009bd: MSTORE 000009be: PUSH1 0x20 000009c0: ADD 000009c1: DUP3 000009c2: PUSH1 0x00 000009c4: SIGNEXTEND 000009c5: DUP2 000009c6: MSTORE 000009c7: PUSH1 0x20 000009c9: ADD 000009ca: SWAP4 000009cb: POP 000009cc: POP 000009cd: POP 000009ce: POP 000009cf: PUSH1 0x00 000009d1: PUSH1 0x40 000009d3: MLOAD 000009d4: DUP1 000009d5: DUP4 000009d6: SUB 000009d7: DUP2 000009d8: PUSH1 0x00 000009da: DUP8 000009db: PUSH2 0x61da 000009de: GAS 000009df: SUB 000009e0: CALL 000009e1: ISZERO 000009e2: PUSH2 0x0002 000009e5: JUMPI 000009e6: POP 000009e7: POP 000009e8: POP 000009e9: JUMPDEST 000009ea: 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 |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x0d37099d2a3fb680d063717f442ee11f99c5881bb7740fd6b3f918fe8f6afd13
call_targets:
0x1a8e6b44ff10317899f93dcea85d4565b31f1043
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0d37099d2a3fb680d063717f442ee11f99c5881bb7740fd6b3f918fe8f6afd13",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1a8e6b44ff10317899f93dcea85d4565b31f1043"
],
"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": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4d9a4af7",
"selector": "0x4d9a4af7",
"calldata_variants": [
"0x4d9a4af7",
"0x4d9a4af70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x837a43a3",
"selector": "0x837a43a3",
"calldata_variants": [
"0x837a43a3",
"0x837a43a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x84a6ff15",
"selector": "0x84a6ff15",
"calldata_variants": [
"0x84a6ff15",
"0x84a6ff150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x84f0a7cb",
"selector": "0x84f0a7cb",
"calldata_variants": [
"0x84f0a7cb",
"0x84f0a7cb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9dd3af1c",
"selector": "0x9dd3af1c",
"calldata_variants": [
"0x9dd3af1c",
"0x9dd3af1c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaac3b632",
"selector": "0xaac3b632",
"calldata_variants": [
"0xaac3b632",
"0xaac3b6320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd321181e",
"selector": "0xd321181e",
"calldata_variants": [
"0xd321181e",
"0xd321181e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1136,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1902,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2112,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 1205,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1313,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1463,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1625,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1972,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2180,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x0d37099d2a3fb680d063717f442ee11f99c5881bb7740fd6b3f918fe8f6afd13
call_targets:
0x1a8e6b44ff10317899f93dcea85d4565b31f1043
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0d37099d2a3fb680d063717f442ee11f99c5881bb7740fd6b3f918fe8f6afd13",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1a8e6b44ff10317899f93dcea85d4565b31f1043"
],
"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": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4d9a4af7",
"selector": "0x4d9a4af7",
"calldata_variants": [
"0x4d9a4af7",
"0x4d9a4af70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x837a43a3",
"selector": "0x837a43a3",
"calldata_variants": [
"0x837a43a3",
"0x837a43a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x84a6ff15",
"selector": "0x84a6ff15",
"calldata_variants": [
"0x84a6ff15",
"0x84a6ff150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x84f0a7cb",
"selector": "0x84f0a7cb",
"calldata_variants": [
"0x84f0a7cb",
"0x84f0a7cb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9dd3af1c",
"selector": "0x9dd3af1c",
"calldata_variants": [
"0x9dd3af1c",
"0x9dd3af1c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaac3b632",
"selector": "0xaac3b632",
"calldata_variants": [
"0xaac3b632",
"0xaac3b6320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd321181e",
"selector": "0xd321181e",
"calldata_variants": [
"0xd321181e",
"0xd321181e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1136,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1902,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2112,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 1205,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1313,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1463,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1625,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1972,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2180,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0x7657605b93c94dbe13af51ab24478df0340f157c2265ba5824850f5689ae6926
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 22,
"trace_id": "0x7657605b93c94dbe13af51ab24478df0340f157c2265ba5824850f5689ae6926",
"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": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4d9a4af7",
"selector": "0x4d9a4af7",
"calldata_variants": [
"0x4d9a4af7",
"0x4d9a4af70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x837a43a3",
"selector": "0x837a43a3",
"calldata_variants": [
"0x837a43a3",
"0x837a43a30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x84a6ff15",
"selector": "0x84a6ff15",
"calldata_variants": [
"0x84a6ff15",
"0x84a6ff150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x84f0a7cb",
"selector": "0x84f0a7cb",
"calldata_variants": [
"0x84f0a7cb",
"0x84f0a7cb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9dd3af1c",
"selector": "0x9dd3af1c",
"calldata_variants": [
"0x9dd3af1c",
"0x9dd3af1c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaac3b632",
"selector": "0xaac3b632",
"calldata_variants": [
"0xaac3b632",
"0xaac3b6320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd321181e",
"selector": "0xd321181e",
"calldata_variants": [
"0xd321181e",
"0xd321181e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 1205,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1313,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1463,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1625,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1972,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2180,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"selfdestruct_count": 1
}
|