For std::string and std::vector, replace operator[] with at. This was done using an automated process. See README.hardening for details.