Text this: Security protocol code analysis method combining model learning and symbolic execution