Exploration of annotation mechanism for the CLI format

Affiliated to

Location

Timing

Description

STMicroelectronics is investigating the suitability of the CLI (aka .NET, aka ECMA-335) bytecode format for embedded systems. Applications using this framework are compiled twice: first from C to CLI on the programmer's workstation, then from CLI to native code on the system. In this context, an expensive analysis can be run on the program and its result passed to the second step.
The purpose of this internship is to study how this information can be passed while keeping the file in a legal format. Each proposal must be evaluated in terms of code size, robustness and security.

Required: knowledge of the CLI format.