Automatic Detection of Capability Requirements of Applications on L4Re

Running a program on the capability-based operating system L4Re requires it to be correctly set up with the necessary capabilities at startup. Thus, users wanting to run an application need to know, in advance, which capabilities will be required. However, there currently is no mechanism for users (or other programs) to quickly find out about these requirements. This presentation includes two approaches to extract information about an application's capability requirements from its source code: semi-automatically from annotations made by developers or automatically by static analysis. Additionally, the presentation covers how that information may be represented in a human- and machine-readable format and how it can be included in application binaries in the "ELF" format.

(Presentation of research project)