Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | src/file_dovecot.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+4 |
* | src/file_dovecot.c: fix wrong Frama-C annotations for data_check_dovecot2() | Christophe Grenier | 2023-10-08 | 1 | -3/+2 |
* | PhotoRec: recover dovecot encrypted files (Disable by default) | Christophe Grenier | 2021-11-20 | 1 | -0/+128 |