Update the Taint Analyser code