An Accurate Stack Memory Abstraction and Symbolic Analysis Framework for Executables | IEEE Conference Publication | IEEE Xplore