Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

`Parser::slice` and `Parser::slice_from` can trigger UB in safe Rust via unchecked slicing

Abierto Apto para principiantes
  • ¿Algo no está bien?
#459 1 comentario 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
2/5
Tiempo estimado
1-3 horas
Aptitud para principiantes
85/100
Tipo de issue
Error
Claridad
Bien especificado
Estado de actividad
Activo
Stack tecnológico
rust
Área
security

Línea de trabajo

Inspecciona src/tokenizer.rs, especialmente Parser::slice y Parser::slice_from, y rastrea la construcción de rangos insegura descrita en el issue. Ejecuta las pruebas existentes del repositorio antes y después del cambio y luego verifica que los rangos invertidos, fuera de los límites, restablecidos y entre parsers ya no lleguen a un slicing sin comprobaciones.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

bug

Parser::slice (and Parser::slice_from) in src/tokenizer.rs calls self.input.get_unchecked(range.start.0..range.end.0) without verifying range.start.0 <= range.end.0 or range.end.0 <= self.input.len():

#[inline]
pub fn slice(&self, range: Range<SourcePosition>) -> &'a str {
    debug_assert!(self.input.is_char_boundary(range.start.0));
    debug_assert!(self.input.is_char_boundary(range.end.0));
    unsafe { self.input.get_unchecked(range.start.0..range.end.0) }
}

Safe callers can trigger undefined behavior without unsafe:

  1. Passing an inverted range p1..p0 where p1 > p0 (both is_char_boundary assertions still pass in debug builds, and end - start underflows in get_unchecked).
  2. Calling parser.reset(&saved_state) to rewind the parser position and then calling parser.slice_from(later_pos).
  3. Passing a SourcePosition obtained from another Parser with a longer input string in release builds where debug_assert! is disabled.

Replacing unsafe { self.input.get_unchecked(range.start.0..range.end.0) } with &self.input[range.start.0..range.end.0] avoids the soundness issue.

Lenguaje dominante
Rust
Estrellas
874
Forks
150
Merge medio
9 min
PR fusionados (30 d)
1

Preparar el entorno

Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de servo/rust-cssparser

Todos los issues de servo/rust-cssparser

Issues similares

Más issues de Rust

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.