From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <smatch-owner@vger.kernel.org>
Received: from aserp2120.oracle.com ([141.146.126.78]:56084 "EHLO
        aserp2120.oracle.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S1729714AbeHFPZq (ORCPT
        <rfc822;smatch@vger.kernel.org>); Mon, 6 Aug 2018 11:25:46 -0400
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=date : from : to : cc
 : subject : message-id : references : mime-version : content-type :
 in-reply-to; s=corp-2018-07-02;
 bh=t+AneuF+73rXC6om3YClFFnWjFCodceD+3ZEwsPWbpw=;
 b=a9tn9oa5cHUMd3aUIHcK6UOeofUxttmsRSkSeyBEyKP22BGjp6NypCwkDaZ2mcIkb4z4
 iHa472wZSMf7cUgcg2l6qxRA0yTWw/Lg8nPxaXzng2tjPuVs7rC54aDcXkZKisukcU1K
 DOevsAF82Mh9Z6Z8YE7Ogq7jCXtY2zXEsYVHO/AyUsVVMF2py8/gW5znSuqhvMk2t5tb
 nHfCtqczblJ3NLhekxJhfyfH763IwHXiUWSxtHr7ZZxVEf1wVpgN4b2A28tKmJgh/UgU
 rikDR7xYKvN19+all5aXpuOoZ22JcaLoc7tQeGeybRpwlyadeYkhUNzFPzYHzxVFuuRD NA== 
Date: Mon, 6 Aug 2018 16:16:32 +0300
From: Dan Carpenter <dan.carpenter@oracle.com>
Subject: Re: Smatch for Xen
Message-ID: <20180806131632.w4rd3ntfgoxwxb5l@mwanda>
References: <32158e28-2ee8-f2b9-2d66-77c8eb43b5b5@amazon.de>
 <20180806103132.vzqmp2ns4ytj2aol@mwanda>
 <20180806112003.iyir4napbpn4q6z6@mwanda>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20180806112003.iyir4napbpn4q6z6@mwanda>
Sender: smatch-owner@vger.kernel.org
List-ID: <smatch.vger.kernel.org>
To: Norbert Manthey <nmanthey@amazon.de>
Cc: smatch@vger.kernel.org

On Mon, Aug 06, 2018 at 02:20:03PM +0300, Dan Carpenter wrote:
> On Mon, Aug 06, 2018 at 01:31:32PM +0300, Dan Carpenter wrote:
> > On Mon, Jul 30, 2018 at 02:40:08PM +0200, Norbert Manthey wrote:
> > > Dear Dan,
> > > 
> > > I use my one-line-scan tool [1] to run smatch against non-kernel
> > > projects. However, for Xen I still use -p=kernel, to have all the
> > > analysis enabled. I did not write an evaluation routine to present the
> > > defects or statistics for smatch in a nice way, but smatch can be
> > > invoked. For the latest Xen, smatch (actually sparse) seems to struggle
> > > with the attribute __pointer__ token, as that's not defined.
> > > 
> > > A typical invocation for smatch would look like the following:
> > > 
> > > export SMATCH_EXTRA_ARG="-p=kernel --file-output"
> > > one-line-scan -o SMATCH --smatch --no-gotocc --no-analysis \
> > >   -- make xen -j $(nproc) -B
> > > 
> > > I will look into using the debug info next, and see how taint
> > > information is propagated.
> > > 
> > 
> > I tried use one-line-scan but I didn't want to install it in my $PATH so
> > I couldn't figure out how to make it work...
> > 
> 
> I got one-line-scan to work I think but it still only built those three
> files.  :(
> 

I was just looking for the output in the wrong place...  one-line-scan
seems to work.  There is a problem with the directory being lost, like
you mentioned.  Also it seems to not be pulling in the header file which
defines noreturn.  I'm working on both things.

regards,
dan carpenter