A Posteriori Taint tracking for Demonstrating Non interference in Expressive Low level Languages