Move to separate folder

This commit is contained in:
Joe Farebrother
2025-03-31 14:33:55 +01:00
parent 5b7200a041
commit 11830bf661
4 changed files with 8 additions and 0 deletions

View File

@@ -52,6 +52,14 @@ module EscapingCaptureFlowSig implements DataFlow::ConfigSig {
predicate isBarrierOut(DataFlow::Node node) { isSink(node) }
predicate isBarrier(DataFlow::Node node) {
// Incorrect virtual dispatch to __call__ methods is a source of FPs.
exists(Function call |
call.getName() = "__call__" and
call.getArg(0) = node.(DataFlow::ParameterNode).getParameter()
)
}
predicate allowImplicitRead(DataFlow::Node node, DataFlow::ContentSet cs) {
isSink(node) and
exists(cs)