path: root/src/file_lzh.c
Commit message (Expand)AuthorAgeFilesLines
* src/file_lzh.c: add more frama-c annotationsChristophe Grenier2023-12-271-0/+2
* src/file_lzh.c: fix wrong Frama-C annotationsChristophe Grenier2023-10-081-1/+1
* Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verificationChristophe Grenier2022-04-131-3/+3
* src/file_lzh.c: fix Frama-C annotationsChristophe Grenier2021-07-021-14/+19
* src/file_lzh.c: add frama-c annotationsChristophe Grenier2021-02-241-0/+20
* PhotoRec: add an ifdef in each file for easier frama-c testingChristophe Grenier2020-09-111-3/+8
* PhotoRec: avoid potential out of bound read access when renaming damaged .lzh...Christophe Grenier2016-06-261-1/+3
* PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)Christophe Grenier2015-06-131-1/+0
* PhotoRec: log the correct filename if file has been renamedChristophe Grenier2015-06-121-3/+3
* add gcc_struct attribute to all __packed__ structureChristophe Grenier2015-04-111-3/+3
* Turn off various signed/unsigned comparaison warningsChristophe Grenier2014-11-151-5/+2
* Fix various warning reported by gccChristophe Grenier2013-05-251-1/+1
* PhotoRec: recover LZH/LArc archiveChristophe Grenier2013-05-051-0/+159