Files
codeql/csharp/ql/test/library-tests/cil/dataflow/ControlFlow.ql

7 lines
162 B
Plaintext

import csharp
query predicate deadCode(MethodCall c) {
c.getTarget().getName() = "DeadCode" and
not exists(ControlFlow::Node node | node.getElement() = c)
}