[Bug] mq_open() / mq_unlink() build /dev/mqueue/<name> with rt_sprintf() into a fixed stack buffer, allowing stack overflow
Mantenedores costumam responder em até 1 dia
Avaliação
- Dificuldade
- 3/5
- Tempo estimado
- 1-2 dias
- Facilidade para iniciantes
- 62/100
- Tipo de issue
- Bug
- Clareza
- Claramente especificada
- Status de atividade
- Pouca atividade
- Stack de tecnologia
- c
- Domínio
- operating-systems, security
Direção de pesquisa
Comece em components/libc/posix/ipc/mqueue.c, nas localizações indicadas de mq_open() e mq_unlink(), e depois revise os pontos de alcançabilidade em lwp_syscall.c nas linhas 9057 e 9122. Verifique o build de POSIX mqueue e os casos de limite descritos nas etapas de reprodução. A tarefa estará concluída quando ambos os caminhos rejeitarem nomes que não possam caber e construírem o caminho da fila com segurança, sem Stack Overflow.
Escrita pelo modelo de indexação a partir do texto da issue.
Descrição
RT-Thread Version
master, verified on origin/master at commit 25295501c0cc7181d6a541a867fdf7214879ddf8, first appear in v5.0.2 at commit d6adf6708f6e0666d040e553a81b24edcc92c374
Hardware Type/Architectures
Any architecture using components/libc/posix/ipc/mqueue.c
Develop Toolchain
GCC
Describe the bug
Summary
A stack-based buffer overflow exists in RT-Thread's POSIX message queue implementation.
mq_open() and mq_unlink() build the path string "/dev/mqueue/<name>" into a fixed-size stack buffer using unbounded rt_sprintf().
The buffer is declared as:
char mq_name[RT_NAME_MAX + 12];
However, the required size for the resulting string is:
strlen("/dev/mqueue/") + strlen(name) + 112 + strlen(name) + 1
So the true safe condition is strlen(name) <= RT_NAME_MAX - 1. Current code does not enforce that condition.
Affected Locations
components/libc/posix/ipc/mqueue.c:121components/libc/posix/ipc/mqueue.c:164components/libc/posix/ipc/mqueue.c:465
Vulnerability Details
1. mq_open() contains an off-by-one stack overflow
mq_open() checks:
if (len > RT_NAME_MAX) {
rt_set_errno(ENAMETOOLONG);
return (mqd_t)(-1);
}
But it later uses:
rt_sprintf(mq_name, "%s%s", mq_path, name);
with:
char mq_name[RT_NAME_MAX + 12];
Since the prefix "/dev/mqueue/" is 12 bytes and sprintf also writes the terminating NUL byte, len == RT_NAME_MAX already overflows the stack buffer by 1 byte. The current guard is insufficient.
2. mq_unlink() contains an unbounded stack overflow
mq_unlink() uses the same fixed-size stack buffer and the same rt_sprintf() path construction logic, but does not perform an equivalent length check first.
A long name can therefore overflow the stack buffer by more than 1 byte — potentially by an arbitrarily large amount depending on the input length.
Reachability
This is not a remote issue. However, it is practically reachable by local callers.
In systems using LWP/MMU, the syscall layer copies the user-provided message queue name into kernel memory and then invokes mq_open() / mq_unlink() without imposing a stricter length limit that would prevent this bug.
Relevant reachability points:
lwp_syscall.c:9057lwp_syscall.c:9122
An untrusted local userspace process can supply an oversized queue name and trigger these kernel-side stack overflows.
Impact
- Local kernel stack overflow
- Local denial of service
- Possible local privilege escalation, depending on platform, compiler, calling convention, stack protector configuration, and surrounding memory layout
If the product does not run untrusted local processes, this may be treated as a severe robustness bug. If the product uses LWP userspace isolation and executes untrusted local code, this is a real local security vulnerability.
Steps to Reproduce
mq_open() off-by-one case
-
Build RT-Thread with POSIX mqueue support enabled.
-
Call
mq_open()with a queue name whose length is exactlyRT_NAME_MAX. -
Ensure the path construction reaches:
rt_sprintf(mq_name, "%s%s", mq_path, name); -
Observe that the fixed stack buffer is overrun by 1 byte.
mq_unlink() unbounded case
- Build RT-Thread with POSIX mqueue support enabled.
- Call
mq_unlink()with a very long queue name. - Observe that the same fixed stack buffer is used with
rt_sprintf()and no sufficient length guard. - The stack buffer can be overflowed by a larger attacker-controlled amount.
Expected Behavior
RT-Thread should safely construct the queue path without overflowing the stack buffer.
At minimum:
- Use bounded formatting, e.g.
rt_snprintf(mq_name, sizeof(mq_name), "%s%s", mq_path, name) - Reject names that cannot fit including the prefix and terminating NUL
- Treat
len >= RT_NAME_MAXas too long in the current buffer sizing scheme - Apply the same validation to both
mq_open()andmq_unlink()
Actual Behavior
mq_open()allowslen == RT_NAME_MAX, which causes a deterministic 1-byte stack overflowmq_unlink()uses the same fixed stack buffer and unboundedrt_sprintf()without adequate length validation, allowing larger stack overflows
Suggested Fix
1. Replace unbounded rt_sprintf() with bounded variant
// Before
rt_sprintf(mq_name, "%s%s", mq_path, name);
// After
rt_snprintf(mq_name, sizeof(mq_name), "%s%s", mq_path, name);
2. Fix the off-by-one in mq_open() length check
// Before
if (len > RT_NAME_MAX)
// After
if (len >= RT_NAME_MAX)
3. Add equivalent length validation to mq_unlink()
Apply the same length check before formatting the path, consistent with the corrected mq_open() guard.
Kindly let me know if you intend to request a CVE ID upon confirmation of the vulnerability.
Other additional context
No response
- Linguagem predominante
- C
- Estrelas
- 12.3k
- Forks
- 5.5k
- Merge médio
- 4d 12h
- PRs com merge (30d)
- 32
Preparar o ambiente
Inicia o contêiner de desenvolvimento do projeto no navegador, com a sua própria conta do GitHub.
- Sem Dockerfile nem arquivo Docker Compose
- Tem um modelo de pull request
- Ler o guia de contribuição
Primeiros passos
- Leia a issue inteira e depois o guia de contribuição do projeto.
- Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
- Faça um fork do repositório e trabalhe em uma branch.
- Abra um pull request que referencie o número da issue.
Mais de RT-Thread/rt-thread
-
bug Component component: net
Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 90/100
RT-Thread/rt-thread#11852 · 1 comentário ·
Mantenedores costumam responder em até 1 dia
-
[bsp][stm32][bluepill] README「快速上手」缺少重新生成 MDK 工程这一步,按文档操作无法编译通过Talvez já em andamento @moment-NEW assumiu há 2 dias. Abertain progress
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 75/100
RT-Thread/rt-thread#11818 · 4 comentários · 1 responsável ·
Mantenedores costumam responder em até 1 dia
-
BSP BSP: Loongson bug RT-Smart
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 72/100
RT-Thread/rt-thread#11717 · 2 comentários ·
Mantenedores costumam responder em até 1 dia
-
Arch: RISC-V BSP BSP: HPMicro bug
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 72/100
RT-Thread/rt-thread#11687 · 3 comentários ·
Mantenedores costumam responder em até 1 dia
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 68/100
RT-Thread/rt-thread#11472 · 1 comentário ·
Mantenedores costumam responder em até 1 dia
Todas as issues de RT-Thread/rt-thread
Issues semelhantes
-
systemd-binfmt exits 1 when the binfmt_misc flush fails, even though all rules register successfullyTalvez já em andamento @turbcool assumiu hoje. Abertabinfmt
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 80/100
Mantenedores costumam responder em até 1 dia
-
follow: logical decoding messages (wal2json "M") stop apply; on main follow then reports endpos reached with changes missingTalvez já em andamento @vgul assumiu hoje. Aberta
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 78/100
-
bug
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 76/100
xmake-io/xmake#7822 · 3 comentários ·
Mantenedores costumam responder em até 2 dias
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 72/100
libsdl-org/SDL#16444 ·
Mantenedores costumam responder em até 1 dia
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 68/100
MiSTer-devel/ao486_MiSTer#243 ·