| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 22-Aug-2023 | - | ||||
| veriexec_ioctl.h | H A D | 22-Aug-2023 | 2.6 KiB | 68 | 27 | |
| verified_exec.c | H A D | 22-Aug-2023 | 7 KiB | 270 | 174 |
| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 22-Aug-2023 | - | ||||
| veriexec_ioctl.h | H A D | 22-Aug-2023 | 2.6 KiB | 68 | 27 | |
| verified_exec.c | H A D | 22-Aug-2023 | 7 KiB | 270 | 174 |