+ All Categories
Home > Documents > Carnegie Mellon Log Based Dynamic Binary Analysis for Detecting Device Driver Defects Olatunji...

Carnegie Mellon Log Based Dynamic Binary Analysis for Detecting Device Driver Defects Olatunji...

Date post: 17-Jan-2018
Category:
Upload: gloria-dean
View: 228 times
Download: 0 times
Share this document with a friend
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 ?

If you can't read please download the document

Recommended