Carnegie Mellon Log Based Dynamic Binary Analysis for Detecting Device Driver Defects Olatunji...
-
Upload
gloria-dean -
Category
Documents
-
view
231 -
download
0
description
Carnegie Mellon Program Monitoring Using Lifeguards Lifeguards: dynamic correctness checking tools Dynamic binary analysis to work on unmodified binaries Instruction grained analysis to catch subtle bugs Versatility to catch broad range of bugs Memory [Nethercote07 ] Security [Newsome05, Castro05] Concurrency [Savage97, Yu05, Flanagan09] Multilingual program interface [Lee10] 1/27/2016 Log Based Dynamic Binary Analysis for Detecting Device Driver Defects 3 program Lifeguard … eax = X edx = eax Y = edx + 1 jmp ecx … Can Lifeguards be used to catch Driver Bugs ?