UBSAN: left shifts into the sign bit in unaligned-read helpers
Los mantenedores suelen responder en 2 días
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 3/5
- Tiempo estimado
- 1-2 días
- Aptitud para principiantes
- 73/100
Línea de trabajo
Start with the listed shift expressions in src/libAtomVM/bitstring.h, src/libAtomVM/utils.h, src/libAtomVM/opcodesswitch.h, and src/libAtomVM/inet.c; read how each helper builds its integer value. Run the test suite with -fsanitize=undefined to reproduce the reports, then rerun it to confirm they are gone after the shifts are made defined. Done means all listed cases pass without UBSAN reports.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Running the test suite with -fsanitize=undefined reports "left shift of N by 24 places cannot be represented in type 'int'" (and by 56 places into 'long') from:
READ_32LE_UNALIGNEDinsrc/libAtomVM/bitstring.h:45andREAD_32_UNALIGNEDinsrc/libAtomVM/utils.h:57,:85and:138:((uint8_t *) ptr)[3] << 24promotes the byte tointbefore shifting, so any byte >= 0x80 overflows.large_integer_to_terminsrc/libAtomVM/opcodesswitch.h:1339and:1378:((int32_t) compact_term[0]) << 24and((int64_t) compact_term[0]) << 56.src/libAtomVM/inet.c:66:(term_to_int32(...) & 0xFF) << 24.
The generated code does what is intended today, but it is undefined behaviour and a compiler may legitimately miscompile it. Casting each byte to uint32_t/uint64_t before the shift (and converting to the signed type afterwards) fixes all of them.
- Lenguaje dominante
- Erlang
- Estrellas
- 2.3k
- Forks
- 171
- Merge medio
- 5 d 11 h
- PR fusionados (30 d)
- 19
Preparar el entorno
- Sin Dockerfile ni archivo de Docker Compose
- Tiene una plantilla de pull request
- Leer la guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de atomvm/AtomVM
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
Los mantenedores suelen responder en 2 días
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 77/100
Los mantenedores suelen responder en 2 días
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
Los mantenedores suelen responder en 2 días
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 67/100
atomvm/AtomVM#2435 · 1 comentario · 1 reacción ·
Los mantenedores suelen responder en 2 días
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 85/100
atomvm/AtomVM#2429 · 1 reacción ·
Los mantenedores suelen responder en 2 días
Todos los issues de atomvm/AtomVM
Issues similares
-
Mend: dependency security vulnerability untriaged
Dificultad 2/5 1-3 horas Aptitud para principiantes 73/100
opensearch-project/k-NN#3693 ·
Los mantenedores suelen responder en 1 día
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
radius-project/radius#13744 · 1 comentario ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 77/100
Significant-Gravitas/AutoGPT#16733 ·
Los mantenedores suelen responder en 1 día
-
changelog investigate
Dificultad 1/5 Menos de una hora Aptitud para principiantes 74/100
ramnes/notion-sdk-py#444 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100
Automattic/data-liberation-agent#1657 ·
Los mantenedores suelen responder en 1 día