Un fuzzer 'vibecoded' encuentra una división por cero en FFmpeg
We found a division by zero bug in FFmpeg with a vibecoded fuzzer
Un fuzzer desarrollado con técnicas de 'vibecoding' ha descubierto una vulnerabilidad de denegación de servicio en FFmpeg. El bug, localizado en el demuxer VPK, provoca una excepción SIGFPE al dividir por cero cuando un archivo malicioso de 21 bytes establece el número de canales a cero. El error es determinista y afecta a cualquier aplicación que use FFmpeg para abrir archivos no confiables. Se sugiere un parche simple que valida el número de canales antes de la división.
La división por cero es una primitiva de denegación de servicio; no hay escritura controlada ni lectura arbitraria adyacente a la instrucción que falla.
- aeyes
Se envió un parche para esto en abril: https://lists.ffmpeg.org/archives/list/[email protected]...
Editar: Y ya hubo discusión sobre esto en 2024 también
- dabinat
Es interesante cómo la IA puede tanto aumentar como disminuir la calidad del software. Es muy fácil enviar a un agente de IA en una búsqueda de errores sin un objetivo fijo, y si pierde un montón de tiempo y esfuerzo y no encuentra nada, no pasa nada. El tiempo es mucho más importante para un desarrollador humano con un salario.
- driverdan
El README del fuzzer es un desastre de basura de IA. https://github.com/daedalus/fuzzer/
- justonenote
Lo que sea sobre los detalles de este bug y si es un vector útil, ¿esto no sorprende en lo más mínimo?
Mi opinión actual sobre los LLM es que son sobrehumanos en el sentido de que carecen de fatiga, tienen un conocimiento casi completo de todos los temas que los humanos conocen al menos públicamente, y el hecho de que puedas 'vibecodear' un arnés para buscar bugs en un codebase de C famosamente complicado es algo de nivel de becario y difícilmente noticia.
Los aspirantes a blackhats inteligentes apuntarán a tmux a continuación, tanto con jailbreaks ligeros de LLM, ataques ligeros a la cadena de suministro (resultados de búsqueda web) y LPEs dentro de ciertos entornos que antes no eran particularmente útiles pero que con agentes ejecutándose en modo automático durante horas se convierten en un trampolín muy valioso. No estoy seguro de la calidad del código de tmux pero sé que está escrito en C y es muy complejo y no fue diseñado en absoluto para defenderse contra este tipo de amenaza.
- cptroot
Esto no es un bug real en FFmpeg. Esto es una demostración de que si controlas un módulo AVIO personalizado es posible hacer que FFmpeg se bloquee dándole datos malos.
- ks2048
Sin duda los fuzzers (vibecoded o no) pueden ser poderosos, pero ¿no puedes simplemente marcar todas las "/" como posibles errores de división por cero?
Supongo que a veces los desarrolladores piensan que "saben" que alguna variable no será cero, pero a menos que se verifique explícitamente o por el compilador, no se debería confiar en eso.
- 1saadcodes
Me parece bastante interesante que un fuzzer armado de esta manera realmente haya encontrado un bug en ffmpeg
- BikiniPrince
Lo gracioso es que sé que estoy rozando algo en el desarrollador de gStreamer, pero Fable se vuelve loco. Solo tengo una idea vaga de dónde podría estar el problema.
La próxima semana, solicitaré el cyber y sospecho que encontraré algo similar.
Ahora mismo, es solo molesto y gracias a que el cyber de OpenAI fue mucho más fácil de obtener acceso.