clara:Clara（运行时分析的编译时近似）

克拉拉 Clara (CompiLe-time Approximation of Runtime Analyses) 是一个用于实现混合类型状态分析的研究框架，它使用静态分析来部分评估类型状态属性的运行时监视器。 Clara 的主要设计目标是将高效运行时监视器的代码生成与将这些监视器转换为更快的剩余监视器的静态分析分离。 Clara 与作为 AspectJ 方面实现的任何运行时监视器兼容。 此外，研究人员可以轻松实施静态分析，然后自动优化这些监视器中的任何一个。 Clara 建立在之上，它使用来自 、 、 和其他开源项目的技术。 上的更多信息。