experimental/Security/CWE-074/OutputClobberingHigh.ql