This commit is contained in:
Asger Feldthaus 2020-02-24 11:46:42 +00:00
Родитель 066549f682
Коммит ffeda7f45a
1 изменённых файлов: 2 добавлений и 1 удалений

Просмотреть файл

@ -27,7 +27,8 @@ private import DataFlow
* *
* There are edges from calls to their callees, * There are edges from calls to their callees,
* and from functions to their contained calls and in some cases * and from functions to their contained calls and in some cases
* their inner functions. * their inner functions to model functions invoked indirectly
* by being passed to another call.
*/ */
predicate callEdge(Node pred, Node succ) { predicate callEdge(Node pred, Node succ) {
exists(InvokeNode invoke, Function f | exists(InvokeNode invoke, Function f |