Secure Information Flow by Symbolic Pathfinder