SAFER

adj. secure; guarded, protected; careful, cautious; unharmed; involving low risk or harm or loss

This article is about the encryption algorithm. For other uses of the acronym, see SAFER (disambiguation). In cryptography, SAFER (Secure And Fast Encryption Routine) is the name of a family of block ciphers designed primarily by James Massey (one of the designers of IDEA) on behalf of Cylink Corporation. The early SAFER K and SAFER SK designs share the same encryption function, but differ in the number of rounds and the key schedule. More recent versions — SAFER+ and SAFER++ — were submitted as candidates to the  AES process and the NESSIE project respectively. All of the algorithms in the SAFER family are unpatented and available for unrestricted use.
See more at Wikipedia.org...

Noun
1. strongbox where valuables can be kept safe
(hypernym) strongbox, deedbox
2. a ventilated or refrigerated cupboard for securing provisions from pests
(hypernym) cupboard, closet
(hyponym) meat safe
3. contraceptive device consisting of a thin rubber or latex sheath worn over the penis during intercourse
(synonym) condom, rubber, safety, prophylactic
(hypernym) contraceptive, preventive, preventative, contraceptive device, prophylactic device, birth control device
Adjective
1. free from danger or the risk of harm; "a safe trip"; "you will be safe here"; "a safe place"; "a safe bet"
(antonym) dangerous, unsafe
(similar) fail-safe
(see-also) harmless
2. of an undertaking
(similar) unadventurous
3. having reached a base without being put out; "the runner was called safe when the baseman dropped the ball"
(synonym) safe(p)
(antonym) out(p), retired
(classification) baseball, baseball game, ball
4. financially sound; "a good investment"; "a secure investment"
(synonym) dependable, good, secure
(similar) sound
5. in safekeeping; "your secret is safe with me"
(similar) secure

organization with the right to buy land in order to retain it for agricultural use

A safe program analysis is one which will not reach invalid conclusions about the behaviour of the program. This may involve making safe approximations to properties of parts of the program. A safe approximation is one which gives less information.
For example, strictness analysis aims to answer the question "will this function evaluate its argument"?. The two possible results are "definitely" and "don't know". A safe approximation for "definitely" is "don't know". The two possible results correspond to the two sets: "the set of all functions which evaluate their argument" and "all functions". A set can be safely approximated by another which contains it.