(BIN) codeql.hpi