New Defects reported by Coverity Scan for RTEMS
scan-admin at coverity.com
scan-admin at coverity.com
Fri Sep 27 07:12:15 UTC 2024
Hi,
Please find the latest report on new defect(s) introduced to RTEMS found with Coverity Scan.
2 new defect(s) introduced to RTEMS found with Coverity Scan.
3 defect(s), reported by Coverity Scan earlier, were marked fixed in the recent build analyzed by Coverity Scan.
New defect(s) Reported-by: Coverity Scan
Showing 2 of 2 defect(s)
** CID 1619699: Concurrent data access violations (MISSING_LOCK)
/cpukit/posix/src/aio_cancel.c: 52 in aio_cancel()
________________________________________________________________________________________________________
*** CID 1619699: Concurrent data access violations (MISSING_LOCK)
/cpukit/posix/src/aio_cancel.c: 52 in aio_cancel()
46 #include <errno.h>
47 #include <stdlib.h>
48 #include <rtems/seterr.h>
49
50 int aio_cancel( int fildes, struct aiocb *aiocbp )
51 {
>>> CID 1619699: Concurrent data access violations (MISSING_LOCK)
>>> Accessing "aio_request_queue.idle_req" without holding lock "rtems_aio_queue.mutex". Elsewhere, "rtems_aio_queue.idle_req" is written to with "rtems_aio_queue.mutex" held 1 out of 1 times.
52 rtems_chain_control *idle_req_chain = &aio_request_queue.idle_req;
53 rtems_chain_control *work_req_chain = &aio_request_queue.work_req;
54 rtems_aio_request_chain *r_chain;
55 int result;
56
57 pthread_mutex_lock( &aio_request_queue.mutex );
** CID 1619698: Concurrent data access violations (MISSING_LOCK)
/cpukit/posix/src/aio_cancel.c: 53 in aio_cancel()
________________________________________________________________________________________________________
*** CID 1619698: Concurrent data access violations (MISSING_LOCK)
/cpukit/posix/src/aio_cancel.c: 53 in aio_cancel()
47 #include <stdlib.h>
48 #include <rtems/seterr.h>
49
50 int aio_cancel( int fildes, struct aiocb *aiocbp )
51 {
52 rtems_chain_control *idle_req_chain = &aio_request_queue.idle_req;
>>> CID 1619698: Concurrent data access violations (MISSING_LOCK)
>>> Accessing "aio_request_queue.work_req" without holding lock "rtems_aio_queue.mutex". Elsewhere, "rtems_aio_queue.work_req" is written to with "rtems_aio_queue.mutex" held 2 out of 2 times.
53 rtems_chain_control *work_req_chain = &aio_request_queue.work_req;
54 rtems_aio_request_chain *r_chain;
55 int result;
56
57 pthread_mutex_lock( &aio_request_queue.mutex );
58
________________________________________________________________________________________________________
To view the defects in Coverity Scan visit, https://u15810271.ct.sendgrid.net/ls/click?upn=u001.AxU2LYlgjL6eX23u9ErQy-2BKADyCpvUKOL6EWmZljiu5GLWnGNEwbhcanGyCDC8W1qxs1XK9M9KkPO5PqDYA-2Faw-3D-3D_OTu_hOQomnwXvo7ZPjrovRgF1EWfSixaZuumKeNh4wRoLrmed-2F6zD2bvV6igA-2B-2BqCmTNyND3wXqzB4VczsUGqPb4ozHTpm0PPmuis2HpAAqSu1G-2BsoUI-2Ft7TFf4GzQQVxXROfLjjOSgbA4zXnwtCyxcVNPzdAIbCw6qCJv-2BtQXgzYLs-2FenZFn4-2FM2ebKObzHX6Y4Kr68FHTYLWySC1wivvoeWw-3D-3D
More information about the build
mailing list