Static Dispatching Only Policy (OOP02)

Level \(\rightarrow\) Advisory

Category

Safety:

\(\checkmark\)

Cyber:

\(\checkmark\)

Goal

Maintainability:

\(\checkmark\)

Reliability:

\(\checkmark\)

Portability:

Performance:

Security:

\(\checkmark\)

Remediation \(\rightarrow\) N/A

Verification Method \(\rightarrow\) Compiler restrictions

Mutually Exclusive \(\rightarrow\) OOP01

Reference

N/A

Description

In this approach, class-wide constructs are allowed, as well as tagged types and type extension (inheritance), but dynamic dispatching remains disallowed (i.e., as in OOP01).

This rule ensures there are no class-wide values passed as the parameter to a primitive operation of a tagged type, hence there are no dynamically dispatched calls.

Note that this rule should not be applied without due consideration.

Applicable Vulnerability within ISO TR 24772-2

• 6.43 Redispatching [PPH]

Noncompliant Code Example

Some_Primitive (Object'Class (X));

Compliant Code Example

Some_Primitive (X);

Notes

N/A