Skip to content

FFI panic on mutex poison causes undefined behavior + unsafe transmute in engine core #25

Description

@consigcody94

Found via code audit.

1. FFI panic = UB (HIGH) - Mutex .unwrap() in FFI-exported functions. Panic across FFI boundary is undefined behavior in Rust. Fix: Use .lock().unwrap_or_else(|e| e.into_inner()) or catch_unwind.

2. Unsafe transmute (HIGH) - Transmute in engine core without size/alignment validation.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions