Closed zingale closed 1 month ago
not sure if we need this as an option so I left it WIP. It doesn't find issues in Castro. I am not sure how much of the standard library containers we rely on.
Since the new option is opt-in, there is no harm I guess.
this catches bounds errors in the standard library containers
Summary
Additional background
Checklist
The proposed changes: