We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 8756b81 commit e6dd8beCopy full SHA for e6dd8be
rust/ql/src/utils/modelgenerator/internal/CaptureModels.qll
@@ -13,6 +13,10 @@ private import codeql.rust.dataflow.internal.FlowSummaryImpl as FlowSummary
13
private newtype TCallable =
14
TFunction(R::Function api, string path) {
15
path = api.getCanonicalPath() and
16
+ // A canonical path can contain `;` as the syntax for array types use `;`.
17
+ // This does not work with the shared model generator, so for now we just
18
+ // exclude canonical paths with `;`s.
19
+ not exists(api.getCanonicalPath().indexOf(";")) and
20
(
21
// This excludes closures (these are not exported API endpoints) and
22
// functions without a `pub` visibility. A function can be `pub` without
0 commit comments