Re: Smatch for Xen

[Norbert Manthey <nmanthey@amazon.de>]

Dear Dan,

I just split the output in one-line-scan, and also use your cgcc wrapper
by now. Furthermore, I log all calls to cgcc so that replaying single
calls is easy now. The relevant info is logged in the file

SMATCH/smatch/smatch-preprocess.log

However, I do not see a reason not to use the --file-output flag, in
case you are more used to that. That should simply result in my output
files being empty, but that's fine. This way, your tooling should work,
i.e. collecting all the .smatch files should behave as in case of
working with the kernel.

If there is anything else I can help with, please let me know. I would
love to use your taint analysis for Xen as well.

Best,
Norbert

On 08/06/2018 03:54 PM, Dan Carpenter wrote:
> On Mon, Aug 06, 2018 at 03:27:11PM +0200, Norbert Manthey wrote:
>> Thanks a lot. I am currently out of the office, and might be able to
>> respond once in a while. If required, I coukd get more details to help you
>> by pulling in colleagues.
>>
>> If you have anything that i could improve wrt one-line-scan, please let me
>> know.
>>
> 
> The --file-output option seems to be broken for xen, but it's also
> unnecessary if you're using one-line-scan because the output is already
> separated by file.
> 
> What would help me is if the strored files like:
> SMATCH/smatch/results/xen_arch_x86_pv_ro-page-fault.c
> only store stdout and not stderr.
> 
> Of course, you'd prefer to not have any stderr output, but otherwise I'm
> not interested in it.  It just corrupts my stdout lines.
> 
> regards,
> dan carpenter
> 
Amazon Development Center Germany GmbH
Berlin - Dresden - Aachen
main office: Krausenstr. 38, 10117 Berlin
Geschaeftsfuehrer: Dr. Ralf Herbrich, Christian Schlaeger
Ust-ID: DE289237879
Eingetragen am Amtsgericht Charlottenburg HRB 149173 B