Received-SPF: pass (google.com: domain of linux-kernel+bounces-139019-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:45e3:2400::1 as permitted sender) client-ip=2604:1380:45e3:2400::1;
Message-ID: <f4f7c644-b229-486b-973b-97c55dac334f@oracle.com>
Date: Wed, 10 Apr 2024 11:58:57 -0500
User-Agent: Mozilla Thunderbird
Subject: Re: [Jfs-discussion] [PATCH] jfs: reserve the header and use freelist
 from second
To: Edward Adam Davis <eadavis@qq.com>,
        syzbot+bba84aef3a26fb93deb9@syzkaller.appspotmail.com
Cc: linux-fsdevel@vger.kernel.org, jfs-discussion@lists.sourceforge.net,
        syzkaller-bugs@googlegroups.com, linux-kernel@vger.kernel.org
References: <000000000000ea6cba0615a3f177@google.com>
 <tencent_59925DB41938CFAC0DDEA5A40DB592425D07@qq.com>
From: Dave Kleikamp <dave.kleikamp@oracle.com>
Content-Language: en-US
In-Reply-To: <tencent_59925DB41938CFAC0DDEA5A40DB592425D07@qq.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Precedence: bulk
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: 
	=?utf-8?B?ODZZM1hJSkw5ZEJzd1BwQ0lLMzBEVjh2ZHZWU2c4cy9WUysrR1lBNWpCbmZS?=
 =?utf-8?B?Y1dCMzd6cEllc0U0M0JwTy9VMlJycEMyT3BFMy9BaVFLMndBK0Y4T2tZa1Ri?=
 =?utf-8?B?QVNmZE9GOHVRNytwditHcmk5dEdJVmNSTytzclA1dzFtd3ZVa05neGVYL1lq?=
 =?utf-8?B?d0FzRFQ4ZzNHVGYrTVd6ckNCS3N0REJ6dzQvamxUTnE5ZHdYTTJTa21vKzl1?=
 =?utf-8?B?TkIxY0l2bHFua2RMSnErQXFER3FaTnd3L2ZYWkRYRHBvQXhCRlRmZk1URHRl?=
 =?utf-8?B?ODYyOU9iNmp1d25IaEtNY0FQMloyOXdET0RYa0NIWlAyYTNGZ0lzSzQ3MHJV?=
 =?utf-8?B?TmQrTlBMUWt2SkFXU205RFR5U2pPUU9peGJhbkhObi9ab1FWRXNLVUJiS2Fj?=
 =?utf-8?B?N2pDNEIrQ1ZneWRiTlVTRzUrQlo4OHBtOHRZWHUzcGFoOHNOVlV1R1pzYkxh?=
 =?utf-8?B?RnFseFVrRWZYOUtDbk1yZTZwcjlUV2RkVjhRdlNZYXU5d3VER0NPdEN2anc1?=
 =?utf-8?B?ZjFOV1N4bU84SWxtWkpsWmJnOTlHZi85RGlyTS83L3VNa2NlTUFmTFRSU1Qy?=
 =?utf-8?B?K20vWTdNYURxTU5HUk9pUFh3aXNuTTNhK1Z5RVhJOENzOTNiL0YwRWJ3S3A4?=
 =?utf-8?B?QjZlbU53bG44cGVRUXd1cjRHWjNkSlhtNHplbWpQM2sydVVFOHA5VXBzeXhj?=
 =?utf-8?B?akNtaFJmbm0xL251eFdVOFhMZlo0RWllbUJSdkhwcEx6VlZRN3QxdDFSRVBV?=
 =?utf-8?B?RjNmMjc5R2o4MkExdUlDOTZwNEdwNXBNNFVCYWhzY3ovRG5nbk5jMVFHbnBu?=
 =?utf-8?B?OHNUOVZxTHduTmd0cUN6R0hUTkxoU09wa256ZXJIRFJITEVSaG1ma1c3S3FB?=
 =?utf-8?B?enFwUjJWWlQyQjBhUER0YWNTcEEvUUFtbmhTNHBJV0kraXNIZDJYalVjUnB4?=
 =?utf-8?B?UGZzbmFsZ0sybllIQmFxa21jSTUrQXl0NnJzVkoxdEs1QlBQUDY1VDNQVnIy?=
 =?utf-8?B?ZEplUzROYlNDTVIwVVoxSUx6WE1FMU51TnR2NndpdGFaaDZ6d2VNd05acjdD?=
 =?utf-8?B?ODQ2THkwZWFWZTlxVHJsRXVnbzJyS3QrWTQ5bk5NaVRpY0JJYWlORDhEUlZ1?=
 =?utf-8?B?aGowdjBDdk1sQy9ON0ZVbXhnMUltb29oY1g3bTdxWlVPOHh3dHdwZ2tlcnFG?=
 =?utf-8?B?SmxoTFljSVhnZmREU3dRMHFhbE5PMk05Wm9WS05BbkJBNDYxL2Ztdkt6UGcw?=
 =?utf-8?B?K0tlZDdnQzk2U1h4R3I2SDUyd3l0dlhMenVQRmNHckJSemI4NVZLdW1EMnFX?=
 =?utf-8?B?YnljTnpOSVErL1JmczVoNlNhcXJtNHFrdUYrMU1uZXpOb2o0bmNoL3NDeE5H?=
 =?utf-8?B?dGtpRFZSeEFqV082eVJiKzN6SVlMUUlBRDhCYkJkd1lIZTRxSjMySndIMWU5?=
 =?utf-8?B?cUxxbENuM2RLMkMxaS9BUjJ5eDJUNEgrYXVqM1BFZlNkWlB3QnpTdVFERHhR?=
 =?utf-8?B?dkR2bS9VVXJlQXhIOFAvbnpxejZ6aFBzdnJQUkZQRjh4U1pPc0luTFlybnlr?=
 =?utf-8?B?MzIzbVQ1b0RVd0ZCQVM1dGhCcDV6T2xQdjJhVlJPV1R3OWt0UDd1MTRJVGpW?=
 =?utf-8?B?YnI1SlpGVEw3U3R0OHN5MUY5WG16Y1R6OTBVeFJibENuL3ovWUhEWW5ubStF?=
 =?utf-8?B?eWhTRzJ6WEs2N2dFSXk3OFJOTVNXVFVNWUMwdWlPNU54Z21UbWxnTHZpVTdT?=
 =?utf-8?B?WVNRaHJaQTh1cHl0dkx6RklRbTBoVUhhaklacm43NysxeCtvaW55ZjJHNjEy?=
 =?utf-8?B?a3JaMnkrSkU1Uk83Y1hvZTB2NElZNG1JRlF3aFpuQXlYaWxaYmJVUU9BNWhn?=
 =?utf-8?B?UkNXM1d4dUNGQjNrUGtpNGdJQ1U3RzVYUEtXWTkveC9jc1I0NThScllBcnN0?=
 =?utf-8?B?RUhESDB6NGJuVVlvbWJJUTQvdng5bE9HcnpyNzdCNjZGZVNDaG1VQks1amNo?=
 =?utf-8?B?ZlVCcEpTcGkxanFlNTJPck12K0M3Y0lrMm1Zc3J5bk9XdTYxeHI3elJ0UlBR?=
 =?utf-8?B?M1dwRUdSbFdVOEVBQUJHakJkbWVjcllydGRxUnJFVnM3RTNYY2dRdURmRzJQ?=
 =?utf-8?B?T05rSHpvangvUlJoV0VKNXZUWG41QjRSK0NyRjlLajJueGVNSWhKcEdSdTJ6?=
 =?utf-8?B?eFE9PQ==?=
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: 
	YrE2l+4NBKC0kz1WV753sA3RjNdH/dGwbQ1ZlB8jqYsz8Vr/0NVyc8kn+FLH0Dr38R7UUmfWrM54PG5f8wiAO/icxkzJu1vGDCLknbsi09WQ07LKNo4Zx24EwCe3RRUNyWzpdYv8BdCy7pfUFy71kwWL/Gn17cPNR1L7dgFjc908jgNTAWMiUsGu7DzA4DJ+3voyTCd+QpU/LVzXsfH6dQYqR7K6W/hILnVlRH9+ZtkS10jcebX3vH2g7t4+XliwZGT8XHrxhgoDZDKQJoB8cyFlUULiwhwOjEBI6C30S/nG2CAM6DHgY+lDJRVo/3PDHaAdPOGYJAs6nc/Kjrzkgo40tHFIH/5rGyEvmN3zDjR7FMc4QvTaqvjjXgwVFoIbvIpJ0QLXymnlp6ixEY85tB3k9nJq+/BoHxTMl8dxp843rbUJlV7kg7Gx8DNeINJYzZfp1dpPr0Cfn8dLIDoGpMdw9dYvLuFr0l+BrK2k+6B6gAlnIrX0N6AgXYSqbpeYNrWimqkd2/n9gydotHW4chu1DGPJl5kppKx75/oGtD+zekumqqWKE6SiWvlyhYCxwdSi1p17iFddxWKgwugY1zjEJgz1rNxZdRL5DjP6WLo=
