Zoo Design Studio: Memory-corruption in memory handling of lib-kcl
Moderate severity
GitHub Reviewed
Published
Jun 12, 2026
in
KittyCAD/modeling-app
•
Updated Aug 20, 2026
Description
Published to the GitHub Advisory Database
Aug 20, 2026
Reviewed
Aug 20, 2026
Last updated
Aug 20, 2026
A race condition in kcl-lib can result in a use-after-free when accessing environments concurrently. During Vec reallocation, the previous buffer containing Box pointers is freed and replaced. A concurrent get_env operation that has already loaded a pointer to the old buffer may subsequently index into freed memory and retrieve a stale or corrupted Pin<Box>.
References