Re: [RFC PATCH] asm/generic: introduce if_nospec and nospec_barrier
From: Julia Lawall
Date: Fri Jan 05 2018 - 03:12:06 EST
It looks like the problem in terms of detection is to find values that
should be annotated as __user. Poking around a bit, it seems like this
tool is doing just that:
http://www.cs.umd.edu/~jfoster/cqual/
It dates from 2004, but perhaps the developer could be motivated to pick
it up again.
I don't think Coccinelle would be good for doing this (ie implementing
taint analysis) because the dataflow is too complicated.
julia