Improving Device Driver Reliability through Decoupled Dynamic Binary Analyses