| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| veriexec_ioctl.h | H A D | 08-Jul-2024 | 2.8 KiB | 74 | 33 | |
| verified_exec.c | H A D | 08-Jul-2024 | 7.2 KiB | 280 | 184 |
| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| veriexec_ioctl.h | H A D | 08-Jul-2024 | 2.8 KiB | 74 | 33 | |
| verified_exec.c | H A D | 08-Jul-2024 | 7.2 KiB | 280 | 184 |