KhronosGroup / KSCAF_DocGuidelines

Khronos Safety Critical Advisory Forum’s guidelines for developing a safety critical technology specification.
1 stars 2 forks source link

EGL: types of parameters #37

Open bnaodovic opened 6 years ago

bnaodovic commented 6 years ago

For example, ‘eglGetConfigs’ function takes input parameter ‘EGLConfig* configs,’ which is an arbitrary memory address supplied by the caller of the function. There is nothing preventing the caller 1) from supplying incorrect address, such as incorrectly aligned address or address in restricted memory space, or 2) from supplying correct but detrimental address, such as address within memory space occupied by the implementation i.e. executable library itself. In the first case, result would typically be a segmentation fault, while in the second case it is hard to predict outcome. A solution that would detect and prevent the above cases would likely be complex.

For reference, general issue "EGL" is defined as issue #35.