[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Xen-devel] NULL pointers and PV guests.
- To: Tim Deegan <tim@xxxxxxx>, xen-devel@xxxxxxxxxxxxx
- From: Razvan Cojocaru <rcojocaru@xxxxxxxxxxxxxxx>
- Date: Thu, 26 Mar 2015 18:31:12 +0200
- Cc: Keir Fraser <keir@xxxxxxx>, Andrew Cooper <andrew.cooper3@xxxxxxxxxx>, David Vrabel <david.vrabel@xxxxxxxxxx>, Jan Beulich <jbeulich@xxxxxxxx>, Boris Ostrovsky <boris.ostrovsky@xxxxxxxxxx>, bouyer@xxxxxxxxxxxxxxx
- Comment: DomainKeys? See http://domainkeys.sourceforge.net/
- Delivery-date: Thu, 26 Mar 2015 16:29:30 +0000
- Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=default; d=bitdefender.com; b=CXyH+UOPAQ/w3LonUVys0PiatLHtEe7c75/waTNTyniLp7HmIvImMR0hJy3s+oe10bNjW5C3eYsVWKV0YJQxeE2FWIXM7uXn3IqYsfwXiEMBepAxodjFodEPH9bWmXrJzx66qXqF8lbKdL52C6bcPIziWqDxPFR5J2pfH4TerxI61IW/ZYJXWtR8uCvsaG5GUC90L5xAjwsFWxNKYPV1Og9tMrobFOka1czVj/fhLqkGj+VP5T6d6Wy8nxvlRYSzsocNMRI8lSqbHczI1vePhiTYD/0/fVVSih+/yidc2iHrHULG5eC+SqgEexklwiNDzyFk2M4jjQkNt5mCY3s9oA==; h=Received:Received:Received:Received:Received:Message-ID:Date:From:User-Agent:MIME-Version:To:CC:Subject:References:In-Reply-To:Content-Type:Content-Transfer-Encoding:X-BitDefender-Scanner:X-BitDefender-Spam:X-BitDefender-SpamStamp:X-BitDefender-CF-Stamp;
- List-id: Xen developer discussion <xen-devel.lists.xen.org>
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
HTH,
Razvan
_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel
|
