Combining dynamic and static slicing for analysing assembler