自動推論關係物件不變量

本文提出了一種名為 MRUD 的新技術，用於在抽象解譯框架下自動推論物件不變量，以提高程式分析的精確度和可擴展性。