Software Vulnerability Detection Using Backward Trace Analysis and Symbolic Execution.