Completed
$ Okay! Why is it hard to find these bugs?
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Unleashing D* on Android Kernel Drivers
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 $ Android is everywhere!!
- 3 $ Bugs in Android (First Half of 2017)..
- 4 $ Okay! Why is it hard to find these bugs?
- 5 $ Static Analysis: Existing tools
- 6 $ Ideal Static analysis tool
- 7 $ Tracking user data: pointer analysis
- 8 $ Kernel drivers are small!!
- 9 $ DR.CHECKER: Story of the name
- 10 $ DR.CHECKER Overview
- 11 $ DR.CHECKER: SDTraversal
- 12 $ DR.CHECKER: Vulnerability Detectors
- 13 $ DR.CHECKER: Bue in Mediatek Accdet driver
- 14 $ DR.CHECKER: Bug in Samsung SensorHub drive
- 15 $ DR.CHECKER: Open Source and Dockerized
- 16 $ DR.CHECKER is not enough!!
- 17 $ Dynanic Analysis: Fuzzing!!
- 18 $ Fuzzing: Good Luck!!
- 19 $ Fuzzing: Highly constrained input
- 20 $ Drivers Expect Highly structured input
- 21 $ Bugs are hard to trigeer
- 22 $ DIFUZE: Idea
- 23 $ DIFUZE: Overview
- 24 $ DIFUZE: Interface Recovery
- 25 $ DIFUZE: Structure Generation
- 26 $ DIFUZE: On Device Execution
- 27 $ DIFUZE: Evaluation
- 28 $ DIFUZE: Bug Types
- 29 $ DIFUZE: Open Source
- 30 $ In Progress: drchecker.io
- 31 $ Tracking user data: Taint Propagation
