Brakeman: A static analysis security vulnerability scanner for Ruby on Rails applications