Enforcing security and safety models with an information flow analysis tool