一种基于污点追踪的RISCV处理器瞬态执行漏洞检测的模糊测试方法

本发明公开了一种基于污点追踪的RISCV处理器瞬态执行漏洞检测的模糊测试方法，污点传播技术，对于不同的RTL部件生成不同功能的污点传输单元。通过有针对性地重新设计污点传播单元，提高污点传播的精度，降低假阳性、假阴性等问题。通过考虑差分执行存在的数据差异，对污点传输进行过滤，降低污点传播的假阳性问题；污点有效性单元，根据RTL语义，用表示数据有效性的RTL信号表示插桩生成的污点传播单元的污点有效性，使污点仅在对应数据有效时才会对应有效。有效过滤无效数据对应的污点，降低污点传播的假阳性，处理器差分执行单元仿真使得污点追踪网络可以同时接受来自两个RISCV处理器电路的执行结果。