The checker has been integrated into the Artemis-ARC system.

• 该检查器已应用于面向体系结构的服务集成开发平台Artemis-ARC系统中。