CodeQL query to detect unsafe uses of std::vector::operator[]

[kevinbackhouse]

This is the CodeQL query that I used to search for unsafe uses of std::vector::operator[] in #1769. This query will produce quite a few alerts to begin with, but they'll be fixed when #1769 is rebased onto main.

[codecov]

Codecov Report

Merging #1771 (a2854f3) into main (9284b58) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #1771   +/-   ##
=======================================
  Coverage   67.36%   67.36%           
=======================================
  Files         151      151           
  Lines       20802    20802           
=======================================
  Hits        14013    14013           
  Misses       6789     6789           

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 9284b58...a2854f3. Read the comment docs.

[hassec]

LGTM 👍

modulo the fact that I still haven't had the time to learn more about CodeQL so can't really review that part. But the from the report it looks like it's working :)