From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-21.3 required=3.0 tests=BAYES_00,DKIMWL_WL_MED, DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS, INCLUDES_PATCH,MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS,USER_AGENT_GIT, USER_IN_DEF_DKIM_WL autolearn=ham autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 2471BC433E6 for ; Thu, 14 Jan 2021 17:24:55 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [23.128.96.18]) by mail.kernel.org (Postfix) with ESMTP id ECCE723B53 for ; Thu, 14 Jan 2021 17:24:54 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727380AbhANRYo (ORCPT ); Thu, 14 Jan 2021 12:24:44 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:46346 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727109AbhANRYn (ORCPT ); Thu, 14 Jan 2021 12:24:43 -0500 Received: from mail-wr1-x449.google.com (mail-wr1-x449.google.com [IPv6:2a00:1450:4864:20::449]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 95C37C061757 for ; Thu, 14 Jan 2021 09:24:02 -0800 (PST) Received: by mail-wr1-x449.google.com with SMTP id u3so2857995wri.19 for ; Thu, 14 Jan 2021 09:24:02 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20161025; h=sender:date:message-id:mime-version:subject:from:to:cc; bh=b+Ye3TYRisrKqQrXNJpmpiFshzIGIpWbzHYw15/uGQ0=; b=Gf94X+SdoJcvLp9TAYUoAktCYhMbtuWD+Noeo7wo8zUCS57TWxk/68vv4/Twa7dtNP cP86ca8Q3ypiY8eiigVLyS6SV2aoE0Jg+S1WA5EijwTqjiiVirPmbuBBeAkBZvKr424l +4nXcDQV56K+L7oVwhL5BNXOkc6r3AO6wCl6bRvloxv03YQX57uVmKPZ9j+UZeR1xS4E WrOCSxRCTquWZgZ03DOyYKI3v5fCFHOnWod2Rog0lRRzKlrFSk/sEcSDWZ5IzuV6KMar LkPWSf5uGWwRCzDsEtAZyxUgqZDAYcoXfpzaVxntLiEbSbLTeE/WvaPnGTTzlkNU+9Je Pcfg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:sender:date:message-id:mime-version:subject:from :to:cc; bh=b+Ye3TYRisrKqQrXNJpmpiFshzIGIpWbzHYw15/uGQ0=; b=hH0Z6hIdi0/yEWRsyIHmb2a+cWcbZ+5wjvhCMJ5Y/L2B1tcICWpX8bXDELV6UaN0As HP+zbv5jhPSLrZDsjQ+c8VLxKHp9s9NYUfoTm43hbdRwuFJ7wSCSzGqEijuQCP6GeEGn H2PoRrr2cou9YMTOmZe8E9wgPCudU/gAM5zsm+n2pCYU7NSAyuutyEHzlzPdMecMfQCo K0X26vjABugKQ+M0wnBWiV+Nod+55l2MSp68pSWZxU9BJxNfsa+OcizK3xFwgESqD8ia rnqbk1vCIK2mQ/rpu+jBNZ9hWNWTMQNMyTuEic20BFjE9a9FufrgKxzymtbqAY4+2AbM lsfg== X-Gm-Message-State: AOAM533xJi+ZOXEViUjr+MzuWgnuii4rGVPNC0N1Pl4bK5rdTU4nxJKE lpGs3A4ZPgeKq35EYTdSkQx9r1hL2p9p X-Google-Smtp-Source: ABdhPJwTYAAkzYk59FnB1hjoYlusOxFpD4H7R29LpkykSS5VUOh4jh+cTktTHTd6BMVLyxsk7TTG5Gkp+fhD Sender: "lenaptr via sendgmr" X-Received: from beef.c.googlers.com ([fda3:e722:ac3:cc00:28:9cb1:c0a8:1091]) (user=lenaptr job=sendgmr) by 2002:adf:fd41:: with SMTP id h1mr9149005wrs.284.1610645041229; Thu, 14 Jan 2021 09:24:01 -0800 (PST) Date: Thu, 14 Jan 2021 17:23:29 +0000 Message-Id: <20210114172338.2798389-1-lenaptr@google.com> Mime-Version: 1.0 X-Mailer: git-send-email 2.30.0.284.gd98b1dd5eaa7-goog Subject: [PATCH v2 0/9] UBSan Enablement for hyp/nVHE code From: Elena Petrova To: kvmarm@lists.cs.columbia.edu Cc: Elena Petrova , linux-arm-kernel@lists.infradead.org, open list , Marc Zyngier , James Morse , Julien Thierry , Suzuki K Poulose , George Popescu Content-Type: text/plain; charset="UTF-8" Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Respin of George's patch series enabling UBSAN for hyp/nVHE code. Modification in v2: * CONFIG_KVM_ARM_DEBUG_BUFFER removed; __kvm_check_ubsan_buffer is called directly instead of via __kvm_arm_check_debug_buffer. * Bugfixing commits removed as these are already upstream. * Some code brought up to date, i.e. moved from entry.S to host.S. * Merged "Add support for creating and checking a buffer" and "Add a buffer that can pass UBSan data from hyp/nVHE" into one commit as these changes don't work without each other. George Popescu (9): KVM: arm64: Enable UBSan instrumentation in nVHE hyp code KVM: arm64: Add a buffer that can pass UBSan data from hyp/nVHE to kernel KVM: arm64: Enable UBSAN_BOUNDS for the both the kernel and hyp/nVHE KVM: arm64: Enable UBsan check for unreachable code inside hyp/nVHE code KVM: arm64: Enable shift out of bounds undefined behaviour check for hyp/nVHE KVM: arm64: __ubsan_handle_load_invalid_value EL2 implementation. KVM: arm64: Detect type mismatch undefined behaviour from hyp/nVHE code KVM: arm64: Detect arithmetic overflow is inside hyp/nVHE. KVM: arm64: Add UBSan tests for PKVM. arch/arm64/include/asm/assembler.h | 10 ++ arch/arm64/include/asm/kvm_debug_buffer.h | 34 ++++ arch/arm64/include/asm/kvm_host.h | 8 +- arch/arm64/include/asm/kvm_ubsan.h | 50 ++++++ arch/arm64/kvm/Makefile | 2 + arch/arm64/kvm/arm.c | 9 ++ arch/arm64/kvm/hyp/include/hyp/test_ubsan.h | 112 +++++++++++++ arch/arm64/kvm/hyp/nvhe/Makefile | 3 +- arch/arm64/kvm/hyp/nvhe/host.S | 4 + arch/arm64/kvm/hyp/nvhe/hyp-main.c | 3 + arch/arm64/kvm/hyp/nvhe/ubsan.c | 164 ++++++++++++++++++++ arch/arm64/kvm/kvm_ubsan_buffer.c | 81 ++++++++++ 12 files changed, 478 insertions(+), 2 deletions(-) create mode 100644 arch/arm64/include/asm/kvm_debug_buffer.h create mode 100644 arch/arm64/include/asm/kvm_ubsan.h create mode 100644 arch/arm64/kvm/hyp/include/hyp/test_ubsan.h create mode 100644 arch/arm64/kvm/hyp/nvhe/ubsan.c create mode 100644 arch/arm64/kvm/kvm_ubsan_buffer.c -- 2.30.0.284.gd98b1dd5eaa7-goog From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-11.6 required=3.0 tests=BAYES_00, DKIM_ADSP_CUSTOM_MED,DKIM_INVALID,DKIM_SIGNED,HEADER_FROM_DIFFERENT_DOMAINS, INCLUDES_PATCH,MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS,URIBL_BLOCKED, USER_AGENT_GIT autolearn=unavailable autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 9947BC433E0 for ; Thu, 14 Jan 2021 17:44:09 +0000 (UTC) Received: from mm01.cs.columbia.edu (mm01.cs.columbia.edu [128.59.11.253]) by mail.kernel.org (Postfix) with ESMTP id 0C0D223B44 for ; Thu, 14 Jan 2021 17:44:08 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 0C0D223B44 Authentication-Results: mail.kernel.org; dmarc=fail (p=reject dis=none) header.from=google.com Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=kvmarm-bounces@lists.cs.columbia.edu Received: from localhost (localhost [127.0.0.1]) by mm01.cs.columbia.edu (Postfix) with ESMTP id 5957B4B2A4; Thu, 14 Jan 2021 12:44:08 -0500 (EST) X-Virus-Scanned: at lists.cs.columbia.edu Authentication-Results: mm01.cs.columbia.edu (amavisd-new); dkim=softfail (fail, message has been altered) header.i=@google.com Received: from mm01.cs.columbia.edu ([127.0.0.1]) by localhost (mm01.cs.columbia.edu [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id edF2DM0kI63S; Thu, 14 Jan 2021 12:44:07 -0500 (EST) Received: from mm01.cs.columbia.edu (localhost [127.0.0.1]) by mm01.cs.columbia.edu (Postfix) with ESMTP id 2F1AC4B22B; Thu, 14 Jan 2021 12:44:07 -0500 (EST) Received: from localhost (localhost [127.0.0.1]) by mm01.cs.columbia.edu (Postfix) with ESMTP id B68144B1F7 for ; Thu, 14 Jan 2021 12:24:03 -0500 (EST) X-Virus-Scanned: at lists.cs.columbia.edu Received: from mm01.cs.columbia.edu ([127.0.0.1]) by localhost (mm01.cs.columbia.edu [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 50e2UAlc4yJ7 for ; Thu, 14 Jan 2021 12:24:02 -0500 (EST) Received: from mail-wr1-f73.google.com (mail-wr1-f73.google.com [209.85.221.73]) by mm01.cs.columbia.edu (Postfix) with ESMTPS id 870244B187 for ; Thu, 14 Jan 2021 12:24:02 -0500 (EST) Received: by mail-wr1-f73.google.com with SMTP id q2so2897823wrp.4 for ; Thu, 14 Jan 2021 09:24:02 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20161025; h=sender:date:message-id:mime-version:subject:from:to:cc; bh=b+Ye3TYRisrKqQrXNJpmpiFshzIGIpWbzHYw15/uGQ0=; b=Gf94X+SdoJcvLp9TAYUoAktCYhMbtuWD+Noeo7wo8zUCS57TWxk/68vv4/Twa7dtNP cP86ca8Q3ypiY8eiigVLyS6SV2aoE0Jg+S1WA5EijwTqjiiVirPmbuBBeAkBZvKr424l +4nXcDQV56K+L7oVwhL5BNXOkc6r3AO6wCl6bRvloxv03YQX57uVmKPZ9j+UZeR1xS4E WrOCSxRCTquWZgZ03DOyYKI3v5fCFHOnWod2Rog0lRRzKlrFSk/sEcSDWZ5IzuV6KMar LkPWSf5uGWwRCzDsEtAZyxUgqZDAYcoXfpzaVxntLiEbSbLTeE/WvaPnGTTzlkNU+9Je Pcfg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:sender:date:message-id:mime-version:subject:from :to:cc; bh=b+Ye3TYRisrKqQrXNJpmpiFshzIGIpWbzHYw15/uGQ0=; b=QJac7U1mziqvRnYok4fA058naqd+vOMb5gVxCuaNMb3f94caDuf/Yl4+fDNvegQNad c3ik335li3UXwYMSq0euHxusBCT8eERTD/GoKo41Hdv54SXv0Vz+pwJ0mC5aM0SRvIlm 7DJevl2m1FSAXegTEwECRlH8jaiKuao4JVgI1XFVTIbY2P70qB0On1Ryh9R7tW06IW+S V6/y8X12Q8Q56KLkSZQjcDwxSVEJw2NtmpqVis6BrN9QznhT8Vc5+IMDKOAmThmPl1+q VGGxDpNLMLzp3qC3p0MThWJIqSAOYHPKptXrQqtBeOQdcA0gy/6HiF2q43DM2osnNnN/ zTIg== X-Gm-Message-State: AOAM533AKpGMwvjHDQKyDhbiw+2bwHEQSn3F83KBjdMHxzAOYDh3kBwy TJQnwgyj49i2/KoArrP9MTIGw8ofsEFOm+n/U/xW02C2/vZQYD29CIwYbW+88E1ccGvo8PEF1Oe uNJUNhskGJGrxlS4NuHr2KLZLToB8F3Ow4jdKBrRsG51DKEGfqDeSEhr2nlp2lVY2ER3yLuWu X-Google-Smtp-Source: ABdhPJwTYAAkzYk59FnB1hjoYlusOxFpD4H7R29LpkykSS5VUOh4jh+cTktTHTd6BMVLyxsk7TTG5Gkp+fhD X-Received: from beef.c.googlers.com ([fda3:e722:ac3:cc00:28:9cb1:c0a8:1091]) (user=lenaptr job=sendgmr) by 2002:adf:fd41:: with SMTP id h1mr9149005wrs.284.1610645041229; Thu, 14 Jan 2021 09:24:01 -0800 (PST) Date: Thu, 14 Jan 2021 17:23:29 +0000 Message-Id: <20210114172338.2798389-1-lenaptr@google.com> Mime-Version: 1.0 X-Mailer: git-send-email 2.30.0.284.gd98b1dd5eaa7-goog Subject: [PATCH v2 0/9] UBSan Enablement for hyp/nVHE code From: Elena Petrova To: kvmarm@lists.cs.columbia.edu X-Mailman-Approved-At: Thu, 14 Jan 2021 12:44:06 -0500 Cc: Elena Petrova , Marc Zyngier , open list , linux-arm-kernel@lists.infradead.org, George Popescu X-BeenThere: kvmarm@lists.cs.columbia.edu X-Mailman-Version: 2.1.14 Precedence: list List-Id: Where KVM/ARM decisions are made List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Errors-To: kvmarm-bounces@lists.cs.columbia.edu Sender: kvmarm-bounces@lists.cs.columbia.edu Respin of George's patch series enabling UBSAN for hyp/nVHE code. Modification in v2: * CONFIG_KVM_ARM_DEBUG_BUFFER removed; __kvm_check_ubsan_buffer is called directly instead of via __kvm_arm_check_debug_buffer. * Bugfixing commits removed as these are already upstream. * Some code brought up to date, i.e. moved from entry.S to host.S. * Merged "Add support for creating and checking a buffer" and "Add a buffer that can pass UBSan data from hyp/nVHE" into one commit as these changes don't work without each other. George Popescu (9): KVM: arm64: Enable UBSan instrumentation in nVHE hyp code KVM: arm64: Add a buffer that can pass UBSan data from hyp/nVHE to kernel KVM: arm64: Enable UBSAN_BOUNDS for the both the kernel and hyp/nVHE KVM: arm64: Enable UBsan check for unreachable code inside hyp/nVHE code KVM: arm64: Enable shift out of bounds undefined behaviour check for hyp/nVHE KVM: arm64: __ubsan_handle_load_invalid_value EL2 implementation. KVM: arm64: Detect type mismatch undefined behaviour from hyp/nVHE code KVM: arm64: Detect arithmetic overflow is inside hyp/nVHE. KVM: arm64: Add UBSan tests for PKVM. arch/arm64/include/asm/assembler.h | 10 ++ arch/arm64/include/asm/kvm_debug_buffer.h | 34 ++++ arch/arm64/include/asm/kvm_host.h | 8 +- arch/arm64/include/asm/kvm_ubsan.h | 50 ++++++ arch/arm64/kvm/Makefile | 2 + arch/arm64/kvm/arm.c | 9 ++ arch/arm64/kvm/hyp/include/hyp/test_ubsan.h | 112 +++++++++++++ arch/arm64/kvm/hyp/nvhe/Makefile | 3 +- arch/arm64/kvm/hyp/nvhe/host.S | 4 + arch/arm64/kvm/hyp/nvhe/hyp-main.c | 3 + arch/arm64/kvm/hyp/nvhe/ubsan.c | 164 ++++++++++++++++++++ arch/arm64/kvm/kvm_ubsan_buffer.c | 81 ++++++++++ 12 files changed, 478 insertions(+), 2 deletions(-) create mode 100644 arch/arm64/include/asm/kvm_debug_buffer.h create mode 100644 arch/arm64/include/asm/kvm_ubsan.h create mode 100644 arch/arm64/kvm/hyp/include/hyp/test_ubsan.h create mode 100644 arch/arm64/kvm/hyp/nvhe/ubsan.c create mode 100644 arch/arm64/kvm/kvm_ubsan_buffer.c -- 2.30.0.284.gd98b1dd5eaa7-goog _______________________________________________ kvmarm mailing list kvmarm@lists.cs.columbia.edu https://lists.cs.columbia.edu/mailman/listinfo/kvmarm From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-12.0 required=3.0 tests=BAYES_00,DKIMWL_WL_HIGH, DKIM_ADSP_CUSTOM_MED,DKIM_SIGNED,DKIM_VALID,HEADER_FROM_DIFFERENT_DOMAINS, INCLUDES_PATCH,MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS,URIBL_BLOCKED, USER_AGENT_GIT autolearn=unavailable autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 6139EC433DB for ; Thu, 14 Jan 2021 17:26:00 +0000 (UTC) Received: from merlin.infradead.org (merlin.infradead.org [205.233.59.134]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPS id 218FD23A5E for ; Thu, 14 Jan 2021 17:26:00 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 218FD23A5E Authentication-Results: mail.kernel.org; dmarc=fail (p=reject dis=none) header.from=google.com Authentication-Results: mail.kernel.org; spf=none smtp.mailfrom=linux-arm-kernel-bounces+linux-arm-kernel=archiver.kernel.org@lists.infradead.org DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lists.infradead.org; s=merlin.20170209; h=Sender:Content-Transfer-Encoding: Content-Type:Cc:List-Subscribe:List-Help:List-Post:List-Archive: List-Unsubscribe:List-Id:To:From:Subject:Mime-Version:Message-Id:Date: Reply-To:Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender :Resent-To:Resent-Cc:Resent-Message-ID:In-Reply-To:References:List-Owner; bh=Kb3UiCyFLjo/jCPV2DTI+NlYHI8Uj9dfhiqK+pJDKN8=; b=ypsMVZLbMiP5E+yFpl5dBzyZAI b5bKwl08z/R3YHbfbaJ/+qtWo4L70QDc0Y/V2Z5kFtbi7IfD7O7DXt8VEfdYyfpSvRespg9eakNMC qeNsmf/ljDDQDUmz82d4Uozu7irYw5d0GJmE6kyTsQaHrjq1P8CSD8IbBVfH5s37YMFhRsChyI5ek gLOijrnYUllFoag8wQcrvKdZY2A3KZ2w0rI3tXgEQooO7Jzks8PrSe0/pkOdgVZJ/nkK4AVlSPgx0 XZuL7KiolpDCwm2radPrKUIdL6z7sxyxdpYhG4hBQf1vHrTfIlvWhb7saqDy+/dYBLT/1dTfILtBg d6Jh4sBg==; Received: from localhost ([::1] helo=merlin.infradead.org) by merlin.infradead.org with esmtp (Exim 4.92.3 #3 (Red Hat Linux)) id 1l06Lv-0000fk-MP; Thu, 14 Jan 2021 17:24:07 +0000 Received: from mail-wr1-x449.google.com ([2a00:1450:4864:20::449]) by merlin.infradead.org with esmtps (Exim 4.92.3 #3 (Red Hat Linux)) id 1l06Ls-0000ei-Ld for linux-arm-kernel@lists.infradead.org; Thu, 14 Jan 2021 17:24:05 +0000 Received: by mail-wr1-x449.google.com with SMTP id u14so2895343wrr.15 for ; Thu, 14 Jan 2021 09:24:02 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20161025; h=sender:date:message-id:mime-version:subject:from:to:cc; bh=b+Ye3TYRisrKqQrXNJpmpiFshzIGIpWbzHYw15/uGQ0=; b=Gf94X+SdoJcvLp9TAYUoAktCYhMbtuWD+Noeo7wo8zUCS57TWxk/68vv4/Twa7dtNP cP86ca8Q3ypiY8eiigVLyS6SV2aoE0Jg+S1WA5EijwTqjiiVirPmbuBBeAkBZvKr424l +4nXcDQV56K+L7oVwhL5BNXOkc6r3AO6wCl6bRvloxv03YQX57uVmKPZ9j+UZeR1xS4E WrOCSxRCTquWZgZ03DOyYKI3v5fCFHOnWod2Rog0lRRzKlrFSk/sEcSDWZ5IzuV6KMar LkPWSf5uGWwRCzDsEtAZyxUgqZDAYcoXfpzaVxntLiEbSbLTeE/WvaPnGTTzlkNU+9Je Pcfg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:sender:date:message-id:mime-version:subject:from :to:cc; bh=b+Ye3TYRisrKqQrXNJpmpiFshzIGIpWbzHYw15/uGQ0=; b=JgOfLvr1gKWHwgA5nuQQRUUzfFWqPxjNTAs64S6gU7gliGG+9JNFK08RUD1xcL9S7h xVlt0g6BBm/gdF8wKxnYV9EiQELOGGhOiBZjX7e8I6Vhvey5ybUTLvgoqJ4hlzk/wCJH M6/Yj9czEieVbDd4I/HrQsuXIirlhHoy9fxowb8YgVp8VH2utL/WP5Lqoae+ov2EqqIw 8QLRGuiCjxh93VSRttH5mSasGldul4J60sSfAhDJQGdlEXOgVNfzWUUH1hIZ23g3xYdC aurmz2EtILQlXSHjnIIw3R3Kiiody5gPPyK9wgV819o7mVjn/iI4GEpISVPOu64Vo1bo mN6w== X-Gm-Message-State: AOAM530puheWb6+Zv/7AtDrKZgmulxS0kHesXeFD/UaR9DXnNlGNfN4p wS/1+OVmCxNBo2daNgvfyA3bk8cfl+z/ X-Google-Smtp-Source: ABdhPJwTYAAkzYk59FnB1hjoYlusOxFpD4H7R29LpkykSS5VUOh4jh+cTktTHTd6BMVLyxsk7TTG5Gkp+fhD X-Received: from beef.c.googlers.com ([fda3:e722:ac3:cc00:28:9cb1:c0a8:1091]) (user=lenaptr job=sendgmr) by 2002:adf:fd41:: with SMTP id h1mr9149005wrs.284.1610645041229; Thu, 14 Jan 2021 09:24:01 -0800 (PST) Date: Thu, 14 Jan 2021 17:23:29 +0000 Message-Id: <20210114172338.2798389-1-lenaptr@google.com> Mime-Version: 1.0 X-Mailer: git-send-email 2.30.0.284.gd98b1dd5eaa7-goog Subject: [PATCH v2 0/9] UBSan Enablement for hyp/nVHE code From: Elena Petrova To: kvmarm@lists.cs.columbia.edu X-CRM114-Version: 20100106-BlameMichelson ( TRE 0.8.0 (BSD) ) MR-646709E3 X-CRM114-CacheID: sfid-20210114_122404_815655_533C3DFC X-CRM114-Status: GOOD ( 13.01 ) X-BeenThere: linux-arm-kernel@lists.infradead.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: Elena Petrova , Suzuki K Poulose , Marc Zyngier , open list , James Morse , linux-arm-kernel@lists.infradead.org, George Popescu , Julien Thierry Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Sender: "linux-arm-kernel" Errors-To: linux-arm-kernel-bounces+linux-arm-kernel=archiver.kernel.org@lists.infradead.org Respin of George's patch series enabling UBSAN for hyp/nVHE code. Modification in v2: * CONFIG_KVM_ARM_DEBUG_BUFFER removed; __kvm_check_ubsan_buffer is called directly instead of via __kvm_arm_check_debug_buffer. * Bugfixing commits removed as these are already upstream. * Some code brought up to date, i.e. moved from entry.S to host.S. * Merged "Add support for creating and checking a buffer" and "Add a buffer that can pass UBSan data from hyp/nVHE" into one commit as these changes don't work without each other. George Popescu (9): KVM: arm64: Enable UBSan instrumentation in nVHE hyp code KVM: arm64: Add a buffer that can pass UBSan data from hyp/nVHE to kernel KVM: arm64: Enable UBSAN_BOUNDS for the both the kernel and hyp/nVHE KVM: arm64: Enable UBsan check for unreachable code inside hyp/nVHE code KVM: arm64: Enable shift out of bounds undefined behaviour check for hyp/nVHE KVM: arm64: __ubsan_handle_load_invalid_value EL2 implementation. KVM: arm64: Detect type mismatch undefined behaviour from hyp/nVHE code KVM: arm64: Detect arithmetic overflow is inside hyp/nVHE. KVM: arm64: Add UBSan tests for PKVM. arch/arm64/include/asm/assembler.h | 10 ++ arch/arm64/include/asm/kvm_debug_buffer.h | 34 ++++ arch/arm64/include/asm/kvm_host.h | 8 +- arch/arm64/include/asm/kvm_ubsan.h | 50 ++++++ arch/arm64/kvm/Makefile | 2 + arch/arm64/kvm/arm.c | 9 ++ arch/arm64/kvm/hyp/include/hyp/test_ubsan.h | 112 +++++++++++++ arch/arm64/kvm/hyp/nvhe/Makefile | 3 +- arch/arm64/kvm/hyp/nvhe/host.S | 4 + arch/arm64/kvm/hyp/nvhe/hyp-main.c | 3 + arch/arm64/kvm/hyp/nvhe/ubsan.c | 164 ++++++++++++++++++++ arch/arm64/kvm/kvm_ubsan_buffer.c | 81 ++++++++++ 12 files changed, 478 insertions(+), 2 deletions(-) create mode 100644 arch/arm64/include/asm/kvm_debug_buffer.h create mode 100644 arch/arm64/include/asm/kvm_ubsan.h create mode 100644 arch/arm64/kvm/hyp/include/hyp/test_ubsan.h create mode 100644 arch/arm64/kvm/hyp/nvhe/ubsan.c create mode 100644 arch/arm64/kvm/kvm_ubsan_buffer.c -- 2.30.0.284.gd98b1dd5eaa7-goog _______________________________________________ linux-arm-kernel mailing list linux-arm-kernel@lists.infradead.org http://lists.infradead.org/mailman/listinfo/linux-arm-kernel