Enhancement of the semisymbolic analysis precision using the variable-length arithmetic | IEEE Conference Publication | IEEE Xplore