Did you know ... Search Documentation:
Predicate verify_safe_declaration/1
 verify_safe_declaration(+Decl)[private]
See whether a safe declaration makes sense. That is, the predicate must be defined (such that the attacker cannot define the predicate), must be sufficiently instantiated and only ISO declared predicates may omit a module qualification.
To be done
- Verify safe_meta/2 declarations. It is a bit less clear what the rules are.