Precise And Efficient Dynamic Analysis Of Systems Software