Further work

[0152la]

Discussion in #13 led to further work to be done. Since #13 is already too large, we will split the further work in future PRs.

These items are:

• add a clang-format file (particularly consider how to present pointer types, i.e., where to put the asterisk)
• re-add all disabled tests
• consider removing support for static ELF binaries
• check whether functions which perform system calls or vDSO calls work in dynamic binary compartments
• try to run some analysers - Clang Static Analyzer¹, and any else that might work / exist
• reconsider source file structure / user-facing API design
• rethink interface for passing compartment config information

Footnotes

1. https://github.com/CTSRD-CHERI/cheribsd-ports/pull/109 ↩

[0152la]

Order to tackle next things:
Clang format > compartment config info > remove static ELF support

[0152la]

Adding clang-format done in #17.

[0152la]

Compartment config interface rethink done in #18.

[0152la]

Removed support for static ELF binaries in #19.