index
:
testdisk
dev
master
TestDisk & PhotoRec
Christophe GRENIER
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
filegen.c
Commit message (
Expand
)
Author
Age
Files
Lines
*
src/filegen.[ch], src/photorec.h: improve Frama-C annotations
Christophe Grenier
2024-01-07
1
-4
/
+27
*
Improve Frama-C annotations for a bunch of files
Christophe Grenier
2024-01-01
1
-0
/
+6
*
src/filegen.[ch]: add more frama-c annotations
Christophe Grenier
2023-12-27
1
-1
/
+19
*
src/filegen.c: fix bug introduced in 0fdbc689159d76539feb7ef29b9b3ef2a11636ef
Christophe Grenier
2023-10-21
1
-2
/
+3
*
src/filegen.c: improve Frama-C annotations
Christophe Grenier
2023-10-08
1
-51
/
+99
*
Split src/list.h in 3
Christophe Grenier
2023-09-02
1
-12
/
+102
*
Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verification
Christophe Grenier
2022-04-13
1
-10
/
+18
*
Numerous frama-c annotations
Christophe Grenier
2021-11-20
1
-2
/
+15
*
src/file_bmp.c: fix Frama-C annotations
Christophe Grenier
2021-06-06
1
-0
/
+3
*
src/filegen.[ch]: add Frama-C predicates
Christophe Grenier
2021-05-31
1
-3
/
+20
*
file_*.c: add various Frama-C annotations
Christophe Grenier
2021-04-10
1
-1
/
+1
*
src/filegen.c: add more Frama-C annotations
Christophe Grenier
2021-03-20
1
-1
/
+5
*
src/file_txt.c: improve Frama-C annotations
Christophe Grenier
2021-03-13
1
-0
/
+4
*
src/filegen.c, src/list.h: update frama-c annotations
Christophe Grenier
2021-01-30
1
-0
/
+1
*
src/filegen.c: fix error reported by frama-c in file_check_cmp()
Christophe Grenier
2021-01-29
1
-1
/
+1
*
src/filegen.[ch]: update frama-c annotations
Christophe Grenier
2021-01-29
1
-15
/
+44
*
file_allow_nl(): add assigns frama-c annotation
Christophe Grenier
2020-10-24
1
-4
/
+8
*
PhotoRec: fix problems reported by frama-c
Christophe Grenier
2020-09-12
1
-18
/
+15
*
PhotoRec: add an ifdef in each file for easier frama-c testing
Christophe Grenier
2020-09-11
1
-3
/
+8
*
src/file_zip.c: Fix header_check_zip(), see commit d4a638cc44b6ec43d9b361d3ac...
Christophe Grenier
2020-08-24
1
-46
/
+0
*
filegen.[ch]: add various frama-c annotations
Christophe Grenier
2020-08-22
1
-25
/
+48
*
PhotoRec: track fragmentation impact
Christophe Grenier
2020-08-07
1
-0
/
+3
*
Constify a lot of function parameters
Christophe Grenier
2020-06-19
1
-1
/
+1
*
Lots of frama-c work that should be safe to commit
Christophe Grenier
2020-06-02
1
-4
/
+9
*
frama-c: add annotations for fidentify, checks reduced to file_bmp.c and
Christophe Grenier
2020-01-26
1
-0
/
+5
*
PhotoRec: fix get_prev_location_smart(), avoid a potential enless loop
Christophe Grenier
2020-01-26
1
-3
/
+4
*
frama-c: annotate file_check_add_tail() and td_list_add()
Christophe Grenier
2020-01-26
1
-1
/
+15
*
PhotoRec: add a few frama-c annotations, mostly in header_check functions
Christophe Grenier
2020-01-18
1
-0
/
+3
*
date_dos2unix(): adapt a more recent and readable version from Linux kernel.
Christophe Grenier
2019-12-28
1
-17
/
+13
*
Some code cleanup in file_rename() and file_rename_unicode()
Christophe Grenier
2019-12-10
1
-136
/
+107
*
add frama-c annotations for td_memmem() and several list related
Christophe Grenier
2019-12-07
1
-2
/
+33
*
New prototype for get_date_from_tiff_header()
Christophe Grenier
2019-11-16
1
-1
/
+1
*
Make file_check_cmp() frama-c friendly
Christophe Grenier
2019-10-19
1
-1
/
+7
*
move get_prev_location_smart() from src/photorec.h to src/filegen.h
Christophe Grenier
2019-10-13
1
-3
/
+2
*
move del_search_space() from src/filegen.h to src/photorec.h
Christophe Grenier
2019-10-13
1
-1
/
+6
*
src/filegen.c: avoid recursive call in file_rename() and file_rename_unicode()
Christophe Grenier
2019-10-12
1
-2
/
+121
*
PhotoRec: set file_recovery_new->location.start before calling header_check()
Christophe Grenier
2019-09-21
1
-8
/
+7
*
src/filegen.c: move the conditional check outside the loop in index_header_ch...
Christophe Grenier
2019-08-11
1
-4
/
+4
*
PhotoRec: reset offset_skipped_header when this offset belongs to a valid file.
Christophe Grenier
2019-04-26
1
-0
/
+6
*
header_ignored_adv(): Always restore location in openned file
Christophe Grenier
2019-04-26
1
-2
/
+6
*
PhotoRec: avoid more bad chars in filenames
Kacper Kulczycki
2018-06-22
1
-2
/
+2
*
add assert() in file_rsearch()
Christophe Grenier
2017-09-11
1
-0
/
+1
*
PhotoRec: fix file_rsearch() function to avoid a false positive.
Christophe Grenier
2017-07-14
1
-1
/
+1
*
PhotoRec: use get_time_from_xxx() new functions
Christophe Grenier
2017-04-08
1
-0
/
+68
*
PhotoRec: remove artificial limits from get_prev_location_smart() that were s...
Christophe Grenier
2016-09-30
1
-9
/
+18
*
header_ignored_adv(): generalized the speed optimization created for zip file
Christophe Grenier
2016-09-30
1
-0
/
+42
*
Modify get_prev_location_smart() to always use offset_skipped_header if avail...
Christophe Grenier
2016-09-19
1
-5
/
+14
*
Replace td_list_entry by td_list_(first|prev|next|last)_entry to improve read...
Christophe Grenier
2016-08-20
1
-1
/
+1
*
PhotoRec: do not limit .raf filesize for recent version
Christophe Grenier
2016-02-25
1
-1
/
+7
*
Filter bad chars in file_rename_unicode() like in file_rename()
Christophe Grenier
2016-02-13
1
-1
/
+6
[next]