index
:
testdisk
dev
master
TestDisk & PhotoRec
Christophe GRENIER
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
filegen.h
Commit message (
Expand
)
Author
Age
Files
Lines
*
src/filegen.[ch], src/photorec.h: improve Frama-C annotations
Christophe Grenier
2024-01-07
1
-1
/
+4
*
Improve Frama-C annotations for a bunch of files
Christophe Grenier
2024-01-01
1
-6
/
+13
*
src/filegen.[ch]: add more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+8
*
src/filegen.c: improve Frama-C annotations
Christophe Grenier
2023-10-08
1
-3
/
+13
*
Improve Frama-C annotations
Christophe Grenier
2022-07-14
1
-0
/
+2
*
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
-42
/
+92
*
file_*.c: add various Frama-C annotations
Christophe Grenier
2021-04-10
1
-2
/
+1
*
src/filegen.h: data_check() can also update time
Christophe Grenier
2021-02-06
1
-2
/
+3
*
src/filegen.[ch]: update frama-c annotations
Christophe Grenier
2021-01-29
1
-25
/
+71
*
file_allow_nl(): add assigns frama-c annotation
Christophe Grenier
2020-10-24
1
-1
/
+2
*
PhotoRec: fix problems reported by frama-c
Christophe Grenier
2020-09-12
1
-3
/
+10
*
PhotoRec: add an ifdef in each file for easier frama-c testing
Christophe Grenier
2020-09-11
1
-0
/
+1
*
filegen.[ch]: add various frama-c annotations
Christophe Grenier
2020-08-22
1
-0
/
+9
*
Constify a lot of function parameters
Christophe Grenier
2020-06-19
1
-1
/
+1
*
Fix frama-c annotation for file_allow_nl()
Christophe Grenier
2020-06-18
1
-1
/
+1
*
Lots of frama-c work that should be safe to commit
Christophe Grenier
2020-06-02
1
-2
/
+3
*
PhotoRec: add a few frama-c annotations, mostly in header_check functions
Christophe Grenier
2020-01-18
1
-1
/
+2
*
add a few frama-c annotations
Christophe Grenier
2020-01-01
1
-1
/
+2
*
date_dos2unix(): adapt a more recent and readable version from Linux kernel.
Christophe Grenier
2019-12-28
1
-0
/
+8
*
add frama-c annotations for td_memmem() and several list related
Christophe Grenier
2019-12-07
1
-0
/
+6
*
New prototype for get_date_from_tiff_header()
Christophe Grenier
2019-11-16
1
-3
/
+4
*
file_tiff: make the code more frama-c friendly
Christophe Grenier
2019-10-24
1
-0
/
+1
*
Make file_check_cmp() frama-c friendly
Christophe Grenier
2019-10-19
1
-1
/
+1
*
move get_prev_location_smart() from src/photorec.h to src/filegen.h
Christophe Grenier
2019-10-13
1
-0
/
+6
*
move del_search_space() from src/filegen.h to src/photorec.h
Christophe Grenier
2019-10-13
1
-12
/
+0
*
file_bmp.c: add new frama-c annotations
Christophe Grenier
2019-10-13
1
-0
/
+139
*
src/filegen.c: avoid recursive call in file_rename() and file_rename_unicode()
Christophe Grenier
2019-10-12
1
-0
/
+15
*
PhotoRec: reset offset_skipped_header when this offset belongs to a valid file.
Christophe Grenier
2019-04-26
1
-0
/
+1
*
PhotoRec: use get_time_from_xxx() new functions
Christophe Grenier
2017-04-08
1
-0
/
+4
*
header_ignored_adv(): generalized the speed optimization created for zip file
Christophe Grenier
2016-09-30
1
-0
/
+1
*
PhotoRec: do not limit .raf filesize for recent version
Christophe Grenier
2016-02-25
1
-1
/
+2
*
Fallback to fseek() if fseeko() failed
Christophe Grenier
2015-09-25
1
-0
/
+1
*
PhotoRec: reduce the number of backward search
Christophe Grenier
2015-09-03
1
-0
/
+1
*
PhotoRec: Remove min_header_distance from file_hint_t structure (code cleanup)
Christophe Grenier
2015-06-13
1
-3
/
+0
*
PhotoRec: log the correct filename if file has been renamed
Christophe Grenier
2015-06-12
1
-3
/
+3
*
Turn off various signed/unsigned comparaison warnings
Christophe Grenier
2014-11-15
1
-1
/
+1
*
Remove file_size_on_disk field from struct file_recovery_struct
Christophe Grenier
2014-01-05
1
-1
/
+0
*
Remove loc field from struct file_recovery_struct, use location instead
Christophe Grenier
2013-12-21
1
-2
/
+1
*
PhotoRec: use an enum for values returned by data_check()
Christophe Grenier
2013-12-14
1
-5
/
+4
*
Avoid double inclusion
Christophe Grenier
2013-05-15
1
-0
/
+3
*
Migrate from file_data to file_info structure
Christophe Grenier
2013-05-05
1
-1
/
+1
*
Modify register_header_check(), file_rename() and file_rename_unicode() proto...
Christophe Grenier
2012-04-14
1
-5
/
+4
*
new function file_rsearch() to search a pattern in a file from the end
Christophe Grenier
2011-09-17
1
-0
/
+1
*
PhotoRec: recover MPEG transport stream .ts (disabled by default)
Christophe Grenier
2011-03-25
1
-0
/
+1
*
Modify file_search_footer() prototype
Christophe Grenier
2011-03-05
1
-1
/
+1
*
PhotoRec: remove has_value field in file_check_list_t
Christophe Grenier
2010-10-31
1
-1
/
+0
*
PhotoRec: modify internals for brute-force recovery
Christophe Grenier
2010-04-27
1
-0
/
+5
*
PhotoRec: record last valid offset of a file, will be usefull for bruteforce
Christophe Grenier
2009-11-01
1
-0
/
+1
[next]