19e869efcSSami Tolvanen //===---- KCFI.cpp - Implements Kernel Control-Flow Integrity (KCFI) ------===// 2e9569748SSami Tolvanen // 3e9569748SSami Tolvanen // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4e9569748SSami Tolvanen // See https://llvm.org/LICENSE.txt for license information. 5e9569748SSami Tolvanen // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6e9569748SSami Tolvanen // 7e9569748SSami Tolvanen //===----------------------------------------------------------------------===// 8e9569748SSami Tolvanen // 99e869efcSSami Tolvanen // This pass implements Kernel Control-Flow Integrity (KCFI) indirect call 109e869efcSSami Tolvanen // check lowering. For each call instruction with a cfi-type attribute, it 119e869efcSSami Tolvanen // emits an arch-specific check before the call, and bundles the check and 129e869efcSSami Tolvanen // the call to prevent unintentional modifications. 13e9569748SSami Tolvanen // 14e9569748SSami Tolvanen //===----------------------------------------------------------------------===// 15e9569748SSami Tolvanen 16e9569748SSami Tolvanen #include "llvm/ADT/Statistic.h" 17e9569748SSami Tolvanen #include "llvm/CodeGen/MachineFunctionPass.h" 18e9569748SSami Tolvanen #include "llvm/CodeGen/MachineInstrBundle.h" 19e9569748SSami Tolvanen #include "llvm/CodeGen/MachineModuleInfo.h" 20e9569748SSami Tolvanen #include "llvm/CodeGen/TargetInstrInfo.h" 21e9569748SSami Tolvanen #include "llvm/CodeGen/TargetLowering.h" 22e9569748SSami Tolvanen #include "llvm/CodeGen/TargetSubtargetInfo.h" 234169338eSNikita Popov #include "llvm/IR/Module.h" 24e9569748SSami Tolvanen #include "llvm/InitializePasses.h" 25e9569748SSami Tolvanen 26e9569748SSami Tolvanen using namespace llvm; 27e9569748SSami Tolvanen 28e9569748SSami Tolvanen #define DEBUG_TYPE "kcfi" 29e9569748SSami Tolvanen #define KCFI_PASS_NAME "Insert KCFI indirect call checks" 30e9569748SSami Tolvanen 31e9569748SSami Tolvanen STATISTIC(NumKCFIChecksAdded, "Number of indirect call checks added"); 32e9569748SSami Tolvanen 33e9569748SSami Tolvanen namespace { 34e9569748SSami Tolvanen class KCFI : public MachineFunctionPass { 35e9569748SSami Tolvanen public: 36e9569748SSami Tolvanen static char ID; 37e9569748SSami Tolvanen 38e9569748SSami Tolvanen KCFI() : MachineFunctionPass(ID) {} 39e9569748SSami Tolvanen 40e9569748SSami Tolvanen StringRef getPassName() const override { return KCFI_PASS_NAME; } 41e9569748SSami Tolvanen bool runOnMachineFunction(MachineFunction &MF) override; 42e9569748SSami Tolvanen 43e9569748SSami Tolvanen private: 44e9569748SSami Tolvanen /// Machine instruction info used throughout the class. 45e9569748SSami Tolvanen const TargetInstrInfo *TII = nullptr; 46e9569748SSami Tolvanen 47e9569748SSami Tolvanen /// Target lowering for arch-specific parts. 48e9569748SSami Tolvanen const TargetLowering *TLI = nullptr; 49e9569748SSami Tolvanen 50e9569748SSami Tolvanen /// Emits a KCFI check before an indirect call. 51e9569748SSami Tolvanen /// \returns true if the check was added and false otherwise. 52e9569748SSami Tolvanen bool emitCheck(MachineBasicBlock &MBB, 53e9569748SSami Tolvanen MachineBasicBlock::instr_iterator I) const; 54e9569748SSami Tolvanen }; 55e9569748SSami Tolvanen 56e9569748SSami Tolvanen char KCFI::ID = 0; 57e9569748SSami Tolvanen } // end anonymous namespace 58e9569748SSami Tolvanen 59e9569748SSami Tolvanen INITIALIZE_PASS(KCFI, DEBUG_TYPE, KCFI_PASS_NAME, false, false) 60e9569748SSami Tolvanen 61e9569748SSami Tolvanen FunctionPass *llvm::createKCFIPass() { return new KCFI(); } 62e9569748SSami Tolvanen 63e9569748SSami Tolvanen bool KCFI::emitCheck(MachineBasicBlock &MBB, 64e9569748SSami Tolvanen MachineBasicBlock::instr_iterator MBBI) const { 65e9569748SSami Tolvanen assert(TII && "Target instruction info was not initialized"); 66e9569748SSami Tolvanen assert(TLI && "Target lowering was not initialized"); 67e9569748SSami Tolvanen 68e9569748SSami Tolvanen // If the call instruction is bundled, we can only emit a check safely if 69e9569748SSami Tolvanen // it's the first instruction in the bundle. 70e9569748SSami Tolvanen if (MBBI->isBundled() && !std::prev(MBBI)->isBundle()) 71e9569748SSami Tolvanen report_fatal_error("Cannot emit a KCFI check for a bundled call"); 72e9569748SSami Tolvanen 73e9569748SSami Tolvanen // Emit a KCFI check for the call instruction at MBBI. The implementation 74e9569748SSami Tolvanen // must unfold memory operands if applicable. 75e9569748SSami Tolvanen MachineInstr *Check = TLI->EmitKCFICheck(MBB, MBBI, TII); 76e9569748SSami Tolvanen 77e9569748SSami Tolvanen // Clear the original call's CFI type. 78e9569748SSami Tolvanen assert(MBBI->isCall() && "Unexpected instruction type"); 79e9569748SSami Tolvanen MBBI->setCFIType(*MBB.getParent(), 0); 80e9569748SSami Tolvanen 81e9569748SSami Tolvanen // If not already bundled, bundle the check and the call to prevent 82e9569748SSami Tolvanen // further changes. 83e9569748SSami Tolvanen if (!MBBI->isBundled()) 84e9569748SSami Tolvanen finalizeBundle(MBB, Check->getIterator(), std::next(MBBI->getIterator())); 85e9569748SSami Tolvanen 86e9569748SSami Tolvanen ++NumKCFIChecksAdded; 87e9569748SSami Tolvanen return true; 88e9569748SSami Tolvanen } 89e9569748SSami Tolvanen 90e9569748SSami Tolvanen bool KCFI::runOnMachineFunction(MachineFunction &MF) { 91*7d80ee5bSMatt Arsenault const Module *M = MF.getFunction().getParent(); 92e9569748SSami Tolvanen if (!M->getModuleFlag("kcfi")) 93e9569748SSami Tolvanen return false; 94e9569748SSami Tolvanen 95e9569748SSami Tolvanen const auto &SubTarget = MF.getSubtarget(); 96e9569748SSami Tolvanen TII = SubTarget.getInstrInfo(); 97e9569748SSami Tolvanen TLI = SubTarget.getTargetLowering(); 98e9569748SSami Tolvanen 99e9569748SSami Tolvanen bool Changed = false; 100e9569748SSami Tolvanen for (MachineBasicBlock &MBB : MF) { 101e9569748SSami Tolvanen // Use instr_iterator because we don't want to skip bundles. 102e9569748SSami Tolvanen for (MachineBasicBlock::instr_iterator MII = MBB.instr_begin(), 103e9569748SSami Tolvanen MIE = MBB.instr_end(); 104e9569748SSami Tolvanen MII != MIE; ++MII) { 105e9569748SSami Tolvanen if (MII->isCall() && MII->getCFIType()) 106e9569748SSami Tolvanen Changed |= emitCheck(MBB, MII); 107e9569748SSami Tolvanen } 108e9569748SSami Tolvanen } 109e9569748SSami Tolvanen 110e9569748SSami Tolvanen return Changed; 111e9569748SSami Tolvanen } 112