Abstract: We have implemented an information flow framework ... paths of execution while enforcing the policy currently in place. Our framework doesn't require access to source code and is fully ...