A comparative study on software vulnerability static analysis techniques and tools | IEEE Conference Publication | IEEE Xplore