CodeQL library for Python
codeql/python-all 0.6.4 (changelog, source)
Search

Predicate TarSlip::tarFileInfoSanitizer

Holds if g clears taint for tarInfo.

The test if <check_path>(info.name) should clear taint for info, where <check_path> is any function matching "%path". info is assumed to be a TarInfo instance.

Import path

import semmle.python.security.dataflow.TarSlipCustomizations
predicate tarFileInfoSanitizer(GuardNode g, ControlFlowNode tarInfo, boolean branch)