Analysing Information Flow Properties in Assembly Code by Abstract Interpretation