From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <konrad.wilk@oracle.com>
Received: from userp2120.oracle.com ([156.151.31.85])
	by Galois.linutronix.de with esmtps (TLS1.2:RSA_AES_256_CBC_SHA256:256)
	(Exim 4.80)
	(envelope-from <konrad.wilk@oracle.com>)
	id 1fOrcW-0003Hv-Um
	for speck@linutronix.de; Fri, 01 Jun 2018 23:30:01 +0200
Received: from pps.filterd (userp2120.oracle.com [127.0.0.1])
	by userp2120.oracle.com (8.16.0.22/8.16.0.22) with SMTP id w51LKw5H140652
	for <speck@linutronix.de>; Fri, 1 Jun 2018 21:29:54 GMT
Received: from userv0021.oracle.com (userv0021.oracle.com [156.151.31.71])
	by userp2120.oracle.com with ESMTP id 2janjee688-1
	(version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK)
	for <speck@linutronix.de>; Fri, 01 Jun 2018 21:29:53 +0000
Received: from aserv0121.oracle.com (aserv0121.oracle.com [141.146.126.235])
	by userv0021.oracle.com (8.14.4/8.14.4) with ESMTP id w51LTrGe010732
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK)
	for <speck@linutronix.de>; Fri, 1 Jun 2018 21:29:53 GMT
Received: from abhmp0010.oracle.com (abhmp0010.oracle.com [141.146.116.16])
	by aserv0121.oracle.com (8.14.4/8.13.8) with ESMTP id w51LTr2B024175
	for <speck@linutronix.de>; Fri, 1 Jun 2018 21:29:53 GMT
Date: Fri, 1 Jun 2018 17:29:52 -0400
From: Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>
Subject: [MODERATED] Re: spectrev1+
Message-ID: <20180601212952.GA7354@char.us.oracle.com>
References: <nycvar.YFH.7.76.1805311441010.27054@cbobk.fhfr.pm>
 <d274c26e-4454-0135-323d-96e2502d36d8@redhat.com>
 <20180601171244.GA30216@char.us.oracle.com>
MIME-Version: 1.0
In-Reply-To: <20180601171244.GA30216@char.us.oracle.com>
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 7bit
To: speck@linutronix.de
List-ID: <speck.linutronix.de>

..snip..
> Sorry for the late response. Went on vacation and email backlog.
> 
> Dan has been informed about this disclosure, I will double check whether
> he got all or just this one. 

He only got this one, so no speck mailing list for him (Grrr).
> 
> And also figuring out whether Dan's understanding of the disclosure and what his
> tool currently does - is exactly what the disclosure speaks off.

"Dan is working on it, but with the changes smatch is picking up 3 times as many
warnings. I am in the process of getting more information. Hopefully by Monday
(timezones don't help)" (from Dan's manager).