Protection in this system is provided by a set of rules called invariants that are verified by static program analysis.
システムの保護は、不変条件と呼ばれる一連の規則が提供し、それらは静的コード解析で検証される。