Memory Safety and Error Handling

Ensure that error paths do not leave allocated resources in an inconsistent state.