mark the implements of a module as being alive

erik-krogh · erik-krogh · commit e557f233d710 · 2022-06-16T23:03:06.000+02:00
diff --git a/ql/ql/src/codeql_ql/style/DeadCodeQuery.qll b/ql/ql/src/codeql_ql/style/DeadCodeQuery.qll
@@ -167,6 +167,9 @@ private AstNode aliveStep(AstNode prev) {
   or
   // a module parameter is alive is the module is alive
   prev.(Module).hasParameter(_, _, result)
+  or
+  // the implements of a module
+  result = prev.(Module).getImplements(_)
 }
 
 private AstNode deprecated() {

Original file line number	Diff line number	Diff line change
`@@ -167,6 +167,9 @@ private AstNode aliveStep(AstNode prev) {`
`167`	`167`	`or`
`168`	`168`	`// a module parameter is alive is the module is alive`
`169`	`169`	`prev.(Module).hasParameter(_, _, result)`
	`170`	`+ or`
	`171`	`+ // the implements of a module`
	`172`	`+ result = prev.(Module).getImplements(_)`
`170`	`173`	`}`
`171`	`174`
`172`	`175`	`private AstNode deprecated() {`