bigger checkmarx