All of lore.kernel.org
 help / color / mirror / Atom feed
* [MODERATED] spectrev1+
@ 2018-05-31 12:50 Jiri Kosina
  2018-05-31 13:57 ` [MODERATED] spectrev1+ Josh Poimboeuf
                   ` (3 more replies)
  0 siblings, 4 replies; 78+ messages in thread
From: Jiri Kosina @ 2018-05-31 12:50 UTC (permalink / raw)
  To: speck

[ GPG doesn't encrypt subjects, so I intentionally didn't make it too 
  verbose, sorry ]

Hi,

so, according to the information I have, this is likely to go public on 
2018-06-12 (it's the one referred to as "Bounds Check Bypass Store" in the 
documents).

I've specifically asked Intel for permission to allow Dan Carpenter to be 
briefed on this issue, so that he could try to teach smatch about 
detecting such patterns (IIUC it should be in principle as simple as 
changing his spectrev1 check to also look for stores and not just reads) 
some time ago.

Intel granted such permission (but only limited to this particular issue, 
so we shouldn't really be bringing Dan to this list), but after initial 
response, Dan didn't react any further (despite a few pings), and Intel is 
not going to provide any (semantic/coverity/whatever) patches either.

Has anyone here tried to teach any semantic analysis tool about this 
code pattern?

Thanks,

-- 
Jiri Kosina
SUSE Labs

^ permalink raw reply	[flat|nested] 78+ messages in thread

end of thread, other threads:[~2018-06-12 17:00 UTC | newest]

Thread overview: 78+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-05-31 12:50 [MODERATED] spectrev1+ Jiri Kosina
2018-05-31 13:57 ` [MODERATED] spectrev1+ Josh Poimboeuf
2018-06-01 11:14   ` Peter Zijlstra
2018-06-01 12:46     ` Josh Poimboeuf
2018-05-31 14:11 ` David Woodhouse
2018-05-31 14:18   ` Linus Torvalds
2018-05-31 14:39     ` Jiri Kosina
2018-05-31 14:46 ` Peter Zijlstra
2018-05-31 14:55   ` Jiri Kosina
2018-05-31 18:49     ` Josh Poimboeuf
2018-05-31 18:55       ` Jiri Kosina
2018-05-31 20:36         ` Josh Poimboeuf
2018-05-31 20:52           ` Jiri Kosina
2018-05-31 21:28             ` Jiri Kosina
2018-05-31 21:51               ` Josh Poimboeuf
2018-05-31 21:59                 ` Jiri Kosina
2018-05-31 23:09                 ` Jon Masters
2018-05-31 20:54           ` Linus Torvalds
2018-06-01 11:03           ` Peter Zijlstra
2018-06-01 16:28             ` Jon Masters
2018-05-31 14:58   ` Peter Zijlstra
2018-05-31 18:41 ` Jon Masters
2018-05-31 21:02   ` Peter Zijlstra
2018-05-31 21:39     ` Josh Poimboeuf
2018-06-01 17:12   ` Konrad Rzeszutek Wilk
2018-06-01 21:29     ` Konrad Rzeszutek Wilk
2018-06-04 15:38       ` Peter Zijlstra
2018-06-04 15:44         ` Jiri Kosina
2018-06-04 16:23           ` Greg KH
2018-06-05 17:58           ` Josh Poimboeuf
2018-06-05 21:58             ` Jiri Kosina
2018-06-05 22:14               ` Linus Torvalds
2018-06-05 22:23                 ` Jiri Kosina
2018-06-05 22:48                   ` Linus Torvalds
2018-06-05 23:56                     ` Jiri Kosina
2018-06-06  8:06                       ` Norbert Manthey
2018-06-06  9:50                       ` [MODERATED] spectrev1+ Norbert Manthey
2018-06-06 10:48                         ` [MODERATED] spectrev1+ Greg KH
2018-06-06 16:14                           ` [MODERATED] Is: smack, Was:Re: spectrev1+ Konrad Rzeszutek Wilk
2018-06-06 16:24                             ` [MODERATED] " Konrad Rzeszutek Wilk
2018-06-06 18:30                             ` [MODERATED] " Norbert Manthey
2018-06-06 19:09                               ` Thomas Gleixner
2018-06-07 11:38                                 ` [MODERATED] " Norbert Manthey
2018-06-07 12:31                                   ` Peter Zijlstra
2018-06-07 15:45                                 ` Konrad Rzeszutek Wilk
2018-06-07 16:10                                   ` Thomas Gleixner
2018-06-07 16:41                                     ` [MODERATED] " Konrad Rzeszutek Wilk
2018-06-07 16:58                                       ` Josh Poimboeuf
2018-06-07 17:39                                         ` Norbert Manthey
2018-06-08  8:33                                           ` Martin Pohlack
2018-06-08  8:38                                           ` David Woodhouse
2018-06-09 12:31                                             ` Thomas Gleixner
2018-06-07 20:13                                       ` Is: smack, Was:Re: spectrev1+c Thomas Gleixner
2018-06-08 18:39                                     ` [MODERATED] Re: Is: smack, Was:Re: spectrev1+ Dave Hansen
2018-06-08  8:51                                 ` Jiri Kosina
2018-06-09 12:28                                   ` Thomas Gleixner
2018-06-08 18:15                                 ` [MODERATED] " Josh Poimboeuf
2018-06-08 18:19                                   ` Andrew Cooper
2018-06-08 19:04                                     ` Josh Poimboeuf
2018-06-09 12:35                                 ` Thomas Gleixner
2018-06-07 18:00                       ` [MODERATED] spectrev1+ Jiri Kosina
2018-06-07 18:02                         ` Andrew Cooper
2018-06-12 17:00                 ` Jon Masters
2018-06-04 16:36         ` Josh Poimboeuf
2018-06-04 16:55           ` Peter Zijlstra
2018-06-04 17:02             ` Andrew Cooper
2018-06-04 18:53               ` Jiri Kosina
2018-06-04 19:07               ` Peter Zijlstra
2018-06-04 19:20                 ` Jiri Kosina
2018-06-04 20:33                 ` Jiri Kosina
2018-06-05  8:19                   ` Peter Zijlstra
2018-06-04 17:14             ` Josh Poimboeuf
2018-06-04 17:18               ` Dave Hansen
2018-06-04 17:36                 ` Josh Poimboeuf
2018-06-04 19:10                   ` Peter Zijlstra
2018-06-04 19:51                     ` Josh Poimboeuf
2018-06-05  1:09                       ` Jon Masters
2018-06-05  1:15                         ` Jon Masters

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.