Type-safety

Type safety refers to when static analysis is used to check for type errors within code.