The Method for Parallel Approach to Sensitive Point Based on Dynamic Symbolic Execution.