Files
codeql/python/ql/test/library-tests/taint/general/ModuleAttribute.ql
2020-03-30 11:59:10 +02:00

8 lines
312 B
Plaintext

import python
import semmle.python.dataflow.Implementation
import TaintLib
from ModuleValue m, string name, TaintedNode origin, TaintTrackingImplementation impl
where impl.moduleAttributeTainted(m, name, origin)
select m.toString(), name, origin.toString(), origin.getContext(), origin.getLocation().toString()