019b3836-33fa-72e7-af3b-1320dd37b6ef
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 |
|---|---|---|---|---|
| 3195 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 3196 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 105181 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 105182 | capability.graph | complete | 1 / 3 | 1 week ago |
| 105183 | detector.run | complete | 1 / 3 | 1 week ago |
| 105184 | 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 0x00da 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x1d143848 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00dc 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x215d1343 00000025: EQ 00000026: PUSH2 0x00ee 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x3e3fb23e 00000030: EQ 00000031: PUSH2 0x00f7 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x41c0e1b5 0000003b: EQ 0000003c: PUSH2 0x0153 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x48756fd8 00000046: EQ 00000047: PUSH2 0x017c 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x4f7672f4 00000051: EQ 00000052: PUSH2 0x0185 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x57990807 0000005c: EQ 0000005d: PUSH2 0x018e 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x70a08231 00000067: EQ 00000068: PUSH2 0x0252 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x76a39356 00000072: EQ 00000073: PUSH2 0x026a 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x96d7ac7a 0000007d: EQ 0000007e: PUSH2 0x028b 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x9fdd3630 00000088: EQ 00000089: PUSH2 0x02af 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xa4ab866a 00000093: EQ 00000094: PUSH2 0x0308 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xa9059cbb 0000009e: EQ 0000009f: PUSH2 0x0321 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xb414d4b6 000000a9: EQ 000000aa: PUSH2 0x038c 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xd1e93151 000000b4: EQ 000000b5: PUSH2 0x03a7 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xdee35ece 000000bf: EQ 000000c0: PUSH2 0x03b0 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xe724529c 000000ca: EQ 000000cb: PUSH2 0x03c2 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xec727e13 000000d5: EQ 000000d6: PUSH2 0x03e6 000000d9: JUMPI 000000da: JUMPDEST 000000db: STOP 000000dc: JUMPDEST 000000dd: PUSH2 0x03ef 000000e0: PUSH1 0x03 000000e2: SLOAD 000000e3: PUSH1 0x01 000000e5: PUSH1 0xa0 000000e7: PUSH1 0x02 000000e9: EXP 000000ea: SUB 000000eb: AND 000000ec: DUP2 000000ed: JUMP 000000ee: JUMPDEST 000000ef: PUSH2 0x0402 000000f2: PUSH1 0x08 000000f4: SLOAD 000000f5: DUP2 000000f6: JUMP 000000f7: JUMPDEST 000000f8: PUSH2 0x040c 000000fb: PUSH1 0x01 000000fd: DUP1 000000fe: SLOAD 000000ff: PUSH1 0x20 00000101: PUSH1 0x02 00000103: DUP3 00000104: DUP5 00000105: AND 00000106: ISZERO 00000107: PUSH2 0x0100 0000010a: MUL 0000010b: PUSH1 0x00 0000010d: NOT 0000010e: ADD 0000010f: SWAP1 00000110: SWAP3 00000111: AND 00000112: SWAP2 00000113: SWAP1 00000114: SWAP2 00000115: DIV 00000116: PUSH1 0x1f 00000118: DUP2 00000119: ADD 0000011a: DUP3 0000011b: SWAP1 0000011c: DIV 0000011d: SWAP1 0000011e: SWAP2 0000011f: MUL 00000120: PUSH1 0x80 00000122: SWAP1 00000123: DUP2 00000124: ADD 00000125: PUSH1 0x40 00000127: MSTORE 00000128: PUSH1 0x60 0000012a: DUP3 0000012b: DUP2 0000012c: MSTORE 0000012d: SWAP3 0000012e: SWAP2 0000012f: SWAP1 00000130: DUP3 00000131: DUP3 00000132: DUP1 00000133: ISZERO 00000134: PUSH2 0x05ad 00000137: JUMPI 00000138: DUP1 00000139: PUSH1 0x1f 0000013b: LT 0000013c: PUSH2 0x0582 0000013f: JUMPI 00000140: PUSH2 0x0100 00000143: DUP1 00000144: DUP4 00000145: SLOAD 00000146: DIV 00000147: MUL 00000148: DUP4 00000149: MSTORE 0000014a: SWAP2 0000014b: PUSH1 0x20 0000014d: ADD 0000014e: SWAP2 0000014f: PUSH2 0x05ad 00000152: JUMP 00000153: JUMPDEST 00000154: PUSH2 0x00da 00000157: PUSH1 0x04 00000159: SLOAD 0000015a: PUSH1 0x01 0000015c: PUSH1 0xa0 0000015e: PUSH1 0x02 00000160: EXP 00000161: SUB 00000162: SWAP1 00000163: DUP2 00000164: AND 00000165: CALLER 00000166: SWAP1 00000167: SWAP2 00000168: AND 00000169: EQ 0000016a: ISZERO 0000016b: PUSH2 0x0657 0000016e: JUMPI 0000016f: PUSH1 0x04 00000171: SLOAD 00000172: PUSH1 0x01 00000174: PUSH1 0xa0 00000176: PUSH1 0x02 00000178: EXP 00000179: SUB 0000017a: AND 0000017b: SELFDESTRUCT 0000017c: JUMPDEST 0000017d: PUSH2 0x0402 00000180: PUSH1 0x09 00000182: SLOAD 00000183: DUP2 00000184: JUMP 00000185: JUMPDEST 00000186: PUSH2 0x0402 00000189: PUSH1 0x06 0000018b: SLOAD 0000018c: DUP2 0000018d: JUMP 0000018e: JUMPDEST 0000018f: PUSH2 0x00da 00000192: PUSH1 0x05 00000194: SLOAD 00000195: PUSH1 0x06 00000197: DUP1 00000198: SLOAD 00000199: SWAP1 0000019a: DUP3 0000019b: SWAP1 0000019c: SSTORE 0000019d: PUSH1 0x07 0000019f: SLOAD 000001a0: SWAP2 000001a1: SUB 000001a2: SWAP1 000001a3: DUP2 000001a4: SWAP1 000001a5: DIV 000001a6: PUSH1 0x00 000001a8: DUP1 000001a9: DUP1 000001aa: DUP1 000001ab: JUMPDEST 000001ac: PUSH1 0x08 000001ae: SLOAD 000001af: DUP3 000001b0: LT 000001b1: ISZERO 000001b2: PUSH2 0x047a 000001b5: JUMPI 000001b6: POP 000001b7: PUSH1 0x00 000001b9: DUP2 000001ba: DUP2 000001bb: MSTORE 000001bc: PUSH1 0x0c 000001be: PUSH1 0x20 000001c0: SWAP1 000001c1: DUP2 000001c2: MSTORE 000001c3: PUSH1 0x40 000001c5: DUP1 000001c6: DUP4 000001c7: KECCAK256 000001c8: SLOAD 000001c9: PUSH1 0x01 000001cb: PUSH1 0xa0 000001cd: PUSH1 0x02 000001cf: EXP 000001d0: SUB 000001d1: SWAP1 000001d2: DUP2 000001d3: AND 000001d4: DUP1 000001d5: DUP6 000001d6: MSTORE 000001d7: PUSH1 0x0a 000001d9: SWAP1 000001da: SWAP4 000001db: MSTORE 000001dc: DUP2 000001dd: DUP5 000001de: KECCAK256 000001df: SLOAD 000001e0: DUP5 000001e1: SLOAD 000001e2: DUP4 000001e3: MLOAD 000001e4: PUSH32 0x489ffdbc00000000000000000000000000000000000000000000000000000000 00000205: DUP2 00000206: MSTORE 00000207: PUSH1 0x04 00000209: DUP2 0000020a: ADD 0000020b: DUP7 0000020c: SWAP1 0000020d: MSTORE 0000020e: SWAP2 0000020f: DUP11 00000210: MUL 00000211: PUSH1 0x24 00000213: DUP4 00000214: ADD 00000215: DUP2 00000216: SWAP1 00000217: MSTORE 00000218: SWAP4 00000219: MLOAD 0000021a: SWAP4 0000021b: SWAP9 0000021c: POP 0000021d: SWAP4 0000021e: SWAP7 0000021f: POP 00000220: SWAP3 00000221: AND 00000222: SWAP3 00000223: DUP4 00000224: SWAP3 00000225: PUSH4 0x489ffdbc 0000022a: SWAP3 0000022b: PUSH1 0x44 0000022d: DUP3 0000022e: DUP2 0000022f: ADD 00000230: SWAP4 00000231: SWAP3 00000232: DUP3 00000233: SWAP1 00000234: SUB 00000235: ADD 00000236: DUP2 00000237: DUP4 00000238: DUP8 00000239: PUSH2 0x61da 0000023c: GAS 0000023d: SUB 0000023e: CALL 0000023f: ISZERO 00000240: PUSH2 0x0002 00000243: JUMPI 00000244: POP 00000245: POP 00000246: POP 00000247: PUSH1 0x01 00000249: SWAP2 0000024a: SWAP1 0000024b: SWAP2 0000024c: ADD 0000024d: SWAP1 0000024e: PUSH2 0x01ab 00000251: JUMP 00000252: JUMPDEST 00000253: PUSH2 0x0402 00000256: PUSH1 0x04 00000258: CALLDATALOAD 00000259: PUSH1 0x0a 0000025b: PUSH1 0x20 0000025d: MSTORE 0000025e: PUSH1 0x00 00000260: SWAP1 00000261: DUP2 00000262: MSTORE 00000263: PUSH1 0x40 00000265: SWAP1 00000266: KECCAK256 00000267: SLOAD 00000268: DUP2 00000269: JUMP 0000026a: JUMPDEST 0000026b: PUSH2 0x03ef 0000026e: PUSH1 0x04 00000270: CALLDATALOAD 00000271: PUSH1 0x0c 00000273: PUSH1 0x20 00000275: MSTORE 00000276: PUSH1 0x00 00000278: SWAP1 00000279: DUP2 0000027a: MSTORE 0000027b: PUSH1 0x40 0000027d: SWAP1 0000027e: KECCAK256 0000027f: SLOAD 00000280: PUSH1 0x01 00000282: PUSH1 0xa0 00000284: PUSH1 0x02 00000286: EXP 00000287: SUB 00000288: AND 00000289: DUP2 0000028a: JUMP 0000028b: JUMPDEST 0000028c: PUSH2 0x00da 0000028f: PUSH1 0x04 00000291: CALLDATALOAD 00000292: PUSH1 0x24 00000294: CALLDATALOAD 00000295: PUSH1 0x03 00000297: SLOAD 00000298: CALLER 00000299: PUSH1 0x01 0000029b: PUSH1 0xa0 0000029d: PUSH1 0x02 0000029f: EXP 000002a0: SUB 000002a1: SWAP1 000002a2: DUP2 000002a3: AND 000002a4: SWAP2 000002a5: AND 000002a6: EQ 000002a7: PUSH2 0x05b5 000002aa: JUMPI 000002ab: PUSH2 0x0002 000002ae: JUMP 000002af: JUMPDEST 000002b0: PUSH2 0x040c 000002b3: PUSH1 0x02 000002b5: DUP1 000002b6: SLOAD 000002b7: PUSH1 0x20 000002b9: PUSH1 0x1f 000002bb: PUSH1 0x00 000002bd: NOT 000002be: PUSH1 0x01 000002c0: DUP5 000002c1: AND 000002c2: ISZERO 000002c3: PUSH2 0x0100 000002c6: MUL 000002c7: ADD 000002c8: SWAP1 000002c9: SWAP3 000002ca: AND 000002cb: DUP4 000002cc: SWAP1 000002cd: DIV 000002ce: SWAP2 000002cf: DUP3 000002d0: ADD 000002d1: DUP2 000002d2: SWAP1 000002d3: DIV 000002d4: MUL 000002d5: PUSH1 0x80 000002d7: SWAP1 000002d8: DUP2 000002d9: ADD 000002da: PUSH1 0x40 000002dc: MSTORE 000002dd: PUSH1 0x60 000002df: DUP3 000002e0: DUP2 000002e1: MSTORE 000002e2: SWAP3 000002e3: SWAP2 000002e4: SWAP1 000002e5: DUP3 000002e6: DUP3 000002e7: DUP1 000002e8: ISZERO 000002e9: PUSH2 0x05ad 000002ec: JUMPI 000002ed: DUP1 000002ee: PUSH1 0x1f 000002f0: LT 000002f1: PUSH2 0x0582 000002f4: JUMPI 000002f5: PUSH2 0x0100 000002f8: DUP1 000002f9: DUP4 000002fa: SLOAD 000002fb: DIV 000002fc: MUL 000002fd: DUP4 000002fe: MSTORE 000002ff: SWAP2 00000300: PUSH1 0x20 00000302: ADD 00000303: SWAP2 00000304: PUSH2 0x05ad 00000307: JUMP 00000308: JUMPDEST 00000309: PUSH2 0x00da 0000030c: PUSH1 0x04 0000030e: CALLDATALOAD 0000030f: PUSH1 0x05 00000311: SLOAD 00000312: DUP2 00000313: GT 00000314: ISZERO 00000315: PUSH2 0x031e 00000318: JUMPI 00000319: PUSH1 0x05 0000031b: DUP2 0000031c: SWAP1 0000031d: SSTORE 0000031e: JUMPDEST 0000031f: POP 00000320: JUMP 00000321: JUMPDEST 00000322: PUSH2 0x0402 00000325: PUSH1 0x04 00000327: CALLDATALOAD 00000328: PUSH1 0x24 0000032a: CALLDATALOAD 0000032b: CALLER 0000032c: PUSH1 0x01 0000032e: PUSH1 0xa0 00000330: PUSH1 0x02 00000332: EXP 00000333: SUB 00000334: AND 00000335: PUSH1 0x00 00000337: SWAP1 00000338: DUP2 00000339: MSTORE 0000033a: PUSH1 0x0a 0000033c: PUSH1 0x20 0000033e: MSTORE 0000033f: PUSH1 0x40 00000341: DUP2 00000342: KECCAK256 00000343: SLOAD 00000344: DUP3 00000345: SWAP1 00000346: LT 00000347: DUP1 00000348: PUSH2 0x0362 0000034b: JUMPI 0000034c: POP 0000034d: PUSH1 0x01 0000034f: PUSH1 0xa0 00000351: PUSH1 0x02 00000353: EXP 00000354: SUB 00000355: DUP4 00000356: AND 00000357: DUP2 00000358: MSTORE 00000359: PUSH1 0x40 0000035b: DUP2 0000035c: KECCAK256 0000035d: SLOAD 0000035e: DUP1 0000035f: DUP4 00000360: ADD 00000361: LT 00000362: JUMPDEST 00000363: DUP1 00000364: PUSH2 0x0382 00000367: JUMPI 00000368: POP 00000369: CALLER 0000036a: PUSH1 0x01 0000036c: PUSH1 0xa0 0000036e: PUSH1 0x02 00000370: EXP 00000371: SUB 00000372: AND 00000373: DUP2 00000374: MSTORE 00000375: PUSH1 0x0b 00000377: PUSH1 0x20 00000379: MSTORE 0000037a: PUSH1 0x40 0000037c: DUP2 0000037d: KECCAK256 0000037e: SLOAD 0000037f: PUSH1 0xff 00000381: AND 00000382: JUMPDEST 00000383: ISZERO 00000384: PUSH2 0x0482 00000387: JUMPI 00000388: PUSH2 0x0002 0000038b: JUMP 0000038c: JUMPDEST 0000038d: PUSH2 0x0402 00000390: PUSH1 0x04 00000392: CALLDATALOAD 00000393: PUSH1 0x0b 00000395: PUSH1 0x20 00000397: MSTORE 00000398: PUSH1 0x00 0000039a: SWAP1 0000039b: DUP2 0000039c: MSTORE 0000039d: PUSH1 0x40 0000039f: SWAP1 000003a0: KECCAK256 000003a1: SLOAD 000003a2: PUSH1 0xff 000003a4: AND 000003a5: DUP2 000003a6: JUMP 000003a7: JUMPDEST 000003a8: PUSH2 0x0402 000003ab: PUSH1 0x05 000003ad: SLOAD 000003ae: DUP2 000003af: JUMP 000003b0: JUMPDEST 000003b1: PUSH2 0x03ef 000003b4: PUSH1 0x00 000003b6: SLOAD 000003b7: PUSH1 0x01 000003b9: PUSH1 0xa0 000003bb: PUSH1 0x02 000003bd: EXP 000003be: SUB 000003bf: AND 000003c0: DUP2 000003c1: JUMP 000003c2: JUMPDEST 000003c3: PUSH2 0x00da 000003c6: PUSH1 0x04 000003c8: CALLDATALOAD 000003c9: PUSH1 0x24 000003cb: CALLDATALOAD 000003cc: PUSH1 0x03 000003ce: SLOAD 000003cf: CALLER 000003d0: PUSH1 0x01 000003d2: PUSH1 0xa0 000003d4: PUSH1 0x02 000003d6: EXP 000003d7: SUB 000003d8: SWAP1 000003d9: DUP2 000003da: AND 000003db: SWAP2 000003dc: AND 000003dd: EQ 000003de: PUSH2 0x0602 000003e1: JUMPI 000003e2: PUSH2 0x0002 000003e5: JUMP 000003e6: JUMPDEST 000003e7: PUSH2 0x0402 000003ea: PUSH1 0x07 000003ec: SLOAD 000003ed: DUP2 000003ee: JUMP 000003ef: JUMPDEST 000003f0: PUSH1 0x01 000003f2: PUSH1 0xa0 000003f4: PUSH1 0x02 000003f6: EXP 000003f7: SUB 000003f8: AND 000003f9: PUSH1 0x60 000003fb: SWAP1 000003fc: DUP2 000003fd: MSTORE 000003fe: PUSH1 0x20 00000400: SWAP1 00000401: RETURN 00000402: JUMPDEST 00000403: PUSH1 0x60 00000405: SWAP1 00000406: DUP2 00000407: MSTORE 00000408: PUSH1 0x20 0000040a: SWAP1 0000040b: RETURN 0000040c: JUMPDEST 0000040d: PUSH1 0x40 0000040f: MLOAD 00000410: DUP1 00000411: DUP1 00000412: PUSH1 0x20 00000414: ADD 00000415: DUP3 00000416: DUP2 00000417: SUB 00000418: DUP3 00000419: MSTORE 0000041a: DUP4 0000041b: DUP2 0000041c: DUP2 0000041d: MLOAD 0000041e: DUP2 0000041f: MSTORE 00000420: PUSH1 0x20 00000422: ADD 00000423: SWAP2 00000424: POP 00000425: DUP1 00000426: MLOAD 00000427: SWAP1 00000428: PUSH1 0x20 0000042a: ADD 0000042b: SWAP1 0000042c: DUP1 0000042d: DUP4 0000042e: DUP4 0000042f: DUP3 00000430: SWAP1 00000431: PUSH1 0x00 00000433: PUSH1 0x04 00000435: PUSH1 0x20 00000437: DUP5 00000438: PUSH1 0x1f 0000043a: ADD 0000043b: DIV 0000043c: PUSH1 0x0f 0000043e: MUL 0000043f: PUSH1 0x03 00000441: ADD 00000442: CALL 00000443: POP 00000444: SWAP1 00000445: POP 00000446: SWAP1 00000447: DUP2 00000448: ADD 00000449: SWAP1 0000044a: PUSH1 0x1f 0000044c: AND 0000044d: DUP1 0000044e: ISZERO 0000044f: PUSH2 0x046c 00000452: JUMPI 00000453: DUP1 00000454: DUP3 00000455: SUB 00000456: DUP1 00000457: MLOAD 00000458: PUSH1 0x01 0000045a: DUP4 0000045b: PUSH1 0x20 0000045d: SUB 0000045e: PUSH2 0x0100 00000461: EXP 00000462: SUB 00000463: NOT 00000464: AND 00000465: DUP2 00000466: MSTORE 00000467: PUSH1 0x20 00000469: ADD 0000046a: SWAP2 0000046b: POP 0000046c: JUMPDEST 0000046d: POP 0000046e: SWAP3 0000046f: POP 00000470: POP 00000471: POP 00000472: PUSH1 0x40 00000474: MLOAD 00000475: DUP1 00000476: SWAP2 00000477: SUB 00000478: SWAP1 00000479: RETURN 0000047a: JUMPDEST 0000047b: POP 0000047c: POP 0000047d: POP 0000047e: POP 0000047f: POP 00000480: POP 00000481: JUMP 00000482: JUMPDEST 00000483: PUSH1 0x01 00000485: PUSH1 0xa0 00000487: PUSH1 0x02 00000489: EXP 0000048a: SUB 0000048b: DUP4 0000048c: AND 0000048d: DUP2 0000048e: MSTORE 0000048f: PUSH1 0x0a 00000491: PUSH1 0x20 00000493: MSTORE 00000494: PUSH1 0x40 00000496: DUP2 00000497: KECCAK256 00000498: SLOAD 00000499: DUP2 0000049a: EQ 0000049b: ISZERO 0000049c: PUSH2 0x04d3 0000049f: JUMPI 000004a0: PUSH1 0x08 000004a2: DUP1 000004a3: SLOAD 000004a4: PUSH1 0x01 000004a6: ADD 000004a7: SWAP1 000004a8: DUP2 000004a9: SWAP1 000004aa: SSTORE 000004ab: DUP2 000004ac: MSTORE 000004ad: PUSH1 0x0c 000004af: PUSH1 0x20 000004b1: MSTORE 000004b2: PUSH1 0x40 000004b4: DUP2 000004b5: KECCAK256 000004b6: DUP1 000004b7: SLOAD 000004b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004cd: NOT 000004ce: AND 000004cf: DUP5 000004d0: OR 000004d1: SWAP1 000004d2: SSTORE 000004d3: JUMPDEST 000004d4: DUP2 000004d5: PUSH1 0x0a 000004d7: PUSH1 0x00 000004d9: POP 000004da: PUSH1 0x00 000004dc: CALLER 000004dd: PUSH1 0x01 000004df: PUSH1 0xa0 000004e1: PUSH1 0x02 000004e3: EXP 000004e4: SUB 000004e5: AND 000004e6: DUP2 000004e7: MSTORE 000004e8: PUSH1 0x20 000004ea: ADD 000004eb: SWAP1 000004ec: DUP2 000004ed: MSTORE 000004ee: PUSH1 0x20 000004f0: ADD 000004f1: PUSH1 0x00 000004f3: KECCAK256 000004f4: PUSH1 0x00 000004f6: DUP3 000004f7: DUP3 000004f8: DUP3 000004f9: POP 000004fa: SLOAD 000004fb: SUB 000004fc: SWAP3 000004fd: POP 000004fe: POP 000004ff: DUP2 00000500: SWAP1 00000501: SSTORE 00000502: POP 00000503: DUP2 00000504: PUSH1 0x0a 00000506: PUSH1 0x00 00000508: POP 00000509: PUSH1 0x00 0000050b: DUP6 0000050c: PUSH1 0x01 0000050e: PUSH1 0xa0 00000510: PUSH1 0x02 00000512: EXP 00000513: SUB 00000514: AND 00000515: DUP2 00000516: MSTORE 00000517: PUSH1 0x20 00000519: ADD 0000051a: SWAP1 0000051b: DUP2 0000051c: MSTORE 0000051d: PUSH1 0x20 0000051f: ADD 00000520: PUSH1 0x00 00000522: KECCAK256 00000523: PUSH1 0x00 00000525: DUP3 00000526: DUP3 00000527: DUP3 00000528: POP 00000529: SLOAD 0000052a: ADD 0000052b: SWAP3 0000052c: POP 0000052d: POP 0000052e: DUP2 0000052f: SWAP1 00000530: SSTORE 00000531: POP 00000532: DUP3 00000533: PUSH1 0x01 00000535: PUSH1 0xa0 00000537: PUSH1 0x02 00000539: EXP 0000053a: SUB 0000053b: AND 0000053c: CALLER 0000053d: PUSH1 0x01 0000053f: PUSH1 0xa0 00000541: PUSH1 0x02 00000543: EXP 00000544: SUB 00000545: AND 00000546: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000567: DUP5 00000568: PUSH1 0x40 0000056a: MLOAD 0000056b: DUP1 0000056c: DUP3 0000056d: DUP2 0000056e: MSTORE 0000056f: PUSH1 0x20 00000571: ADD 00000572: SWAP2 00000573: POP 00000574: POP 00000575: PUSH1 0x40 00000577: MLOAD 00000578: DUP1 00000579: SWAP2 0000057a: SUB 0000057b: SWAP1 0000057c: LOG3 0000057d: SWAP3 0000057e: SWAP2 0000057f: POP 00000580: POP 00000581: JUMP 00000582: JUMPDEST 00000583: DUP3 00000584: ADD 00000585: SWAP2 00000586: SWAP1 00000587: PUSH1 0x00 00000589: MSTORE 0000058a: PUSH1 0x20 0000058c: PUSH1 0x00 0000058e: KECCAK256 0000058f: SWAP1 00000590: JUMPDEST 00000591: DUP2 00000592: SLOAD 00000593: DUP2 00000594: MSTORE 00000595: SWAP1 00000596: PUSH1 0x01 00000598: ADD 00000599: SWAP1 0000059a: PUSH1 0x20 0000059c: ADD 0000059d: DUP1 0000059e: DUP4 0000059f: GT 000005a0: PUSH2 0x0590 000005a3: JUMPI 000005a4: DUP3 000005a5: SWAP1 000005a6: SUB 000005a7: PUSH1 0x1f 000005a9: AND 000005aa: DUP3 000005ab: ADD 000005ac: SWAP2 000005ad: JUMPDEST 000005ae: POP 000005af: POP 000005b0: POP 000005b1: POP 000005b2: POP 000005b3: DUP2 000005b4: JUMP 000005b5: JUMPDEST 000005b6: PUSH1 0x01 000005b8: PUSH1 0xa0 000005ba: PUSH1 0x02 000005bc: EXP 000005bd: SUB 000005be: DUP3 000005bf: AND 000005c0: PUSH1 0x00 000005c2: DUP2 000005c3: DUP2 000005c4: MSTORE 000005c5: PUSH1 0x0a 000005c7: PUSH1 0x20 000005c9: SWAP1 000005ca: DUP2 000005cb: MSTORE 000005cc: PUSH1 0x40 000005ce: DUP3 000005cf: KECCAK256 000005d0: DUP1 000005d1: SLOAD 000005d2: DUP6 000005d3: ADD 000005d4: SWAP1 000005d5: SSTORE 000005d6: PUSH1 0x60 000005d8: DUP5 000005d9: DUP2 000005da: MSTORE 000005db: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000005fc: SWAP2 000005fd: SWAP1 000005fe: LOG3 000005ff: POP 00000600: POP 00000601: JUMP 00000602: JUMPDEST 00000603: PUSH1 0x01 00000605: PUSH1 0xa0 00000607: PUSH1 0x02 00000609: EXP 0000060a: SUB 0000060b: DUP3 0000060c: AND 0000060d: PUSH1 0x00 0000060f: DUP2 00000610: DUP2 00000611: MSTORE 00000612: PUSH1 0x0b 00000614: PUSH1 0x20 00000616: MSTORE 00000617: PUSH1 0x40 00000619: SWAP1 0000061a: DUP2 0000061b: SWAP1 0000061c: KECCAK256 0000061d: DUP1 0000061e: SLOAD 0000061f: PUSH1 0xff 00000621: NOT 00000622: AND 00000623: DUP5 00000624: OR 00000625: SWAP1 00000626: SSTORE 00000627: PUSH1 0x60 00000629: SWAP2 0000062a: DUP3 0000062b: MSTORE 0000062c: PUSH1 0x80 0000062e: DUP4 0000062f: SWAP1 00000630: MSTORE 00000631: PUSH32 0x48335238b4855f35377ed80f164e8c6f3c366e54ac00b96a6402d4a9814a03a5 00000652: SWAP2 00000653: LOG1 00000654: POP 00000655: POP 00000656: JUMP 00000657: JUMPDEST 00000658: 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: 0x89b0d6ae5a10ad33711b1b2ba70486cc4e1ba409f28d66f99d95005153380cf3
call_targets:
0xb66329dcc17d7a191f1fae9fea419eaaf5bf4196
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x89b0d6ae5a10ad33711b1b2ba70486cc4e1ba409f28d66f99d95005153380cf3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb66329dcc17d7a191f1fae9fea419eaaf5bf4196"
],
"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": "0x1d143848",
"selector": "0x1d143848",
"calldata_variants": [
"0x1d143848",
"0x1d1438480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x215d1343",
"selector": "0x215d1343",
"calldata_variants": [
"0x215d1343",
"0x215d13430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3e3fb23e",
"selector": "0x3e3fb23e",
"calldata_variants": [
"0x3e3fb23e",
"0x3e3fb23e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x48756fd8",
"selector": "0x48756fd8",
"calldata_variants": [
"0x48756fd8",
"0x48756fd80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f7672f4",
"selector": "0x4f7672f4",
"calldata_variants": [
"0x4f7672f4",
"0x4f7672f40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x57990807",
"selector": "0x57990807",
"calldata_variants": [
"0x57990807",
"0x579908070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 574,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1090,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x89b0d6ae5a10ad33711b1b2ba70486cc4e1ba409f28d66f99d95005153380cf3
call_targets:
0xb66329dcc17d7a191f1fae9fea419eaaf5bf4196
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x89b0d6ae5a10ad33711b1b2ba70486cc4e1ba409f28d66f99d95005153380cf3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb66329dcc17d7a191f1fae9fea419eaaf5bf4196"
],
"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": "0x1d143848",
"selector": "0x1d143848",
"calldata_variants": [
"0x1d143848",
"0x1d1438480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x215d1343",
"selector": "0x215d1343",
"calldata_variants": [
"0x215d1343",
"0x215d13430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3e3fb23e",
"selector": "0x3e3fb23e",
"calldata_variants": [
"0x3e3fb23e",
"0x3e3fb23e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x48756fd8",
"selector": "0x48756fd8",
"calldata_variants": [
"0x48756fd8",
"0x48756fd80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f7672f4",
"selector": "0x4f7672f4",
"calldata_variants": [
"0x4f7672f4",
"0x4f7672f40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x57990807",
"selector": "0x57990807",
"calldata_variants": [
"0x57990807",
"0x579908070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 574,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1090,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x7420b2f34e57fef2d874da361791d71940df7f1471882ae896cfa94b7ff7cb19
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x7420b2f34e57fef2d874da361791d71940df7f1471882ae896cfa94b7ff7cb19",
"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": "0x1d143848",
"selector": "0x1d143848",
"calldata_variants": [
"0x1d143848",
"0x1d1438480000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x215d1343",
"selector": "0x215d1343",
"calldata_variants": [
"0x215d1343",
"0x215d13430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3e3fb23e",
"selector": "0x3e3fb23e",
"calldata_variants": [
"0x3e3fb23e",
"0x3e3fb23e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x48756fd8",
"selector": "0x48756fd8",
"calldata_variants": [
"0x48756fd8",
"0x48756fd80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f7672f4",
"selector": "0x4f7672f4",
"calldata_variants": [
"0x4f7672f4",
"0x4f7672f40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x57990807",
"selector": "0x57990807",
"calldata_variants": [
"0x57990807",
"0x579908070000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70a08231",
"selector": "0x70a08231",
"calldata_variants": [
"0x70a08231",
"0x70a082310000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|