我们介绍了智能甲骨文，这是一种动态不变式检测器,它可以自动生成细粒度不变式作为应用特定的预言机用于漏洞

我们介绍了智能甲骨文，这是一种动态不变式检测器,它可以自动生成细粒度不变式作为应用特定的预言机用于漏洞