基于双重不透明谓词对抗符号执行攻击的方法和系统

本发明公开基于双重不透明谓词对抗符号执行攻击的方法和系统，该方法包括：步骤一：构建前馈神经网络，所述前馈神经网络包括输入层、多个隐藏层和输出层；步骤二：构建形式化线性改造的离散对数问题；步骤三：设置双重不透明谓词方案，根据双重不透明谓词方案将前馈神经网络和形式化线性改造的离散对数问题插入到目标程序中。本发明通过结合前馈神经网络的不解释性和离散对数问题的计算复杂性，构建出多层次的路径判断条件，使符号执行工具在解析过程中面临极高的计算成本和复杂性，有效提高了对于符号执行攻击的防护效果。