#4820 closed defect (fixed)

Hazardous cast

Reported by: Daniel Páscoa Owned by: Sebastian Huber <sebastian.huber@…>
Priority: normal Milestone: 6.1
Component: test Version: 6
Severity: normal Keywords: qualification
Cc: Blocked By:


Converting a function pointer to a different type of pointer can lead to unpredictable and undefined behavior. It is important to note that attempting to convert a pointer to a function to a pointer of a different type of function is particularly dangerous and should be avoided.

The attached excel lists in a systematic way the sources where this issue applies.

Additional Notes:
This ticket was raised as an outcome of the Independent SW Verification and Validation (ISVV) for ESA-promoted RTEMS SMP Qualification Data Packs (https://rtems-qual.io.esa.int). Original ISVV reference for this issue is RTEMS-SMP-CODE-VER-079.

File list (please check the attached excel for more information):

Attachments (1)

RTEMS-SMP-CODE-VER-079.xlsx (11.1 KB) - added by Daniel Páscoa on 01/23/23 at 11:45:39.

Download all attachments as: .zip

Change History (4)

Changed on 01/23/23 at 11:45:39 by Daniel Páscoa

Attachment: RTEMS-SMP-CODE-VER-079.xlsx added

comment:1 Changed on 01/23/23 at 13:06:26 by Sebastian Huber

Keywords: qualification added

comment:2 Changed on 01/24/23 at 10:26:27 by Sebastian Huber <sebastian.huber@…>

Owner: set to Sebastian Huber <sebastian.huber@…>
Resolution: fixed
Status: newclosed

In 10ee41a8/rtems:

tm27: Avoid function pointer casts

Add TM27_USE_VECTOR_HANDLER to select the interrupt handler type used by
the <tm27.h> implementation.

Close #4820.

comment:3 Changed on 01/24/23 at 10:27:54 by Sebastian Huber

Component: admintest
Milestone: 6.1
Version: 6
Note: See TracTickets for help on using tickets.