角色系统非常棒！

我们提出了一种新的角色系统，用于指定堆对象的动态引用关系。对象的角色在很大程度上取决于其与其他对象的别名关系，每个对象的角色随着其别名关系的改变而改变。因此，角色捕获了重要的对象和数据结构属性，并提供了有关程序操作如何与这些属性交互的有用信息。我们的角色系统使程序员能够指定合法的别名关系，这些关系定义了对象可以扮演的角色集合、过程参数和对象字段的角色，以及过程在操作对象时执行的角色变更。我们提出了一种过程间、可组合且上下文敏感的角色分析算法，用于验证程序是否遵守角色约束。