Re: [Xen-devel] NULL pointers and PV guests.

[Tim Deegan <tim@xxxxxxx>]

At 18:31 +0200 on 26 Mar (1427394672), Razvan Cojocaru wrote:
> On 03/26/2015 06:23 PM, Tim Deegan wrote:
> > Idea 4: build-time support, with something like a clang analysis
> > pass or coccinelle, for finding uninitialised function pointers,
> > or for automatically inserting checks on indirect jumps.
> > Anyone know of existing tools that could help here?
> 
> Scan-build is quite nice:
> 
> http://clang-analyzer.llvm.org/scan-build.html

Yep - I have run Xen through scan-build once before, but both Xen and
clang have changed a fair amount since then. :)  In my imaginary
copious free time it would be nice to get that build lint-free...

Tim.

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel