Predicate TaintTracking::TaintFlowImplementation::module_attribute_tainted

predicate module_attribute_tainted(ModuleValue m, string name, TaintedNode origin)