分组密码路线的自动化搜索及SM4、SPECK线性分析