Static analyzer for JavaScript aiming for security bugs.