Static analysis tools are good at finding defects like memory corruption code flaws that attackers can sometimes use to take over a device.

FORBES: Google's Android Operating System Is Surprisingly Bug-Free