首先，构造了ARX分组密码差分特征及线性掩码的传播方程；然后，利用SAT求解器求解传播方程并且判定该传播系统是否为有效传播；最后，遍历差分特征及线性掩码自动化搜索不可能差分及零相关线性闭包。利用该算法搜索TEA、XTEA和SIMON的不可能差分与零相关线性闭包，并得到TEA、XTEA及SIMON 族分组密码的最优不可能差分与零相关线性闭包。此外，利用差分以及线性分布表，该算法能有效搜索基于S盒分组密码的不可能差分及零相关线性闭包。