A highly automated binary software vulnerability risk evaluation method for off-by-one stack based buffer overflow | IEEE Conference Publication | IEEE Xplore