Generating Vulnerability Signatures for String Manipulating Programs Using Automata-Based Forward and Backward Symbolic Analyses | IEEE Conference Publication | IEEE Xplore