Fix variable name (`source` should be `sink`)

This commit is contained in:
Owen Mansel-Chan 2022-11-30 10:51:59 +00:00
Родитель ab276fc5d8
Коммит ce8a20cfd1
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 67E427E02E6DA1B8
1 изменённых файлов: 1 добавлений и 1 удалений

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

@ -70,7 +70,7 @@ abstract class Configuration extends string {
/**
* Holds if `sink` is a relevant data flow sink accepting `state`.
*/
predicate isSink(Node source, FlowState state) { none() }
predicate isSink(Node sink, FlowState state) { none() }
/**
* Holds if data flow through `node` is prohibited. This completely removes