The most dangerous code in the browser
Verified Security for Browser Extensions