Bug Hunting with Static Code Analysis