提供用于抗攻击的遍及应用的相依性网络的系统和方法

摘要

提供了一种用来自动地将相依性从软件应用的一部分传播到另一个以前不相关的部分的方法和系统。到程序的其它部分的基本代码功能和数据的传播用来用混合布尔算术（MBA）公式增大普通算术函数，所述混合布尔算术（MBA）公式被绑定到程序的先前存在的部分。首先在编译级上分析软件应用以确定在程序中保持的程序属性。此后，基于这些属性构造条件，并在公式中对这些条件进行编码，所述公式以数据和运算对该条件进行编码。因此创建遍及应用的真实相依性，使得如果相依性被破坏，则程序将不再正确地运行。