angler-fishThe Vulnerability History Project

CVE-2015-1240

There was a vulnerability which allowed remote attackers to cause a denial of service (out-of-bounds read) via a crafted WebGL program that triggers a state inconsistency. In other words, any attacker writing a WebGL program who is aware of this bug may force an integer out-of-bounds read which may halt or break the WebGL operation.


The largest mistakes that led to this vulnerability were all problems with validating parameters before and after executing functions in WebGL programs. This was a case of improper restriction of operations within the bounds of a memory buffer. This, overall, was simply an oversight by a developer who did not consider this at first, and the issue was left unknown until a hacker discovered the issue. In the end, when they put in validation measures in order to avoid out-of-bounds errors, the case was considered solved and I do believe that this solution has held up over time and has not been an issue since this.
  • Vulnerability-Contributing Commit
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
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
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
CVE: CVE-2015-1240
CWE:
- 20
- 119
bugs:
- 463599
repo: 
vccs:
- note: 
  commit: 
fixes:
- note: ''
  commit: ac89bdd636a4a6d8f15415e69b40e546cb020567
- note: ''
  commit: 44ad5ecc3abf8f31d7e55a9ece5cea30a710fd77
bounty:
  date: '2015-04-14 13:41:00.000000000 -04:00'
  amount: 1000.0
  references:
  - http://chromereleases.googleblog.com/2015/04/stable-channel-update_14.html
lessons:
  yagni:
    note: 
    applies: false
  question: |
    Are there any common lessons we have learned from class that apply to this
    vulnerability? In other words, could this vulnerability serve as an example
    of one of those lessons?

    Leave "applies" blank or put false if you did not see that lesson (you do
    not need to put a reason). Put "true" if you feel the lesson applies and put
    a quick explanation of how it applies.

    Don't feel the need to claim that ALL of these apply, but it's pretty likely
    that one or two of them apply.

    If you think of another lesson we covered in class that applies here, feel
    free to give it a small name and add one in the same format as these.
  serial_killer:
    note: 
    applies: false
  complex_inputs:
    note: 
    applies: false
  distrust_input:
    note: |
      This vulnerability stemmed from trusting all of WebGL input in a specific
      overlooked case, and the fix was to simply distrust the input and validation
      to the parameters that WebGL would be reading prior and after handling
      the operations.
    applies: true
  least_privilege:
    note: 
    applies: false
  native_wrappers:
    note: 
    applies: false
  defense_in_depth:
    note: 
    applies: false
  secure_by_default:
    note: 
    applies: false
  environment_variables:
    note: 
    applies: false
  security_by_obscurity:
    note: 
    applies: false
  frameworks_are_optional:
    note: 
    applies: false
reviews:
- 987123003
- 978193003
- 1039423002
- 1035333002
upvotes: 
mistakes:
  answer: |
    The largest mistakes that led to this vulnerability were all problems with
    validating parameters before and after executing functions in WebGL programs.
    This was a case of improper restriction of operations within the bounds of a
    memory buffer. This, overall, was simply an oversight by a developer who did
    not consider this at first, and the issue was left unknown until a hacker
    discovered the issue. In the end, when they put in validation measures in
    order to avoid out-of-bounds errors, the case was considered solved and I do
    believe that this solution has held up over time and has not been an issue
    since this.
  question: |
    In your opinion, after all of this research, what mistakes were made that
    led to this vulnerability? Coding mistakes? Design mistakes?
    Maintainability? Requirements? Miscommunications?

    Look at the CWE entry for this vulnerability and examine the mitigations
    they have written there. Are they doing those? Does the fix look proper?

    Use those questions to inspire your answer. Don't feel obligated to answer
    every one. Write a thoughtful entry here that those ing the software
    engineering industry would find interesting.
announced: '2015-04-19 06:59:04.837000000 -04:00'
subsystem:
  name:
  - blink
  - webgl
  answer: gpu
  question: |
    What subsystems was the mistake in?

    Look at the path of the source code files code that were fixed to get
    directory names. Look at comments in the code. Look at the bug reports how
    the bug report was tagged. Examples: "clipboard", "gpu", "ssl", "speech", "renderer"
