Class: Brakeman::CheckRedirect
- Inherits:
-
BaseCheck
- Object
- SexpProcessor
- BaseCheck
- Brakeman::CheckRedirect
- Defined in:
- lib/brakeman/checks/check_redirect.rb
Overview
Reports any calls to redirect_to
which include parameters in the arguments.
For example:
redirect_to params.merge(:action => :elsewhere)
Constant Summary
Constants inherited from BaseCheck
Constants included from Util
Util::ALL_PARAMETERS, Util::COOKIES, Util::PARAMETERS, Util::PATH_PARAMETERS, Util::QUERY_PARAMETERS, Util::REQUEST_ENV, Util::REQUEST_PARAMETERS, Util::REQUEST_PARAMS, Util::SESSION
Constants inherited from SexpProcessor
Instance Attribute Summary
Attributes inherited from BaseCheck
Attributes inherited from SexpProcessor
Instance Method Summary collapse
-
#association?(model_name, meth) ⇒ Boolean
Check if method is actually an association in a Model.
-
#check_url_for(call) ⇒ Object
url_for
is only_path => true by default. -
#decorated_model?(exp) ⇒ Boolean
Returns true if exp is (probably) a decorated model instance using the Draper gem.
-
#include_user_input?(call, immediate = :immediate) ⇒ Boolean
Custom check for user input.
-
#model_instance?(exp) ⇒ Boolean
Returns true if exp is (probably) a model instance.
-
#only_path?(call) ⇒ Boolean
Checks
redirect_to
arguments for only_path => true which essentially nullifies the danger posed by redirecting with user input. - #process_result(result) ⇒ Object
- #run_check ⇒ Object
Methods inherited from BaseCheck
#add_result, #initialize, #process_call, #process_cookies, #process_default, #process_if, #process_params
Methods included from Util
#array?, #call?, #camelize, #contains_class?, #context_for, #cookies?, #false?, #file_by_name, #file_for, #hash?, #hash_access, #hash_insert, #hash_iterate, #integer?, #node_type?, #number?, #params?, #pluralize, #regexp?, #request_env?, #request_value?, #result?, #set_env_defaults, #sexp?, #string?, #symbol?, #table_to_csv, #true?, #truncate_table, #underscore
Methods included from ProcessorHelper
#class_name, #process_all, #process_module
Methods inherited from SexpProcessor
#error_handler, #in_context, #initialize, #process, #process_dummy, #scope
Constructor Details
This class inherits a constructor from Brakeman::BaseCheck
Instance Method Details
#association?(model_name, meth) ⇒ Boolean
Check if method is actually an association in a Model
155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 |
# File 'lib/brakeman/checks/check_redirect.rb', line 155 def association? model_name, meth if call? model_name return association? model_name.target, meth elsif model_name? model_name model = tracker.models[class_name(model_name)] else return false end return false unless model model[:associations].each do |name, args| args.each do |arg| if symbol? arg and arg.value == meth return true end end end false end |
#check_url_for(call) ⇒ Object
url_for
is only_path => true by default. This checks to see if it is set to false for some reason.
113 114 115 116 117 118 119 120 121 122 123 |
# File 'lib/brakeman/checks/check_redirect.rb', line 113 def check_url_for call arg = call.first_arg if hash? arg if value = hash_access(arg, :only_path) return false if false?(value) end end true end |
#decorated_model?(exp) ⇒ Boolean
Returns true if exp is (probably) a decorated model instance using the Draper gem
141 142 143 144 145 146 147 148 149 150 151 152 |
# File 'lib/brakeman/checks/check_redirect.rb', line 141 def decorated_model? exp if node_type? exp, :or decorated_model? exp.lhs or decorated_model? exp.rhs else tracker.config[:gems] and tracker.config[:gems][:draper] and call? exp and node_type?(exp.target, :const) and exp.target.value.to_s.match(/Decorator$/) and exp.method == :decorate end end |
#include_user_input?(call, immediate = :immediate) ⇒ Boolean
Custom check for user input. First looks to see if the user input is being output directly. This is necessary because of tracker.options which can be used to enable/disable reporting output of method calls which use user input as arguments.
56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 |
# File 'lib/brakeman/checks/check_redirect.rb', line 56 def include_user_input? call, immediate = :immediate Brakeman.debug "Checking if call includes user input" arg = call.first_arg # if the first argument is an array, rails assumes you are building a # polymorphic route, which will never jump off-host return false if array? arg if tracker.[:ignore_redirect_to_model] if model_instance?(arg) or decorated_model?(arg) return false end end if res = has_immediate_model?(arg) return Match.new(immediate, res) elsif call? arg if request_value? arg return Match.new(immediate, arg) elsif request_value? arg[1] return Match.new(immediate, arg[1]) elsif arg[2] == :url_for and include_user_input? arg return Match.new(immediate, arg) #Ignore helpers like some_model_url? elsif arg[2].to_s =~ /_(url|path)\z/ return false end elsif request_value? arg return Match.new(immediate, arg) end if tracker.[:check_arguments] and call? arg include_user_input? arg, false #I'm doubting if this is really necessary... else false end end |
#model_instance?(exp) ⇒ Boolean
Returns true if exp is (probably) a model instance
126 127 128 129 130 131 132 133 134 135 136 137 |
# File 'lib/brakeman/checks/check_redirect.rb', line 126 def model_instance? exp if node_type? exp, :or model_instance? exp.lhs or model_instance? exp.rhs elsif call? exp if model_name? exp.target and (@model_find_calls.include? exp.method or exp.method.to_s.match(/^find_by_/)) true else association?(exp.target, exp.method) end end end |
#only_path?(call) ⇒ Boolean
Checks redirect_to
arguments for only_path => true which essentially nullifies the danger posed by redirecting with user input
97 98 99 100 101 102 103 104 105 106 107 108 109 |
# File 'lib/brakeman/checks/check_redirect.rb', line 97 def only_path? call arg = call.first_arg if hash? arg if value = hash_access(arg, :only_path) return true if true?(value) end elsif call? arg and arg.method == :url_for return check_url_for(arg) end false end |
#process_result(result) ⇒ Object
27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 |
# File 'lib/brakeman/checks/check_redirect.rb', line 27 def process_result result return if duplicate? result call = result[:call] method = call.method if method == :redirect_to and not only_path?(call) and res = include_user_input?(call) add_result result if res.type == :immediate confidence = CONFIDENCE[:high] else confidence = CONFIDENCE[:low] end warn :result => result, :warning_type => "Redirect", :message => "Possible unprotected redirect", :code => call, :user_input => res.match, :confidence => confidence end end |
#run_check ⇒ Object
13 14 15 16 17 18 19 20 21 22 23 24 25 |
# File 'lib/brakeman/checks/check_redirect.rb', line 13 def run_check Brakeman.debug "Finding calls to redirect_to()" @model_find_calls = Set[:all, :find, :find_by_sql, :first, :last, :new] if tracker.[:rails3] @model_find_calls.merge [:from, :group, :having, :joins, :lock, :order, :reorder, :select, :where] end @tracker.find_call(:target => false, :method => :redirect_to).each do |res| process_result res end end |