Files
codeql/csharp/ql/test/library-tests/standalone/controlflow/cfg.ql
2021-12-06 14:09:17 +01:00

17 lines
453 B
Plaintext

import csharp
/**
* A method call where the target is unknown.
* The purpose of this is to ensure that all MethodCall expressions
* have a valid `toString()`.
*/
class UnknownCall extends Call {
UnknownCall() { not exists(this.getTarget()) }
override string toString() { result = "Call (unknown target)" }
}
query predicate edges(ControlFlow::Node n1, ControlFlow::Node n2) {
not n1.getElement().fromLibrary() and n2 = n1.getASuccessor()
}