discovered:
  date: '2015-03-03'
  answer: |
    Zhenyao Mo created an issue regarding this bug when a user running Chromium
    with --no-sandbox and executing WebGL functions that triggered an
    out-of-bounds error that was not handled properly. He ran an address
    sanitizer and found numerous errors which he submitted for review and
    eventually the chromium team utilizezd ClusterFuzz to analyze his test case.
    When they determined that the crash state was being reached due to unhandled
    exceptions in the WebGL code, they quickly added validation to the code.
  google: false
  contest: false
  question: |
    How was this vulnerability discovered?

    Go to the bug report and read the conversation to find out how this was
    originally found. Answer in longform below in "answer", fill in the date in
    YYYY-MM-DD, and then determine if the vulnerability was found by a Google
    employee (you can tell from their email address). If it's clear that the
    vulenrability was discovered by a contest, fill in the name there.

    The "automated" flag can be true, false, or nil.
    The "google" flag can be true, false, or nil.

    If there is no evidence as to how this vulnerability was found, then you may
    leave the entries blank except for "answer". Write down where you looked in "answer".
  automated: false
description: |
  There was a vulnerability which allowed remote attackers to cause a denial of
  service (out-of-bounds read) via a crafted WebGL program that triggers a state
  inconsistency. In other words, any attacker writing a WebGL program who is
  aware of this bug may force an integer out-of-bounds read which may halt or
  break the WebGL operation.
unit_tested:
  fix: true
  code: true
  answer: |
    It is unclear if automated unit tests were involved with this vulnerability,
    however, they were certainly involved in the detection and resolving of this
    vulnerability.
  change: |
    [Original Code]
    GLint* params) {
        *params = capabilities_.max_color_attachments;
        return true;
      case GL_MAX_COMBINED_FRAGMENT_UNIFORM_COMPONENTS:
       *params = capabilities_.max_combined_fragment_uniform_components;
        return true;
      case GL_MAX_COMBINED_UNIFORM_BLOCKS:
        *params = capabilities_.max_combined_uniform_blocks;
        return true;
      case GL_MAX_COMBINED_VERTEX_UNIFORM_COMPONENTS:
       *params = capabilities_.max_combined_vertex_uniform_components;
        return true;
      case GL_MAX_DRAW_BUFFERS:
        *params = capabilities_.max_draw_buffers;
        return true;
      case GL_MAX_ELEMENT_INDEX:
       *params = capabilities_.max_element_index;
        return true;
      case GL_MAX_ELEMENTS_INDICES:
        *params = capabilities_.max_elements_indices;
      }

    [Fixed Code]
    GLint* params) {
        *params = capabilities_.max_color_attachments;
        return true;
      case GL_MAX_COMBINED_FRAGMENT_UNIFORM_COMPONENTS:
       *params = static_cast<GLint>(
           capabilities_.max_combined_fragment_uniform_components);
        return true;
      case GL_MAX_COMBINED_UNIFORM_BLOCKS:
        *params = capabilities_.max_combined_uniform_blocks;
        return true;
      case GL_MAX_COMBINED_VERTEX_UNIFORM_COMPONENTS:
        *params = static_cast<GLint>(
           capabilities_.max_combined_vertex_uniform_components);
        return true;
      case GL_MAX_DRAW_BUFFERS:
        *params = capabilities_.max_draw_buffers;
        return true;
      case GL_MAX_ELEMENT_INDEX:
       *params = static_cast<GLint>(capabilities_.max_element_index);
        return true;
      case GL_MAX_ELEMENTS_INDICES:
        *params = capabilities_.max_elements_indices;"
      }
  question: |
    Were automated unit tests involved in this vulnerability?
    Was the original code unit tested, or not unit tested? Did the fix involve
    improving the automated tests?

    For the "code" answer below, look not only at the fix but the surrounding
    code near the fix and determine if and was there were unit tests involved
    for this module.

    For the "fix" answer below, check if the fix for the vulnerability involves
    adding or improving an automated test to ensure this doesn't happen again.
