Convert selected Python qlref tests to inline expectations

[Copilot]

This updates the Python qlref-to-inline-expectation migration by converting a focused set of standard problem and path-problem tests that can be represented cleanly without changing test semantics. The converted cases cover exception queries, overriding-signature queries, and the local threat-model SQL injection test.

• Converted standard Python query tests

  • Added postprocess: utils/test/InlineExpectationsTestQuery.ql to:
    • python/ql/test/query-tests/Exceptions/general/IllegalExceptionHandlerType.qlref
    • python/ql/test/query-tests/Exceptions/general/IllegalRaise.qlref
    • python/ql/test/query-tests/Exceptions/general/NotImplementedIsNotAnException.qlref
    • python/ql/test/query-tests/Functions/overriding/IncorrectlyOverriddenMethod.qlref
    • python/ql/test/query-tests/Functions/overriding/IncorrectlySpecifiedOverriddenMethod.qlref
    • python/ql/test/query-tests/Functions/overriding/WrongNameForArgumentInCall.qlref
    • python/ql/test/query-tests/Functions/overriding/WrongNumberArgumentsInCall.qlref
  • Extended python/ql/test/query-tests/Security/CWE-089-SqlInjection-local-threat-model/SqlInjection.qlref by preserving PrettyPrintModels.ql and appending InlineExpectationsTestQuery.ql.

• Annotated source at result locations

  • Added inline # $ Alert[...] markers in:
    • python/ql/test/query-tests/Exceptions/general/exceptions_test.py
    • python/ql/test/query-tests/Exceptions/general/pypy_test.py
    • python/ql/test/query-tests/Functions/overriding/test.py
    • python/ql/test/query-tests/Security/CWE-089-SqlInjection-local-threat-model/test.py
  • Used query-id-qualified tags where multiple queries share the same source file and would otherwise compete for the same comment lines.

• Preserved existing test ownership boundaries

  • Left .expected files untouched.
  • Kept existing postprocessors intact and only switched to list form where an additional postprocessor had to be appended.

• Excluded behavior-sensitive cases from this slice

  • Did not convert tests where inline comments would suppress or alter the query result on the annotated line (for example, shared exception tests where adding a comment changes whether the query reports the clause at all).

Example of the migrated style:

def illegal_raise_value2():
    raise NotException2()  # $ Alert[py/illegal-raise]

conn.execute(sys.argv[1])  # $ Alert

Original prompt

Please do the same for all other languages that CodeQL supports (i.e. other than go or java), using what you have learned. Do not make a PR. List any queries you do not convert and why. I think you will not have access to CodeQL to test your changes, so do your best without that feedback. I will provide a list of failing tests at a future point.

It seems like you have provided a context about the current date and some previous requests related to CodeQL files. If you need assistance with anything specific, such as formatting .qlref files for Java or addressing the test output failures, please let me know how I can help!

Created from VS Code.

[owen-mc]

Rerun has been triggered, but no failed runs found ⚠️

[github-advanced-security]

CodeQL found more than 20 potential problems in the proposed changes. Check the Files changed tab for more details.

[Copilot]

Copilot wasn't able to review this pull request because it exceeds the maximum number of files (300). Try reducing the number of changed files and requesting a review from Copilot again.

[Copilot]

Copilot wasn't able to review this pull request because it exceeds the maximum number of files (300). Try reducing the number of changed files and requesting a review from Copilot again.