From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-wr1-f49.google.com (mail-wr1-f49.google.com [209.85.221.49]) (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 64223367F56 for ; Fri, 6 Feb 2026 13:38:15 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.221.49 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1770385095; cv=none; b=m+AAHCvnp1GMDv0mNuNC+qKpQvRA4mzGgzYCmcf+D13YeuBiuz3zRcGHkyGfU87slf9rnX7iToWx+HOOj962bKVypO43iPVXXFgf0Q+yiGjLM8OwwOB7Nw6O0eI8icfPdIaWnFtuC3T+o9HesJC+GARcTZRVmgI/K912mS+9dSc= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1770385095; c=relaxed/simple; bh=QtpYn1ngG1pIquTSteEA1Exh0swUCVcvcJ4ErqB34cg=; h=Date:From:To:Cc:Subject:Message-ID:References:MIME-Version: Content-Type:Content-Disposition:In-Reply-To; b=txgfR3NB2Yo0OnqOL9D6tGVrPiPWiXlT6sXSe51bFS4nos/2PjOMthHG+q/BLnYrC4gxThqM0K+vhQbdk4DXVZEsFbxGlUgBAahbdqDv6gGhEsE0hpoBe+FpMCKQjRXYfjEW2IJ0HLMF6xZsPZF2YIZElbsJdETJ/+G5k2vnAmw= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=linaro.org; spf=pass smtp.mailfrom=linaro.org; dkim=pass (2048-bit key) header.d=linaro.org header.i=@linaro.org header.b=F1sn1tdL; arc=none smtp.client-ip=209.85.221.49 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=linaro.org Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=linaro.org Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=linaro.org header.i=@linaro.org header.b="F1sn1tdL" Received: by mail-wr1-f49.google.com with SMTP id ffacd0b85a97d-43628a01c32so555426f8f.0 for ; Fri, 06 Feb 2026 05:38:15 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; t=1770385093; x=1770989893; darn=vger.kernel.org; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:from:to:cc:subject:date:message-id:reply-to; bh=d8pYDbKNA5AQ3P17kRU1z60TuuwN1/YoGwGgawp5G8U=; b=F1sn1tdL3sLHXCDgqNKvCIWGQH4CbXb2pnmp7IaWHpos05u24osMwtprinBw2aMJ8O XTcHRi3kKXo5EFIQTiB2PRoGExct/27AT23NNManX/ZJXVHCvsL3k6eyW/nLtHtIqViy 0IHM7BnGW6vICHp4AWnMh9XAjBy1A8DPkgOD2bPKASsSp8DrIFWpRGQ2PaJlGE9dzwrc FV/w0v+1d2jEJ/GVC9jzjg0JrYoyGUMSThI1T+F+4dkXxe8ZZ9iluaIweYmXQENHDp+6 L5YhmoyQY4KRG+937umIRO0NmtJI1ojDFaplRqnD26YrySgCReKpl9M5DsvMfn3mkvtp /bDw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1770385093; x=1770989893; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:x-gm-gg:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=d8pYDbKNA5AQ3P17kRU1z60TuuwN1/YoGwGgawp5G8U=; b=LASgEJLr8YUWKJD2gVQ0+CfzUOyl3Ut3vDQQ3lvJlaHz1VkvMelU8xY+uokb4uYAkW i/fh5FJah5SYp09fM61dBh38dhgbf1KzdFriI1p1bWpRvKrRC07IuA4VDZSb7NZtHGsV d/O8f2ZmetwlVlaVO2SI2lLFeztn51cGAAfUZBoemYKw2O/jZt/xNcIRMuk9u6Qs6fy2 H6R3zYaZ+uB49B4bQH2OGBWjYyw6vmWEGkHGYHYuoAKJ/wGdniGAQCXl7fAe/+RsmVDF Ttt3BXszY/cUJ0sedWOTEfjYeDm+ASbPb6+EtZJe+6u5bQB233d/cBu+xS+h7PskCQ6g hEvg== X-Gm-Message-State: AOJu0YyktpjSA0Y/vXF4JV6LZ8Vl/j/oxr2cvSy7WG9268QMGtqvjnRj QJPU7+tAlFswihkW3FTWP8KChsFdrL3kozcrS3O4fwlcbyjFqlDdfYszcn+AetQOx4qOdayVoNP qbqFJ X-Gm-Gg: AZuq6aJebzQlAG0iMCx8ePnEzIk1Y1T/w022pXrwhOG7jDYTA7Ntrak11hcfncn9jPu //QrRE/ylHlkA79slTGFEeyft18LPyTRasuo/DkkbSwSlkF/oxn3P5XgRZlOGYaBDYSLLJ7agXx gysfHUp1E26m94FN9ChNAaBT5gomd3EKifERWM/XqnDGik428j0H/TUFBVwAx33ynMo906jvAr/ FQ4D7eddiay3CWv/u2Fa/2Xmk0SENq72fAFcaMA3Ne14WuKA4HTH2mmHZQ12ZOQg6x6IUQAX7v3 nIB+16YGwTfzf1kYr1exxas93gYfCFLGyalen5ld9z9qa3Ku59aoN/u2MvY2R7DmnJglfvPq9MS 4NTwQ1NolEjtWd8kTo42sXe2Mw6gKNZDIhHLV6YB5RzTt4sYTApvvSo4SO/P87hXfC3XqYUYTaX amjrfGrwfslmttMmb6 X-Received: by 2002:a05:6000:613:b0:431:266:d134 with SMTP id ffacd0b85a97d-436293bb199mr4269151f8f.53.1770385093391; Fri, 06 Feb 2026 05:38:13 -0800 (PST) Received: from localhost ([196.207.164.177]) by smtp.gmail.com with ESMTPSA id ffacd0b85a97d-436296b25casm6269253f8f.4.2026.02.06.05.38.12 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 06 Feb 2026 05:38:12 -0800 (PST) Date: Fri, 6 Feb 2026 16:38:09 +0300 From: Dan Carpenter To: linux-kernel , ksummit@lists.linux.dev, Bill Fletcher , Randy Linnell , Brad Spengler Cc: vincent.guittot@linaro.org, lina.iyer@linaro.org Subject: Re: Support needed to continue Smatch work Message-ID: References: Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: I need to post an update on the current situation with Smatch. First of all, I want to start by thanking Brad Spengler from grsecurity who reached out to me on this, offered some funding, and has been trying to push the Smatch work forward. It really means a lot to me. Unfortunately, we haven't been able to raise enough support to continue my Smatch work. I have still been filtering zero day bot warnings and I am a bit worried that people have the impression that I'm reviewing static checker warnings when I am not. The situation isn't great. The zero day bot can't do cross function analsysis and it only looks at checks with a low false positive rate. We're missing out on a bunch of bugs. I'm going to add some of the those missed warnings to this thread so people have a better picture of what we're missing. There are some buffer overflows in there. A bunch of off by one bugs. A missing error code in fork(). And random other minor things as well. https://lore.kernel.org/all/caa37f28-a2e8-4e0a-a9ce-a365ce805e4b@stanley.mountain/ I am still trying to figure out a way to restart Smatch checking. The funding model would be that several companies would support this project by paying a proportion of my salary. Part of that goes to reporting bugs like the ones above and part of that goes to developing Smatch and writing new checks. Please, contact Bill Fletcher if you would like to support this work. regards, dan carpenter