[PATCH 5/5] gcc-plugins/stackleak: Don't instrument vgettimeofday.c in arm64 VDSO
alex.popov at linux.com
Tue Jun 23 06:16:28 EDT 2020
On 10.06.2020 10:30, Will Deacon wrote:
> On Tue, Jun 09, 2020 at 12:09:27PM -0700, Kees Cook wrote:
>> 32-bit ARM only (but likely needs disabling for 32-bit ARM vDSO?)
I tested: on 32-bit arm vDSO is built with plugin flags. I will filter them out
in a separate patch in v2 of the series.
> On arm64, the 32-bit toolchain is picked up via CC_COMPAT -- does that still
> get the plugins?
I tested it with this command:
make ARCH=arm64 CROSS_COMPILE_COMPAT=arm-linux-gnueabi-
I see that COMPAT_VDSO is built without plugin flags. So it's ok.
More information about the linux-arm-kernel