A precondition generalized minimization residual method based on GPU for static security analysis | IEEE Conference Publication | IEEE Xplore