experimental/Security/CWE/CWE-078/ExecTainted.ql