Rust: Correct from model to taint

[geoffw0]

Correct the model of from from value to taint.

This exposed an issue with the sources for rust/hard-coded-cryptographic-value, also fixed.

I'll do a DCA run to check for other unexpected consequences.

[Copilot]

Pull Request Overview

Correct the data flow model of the From trait from value to taint in Rust's core library, which exposed an issue with sources in the hard-coded cryptographic value query that was also fixed.

Key changes:

• Changed the flow model for <_ as core::convert::From>::from from value to taint
• Fixed array repeat expressions ([0; 10]) not being recognized as hardcoded cryptographic sources
• Updated test expectations to reflect the corrected taint flow behavior

Reviewed Changes

Copilot reviewed 6 out of 6 changed files in this pull request and generated no comments.

Show a summary per file

File	Description
rust/ql/lib/codeql/rust/frameworks/stdlib/lang-core.model.yml	Changed From trait model from value to taint flow
rust/ql/lib/codeql/rust/security/HardcodedCryptographicValueExtensions.qll	Added support for array repeat expressions as hardcoded sources
rust/ql/test/library-tests/dataflow/strings/main.rs	Updated test comment from hasValueFlow to hasTaintFlow
rust/ql/test/library-tests/dataflow/strings/inline-taint-flow.expected	Updated expected test results for taint flow
rust/ql/test/query-tests/security/CWE-022/TaintedPath.expected	Updated expected test results for taint flow
rust/ql/test/query-tests/security/CWE-798/HardcodedCryptographicValue.expected	Updated expected test results reflecting array repeat expression support

[paldepind]

Makes sense 👍

[hvitved]

Thanks

[geoffw0]

Fixed the merge conflict.

[geoffw0]

Thanks for re-approving.