summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Proves that file_check_tiff_be_aux() and file_check_tiff_le_aux()HEADmasterChristophe Grenier3 days3-157/+90
* src/file_zip.c: Proves file_check_zip() terminates (Frama-C)Christophe Grenier3 days1-8/+40
* src/common.c: strip_dup() - Add annotations so Frama-C can assert thatChristophe Grenier6 days1-1/+6
* src/file_sig.c: remove extra definitionChristophe Grenier6 days1-3/+0
* src/memmem.h: Add Frama-C annotations to td_memmem(), so Frama-C canChristophe Grenier6 days1-0/+1
* src/file_txt.c: rewrite some functions so Frama-C can assert thatChristophe Grenier6 days1-108/+175
* src/file_jpg.c: jpg_search_marker() - add annotations so Frama-C knowsChristophe Grenier6 days1-0/+4
* src/hdaccess.c: Fix build with musl-1.2.5Christophe Grenier10 days1-0/+3
* src/file_tiff_be.c: avoid to shadow a variableChristophe Grenier10 days1-4/+4
* paddr_t may be already defined in sys/types.h - Fix compilation on OpenBSDChristophe Grenier2024-04-022-0/+7
* Do not list files format recovered by PhotoRecChristophe Grenier2024-03-091-32/+2
* TestDisk & PhotoRec 7.2v7.2Christophe Grenier2024-02-226-6/+35
* 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
* configure.ac: fix regression introduce by commit 972217f99390b095fe7487441f0b...Christophe Grenier2024-01-081-3/+6
* 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