OSDN Git Service

[BPF] fix an asan issue when disassemble an illegal instruction
authorYonghong Song <yhs@fb.com>
Tue, 19 May 2020 05:20:33 +0000 (22:20 -0700)
committerYonghong Song <yhs@fb.com>
Tue, 19 May 2020 05:33:34 +0000 (22:33 -0700)
commiteec758825d2a85f229bd4914a322eab8e7d57b23
tree7e838f0c8c322b962963b11749220f521d4be738
parent0af40120ad226076850a5907d4ac5bed1d1cbfdc
[BPF] fix an asan issue when disassemble an illegal instruction

Commit 8e8f1bd75a9a ("[BPF] Return fail if disassembled insn registers
out of range") tried to fix a segfault when an illegal instruction
is decoded. A test case is added to emulate such an illegal instruction.

The llvm buildbot reported an asan issue with this test case.
  ERROR: AddressSanitizer: global-buffer-overflow on address ...
  decodeMemoryOpValue(llvm::MCInst&, unsigned int, ...)
  llvm::MCDisassembler::DecodeStatus llvm::decodeToMCInst<unsigned long>(...)
  llvm::MCDisassembler::DecodeStatus llvm::decodeInstruction<unsigned long>(...)
  in (anonymous namespace)::BPFDisassembler::getInstruction(...)
  ...

Basically, the fix in Commit 8e8f1bd75a9a is too later to prevent
the asan. The fix in this patch moved the register number check earlier
during decodeInstruction(). It will return fail for decodeInstruction()
if the register number is out of range.

Note that DecodeGPRRegisterClass() and DecodeGPR32RegisterClass()
already have register number checking, so here we only check
decodeMemoryOpValue().
llvm/lib/Target/BPF/Disassembler/BPFDisassembler.cpp