X-OriginatorOrg: oracle.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 19a29c12-dcd7-49ba-d678-08dc597f83f7
X-MS-Exchange-CrossTenant-AuthSource: MW5PR10MB5738.namprd10.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 10 Apr 2024 16:58:59.1391
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 4e2c6054-71cb-48f1-bd6c-3a9705aca71b
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: k68IvA9lii2k41St6FUpQNXHetarBDR1W3nH/NyFQeGsoyLvNg9qcdxLKcI04RhmNc7Y1fVVunJkyNHS0YydwyJ32x/SO2zgbeJdE1Cq+tk=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: PH0PR10MB4503
X-Proofpoint-Virus-Version: vendor=baseguard
 engine=ICAP:2.0.272,Aquarius:18.0.1011,Hydra:6.0.619,FMLib:17.11.176.26
 definitions=2024-04-10_04,2024-04-09_01,2023-05-22_02
X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 malwarescore=0 suspectscore=0
 bulkscore=0 mlxlogscore=999 mlxscore=0 adultscore=0 phishscore=0
 spamscore=0 classifier=spam adjust=0 reason=mlx scancount=1
 engine=8.12.0-2404010000 definitions=main-2404100125
X-Proofpoint-ORIG-GUID: 7SclnFjqarE2m66dyDr_Ijf91JKzlkhl
X-Proofpoint-GUID: 7SclnFjqarE2m66dyDr_Ijf91JKzlkhl

