BIN checkmarx.hpi