Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.kernel > #1212327

Re: [PATCH v2 5/5] arm64: add KASan support

From Andrey Ryabinin <ryabinin.a.a@gmail.com>
Newsgroups linux.kernel
Subject Re: [PATCH v2 5/5] arm64: add KASan support
Date 2015-08-24 18:10 +0200
Message-ID <q12tR-4cs-9@gated-at.bofh.it> (permalink)
References (8 earlier) <pONgS-3qn-9@gated-at.bofh.it> <q0ZPl-kn-31@gated-at.bofh.it> <q10in-T2-37@gated-at.bofh.it> <q10Ln-1GP-11@gated-at.bofh.it> <q12au-3Av-5@gated-at.bofh.it>
Organization linux.* mail to news gateway

Show all headers | View raw


2015-08-24 18:44 GMT+03:00 Vladimir Murzin <vladimir.murzin@arm.com>:
>
> Another option would be having "sparse" shadow memory based on page
> extension. I did play with that some time ago based on ideas from
> original v1 KASan support for x86/arm - it is how 614be38 "irqchip:
> gic-v3: Fix out of bounds access to cpu_logical_map" was caught.
> It doesn't require any VA reservations, only some contiguous memory for
> the page_ext itself, which serves as indirection level for the 0-order
> shadow pages.

We won't be able to use inline instrumentation (I could live with that),
and most importantly, we won't be able to use stack instrumentation.
GCC needs to know shadow address for inline and/or stack instrumentation
to generate correct code.

> In theory such design can be reused by others 32-bit arches and, I
> think, nommu too. Additionally, the shadow pages might be movable with
> help of driver-page migration patch series [1].
> The cost is obvious - performance drop, although I didn't bother
> measuring it.
>
> [1] https://lwn.net/Articles/650917/
>
> Cheers
> Vladimir
>
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

Back to linux.kernel | Previous | NextPrevious in thread | Next in thread | Find similar | Unroll thread


Thread

Re: [PATCH v2 5/5] arm64: add KASan support Russell King - ARM Linux <linux@arm.linux.org.uk> - 2015-08-24 15:20 +0200
  Re: [PATCH v2 5/5] arm64: add KASan support Linus Walleij <linus.walleij@linaro.org> - 2015-08-24 15:50 +0200
    Re: [PATCH v2 5/5] arm64: add KASan support Andrey Ryabinin <ryabinin.a.a@gmail.com> - 2015-08-24 16:20 +0200
      Re: [PATCH v2 5/5] arm64: add KASan support Vladimir Murzin <vladimir.murzin@arm.com> - 2015-08-24 17:50 +0200
        Re: [PATCH v2 5/5] arm64: add KASan support Andrey Ryabinin <ryabinin.a.a@gmail.com> - 2015-08-24 18:10 +0200
          Re: [PATCH v2 5/5] arm64: add KASan support Vladimir Murzin <vladimir.murzin@arm.com> - 2015-08-24 18:20 +0200
            Re: [PATCH v2 5/5] arm64: add KASan support Andrey Ryabinin <ryabinin.a.a@gmail.com> - 2015-08-24 18:20 +0200
      Re: [PATCH v2 5/5] arm64: add KASan support Russell King - ARM Linux <linux@arm.linux.org.uk> - 2015-08-24 19:50 +0200
        Re: [PATCH v2 5/5] arm64: add KASan support Will Deacon <will.deacon@arm.com> - 2015-08-25 11:20 +0200

csiph-web