用于硬件控制流施行的控制流传递的基于包的验证的方法和设备

摘要

所公开的是用于硬件控制流施行的控制流传递的基于包的验证的方法和设备。所述方法和设备通过用于实施跳转的源包的第一标识符的确定实现控制流验证，其中所述确定是基于使用所述源包自身内的内容的计算的。类似地，第二标识符是基于使用所述源包所指向的目标包的内容的计算确定用于所述目标包的。所述标识符可以是基于所述包内容预先确定的，并且还可以涉及无运算指令的插入以确保基于所述包内容的计算产生所期望的标识符。随后可对所述标识符进行比较以确定它们是否匹配或兼容，并且如果它们不兼容，那么可以检测到无效控制流。