Highlights
Memory Safety: 1 prior fix. Scrutinize any change in this area.
macros.rs: most-fixed (1 issue). Treat as high-risk during review.
2 high-severity fixes in this history; regressions here are high-impact.
Recurring patterns
The bug types that recur here, drawn from past fixes, not open vulnerabilities.
Type Confusion: The inability to validate Objective-C generic types at runtime allowed the safe `as_object` method to introduce type confusion, necessitating its complete removal. future object-casting mechanisms must avoid exposing safe wrappers over unvalidated pointers.
Memory Safety: Allowing safe code to implement the `Message` trait allowed the definition of invalid message-passing targets, leading to memory corruption. Forcing `unsafe impl` for `Message` mitigates this, but any macro expansions generating message-passing code must be carefully audited to prevent safe bypasses.