Nullcon Goa 2018:- Unleashing D* on Android Kernel Drivers
About this talk
This talk, presented by Aravind Machiry, explores DR.CHECKER, a tool designed to enhance the static analysis of Android kernel drivers. The speaker details how DR.CHECKER addresses the limitations of traditional static analysis by focusing only on the drivers, which are often the most susceptible to bugs. By making minimal sacrifices in soundness, this innovative technique offers a balance of scalability and precision, providing valuable insights into improving kernel driver reliability.
More from this event
See all 30 talks →
Nullcon Goa 2018:- The complexity of regulation & cybersecurity
1:05:29
Nullcon Goa 2018:- Economics of Hacks & Data Breaches
45:06
Nullcon Goa 2018:- Should all CISO promote Hall of Fame within their organizations?
44:55
Nullcon Goa 2018:- Lateral thinking - Staying ahead of the curve
59:37