From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from smtp-fw-4101.amazon.com ([72.21.198.25]:61784 "EHLO smtp-fw-4101.amazon.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1728696AbeG3OPH (ORCPT ); Mon, 30 Jul 2018 10:15:07 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=amazon.de; i=@amazon.de; q=dns/txt; s=amazon201209; t=1532954418; x=1564490418; h=to:from:subject:message-id:date:mime-version: content-transfer-encoding; bh=bhpUpbB7TGDw0l/aYGHQKgSXi2NjBDciSLVHgCmf6tM=; b=jNBsqaEp1/5lXuxrV9j8gyNh6UD3mlEcB5i2uzrhbNfADeziNQZbFMcv NtrhnMrzwiWx5pOoRyT6ynKMWbR4lmR3RFqI4Z/BwwspUmEXM0ohqVA7l Gabk6BpzLf8A+FrgKl2oCpQ/HAvwdjD2B1l3rrz81YfwxtywQ+WLZwuNq E=; Received: from EX13MTAUEA001.ant.amazon.com (pdx1-ws-svc-p6-lb9-vlan3.pdx.amazon.com [10.236.137.198]) by email-inbound-relay-2a-1c1b5cdd.us-west-2.amazon.com (8.14.7/8.14.7) with ESMTP id w6UCe9jn085453 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=FAIL) for ; Mon, 30 Jul 2018 12:40:15 GMT From: Norbert Manthey Subject: Smatch for Xen Message-ID: <32158e28-2ee8-f2b9-2d66-77c8eb43b5b5@amazon.de> Date: Mon, 30 Jul 2018 14:40:08 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Language: en-US Content-Transfer-Encoding: base64 Sender: smatch-owner@vger.kernel.org List-ID: To: smatch@vger.kernel.org RGVhciBEYW4sCgpJIHVzZSBteSBvbmUtbGluZS1zY2FuIHRvb2wgWzFdIHRvIHJ1biBzbWF0Y2gg YWdhaW5zdCBub24ta2VybmVsCnByb2plY3RzLiBIb3dldmVyLCBmb3IgWGVuIEkgc3RpbGwgdXNl IC1wPWtlcm5lbCwgdG8gaGF2ZSBhbGwgdGhlCmFuYWx5c2lzIGVuYWJsZWQuIEkgZGlkIG5vdCB3 cml0ZSBhbiBldmFsdWF0aW9uIHJvdXRpbmUgdG8gcHJlc2VudCB0aGUKZGVmZWN0cyBvciBzdGF0 aXN0aWNzIGZvciBzbWF0Y2ggaW4gYSBuaWNlIHdheSwgYnV0IHNtYXRjaCBjYW4gYmUKaW52b2tl ZC4gRm9yIHRoZSBsYXRlc3QgWGVuLCBzbWF0Y2ggKGFjdHVhbGx5IHNwYXJzZSkgc2VlbXMgdG8g c3RydWdnbGUKd2l0aCB0aGUgYXR0cmlidXRlIF9fcG9pbnRlcl9fIHRva2VuLCBhcyB0aGF0J3Mg bm90IGRlZmluZWQuCgpBIHR5cGljYWwgaW52b2NhdGlvbiBmb3Igc21hdGNoIHdvdWxkIGxvb2sg bGlrZSB0aGUgZm9sbG93aW5nOgoKZXhwb3J0IFNNQVRDSF9FWFRSQV9BUkc9Ii1wPWtlcm5lbCAt LWZpbGUtb3V0cHV0IgpvbmUtbGluZS1zY2FuIC1vIFNNQVRDSCAtLXNtYXRjaCAtLW5vLWdvdG9j YyAtLW5vLWFuYWx5c2lzIFwKICAtLSBtYWtlIHhlbiAtaiAkKG5wcm9jKSAtQgoKSSB3aWxsIGxv b2sgaW50byB1c2luZyB0aGUgZGVidWcgaW5mbyBuZXh0LCBhbmQgc2VlIGhvdyB0YWludAppbmZv cm1hdGlvbiBpcyBwcm9wYWdhdGVkLgoKQmVzdCwKTm9yYmVydAoKWzFdIGh0dHBzOi8vZ2l0aHVi LmNvbS9hd3NsYWJzL29uZS1saW5lLXNjYW4KCk9uIDA3LzMwLzIwMTggMDc6MjggQU0sIERhbiBD YXJwZW50ZXIgd3JvdGU6Cj4gSXQgZG9lc24ndCBmZWVsIGxpa2UgYW55dGhpbmcgaW4gdGhpcyBl bWFpbCBpcyBzZWNyZXQuICBJdCB3b3VsZCBiZQo+IGJldHRlciB0byBtb3ZlIGl0IHRvIHRoZSBw dWJsaWMgc21hdGNoIG1haWxpbmcgbGlzdDoKPiBzbWF0Y2hAdmdlci5rZXJuZWwub3JnCj4KPiBP biBXZWQsIEp1bCAyNSwgMjAxOCBhdCAwNzo1OToxN0FNICswMjAwLCBOb3JiZXJ0IE1hbnRoZXkg d3JvdGU6Cj4+IERlYXIgRGFuLAo+Pgo+PiBJIHJlY2VudGx5IGxvb2tlZCBpbnRvIHNtYXRjaCBh IGxpdHRsZSBjbG9zZXIsIGFuZCB0cmllZCB0byBnZXQgaXQKPj4gd29ya2luZyBvbiBYZW4gLSB0 aGUgZ29hbCBpcyB0byBnZXQgdGhlIHNwZWN0cmUgYW5hbHlzaXMgZG9uZSBmb3IgWGVuIGFzCj4+ IHdlbGwuIFNvbWUgb2YgdGhlIG90aGVyIGtlcm5lbCBhbmFseXNpcyBtaWdodCBiZSBuaWNlIHRv IGhhdmUgdGhlcmUgYXMKPj4gd2VsbC4gQSBmaXJzdCBzd2lwZSBwcm9kdWNlZCBzb21lIHdhcm5p bmdzIHRoYXQgYWN0dWFsbHkgbG9vawo+PiBpbnRlcmVzdGluZywgYW5kIGEgYnVuY2ggb2Ygb3V0 cHV0IHRoYXQgbWlnaHQgYmUgbm9pc2UuIEkgZGlkIG5vdCBmdWxseQo+PiBpbnZlc3RpZ2F0ZSBh bGwgb2YgdGhlbSB5ZXQuCj4+Cj4KPiBJIGRvd25sb2FkZWQgdGhlIHhlbiBnaXQgdHJlZS4gIEhv dyBkaWQgeW91IGVuYWJsZSB0aGUgU21hdGNoIGJ1aWxkPwo+Cj4+IEkgd29uZGVyIHdoYXQgZWxz ZSBpdCB0YWtlcyB0byBnZXQgdGFpbnQgYW5hbHlzaXMgcHJvZHVjaW5nIHVzZWZ1bAo+PiByZXN1 bHRzLiBVSSBhbHJlYWR5IGFkZGVkIHNvbWUgbGFiZWxzIHRvIGZ1bmN0aW9uIHBhcmFtZXRlcnMg YW5kICBndWVzdAo+PiBjb250cm9sbGFibGUgdmFyaWFibGVzIHdpdGggIl9fdXNlciIsIHNpbWls YXJseSB0byBrZXJuZWwgY29kZS4gSXMgdGhlcmUKPj4gYSB3YXkgSSBjYW4gZXh0cmFjdCBhbGwg dGhlIHZhcmlhYmxlcyB0aGF0IGhhdmUgYmVlbiBmbGFnZ2VkIGFzIHRhaW50ZWQKPj4gYnkgc21h dGNoPyBUaGF0IHdvdWxkIGhlbHAgbWUgZGVidWdnaW5nIGEgbG90Lgo+Pgo+Cj4gU21hdGNoIGRv ZXNuJ3QgdXNlIF9fdXNlciBsYWJlbHMgYXQgYWxsLiAgSXQganVzdCBsb29rcyBmb3IgdGhlIGFj dHVhbAo+IGNvcHlfZnJvbV91c2VyKCkgZnVuY3Rpb24gYW5kIG1hcmtzICpkZXN0IGFzIHRhaW50 ZWQuCj4gU2VlIGNoZWNrX3VzZXJfZGF0YTIuYyBmb3IgaG93IHRoYXQgd29ya3MuCj4KPiBUaGVy ZSBhcmUgYSBidW5jaCBvZiB3YXlzIHRvIGxvb2sgYXQgU21hdGNoJ3MgaW50ZXJuYWxzLiAgVGhl Cj4gc21hdGNoX2RhdGEvZGIvc21kYi5weSBzY3JpcHQgd2lsbCBzaG93IHdoYXQgaW5mb3JtYXRp b24gaXMgcGFzc2VkIHRvCj4gYSBmdW5jdGlvbiBvciB3aGF0IGl0IHJldHVybnMuICBBbHNvIHlv dSBjYW4gaW5jbHVkZSB0aGUgImNoZWNrX2RlYnVnLmgiCj4gZmlsZSBhbmQgYWRkIGEgY2FsbCB0 byBfX3NtYXRjaF9zdGF0ZXMoImNoZWNrX3VzZXJfZGF0YTIiKTsgb3IKPiBfX3NtYXRjaF91c2Vy X3JsKHZhcmlhYmxlKTsuICBUaGUgX19zbWF0Y2hfc3RhdGVzKCkgdGFrZXMgdGhlIG5hbWUgb2YK PiB0aGUgZnVuY3Rpb24gaW4gY2hlY2tfbGlzdC5oIGFuZCBwcmludHMgb3V0IGFueSBzdGF0ZXMu ICBUaGUKPiBfX3NtYXRjaF91c2VyX3JsKCkgZnVuY3Rpb24gcHJpbnRzIG91dCB3aGF0IHRoZSB1 c2VyIGNhbiBzZXQgbGlrZSAiMC05Ii4KPiBMb29rIHRocm91Z2ggY2hlY2tfZGVidWcuaC4KPgo+ Cj4gcmVnYXJkcywKPiBkYW4gY2FycGVudGVyCj4KQW1hem9uIERldmVsb3BtZW50IENlbnRlciBH ZXJtYW55IEdtYkgKQmVybGluIC0gRHJlc2RlbiAtIEFhY2hlbgptYWluIG9mZmljZTogS3JhdXNl bnN0ci4gMzgsIDEwMTE3IEJlcmxpbgpHZXNjaGFlZnRzZnVlaHJlcjogRHIuIFJhbGYgSGVyYnJp Y2gsIENocmlzdGlhbiBTY2hsYWVnZXIKVXN0LUlEOiBERTI4OTIzNzg3OQpFaW5nZXRyYWdlbiBh bSBBbXRzZ2VyaWNodCBDaGFybG90dGVuYnVyZyBIUkIgMTQ5MTczIEIK