7.1. Uncertified code¶

It has to be ensured that no uncertified code from the core library is being used in a customer project.

This is achieved in three steps by the customer:

1. Ensure that the certified subset only contains certified code.

2. Ensure to only use code from the certified subset.

3. Ensure to only use a certified target in the final build.

All uncertified code, and certified code that is not called, is unused code.

7.2. Unused code¶

The qualified Ferrocene compiler ensures that no code that is not used in source code is being executed.

Additionally, the compiler usually removes unused functions from the final binary. But this behavior is not specified and can therefore not be relied upon.