secure-compilation / SECOMP

SECOMP formally secure compiler, based on CompCert
Other
6 stars 2 forks source link

Print compartment names in `.s` files (ASM) #7

Open catalin-hritcu opened 2 months ago

catalin-hritcu commented 2 months ago

What would increase the readability of the component interfaces in our generated .s files, is printing the original compartment names instead of just numbers:

# Interfaces
# Compartment 74 exports process
# Compartment 74 exports init
# Compartment 71 exports valid
# Compartment 74 imports Compartment 71[valid]
# Compartment 83 imports Compartment 74[process]
# Compartment 83 imports Compartment 74[init]
# Compartment 74 imports system call printf
# Compartment 83 imports system call printf
# Compartment 83 imports system call fgets

@jeremyThibault Would this be hard to do?

catalin-hritcu commented 2 weeks ago

AFAIR we already found another solution for this? :)