Skip to content

Commit a732b36

Browse files
Update java/ql/src/experimental/quantum/Analysis/ArtifactReuse.qll
Co-authored-by: Anders Schack-Mulligen <[email protected]>
1 parent 77113b2 commit a732b36

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

java/ql/src/experimental/quantum/Analysis/ArtifactReuse.qll

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,6 @@ private module WrapperConfig implements DataFlow::ConfigSig {
1515
// if I know the source, otherwise, it has to be through an additional flow step, which
1616
// we filter as a source, i.e., references are only allowed as sources only,
1717
// no inferrece? Not sure if that would work
18-
//or
19-
// source.(DataFlow::PostUpdateNode).getPreUpdateNode().asExpr() = c.getAnArgument()
2018
// Filter out sources that are known additional flow steps, as these are likely not the
2119
// kind of wrapper source we are looking for.
2220
not exists(AdditionalFlowInputStep s | s.getOutput() = source)

0 commit comments

Comments
 (0)