mirror of
https://github.com/github/codeql.git
synced 2025-12-20 02:44:30 +01:00
11 lines
344 B
Plaintext
11 lines
344 B
Plaintext
import python
|
|
import CallGraphTest
|
|
|
|
query predicate expectedCallEdgeNotFound(Call call, Function callable) {
|
|
any(PointsToResolver r).expectedCallEdgeNotFound(call, callable)
|
|
}
|
|
|
|
query predicate unexpectedCallEdgeFound(Call call, Function callable, string message) {
|
|
any(PointsToResolver r).unexpectedCallEdgeFound(call, callable, message)
|
|
}
|