update CheckMarx for #9