mirrors/EWF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

check that cookies data is valid string 8 to follow assertions.

Browse Source
This commit is contained in:
Jocelyn FIAT
2014-05-14 09:53:04 +02:00
parent d158579bdc
commit bb11c24681
1 changed files with 29 additions and 27 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
library/server/wsf/src/wsf_request.e
View File

@@ -1262,13 +1262,16 @@ feature {NONE} -- Cookies
local local
i,j,p,n: INTEGER i,j,p,n: INTEGER
l_cookies: like internal_cookies_table l_cookies: like internal_cookies_table
s32: READABLE_STRING_32
k,v,s: STRING k,v,s: STRING
do do
l_cookies := internal_cookies_table l_cookies := internal_cookies_table
if l_cookies = Void then if l_cookies = Void then
create l_cookies.make_equal (0)
if attached {WSF_STRING} meta_variable ({WSF_META_NAMES}.http_cookie) as val then if attached {WSF_STRING} meta_variable ({WSF_META_NAMES}.http_cookie) as val then
s := val.value s32 := val.value
create l_cookies.make_equal (5) if s32.is_valid_as_string_8 then
s := s32.to_string_8
from from
n := s.count n := s.count
p := 1 p := 1
@@ -1295,8 +1298,7 @@ feature {NONE} -- Cookies
add_value_to_table (k, v, l_cookies) add_value_to_table (k, v, l_cookies)
end end
end end
else end
create l_cookies.make_equal (0)
end end
internal_cookies_table := l_cookies internal_cookies_table := l_cookies
end end
@@ -2065,7 +2067,7 @@ invariant
wgi_request.content_type /= Void implies content_type /= Void wgi_request.content_type /= Void implies content_type /= Void
note note
copyright: "2011-2013, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Colin Adams, Eiffel Software and others" copyright: "2011-2014, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Colin Adams, Eiffel Software and others"
license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
source: "[ source: "[
Eiffel Software Eiffel Software