index
:
testdisk
dev
master
TestDisk & PhotoRec
Christophe GRENIER
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
Commit message (
Expand
)
Author
Age
Files
Lines
*
TestDisk & PhotoRec 7.2
v7.2
Christophe Grenier
2024-02-22
2
-2
/
+2
*
TestDisk: when searching for partition, press '+' to skip 5% of the disk
Christophe Grenier
2024-01-30
2
-1
/
+11
*
A lot of frama-c annotations or code disabling
Christophe Grenier
2024-01-30
32
-106
/
+566
*
src/filegen.[ch], src/photorec.h: improve Frama-C annotations
Christophe Grenier
2024-01-07
3
-8
/
+49
*
src/common.[ch]: improve Frama-C annotations
Christophe Grenier
2024-01-07
2
-10
/
+32
*
PhotoRec: src/file_tiff* - improve Frama-C annotations
Christophe Grenier
2024-01-07
4
-3
/
+29
*
Improve Frama-C annotations for a bunch of files
Christophe Grenier
2024-01-01
38
-36
/
+237
*
src/file_tiff_*.c: improve Frama-C annotations
Christophe Grenier
2024-01-01
3
-25
/
+42
*
src/file_nk2.c: modify code and improve Frama-C annotations
Christophe Grenier
2024-01-01
1
-88
/
+105
*
src/file_mxf.c: reduce function complexity for frama-c
Christophe Grenier
2023-12-27
1
-22
/
+34
*
src/file_mpg.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+12
*
src/file_mp3.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+5
*
src/file_mov.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+6
*
src/file_mlv.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-1
/
+10
*
src/file_mkv.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+3
*
src/file_mid.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+3
*
src/file_m2ts.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-4
/
+18
*
src/file_lzh.c: add more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+2
*
src/file_lnk.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+2
*
src/file_jpg.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-4
/
+25
*
src/file_indd.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+1
*
src/file_idx.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-1
/
+4
*
src/file_ico.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+2
*
src/file_icc.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-1
/
+5
*
src/file_hdf.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+2
*
src/file_gz.h: add more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+1
*
src/file_gsm.c: add more frama-c annotations
Christophe Grenier
2023-12-27
1
-1
/
+7
*
src/file_gpg.c: add more frama-c annotations
Christophe Grenier
2023-12-27
1
-2
/
+19
*
src/file_gif.c: add more frama-c annotations
Christophe Grenier
2023-12-27
1
-1
/
+5
*
src/file_fits.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-2
/
+12
*
src/file_dv.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-4
/
+21
*
src/file_abr.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+2
*
src/fidentify.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+2
*
src/file_fs.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+3
*
src/file_flv.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+1
*
src/file_flac.c: add more frama-c annotations
Christophe Grenier
2023-12-27
1
-1
/
+6
*
src/file_fcs.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+5
*
src/file_exe.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-1
/
+7
*
src/file_evt.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+3
*
src/file_emf.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+2
*
src/file_dxf.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+3
*
src/file_dss.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-1
/
+4
*
src/file_ds2.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+1
*
src/file_dovecot.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+4
*
src/file_doc.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+12
*
src/file_dad.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+3
*
src/file_clip.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+2
*
src/file_che.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+3
*
src/file_caf.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+3
*
src/file_bvr.c: more frama-c annotations
Christophe Grenier
2023-12-27
1
-0
/
+2
[next]