| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 22-Aug-2023 | - | ||||
| veriexec_ioctl.h | H A D | 22-Aug-2023 | 2.3 KiB | 61 | 21 | |
| verified_exec.c | H A D | 22-Aug-2023 | 6 KiB | 225 | 144 |
| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 22-Aug-2023 | - | ||||
| veriexec_ioctl.h | H A D | 22-Aug-2023 | 2.3 KiB | 61 | 21 | |
| verified_exec.c | H A D | 22-Aug-2023 | 6 KiB | 225 | 144 |