Logic bugs != memory safety bugs. E.g. in java you can mess up your logic with data races, but the racing itself is safe and can never cause the VM to enter an

Logic bugs != memory safety bugs. E.g. in java you can mess up your logic with data races, but the racing itself is safe and can never cause the VM to enter an invalid state.