From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-vs1-f54.google.com (mail-vs1-f54.google.com [209.85.217.54]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id CA4A83CD8C1 for ; Mon, 8 Jun 2026 15:12:01 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.217.54 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1780931523; cv=none; b=jZRUIrA8UgRCQoJLhzlpwdapFw35sQsg72a18B/xt3WbuCDp9IXtLohxYBTTzbOdpR/OIGQrOM4FgYk0KS8wFIkO99c/6n6SFEj7VmODuB+udCXQ67h4CY51oMjwuGh5RKd9c3UGuNbQlKElXcdz+kSfw8nGOxl2SIB5PpZ5mEc= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1780931523; c=relaxed/simple; bh=slnCdwlaJVhhL6Zf0PtHt9fGOTiyaSmtVqFvGFV7Gys=; h=Date:From:To:Cc:Subject:Message-ID:MIME-Version:Content-Type: Content-Disposition; b=g6fAA0RfmEq/MUOizoZBd1y6/03Tsr+I6kqXZ/PnKNWytUAKJD7JA78U14ueIToUZ/m9NFVXFu5Hs3a7ZVP/9w7gkiI1rQ2HATzrcSvMjRTYa3SWisvQvxAb9/TFh0XSh0ghjjvTP+4BWK8AQ08G8/yjNErMaXJoh6wuiEucFXU= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com; spf=pass smtp.mailfrom=gmail.com; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b=qNB6mbj+; arc=none smtp.client-ip=209.85.217.54 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=gmail.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="qNB6mbj+" Received: by mail-vs1-f54.google.com with SMTP id ada2fe7eead31-6cfd17e9250so1891396137.1 for ; Mon, 08 Jun 2026 08:12:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20251104; t=1780931521; x=1781536321; darn=vger.kernel.org; h=content-disposition:mime-version:message-id:subject:cc:to:from:date :from:to:cc:subject:date:message-id:reply-to; bh=n1TwnC/HzolG1o/ai5JL9ORnvOdqheR3CFH74/KSmBc=; b=qNB6mbj+f6+OBcGgNT2ZDqUVSX6pbRkj8V6Au4EyWB3XQmIeawkCKvi8RQrR9Wdme8 78VMzpEPwFEfkkdSAnn+lxbFG1iZPiegVRC10dcByttXIpe5yXMuM7TKLvrStgYGoCJc m7QNv9ngPlmfHZBQJda5reWWQ5uSvMCY8l+3J1oWWs1wjybDdjQjKuw2oOdQJqEG2LfB xk51m2s2wz7B+sQyqkA7NHJMzR+V13X18GgoltCwyAcUFV0C6JuaAiXg9P3/DJMc+cT5 MSsumxcjtfKf2R7WkdZk5O+lJc0cbVesDdi9C1R/8tAhP3bL5ZBEjoO6+DKl/ohRYNzF u3lQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20251104; t=1780931521; x=1781536321; h=content-disposition:mime-version:message-id:subject:cc:to:from:date :x-gm-gg:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=n1TwnC/HzolG1o/ai5JL9ORnvOdqheR3CFH74/KSmBc=; b=nnuC6m3ZZ1IhnNAhR80rLxWEYXrXmWsFICDRjnK6YrkRmmXzCeJhujrx6FXS3RrVG6 G90qaK/zr8zwqdUupD3oKy9Khg8Ewz62fsOjm4xivQmgUsfyL2t0/SpOfW/XweWg7HkZ vGPZ9jjfhBXQ6/NTFL2fk+f7FJe+Rsn/6psdXm6Nafb3ck1RYmYf48I0QXnsm9aHmRRG 8vRhVwUoyVKq/YMRJG5h+uR9z+OuAmRjip4fWlgrgCWHqKkv9UrWiSIvt2efB1wlocAg FozEErzdA5cYjXKfSOCIMESr16CmP733XJUEojnf9aA7OjYQhJVVAps6NIspru8RU7aR CM1g== X-Gm-Message-State: AOJu0YxSmQ36/pW929UyU+aUNLyHlZLm3IOS5d4BF3EWMklovTxqYLF0 wS7V4jqS3WsUkTBVACUwpR8lbCEygqUap05AiDRMopnDZs8lQpy5eE91zk0y2R2X X-Gm-Gg: Acq92OERutSOEnl5IYRKjgXClPCa7SpFTteU5TbZHPv6Sm2fnIs6uGEcoBEe3l44ql0 nWI/9DSpeCsoHMIhttVbZLbOSQlPKMRLOhn9F7ztwSg0KLR/XkpjOr3DwwyuJ03MVJbGO2LZy1X 8gz1jwH1RUW1JFkGLccBE8VhP8fC2BLNIWHvXGixmS2xRuIxo8ZXYoKOueVnab8XNzxD1rdWUvq LZJo3S4Qn63huoz1ZnpuV11ULmq/TBKm4tghTIe242NVePebr6RhGWXQ1IpZGjHlTs608lLKYs9 g1++80wcMONjFGXrdA4f+vYQxDuUVAR64JIo7yLckDzxXr8+vHYiJLg34arzBCf79ajWjvCwOhq XTGsj0Ba2mEATKymdzVxKADOxYcpYx4psx3ghuqchVEWPXQFMXxv+EP4sB+knNVGahzB3wV1JdE HjVS1f55NZUVLO2yMcibq7yBhucdQp X-Received: by 2002:a05:6102:580f:b0:631:2dc6:2f5c with SMTP id ada2fe7eead31-6fedea4018cmr6564513137.0.1780931520643; Mon, 08 Jun 2026 08:12:00 -0700 (PDT) Received: from localhost ([43.225.189.113]) by smtp.gmail.com with ESMTPSA id 6a1803df08f44-8cecd06d600sm170843726d6.35.2026.06.08.08.11.59 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 08 Jun 2026 08:11:59 -0700 (PDT) Date: Mon, 8 Jun 2026 18:11:53 +0300 From: Dan Carpenter To: smatch@vger.kernel.org Cc: Harshit Mogalapalli Subject: smatch devel branch Message-ID: Precedence: bulk X-Mailing-List: smatch@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline I have been re-working Smatch to be useful in an AI world. I'm making quite a few changes as quickly as I can. And quick changes mean is an element of roughness. One thing is that I got rid of the check_list.h file. Now just the having the check_foo.c file in the smatch/ directory is enough. No need to edit anything else. Hopefully, this sort of thing makes it easier to write tons and tons of smaller checks. I really want people to vibe code checks. Harshit and I have messed around with that and it's quite promising. You can also use AI to filter out false positives and that's quite a nice combination of automatically writing the check, running it and filtering out the false positives. The other thing is that Smatch just has to get better because the competition is better now. So for example, I've always thought that probably parsing the code twice would help. I held off on doing that because it makes Smatch use twice as much memory and be twice as slow. But now I've made that the only option. I've found other places to speed up the code and my nightly linux-next builds are completing in time now. There are still too many places where Smatch says that functions are "too hairy". Before I switched to two pass processing it was 850 and now it's 3600. So I need to fix that. I've got lots and lots of ideas and I don't plan to slow down but I'm at a place where the code I have so far is almost working and I've pushed it to the devel branch so people can take a look if they want. regards, dan carpenter