summaryrefslogtreecommitdiffstats
path: root/src/file_dovecot.c
Commit message (Expand)AuthorAgeFilesLines
* src/file_dovecot.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+4
* src/file_dovecot.c: fix wrong Frama-C annotations for data_check_dovecot2()Christophe Grenier2023-10-081-3/+2
* PhotoRec: recover dovecot encrypted files (Disable by default)Christophe Grenier2021-11-201-0/+128