On 4/10/24 2:05AM, Edward Adam Davis via Jfs-discussion wrote:
> [syzbot reported]
> general protection fault, probably for non-canonical address 0xdffffc0000000001: 0000 [#1] PREEMPT SMP KASAN PTI
> KASAN: null-ptr-deref in range [0x0000000000000008-0x000000000000000f]
> CPU: 0 PID: 5061 Comm: syz-executor404 Not tainted 6.8.0-syzkaller-08951-gfe46a7dd189e #0
> Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 03/27/2024
> RIP: 0010:dtInsertEntry+0xd0c/0x1780 fs/jfs/jfs_dtree.c:3713
> ...
> [Analyze]
> When the pointer h has the same value as p, after writing name in UniStrncpy_to_le(),
> p->header.flag will be cleared.
> This will cause the previously true judgment "p->header.flag & BT-LEAF" to change
> to no after writing the name operation, this leads to entering an incorrect branch
> and accessing the uninitialized object ih when judging this condition for the
> second time.
> [Fix]
> When allocating slots from the freelist, we start from the second one to preserve
> the header of p from being incorrectly modified.

The freelist is simply corrupted. It should never be set to 0. We cannot 
assume that slot[1] is on the free list. Probably the best we can do is 
to add more sanity checking to the freelist value, and/or any slot's 
next & prev value. That could potentially involve a lot more checks. 
I've been accepting patches here and there for specific syzbot failures, 
but any comprehensive sanity checking of every data structure would be a 
huge effort.

What makes a fix a little more difficult is that dtInsertEntry returns 
void and it would be difficult to gracefully recover. One could change 
it to return an error and have all the callers check that. But I'm 
afraid, just using a valid slot number would only lead to further data 
corruption.

Thanks,
Shaggy

> 
> Reported-by: syzbot+bba84aef3a26fb93deb9@syzkaller.appspotmail.com
> Signed-off-by: Edward Adam Davis <eadavis@qq.com>
> ---
>   fs/jfs/jfs_dtree.c | 3 ++-
>   1 file changed, 2 insertions(+), 1 deletion(-)
> 
> diff --git a/fs/jfs/jfs_dtree.c b/fs/jfs/jfs_dtree.c
> index 031d8f570f58..deb2a5cc78d8 100644
> --- a/fs/jfs/jfs_dtree.c
> +++ b/fs/jfs/jfs_dtree.c
> @@ -3618,7 +3618,8 @@ static void dtInsertEntry(dtpage_t * p, int index, struct component_name * key,
>   	kname = key->name;
>   
>   	/* allocate a free slot */
> -	hsi = fsi = p->header.freelist;
> +	hsi = fsi = p->header.freelist = p->header.freelist == 0 ?
> +		1 : p->header.freelist;
>   	h = &p->slot[fsi];
>   	p->header.freelist = h->next;
>   	--p->header.freecnt;