summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* TestDisk & PhotoRec 7.2v7.2Christophe Grenier2024-02-222-2/+2
* TestDisk: when searching for partition, press '+' to skip 5% of the diskChristophe Grenier2024-01-302-1/+11
* A lot of frama-c annotations or code disablingChristophe Grenier2024-01-3032-106/+566
* src/filegen.[ch], src/photorec.h: improve Frama-C annotationsChristophe Grenier2024-01-073-8/+49
* src/common.[ch]: improve Frama-C annotationsChristophe Grenier2024-01-072-10/+32
* PhotoRec: src/file_tiff* - improve Frama-C annotationsChristophe Grenier2024-01-074-3/+29
* Improve Frama-C annotations for a bunch of filesChristophe Grenier2024-01-0138-36/+237
* src/file_tiff_*.c: improve Frama-C annotationsChristophe Grenier2024-01-013-25/+42
* src/file_nk2.c: modify code and improve Frama-C annotationsChristophe Grenier2024-01-011-88/+105
* src/file_mxf.c: reduce function complexity for frama-cChristophe Grenier2023-12-271-22/+34
* src/file_mpg.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+12
* src/file_mp3.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+5
* src/file_mov.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+6
* src/file_mlv.c: more frama-c annotationsChristophe Grenier2023-12-271-1/+10
* src/file_mkv.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+3
* src/file_mid.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+3
* src/file_m2ts.c: more frama-c annotationsChristophe Grenier2023-12-271-4/+18
* src/file_lzh.c: add more frama-c annotationsChristophe Grenier2023-12-271-0/+2
* src/file_lnk.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+2
* src/file_jpg.c: more frama-c annotationsChristophe Grenier2023-12-271-4/+25
* src/file_indd.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+1
* src/file_idx.c: more frama-c annotationsChristophe Grenier2023-12-271-1/+4
* src/file_ico.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+2
* src/file_icc.c: more frama-c annotationsChristophe Grenier2023-12-271-1/+5
* src/file_hdf.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+2
* src/file_gz.h: add more frama-c annotationsChristophe Grenier2023-12-271-0/+1
* src/file_gsm.c: add more frama-c annotationsChristophe Grenier2023-12-271-1/+7
* src/file_gpg.c: add more frama-c annotationsChristophe Grenier2023-12-271-2/+19
* src/file_gif.c: add more frama-c annotationsChristophe Grenier2023-12-271-1/+5
* src/file_fits.c: more frama-c annotationsChristophe Grenier2023-12-271-2/+12
* src/file_dv.c: more frama-c annotationsChristophe Grenier2023-12-271-4/+21
* src/file_abr.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+2
* src/fidentify.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+2
* src/file_fs.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+3
* src/file_flv.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+1
* src/file_flac.c: add more frama-c annotationsChristophe Grenier2023-12-271-1/+6
* src/file_fcs.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+5
* src/file_exe.c: more frama-c annotationsChristophe Grenier2023-12-271-1/+7
* src/file_evt.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+3
* src/file_emf.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+2
* src/file_dxf.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+3
* src/file_dss.c: more frama-c annotationsChristophe Grenier2023-12-271-1/+4
* src/file_ds2.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+1
* src/file_dovecot.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+4
* src/file_doc.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+12
* src/file_dad.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+3
* src/file_clip.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+2
* src/file_che.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+3
* src/file_caf.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+3
* src/file_bvr.c: more frama-c annotationsChristophe Grenier2023-12-271-0/+2