Opened on 01/23/23 at 11:45:27

Closed on 01/24/23 at 10:26:27

Last modified on 01/24/23 at 10:27:54

#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:
Blocking:

Description

Description:
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):
bsps\shared\irq\irq-handler-iterate.c
bsps\sparc\leon3\include\tm27.h

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: new → closed

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: admin → test
Milestone: → 6.1
Version: → 6
Note: See TracTickets for help on using tickets.