Unleashing D* on Android Kernel Drivers by Aravind Machiry

First, we present DR.CHECKER, which is able to overcome many of the inherent limitations of static analysis by scoping our analysis to only the most bug-prone parts of the kernel (i.e., the drivers), and by only sacrificing soundness in very few cases to ensure that our the technique is both scalable and precise.

Thanks for watching this video and you can join us on various social networking sites. Website: http://nullcon.net/website/ …