lists.openwall.net   lists  /  announce  owl-users  owl-dev  john-users  john-dev  passwdqc-users  yescrypt  popa3d-users  /  oss-security  kernel-hardening  musl  sabotage  tlsify  passwords  /  crypt-dev  xvendor  /  Bugtraq  Full-Disclosure  linux-kernel  linux-netdev  linux-ext4  linux-hardening  linux-cve-announce  PHC 
Open Source and information security mailing list archives
 
Hash Suite: Windows password security audit tool. GUI, reports in PDF.
[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <20120926172029.GQ13767@mwanda>
Date:	Wed, 26 Sep 2012 20:20:30 +0300
From:	Dan Carpenter <dan.carpenter@...cle.com>
To:	"R, Durgadoss" <durgadoss.r@...el.com>
Cc:	"Zhang, Rui" <rui.zhang@...el.com>,
	"linux-kernel@...r.kernel.org" <linux-kernel@...r.kernel.org>
Subject: Re: Thermal: Update binding logic based on platform data

On Wed, Sep 26, 2012 at 02:39:22PM +0000, R, Durgadoss wrote:
> Hi,
> 
> > -----Original Message-----
> > From: Dan Carpenter [mailto:dan.carpenter@...cle.com]
> > Sent: Wednesday, September 26, 2012 1:58 AM
> > To: R, Durgadoss
> > Cc: Zhang, Rui; linux-kernel@...r.kernel.org
> > Subject: re: Thermal: Update binding logic based on platform data
> > 
> > Hello Durgadoss R,
> > 
> > This is a semi-automatic email about new static checker warnings.
> > 
> > The patch 9b70dfa68ae8: "Thermal: Update binding logic based on
> > platform data" from Sep 18, 2012, leads to the following Smatch
> > complaint:
> 
> looking into this. Will submit appropriate fix patches soon.
> 
> Is there a way for me to check/verify these kind of warnings from
> my side ? This way, I can do the check before I submit each patch.
> 

Sure:

git clone git://repo.or.cz/smatch.git
cd smatch
make
(no make install needed)
cd /to/kernel/src/
~/path/to/smatch/smatch_scripts/kchecker drivers/thermal/thermal_sys.c

regards,
dan carpenter

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

Powered by blists - more mailing lists

Powered by Openwall GNU/*/Linux Powered by OpenVZ