Rust: Add ComparisonOperation library.#19535
Conversation
geoffw0
added
no-change-note-required
There was a problem hiding this comment.
Pull Request Overview
Adds a new ComparisonOperation library to model comparison, equality, and relational operations in Rust QL, updates imports and cleans up legacy operand predicates, and extends library-tests to verify the new classes and operand tags.
- Introduced
ComparisonOperation.qlldefining comparison, equality, and relational operations withgetGreaterOperand/getLesserOperand. - Updated
rust.qllimport and refactoredUncontrolledAllocationSizeExtensions.qllto use the new API. - Extended
test.rsandOperations.qlto include new tags (ComparisonOperation,EqualityOperation, specific operation classes, andGreater/Lesser).
Reviewed Changes
Copilot reviewed 5 out of 5 changed files in this pull request and generated 1 comment.
Show a summary per file
| File | Description |
|---|---|
| rust/ql/lib/codeql/rust/elements/ComparisonOperation.qll | New file defining ComparisonOperation, its subtypes, and operand accessors. |
| rust/ql/lib/rust.qll | Imported ComparisonOperation into the Rust library root. |
| rust/ql/lib/codeql/rust/security/UncontrolledAllocationSizeExtensions.qll | Removed old operand helpers and switched to the new RelationalOperation API. |
| rust/ql/test/library-tests/operations/Operations.ql | Updated describe and test harness to recognize new operation tags. |
| rust/ql/test/library-tests/operations/test.rs | Added expected tags for comparison operations and Greater/Lesser values. |
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
| /** | ||
| * The equal comparison operation, `==`. | ||
| */ | ||
| final class EqualOperation extends EqualityOperationImpl, BinaryExpr { |
There was a problem hiding this comment.
I think I prefer EqualityOperation.
There was a problem hiding this comment.
EqualityOperation is "an operation to do with equality", i.e. == or !=.
EqualOperation is specifically ==.
We can't use "EqualityOperation" to describe both.
There was a problem hiding this comment.
Removed redundant BinaryExpr.
There was a problem hiding this comment.
OK. Then I think I slightly prefer Equal_s_Operation over EqualOperation, but I'll let you decide.
There was a problem hiding this comment.
Yeah, I agree that's a better name. Updated.
|
Thanks for the review suggestions. I've implemented all but one (see above). |
Adds a
ComparisonOperationlibrary, filling out more of theOperationclass tree.Cleans up some out of place predicates (
getGreaterOperandandgetLesserOperand) inUncontrolledAllocationSizeExtensions.qll.