зеркало из https://github.com/github/codeql.git
Merge pull request #841 from asger-semmle/private-higher-order-call
Approved by esben-semmle
This commit is contained in:
Коммит
24c8a47bb1
|
@ -708,7 +708,7 @@ private predicate summarizedHigherOrderCall(
|
|||
* - The flow label mapping of the summary corresponds to the transformation from `arg` to the
|
||||
* invocation of the callback.
|
||||
*/
|
||||
predicate higherOrderCall(
|
||||
private predicate higherOrderCall(
|
||||
DataFlow::Node arg, DataFlow::SourceNode callback, int i, DataFlow::Configuration cfg,
|
||||
PathSummary summary
|
||||
) {
|
||||
|
|
Загрузка…
Ссылка в новой задаче