Skip to content

Unified: Rough import of old MaD models from swift - #22662

Draft
asgerf wants to merge 9 commits into
github:mainfrom
asgerf:unified/mad-approx
Draft

asgerf wants to merge 9 commits into
github:mainfrom
asgerf:unified/mad-approx

Conversation

@asgerf

@asgerf asgerf commented Sep 23, 2026

Copy link
Copy Markdown
Contributor

No description provided.

The original models referred to named arguments as positional arguments, based on the declaration order in the target method, and -1 for the receiver.

Change this to Argument[name:] for named arguments, and Argument[self] for the receiver.
Sorting the argument labels simplifies matching with calls
We'll want to avoid importing internal files from queries so
LegacyMad will have a "public" API though I expect it to be rewritten
eventually.
Comment on lines +117 to +132
key = "Taint sources - active" and value = count(DataFlow::Node n | Models::isSource(n, "remote"))
or
key = "Taint sources - disabled" and
value = count(DataFlow::Node n | Models::isSource(n, any(string s | s != "remote")))
or
key = "Taint sources - sensitive data" and none()
or
key = "Taint edges - number of edges" and none()
or
key = "Taint reach - nodes tainted" and none()
or
key = "Taint reach - total non-summary nodes" and none()
or
key = "Taint reach - per million nodes" and none()
or
key = "Taint sinks - query sinks" and value = count(DataFlow::Node n | Models::isSink(n, _))
Comment on lines +117 to +122
key = "Taint sources - active" and value = count(DataFlow::Node n | Models::isSource(n, "remote"))
or
key = "Taint sources - disabled" and
value = count(DataFlow::Node n | Models::isSource(n, any(string s | s != "remote")))
or
key = "Taint sources - sensitive data" and none()

from DataFlow::Node node, string kind
where Models::isSink(node, kind)
select node, "Sink of kind '" + kind + "'"

from DataFlow::Node node, string kind
where Models::isSource(node, kind)
select node, "Source of kind '" + kind + "'"

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants