Towards designing an extendable vulnerability detection method for executable codes - doi 10.1016/j.infsof.2016.09.004 2016-12 Article type Journal