summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* src/file_lnk.c: fix extra data block parsing, should get the correct lnk size.HEADmasterChristophe Grenier2025-06-241-11/+13
* src/filegen.[ch]: additional frama-c annotations (Need more work)Christophe Grenier2025-06-222-3/+18
* src/file_doc.c: recover .prt filesChristophe Grenier2025-06-221-0/+8
* src/file_bmp.c: rewrite header_check_bmp()Christophe Grenier2025-06-221-29/+38
* src/file_axp.c: remove extra byteChristophe Grenier2025-06-221-1/+1
* src/file_zip.c: allow encrypted zip ("encrypted-package")Christophe Grenier2025-06-221-3/+20
* src/file_x4a.c: Fix size detectionChristophe Grenier2025-06-221-4/+1
* src/file_tiff_le.c: allow out-of-order tag inside TIFFChristophe Grenier2025-06-221-8/+9
* src/file_pdb.c: fix the size detectionChristophe Grenier2025-06-221-33/+54
* src/file_jpg.c: prt files may contain jpgChristophe Grenier2025-06-221-1/+3
* src/file_gif.c: additional frama-c annotationsChristophe Grenier2025-06-221-0/+2
* src/fidentify.c: "fidentify -check" now reports when the size doesn'tChristophe Grenier2025-06-221-7/+64
* add support for gzipped scribus fileJiří Bělka2025-04-091-0/+6
* PhotoRec: fix NTFS recovery from free space only.Christophe Grenier2025-04-041-2/+3
* PhotoRec: recover multibit walletsChristophe Grenier2025-04-042-3/+18
* Improve iconv and ntfs_device_operations_ioctl() compatibilityChristophe Grenier2025-04-043-10/+10
* src/file_maxis.c: PhotoRec - recover Maxis games (ie. The Sims) .maxis filesChristophe Grenier2025-04-043-0/+73
* Haiku: Add globbing for SCSI disksFrançois Revol2025-02-201-0/+1
* TestDisk: fix build without ncursesPedro Javier2024-09-011-1/+1
* PhotoRec: Fix wrong extension for Revelation password database.Christophe Grenier2024-08-053-18/+19
* src/dirpart.c: rework dir_partition_init()Christophe 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-021-0/+2
* 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
generated by cgit (git 2.34.1) at 2025-07-26 12:05:24 +0000