path: root/src/file_mxf.c
Commit message (Expand)AuthorAgeFilesLines
* src/file_mxf.c: reduce function complexity for frama-cChristophe Grenier2023-12-271-22/+34
* src/file*.c: add various Frama-C annotations in data_check_*()Christophe Grenier2023-10-081-0/+2
* Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verificationChristophe Grenier2022-04-131-1/+1
* src/file_mxf.c: improve Frama-C annotationsChristophe Grenier2021-07-031-14/+5
* src/file_mxf.c: fix frama-c warningsChristophe Grenier2021-02-071-22/+36
* PhotoRec: add an ifdef in each file for easier frama-c testingChristophe Grenier2020-09-111-0/+2
* PhotoRec: avoid potential endless loopsChristophe Grenier2017-09-121-5/+5
* PhotoRec: fix missing break in src/file_mxf.c that may result in incorrect fi...Christophe Grenier2016-06-221-0/+1
* Fix a few warningsChristophe Grenier2016-06-221-1/+4
* PhotoRec: fix recovered .mxf filesizeChristophe Grenier2016-06-221-0/+90
* PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)Christophe Grenier2015-06-131-1/+0
* remove always-true memcmpChristophe Grenier2015-05-111-17/+10
* PhotoRec: recover .hds Parallels disk image and .mxf Material Exchange Format...Christophe Grenier2009-01-141-0/+71