SIFA - Secure Information Flow Analyser

SIFA has moved to Sourceforge now, and can be found here.