secure-compilation SECOMP issues - Githubissues

secure-compilation / SECOMP

SECOMP formally secure compiler for compartmentalized C programs (based on CompCert)

Other

6 stars 2 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Extraction produces `assert false`

#11 jeremyThibault closed 3 weeks ago
1
Document Assumption 1

#10 catalin-hritcu opened 3 months ago
0
Should volatile memory operations be listed in the interface or not?

#9 catalin-hritcu opened 3 months ago
0
Dependent type issue with rewrite in CapAsm backend

#8 argsv opened 3 months ago
0
Print compartment names in `.s` files (ASM)

#7 catalin-hritcu opened 4 months ago
1
`-dasm` output not easy to read and cannot print all instructions

#6 catalin-hritcu closed 4 months ago
3
`printf` displaying `<missing argument>` with `-interp-dasm`

#5 catalin-hritcu closed 4 months ago
1
Interesting examples and unit tests

#4 jeremyThibault closed 3 weeks ago
0
Assigning a default compartment in the parser

#3 jeremyThibault opened 10 months ago
0
Changes to the compartment model

#2 jeremyThibault opened 10 months ago
1
Backtranslation

#1 dongjaelee1 opened 1 year ago
0