-
题名神经网络化简非多项式混合布尔算术表达式
被引量：1
- 1
-
-
作者
刘彬彬
凤维杰
郑启龙
李京
-
机构
中国科学技术大学计算机科学与技术学院
中国科学技术大学安徽省高性能计算重点实验室
-
出处
《小型微型计算机系统》
CSCD
北大核心
2023年第3期449-455,共7页
-
基金
国家核高基重大专项项目(2012ZX01034-001-001)资助。
-
文摘
混合布尔算术表达式是指混合使用了位运算符和算术运算符的表达式,其是一种先进的软件混淆技术.现有的反混淆方法虽然能够化简特定类型的混合布尔算术表达式,但是对非多项式混合布尔算术表达式仅有有限的化简效果.本文提出一种字符串到字符串的解决方案NeuSim,它通过神经网络来学习和化解非多项式混合布尔算术表达式.首先,本文分别构建基于序列到序列架构和图序列架构的神经网络模型.其次,本文生成一个大规模的非多项式混合布尔算术表达式数据集,它包含一百万个形式多样的表达式样本.在数据集上训练之后,NeuSim可以将一个非多项式混合布尔算术表达式化简为等价的简单表达式.实验结果表明,NeuSim的化简正确率是已有方法的8倍,并且其化简时间低于0.01秒.
-
关键词
混合布尔算术表达式
表达式化简
序列到序列神经网络
图序列神经网络
-
Keywords
Mixed Boolean-Arithmetic expression
expression simplification
sequence-to-sequence neural network
graph-to-sequence neural network
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
