[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

TLA files for XSA-287 and XSA-299


  • To: "open list:X86" <xen-devel@xxxxxxxxxxxxxxxxxxxx>
  • From: George Dunlap <George.Dunlap@xxxxxxxxxx>
  • Date: Fri, 12 Mar 2021 11:24:10 +0000
  • Accept-language: en-US
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=citrix.com; dmarc=pass action=none header.from=citrix.com; dkim=pass header.d=citrix.com; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=m9WeZJLH3Jfij/W8i2dxvoR4y00n894swAc1kcs58sU=; b=AXbYT19oKxtvp/ff1l05os3ksOf0/6CTYXB7w/wq3KYzdfmZ7bsqO20DGCzuRGGp4KA9AFNf/R+RKwVVtt4hbDyawGGWKM2xvAbBzV3OXr9ziSrx8MEYUPyKEGc5SEI8hIYb3i0BgfeItEH6PAORRf0/iZb1amERXWKX6NQbpiLyec5THqBthDX4NRBTDzjnGoVxIJanhCWe0UUcJoKnpy5w8ninOCtCkkJHdSWsdZDOZWeDj3LiAFsqUgKH02ZtbtVFRCKn6Xltp8TAncE2Fg2gec+rpedUzb67lJ3/WwWvMb8qnRTBjb94m7G1Om9ApaM7EL5AskFCLDN6ITl6Ow==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=SYZd7GG2i0COZNJp7QndNNSVRjXKqDZRLWT1MExrlHXWYln+LZKqZbeJOeiaxbPFGNh3/V3140gi0TSPl+yW7YTsyc1iWW4auL2fe0NiRX3q9aqUygxfq2AoSySiGFiNUaoqc6DOm5UT5oIBS36P0Fsi4GE0v59kgk5hGM3h3trU6Qo/iQnbWjnih/AkSeZREG4x2i8ZmpJSND1eadLCsfJjuw5Gna8WKMHwhufWosAjEaNH6QWJWVXETs0tVN0Wk9aADpPuo7CZLrBCdrU9PMBtuANWEp5f6jqdhKktH0yfpdsucO+jH+arFeiYFoXEeSZDIMMYE6Tx065BLqPDYw==
  • Authentication-results: esa5.hc3370-68.iphmx.com; dkim=pass (signature verified) header.i=@citrix.onmicrosoft.com
  • Delivery-date: Fri, 12 Mar 2021 11:24:23 +0000
  • Ironport-hdrordr: A9a23:evbN7a2mP0bHd4jTwbYNegqjBRB3eYIsi2QD101hICF9Wvez0+ izgfUW0gL1gj4NWHcm3euNIrWEXGm0z/FIyKErF/OHUBP9sGWlaLtj44zr3iH6F0TFmtJ1/Z xLN5JzANiYNzVHpO7x6gWgDpIEyN6I7KiniY7lvg9QZCttbLxt6Bo8KivzKDw6eCBtA50lGJ 2Aou9OoDS9cXoaB/7LfUUtde7FutHNidbaehYAHREq802jijmv5b78HXGjr1sjehlIxqov9n WArhzh6syYwruG4zL/90uW1ZRZn9P91sBObfbjtuE5Iijh4zzYArhJdKaFuFkO0YKSwXILtP WJnBs6JcR07BrqDy6IiD/gwRPp3jpry1KK8y7gvVLZrcb0RC03BqN67OozGHq412MasMxhy6 UO5mqFtvNsfEr9tR7g7NvFXQwCrDvQnVMekPUeh3EacYwSZK45l/15wGppEYwNFC+/1YY/EO MGNrC52N9qdzqhHhLkl1gq5ObpcmU4Hx+ATERHkNeSySJqkHdwyFZd7NADn18bnahNBaVs1q DhCOBFhbtORsgZYeZWH+EaW/a6DWTLXFblLH+SG1L6D6sKUki96qLf0fEQ3qWHaZYIxJw9lN DqS1VDr1M/fEroFImo0IBU9AvOBEGwRy7kxM0bx5URgMy9eJPbdQm4DHw+mcqppPsSRufBXe yoBZ5QC/j/aWT0H4JE2BD/RolSJXESXNZ9gKd4Z3u+5ubwbqH6vO3Sd/jeYJD3Fyw/Z2/5Cn wfGDj/Tf8wq3yDazvdulz8Snntckvw8dZbC67B5dUez4ALK8lJuggRglKp+9GTJVR5w+gLVX o7BImivrKwpGGw82qNxX5uIABhAkFc56ilVWhLqw8MO0b9aq0CpN2bZGBX0BK8V1xCZvKTND Qai0V8+KqxIZDV7zslEcibPmWTiGZWuGiHVI4GmqqI5d7sf5QxCppOYt03KSz7UzhO3Sp6om ZKbwEJAnLFHjT1kKO/kdg/H+fEbeRxhw+tPO9ZoX/Srl+nuMkqX3cXNgTeF/K/sEILfX50jk c027IDiLCA8AzfU1cXsaAdChlwT0i5RJhBFx+IYY1InKuDQnAMcU66wRqAix8yfWL28V41nW KJF1zNRdjCHkddtndE0qzj7VNzcSGHc1htb21h2LcNaljuqzJ91/SGabG01HbUYlwewvsFOD WAejcKJBhyrurHnSK9iXKHHXUiyo5GBJ2gMJ0zN7XS0GiqMouGiOUPGOJV5o9sMLnVw5g2eP Pafw+eNzXjDew1nwSTu3Y+ISFx7H0pi+nh1hGg7G+22hcEcIzvCUUjQ7EQONeH6Wf4A/6OzZ VilNow+fKqLX+ZUK/19YjHKzpYbh/Dq2+/SO8l7ZhSoKIprbN2W53WSyHB2n1L1Ag3Rf2E3H 82UeB++vTMK4Vvd8sdd2ZC8l0lmM+GIUErvgb1a9VOCW0FnjveJZeE8rDIob0gDgmdvwP2I0 CY6DAY8PHfXSePvIRqQJ4YMCBTcgw753tj9u/ZKNGVBwWuau1Z/F21dnW6a6RQTaCZGbMW6h Z2iuv479O/Zm79wkTXuzA+P6dFt2CgSsm2CBiXGeFJ/8ehUG7895eC8Yq2lnPvVTC/a04Eno VLekwbc9RbhlAZ/fwK+zn3Trayv1ksnFRf6yx2j1Lh2oCp52HAAEFNWDep8al+TH1UKXiHjc PM7Oie2jD8+VF+qOf+KHs=
  • Ironport-sdr: 5doDNDZHwCB8R2ldLcSfpcXl18dNYI11nYz0hsfJQt6KGK55nky27z1YRCNSbZVcuL3N1QCvQR 6ZEe1kNgcLyCe6qtTYjAruWtogxFebv/Ijr0TWfg/CVPDnHIl2bUEhYU1kq+jCFIFZxtVDZ9TN XbLE3Wa11nK817xBpQjJ+fWDH6s9njBlKjjIoHnv91N9zEaJSiaI6kketqM8XIQSCPfMAWCuni h87fT4bgPrNRDtacRWBAv9tKm348h52tWYXgOjfdywH1tPdURnY7ymFw/LRDE+PMfdMXfIO5xw Gt4=
  • List-id: Xen developer discussion <xen-devel.lists.xenproject.org>
  • Thread-index: AQHXFzI5g/uR9VaBnk2lG3H9JEKxLg==
  • Thread-topic: TLA files for XSA-287 and XSA-299

I don’t think I wrote this up anywhere yet, but I used TLA+ to verify the fixes 
for XSA-299 several years ago.  I’d always intended to post them once the  
embargo was up, but never got around to it.  TLA came up in an online 
discussion board recently, so I spent a bit of time to clean things up and get 
them posted.  Here they are, if anyone’s interested.

https://gitlab.com/xen-project/people/gdunlap/tla

 -George

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.