Skip to content

Conversation

@geoffw0
Copy link
Contributor

@geoffw0 geoffw0 commented Dec 2, 2024

Improve the rust/ctor-initialization query, adding so-called "transitive" results through calls where the target is in the database.

@geoffw0 geoffw0 added the Rust Pull requests that update Rust code label Dec 2, 2024

fn call_target3_1() {
_ = stderr().write_all(b"Hello, world!"); // $ MISSING: Alert=source3_1 Alert=source3_3 Alert=source3_4
_ = stderr().write_all(b"Hello, world!"); // $ Alert=source3_1 Alert=source3_3 MISSING: Alert=source3_4
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The source3_4 result is still missing because the call to bad3_3() has no getStaticTarget().

@geoffw0 geoffw0 added the no-change-note-required This PR does not need a change note label Dec 2, 2024
@paldepind paldepind self-assigned this Dec 2, 2024
Copy link
Contributor

@hvitved hvitved left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

One last thing, otherwise LGTM. Also, remember to run DCA before merging.

Copy link
Contributor

@paldepind paldepind left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks great. Also very instructive for me to see how a query like this is made.

@geoffw0
Copy link
Contributor Author

geoffw0 commented Dec 4, 2024

Also very instructive for me to see how a query like this is made.

Me too to be honest. I've reviewed and edited, but I think never created from scratch a path-problem query that doesn't ultimately fall back on data flow or some other library to produce its paths.

@geoffw0 geoffw0 merged commit b54d8dc into github:main Dec 4, 2024
10 checks passed
@geoffw0 geoffw0 deleted the ctor2 branch February 12, 2025 16:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants