Attributes . safety analyzer . Names