summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* src/dirpart.c: rework dir_partition_init()HEADmasterChristophe Grenier2024-07-111-11/+13
* src/file_exe.c: Add loop variant so Frama-C can proves that functionsChristophe Grenier2024-06-081-0/+9
* Proves that file_check_tiff_be_aux() and file_check_tiff_le_aux()Christophe Grenier2024-05-213-157/+90
* src/file_zip.c: Proves file_check_zip() terminates (Frama-C)Christophe Grenier2024-05-211-8/+40
* src/common.c: strip_dup() - Add annotations so Frama-C can assert thatChristophe Grenier2024-05-181-1/+6
* src/file_sig.c: remove extra definitionChristophe Grenier2024-05-181-3/+0
* src/memmem.h: Add Frama-C annotations to td_memmem(), so Frama-C canChristophe Grenier2024-05-181-0/+1
* src/file_txt.c: rewrite some functions so Frama-C can assert thatChristophe Grenier2024-05-181-108/+175
* src/file_jpg.c: jpg_search_marker() - add annotations so Frama-C knowsChristophe Grenier2024-05-181-0/+4
* src/hdaccess.c: Fix build with musl-1.2.5Christophe Grenier2024-05-141-0/+3
* src/file_tiff_be.c: avoid to shadow a variableChristophe Grenier2024-05-141-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
generated by cgit (git 2.34.1) at 2024-07-27 02:39:33 +0000