Toolchain/Watermark

Markup for ELF objects

This project intends to add markers to ELF objects so that it is possible to determine that objects have certain properties. The two overarching goals are:

• Determine if all objects in a link implement the same ABI (e.g., they agree upon the format of long double).
• Determine if an object was compiled according to applicable security polices (e.g., -fstack-protector-strong was used at compile time).

Wiki page categories

We use wiki categories to track progress.

• Proposed properties subject to discussion and revision.
• Accepted properties pending implementation.
• Implemented properties