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 3e0e374 commit 4f08fddCopy full SHA for 4f08fdd
rust/ql/src/queries/security/CWE-696/BadCtorInitialization.ql
@@ -41,11 +41,10 @@ class PathElement = AstNode;
41
42
query predicate edges(PathElement pred, PathElement succ) {
43
// starting edge (`#[ctor]` / `#[dtor]` attribute to call)
44
- exists(CtorAttr ctor, Function f, CallExprBase call |
+ exists(CtorAttr ctor, Function f |
45
f.getAnAttr() = ctor and
46
- call.getEnclosingCallable() = f and
47
pred = ctor and
48
- succ = call
+ succ.(CallExprBase).getEnclosingCallable() = f
49
)
50
or
51
// transitive edge (call to call)
0 commit comments