Re: Smatch for Xen

[Norbert Manthey <nmanthey@amazon.de>]

Alright, the patches are out. The list is not complete, but it's a start
that should allow to get the first taint information for Xen as well. I
hope they make sense. Given my limited experience with smatch, I might
have made mistakes.

I spotted limits during compilation, and increased a few. I guess there
are more. I'll play with it and might increase some others eventually,
to get more coverage.

Best,
Norbert

On 08/14/2018 04:52 PM, Dan Carpenter wrote:
> On Tue, Aug 14, 2018 at 04:33:15PM +0200, Norbert Manthey wrote:
>> Oh, that's nice. I'll play with the new script.
>>
>> Concerning the copy from user functions, I have a few patches locally to
>> get the functions into the tool, which I just have to make a little
>> nicer before sharing. I will post them once done.
> 
> Forget about making it nice.  Just send it.  :)
> 
>> I found the
>> "copy_from_guest" string also at other places, as well as matching
>> syscalls which come with a user controllable argument. The patches
>> should cover all those.
> 
> In the kernel, syscalls should be covered.  Historically, it does matter
> how the kernel is configured, but hopefully we've fixed those bugs.
> Also we keep changing the SYS_CALL macros, so I can't swear that all
> versions work.
> 
> regars,
> 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