csharp_edge_example.ql

/**
 * @kind path-problem
 */

import csharp

class StartMethod extends Getter {
StartMethod() { getName() = "get_Name" }
}

class TargetMethod extends Method {
TargetMethod() { getName() = "Deserialize" }
}

query predicate edges(Callable a, Callable b) { a.calls(b) }

from TargetMethod end, StartMethod entryPoint
where edges+(entryPoint, end)
select entryPoint, end, entryPoint, "Found a path from start to target."