JS: Fix conflicting default for visbleImplInCallContext

This commit is contained in:
Asger F
2024-03-13 15:17:08 +01:00
parent bb1f729a3f
commit e5bc8db2f0

View File

@@ -12,6 +12,8 @@ module JSDataFlow implements SharedDataFlow::InputSig {
predicate neverSkipInPathGraph = Private::neverSkipInPathGraph/1;
predicate accessPathLimit = Private::accessPathLimit/0;
predicate viableImplInCallContext = Private::viableImplInCallContext/2;
}
module JSTaintFlow implements SharedTaintTracking::InputSig<JSDataFlow> {