summaryrefslogtreecommitdiffstats
path: root/src/filegen.c
Commit message (Expand)AuthorAgeFilesLines
* src/filegen.[ch], src/photorec.h: improve Frama-C annotationsChristophe Grenier2024-01-071-4/+27
* Improve Frama-C annotations for a bunch of filesChristophe Grenier2024-01-011-0/+6
* src/filegen.[ch]: add more frama-c annotationsChristophe Grenier2023-12-271-1/+19
* src/filegen.c: fix bug introduced in 0fdbc689159d76539feb7ef29b9b3ef2a11636efChristophe Grenier2023-10-211-2/+3
* src/filegen.c: improve Frama-C annotationsChristophe Grenier2023-10-081-51/+99
* Split src/list.h in 3Christophe Grenier2023-09-021-12/+102
* Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verificationChristophe Grenier2022-04-131-10/+18
* Numerous frama-c annotationsChristophe Grenier2021-11-201-2/+15
* src/file_bmp.c: fix Frama-C annotationsChristophe Grenier2021-06-061-0/+3
* src/filegen.[ch]: add Frama-C predicatesChristophe Grenier2021-05-311-3/+20
* file_*.c: add various Frama-C annotationsChristophe Grenier2021-04-101-1/+1
* src/filegen.c: add more Frama-C annotationsChristophe Grenier2021-03-201-1/+5
* src/file_txt.c: improve Frama-C annotationsChristophe Grenier2021-03-131-0/+4
* src/filegen.c, src/list.h: update frama-c annotationsChristophe Grenier2021-01-301-0/+1
* src/filegen.c: fix error reported by frama-c in file_check_cmp()Christophe Grenier2021-01-291-1/+1
* src/filegen.[ch]: update frama-c annotationsChristophe Grenier2021-01-291-15/+44
* file_allow_nl(): add assigns frama-c annotationChristophe Grenier2020-10-241-4/+8
* PhotoRec: fix problems reported by frama-cChristophe Grenier2020-09-121-18/+15
* PhotoRec: add an ifdef in each file for easier frama-c testingChristophe Grenier2020-09-111-3/+8
* src/file_zip.c: Fix header_check_zip(), see commit d4a638cc44b6ec43d9b361d3ac...Christophe Grenier2020-08-241-46/+0
* filegen.[ch]: add various frama-c annotationsChristophe Grenier2020-08-221-25/+48
* PhotoRec: track fragmentation impactChristophe Grenier2020-08-071-0/+3
* Constify a lot of function parametersChristophe Grenier2020-06-191-1/+1
* Lots of frama-c work that should be safe to commitChristophe Grenier2020-06-021-4/+9
* frama-c: add annotations for fidentify, checks reduced to file_bmp.c andChristophe Grenier2020-01-261-0/+5
* PhotoRec: fix get_prev_location_smart(), avoid a potential enless loopChristophe Grenier2020-01-261-3/+4
* frama-c: annotate file_check_add_tail() and td_list_add()Christophe Grenier2020-01-261-1/+15
* PhotoRec: add a few frama-c annotations, mostly in header_check functionsChristophe Grenier2020-01-181-0/+3
* date_dos2unix(): adapt a more recent and readable version from Linux kernel.Christophe Grenier2019-12-281-17/+13
* Some code cleanup in file_rename() and file_rename_unicode()Christophe Grenier2019-12-101-136/+107
* add frama-c annotations for td_memmem() and several list relatedChristophe Grenier2019-12-071-2/+33
* New prototype for get_date_from_tiff_header()Christophe Grenier2019-11-161-1/+1
* Make file_check_cmp() frama-c friendlyChristophe Grenier2019-10-191-1/+7
* move get_prev_location_smart() from src/photorec.h to src/filegen.hChristophe Grenier2019-10-131-3/+2
* move del_search_space() from src/filegen.h to src/photorec.hChristophe Grenier2019-10-131-1/+6
* src/filegen.c: avoid recursive call in file_rename() and file_rename_unicode()Christophe Grenier2019-10-121-2/+121
* PhotoRec: set file_recovery_new->location.start before calling header_check()Christophe Grenier2019-09-211-8/+7
* src/filegen.c: move the conditional check outside the loop in index_header_ch...Christophe Grenier2019-08-111-4/+4
* PhotoRec: reset offset_skipped_header when this offset belongs to a valid file.Christophe Grenier2019-04-261-0/+6
* header_ignored_adv(): Always restore location in openned fileChristophe Grenier2019-04-261-2/+6
* PhotoRec: avoid more bad chars in filenamesKacper Kulczycki2018-06-221-2/+2
* add assert() in file_rsearch()Christophe Grenier2017-09-111-0/+1
* PhotoRec: fix file_rsearch() function to avoid a false positive.Christophe Grenier2017-07-141-1/+1
* PhotoRec: use get_time_from_xxx() new functionsChristophe Grenier2017-04-081-0/+68
* PhotoRec: remove artificial limits from get_prev_location_smart() that were s...Christophe Grenier2016-09-301-9/+18
* header_ignored_adv(): generalized the speed optimization created for zip fileChristophe Grenier2016-09-301-0/+42
* Modify get_prev_location_smart() to always use offset_skipped_header if avail...Christophe Grenier2016-09-191-5/+14
* Replace td_list_entry by td_list_(first|prev|next|last)_entry to improve read...Christophe Grenier2016-08-201-1/+1
* PhotoRec: do not limit .raf filesize for recent versionChristophe Grenier2016-02-251-1/+7
* Filter bad chars in file_rename_unicode() like in file_rename()Christophe Grenier2016-02-131-1/+6
generated by cgit (git 2.34.1) at 2024-05-09 17:35:39 +0000