Bug 257193 - bad pointer to kernel copyin() causes it to loop forever
Summary: bad pointer to kernel copyin() causes it to loop forever
Status: In Progress
Alias: None
Product: Base System
Classification: Unclassified
Component: riscv (show other bugs)
Version: CURRENT
Hardware: riscv Any
: --- Affects Only Me
Assignee: Mitchell Horne
Depends on:
Reported: 2021-07-14 20:22 UTC by Robert Morris
Modified: 2021-07-18 11:56 UTC (History)
1 user (show)

See Also:


Note You need to log in before you can comment on or make changes to this bug.
Description Robert Morris 2021-07-14 20:22:12 UTC
The risc-v kernel copyin() routine loops forever if the user passs a
pointer with the high bit set. I"m using qemu 5.2.0 to run this image:


I compile and run this program:

  #include <fcntl.h>
    fcntl(1, F_GETLK, 0x800000c000000000);

The kernel fcntl calls copyin(), which never returns. I'm guessing that
copyin's bgt in copyinout.S should be a bgtu:

    beqz    a2, copyin_end  /* If len == 0 then skip loop */
    add a3, a0, a2
    bgt  a3, a4, copyio_fault_nopcb
Comment 1 Mitchell Horne freebsd_committer 2021-07-14 20:36:13 UTC
Thanks for the report, indeed the use of bgt seems inappropriate here. I will look at this in detail shortly.
Comment 2 Robert Morris 2021-07-15 15:16:04 UTC
Also, creat(0x0000004000000000UL,0) causes copyinstr() to
loop forever. Perhaps bgeu rather that bgt.
Comment 3 Mitchell Horne freebsd_committer 2021-07-17 20:08:53 UTC
(In reply to Robert Morris from comment #2)

I have posted a review for the fix, which uses the bgeu instruction:

I was wondering why these cases would loop continuously, rather than panic the system with a fatal page fault. I was able to track this down too:

So, thanks again for the detailed report. Out of curiosity, did you find the issue by inspection, or did it manifest in some real program or test?
Comment 4 Robert Morris 2021-07-18 11:56:09 UTC
(In reply to Mitchell Horne from comment #3)
I found the bug using a symbolic execution system for risc-v
that I've been working on.