Re: Xen FuSa meeting tomorrow Tue 17 November

[Julien Grall <julien@xxxxxxx>]

Hi,

On 18/11/2020 10:39, Piotr Serwa wrote:
> Why not taking a commercial tool, with a full MISRA 2012 support? Free 
> tools are far below the needs, I think. Commercial tools typically come 
> with qualification kits and safety certificates. I would recommend 
> investigating Axivion, Parasoft C test , Helix QAC, LDRA TBvision or 
> Absint rule checker. Maybe you can negotiate a free usage as Xen is open 
> source. Coverity is doing this approach (I mean free scan of Linux code).
I vaguely remember that coverity would catch some of the MISRA C issues. 
Could it help you?
Xen Project has a coverity setup to scan both Arm and x86. At the moment 
only x86 is scan automatically because in the past they only allowed 
open source project to have one free stream.
Epam kindly setup a separate stream using a separate github repo. 
However, I think Artem still has to manually sync it.
It would be ideal if we can get a stream per architecture. Although, I 
don't know if the restriction were lifted.
Best regards,

--
Julien Grall