queries/security/cwe-134/TaintedFormatString.ql