major_events:
  answer: |
    The ANGLE Project which began in 2010 could have been one of the reasons why
    this vulnerability occurred, as the Chromium developers layered WebGL's
    subset of OpenGL ES 2.0 API over the similar DirectX 9.0c API calls. This
    project enabled the browser to run WebGL content on Windows OS computers
    without relying on OpenGL drivers.
  events:
  - date: '2010-03-18'
    name: ANGLE Project
  - date: 
    name: 
  question: |
    Please record any major events you found in the history of this
    vulnerability. Was the code rewritten at some point? Was a nearby subsystem
    changed? Did the team change?

    The event doesn't need to be directly related to this vulnerability, rather,
    we want to capture what the development team was dealing with at the time.
curation_level: 1
CWE_instructions: |
  Please go to cwe.mitre.org and find the most specific, appropriate CWE entry
  that describes your vulnerability. (Tip: this may not be a good one to start
  with - spend time understanding this vulnerability before making your choice!)
bounty_instructions: |
  If you came across any indications that a bounty was paid out for this
  vulnerability, fill it out here. Or correct it if the information already here
  was wrong. Otherwise, leave it blank.
interesting_commits:
  answer: 
  commits:
  - note: There were no interesting commits between the VCC and the fix. The code
      change required to fix this bug was to remove code which accepts unvalidated
      parameters from the WebGL portion of the code, and cast the parameters using
      static_cast<GLint> as well as statis_cast<GLint64> depending on the case.
    commit: 
  - note: 
    commit: 
  question: |
    Are there any interesting commits between your VCC(s) and fix(es)?

    Write a brief (under 100 words) description of why you think this commit was
    interesting in light of the lessons learned from this vulnerability. Any
    emerging themes?

    If there are no interesting commits, demonstrate that you completed this section by explaining what happened between the VCCs and the fix.
curated_instructions: |
  If you are manually editing this file, then you are "curating" it. Set the
  entry below to "true" as soon as you start. This will enable additional
  integrity checks on this file to make sure you fill everything out properly.
  If you are a student, we cannot accept your work as finished unless curated is
  set to true.
upvotes_instructions: |
  For the first round, ignore this upvotes number.

  For the second round of reviewing, you will be giving a certain amount of
  upvotes to each vulnerability you see. Your peers will tell you how
  interesting they think this vulnerability is, and you'll add that to the
  upvotes score on your branch.
announced_instructions: |
  Was there a date that this vulnerability was announced to the world? You can
  find this in changelogs, blogs, bug reports, or perhaps the CVE date. A good
  source for this is Chrome's Stable Release Channel
  (https://chromereleases.googleblog.com/).
  Please enter your date in YYYY-MM-DD format.
fixes_vcc_instructions: |
  Please put the commit hash in "commit" below (see my example in
  CVE-2011-3092.yml). Fixes and VCCs follow the same format.
description_instructions: |
  You can get an initial description from the CVE entry on cve.mitre.org. These
  descriptions are a fine start, but they can be kind of jargony.

  Rewrite this description in your own words. Make it interesting and easy to
  read to anyone with some programming experience. We can always pull up the NVD
  description later to get more technical.

  Try to still be specific in your description, but remove Chromium-specific
  stuff. Remove references to versions, specific filenames, and other jargon
  that outsiders to Chromium would not understand. Technology like "regular
  expressions" is fine, and security phrases like "invalid write" are fine to
  keep too.

See a mistake? Is something missing from our story? We welcome contributions! All of our work is open-source and version-controlled on GitHub. You can curate using our Curation Wizard.

Use our Curation Wizard

Or go to GitHub

  • There are no articles here... yet

Timeline

Hover over an event to see its title.
Click on the event to learn more.
Filter by event type with the buttons below.

expand_less