Fixed findings

List of Findings

Error: GCC_ANALYZER_WARNING (CWE-476): [#def1]
OpenCL-ICD-Loader-ad770a1b64c6b8d5f2ed4e153f22e4f45939f27f/test/driver_stub/cl.c:168:9: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘obj’
OpenCL-ICD-Loader-ad770a1b64c6b8d5f2ed4e153f22e4f45939f27f/test/driver_stub/cl.c:161:8: branch_false: following ‘false’ branch...
OpenCL-ICD-Loader-ad770a1b64c6b8d5f2ed4e153f22e4f45939f27f/test/driver_stub/cl.c:166:8: branch_false: ...to here
OpenCL-ICD-Loader-ad770a1b64c6b8d5f2ed4e153f22e4f45939f27f/test/driver_stub/cl.c:166:8: branch_true: following ‘true’ branch (when ‘devices’ is non-NULL)...
OpenCL-ICD-Loader-ad770a1b64c6b8d5f2ed4e153f22e4f45939f27f/test/driver_stub/cl.c:167:43: branch_true: ...to here
OpenCL-ICD-Loader-ad770a1b64c6b8d5f2ed4e153f22e4f45939f27f/test/driver_stub/cl.c:167:43: acquire_memory: this call could return NULL
OpenCL-ICD-Loader-ad770a1b64c6b8d5f2ed4e153f22e4f45939f27f/test/driver_stub/cl.c:168:9: danger: ‘obj’ could be NULL: unchecked value from [(5)](sarif:/runs/0/results/0/codeFlows/0/threadFlows/0/locations/4)
#  166|       if (devices != NULL) {
#  167|           cl_device_id obj = (cl_device_id) malloc(sizeof(struct _cl_device_id));
#  168|->         CL_INIT_OBJECT(obj, platform);
#  169|           devices[0] = obj;
#  170|       }

Error: GCC_ANALYZER_WARNING (CWE-476): [#def2]
OpenCL-ICD-Loader-ad770a1b64c6b8d5f2ed4e153f22e4f45939f27f/test/driver_stub/cl.c:1945:9: warning[-Wanalyzer-possible-null-dereference]: dereference of possibly-NULL ‘platform’
OpenCL-ICD-Loader-ad770a1b64c6b8d5f2ed4e153f22e4f45939f27f/test/driver_stub/cl.c:1940:8: branch_true: following ‘true’ branch...
OpenCL-ICD-Loader-ad770a1b64c6b8d5f2ed4e153f22e4f45939f27f/test/driver_stub/cl.c:1941:18: branch_true: ...to here
OpenCL-ICD-Loader-ad770a1b64c6b8d5f2ed4e153f22e4f45939f27f/test/driver_stub/cl.c:1942:37: acquire_memory: this call could return NULL
OpenCL-ICD-Loader-ad770a1b64c6b8d5f2ed4e153f22e4f45939f27f/test/driver_stub/cl.c:1945:9: danger: ‘malloc(56)’ could be NULL: unchecked value from [(3)](sarif:/runs/0/results/18/codeFlows/0/threadFlows/0/locations/2)
# 1943|           memset(platform, 0, sizeof(struct _cl_platform_id));
# 1944|   
# 1945|->         CL_INIT_PLATFORM(platform, dispatchTable);
# 1946|           platform->version = "OpenCL 1.2 Stub";
# 1947|           platform->vendor = "stubvendorxxx";

Scan Properties