summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* src/file_xcf.c: add support for more recent versions of Gimp xcf filesHEADmasterChristophe Grenier2023-10-221-2/+2
* src/filegen.c: fix bug introduced in 0fdbc689159d76539feb7ef29b9b3ef2a11636efChristophe Grenier2023-10-211-2/+3
* PhotoRec: distinguish .FCStd from .zip filesChristophe Grenier2023-10-211-1/+8
* Add missing src/file_sdw.c - Recover Microsoft Jet DB / Sage Simply Accountin...Christophe Grenier2023-10-082-3/+70
* src/file_sig.c: improve Frama-C annotation for load_signature()Christophe Grenier2023-10-081-5/+7
* src/file_mkv.c: improve Frama-C annotationsChristophe Grenier2023-10-081-3/+10
* src/file_lzh.c: fix wrong Frama-C annotationsChristophe Grenier2023-10-081-1/+1
* src/file_hdf5.c: fix ifdefChristophe Grenier2023-10-081-1/+2
* src/file_zip.c: improve Frama-C annotations in file_rename_zip()Christophe Grenier2023-10-081-1/+4
* src/file_xml.c: rewrote file_rename_xml() for easier Frama-C validationChristophe Grenier2023-10-081-18/+39
* src/file_shp.c: switch size field to unsignedChristophe Grenier2023-10-081-2/+2
* src/file_psd.c: improve Frama-C annotationsChristophe Grenier2023-10-081-0/+12
* src/file_psb.c: improve Frama-C annotationsChristophe Grenier2023-10-081-1/+13
* src/file_pdf.c: improve Frama-C annotations after removing a call toChristophe Grenier2023-10-081-10/+36
* src/file_nk2.c: fix Frama-C annotations for file_check_nk2()Christophe Grenier2023-10-081-0/+7
* src/file_hdf.c: improve file_check_hdf() annotationsChristophe Grenier2023-10-081-22/+44
* src/file*.c: add various Frama-C annotations in data_check_*()Christophe Grenier2023-10-0840-0/+99
* src/file_fbx.c: fix wrong Frama-C annotationsChristophe Grenier2023-10-081-1/+2
* src/file_dovecot.c: fix wrong Frama-C annotations for data_check_dovecot2()Christophe Grenier2023-10-081-3/+2
* src/file_list.c: fix several boggus ifdefChristophe Grenier2023-10-081-7/+17
* src/common.c: Frama-C annotations for _date_get_leap_day()Christophe Grenier2023-10-081-30/+28
* src/addpart.h: improve Frama-C annotations for add_partition_cli()Christophe Grenier2023-10-081-2/+2
* src/fidentify.c: improve Frama-C annotationsChristophe Grenier2023-10-081-4/+21
* src/file_jpg.c: improve Frama-C annotationsChristophe Grenier2023-10-081-12/+45
* src/file_tiff_be.c, src/file_tiff_le.c: Frama-C - use static buffer to avoidChristophe Grenier2023-10-083-97/+184
* src/file_exe.c: improve Frama-C annotationsChristophe Grenier2023-10-081-6/+17
* src/file_doc.h: add annotations for file_check_doc_aux()Christophe Grenier2023-10-081-0/+1
* src/fat_common.c, src/fat_dir.c: more Frama-C annotationsChristophe Grenier2023-10-082-9/+29
* src/ext2_common.c: more Frama-C annotationsChristophe Grenier2023-10-081-6/+21
* src/apfs_common.c: fix Frama-C annotations for fletcher64()Christophe Grenier2023-10-081-2/+7
* src/filegen.c: improve Frama-C annotationsChristophe Grenier2023-10-082-54/+112
* src/adv.c: add Frama-C annotation for interface_adv()Christophe Grenier2023-10-081-0/+1
* src/crc.c: fix Frama-C annotations for get_crc32Christophe Grenier2023-10-081-0/+1
* src/log.c: add Frama-C annotations for dump_log() and dump2_log()Christophe Grenier2023-10-082-33/+73
* Split src/list.h in 3Christophe Grenier2023-09-027-105/+404
* src/file_zip.c: improve Frama-C annotationsChristophe Grenier2023-09-011-1/+12
* src/file_doc.c: improve Frama-C annotationsChristophe Grenier2023-08-311-53/+111
* src/common.c: rewrite set_part_name(), set_part_name_chomp() andChristophe Grenier2023-08-254-39/+123
* src/hdaccess.c: use /sys/dev/block/*/device/{model,serial,rev} to getChristophe Grenier2023-08-252-2/+52
* src/file_mov.c: recover "XAVC" videosChristophe Grenier2023-08-251-1/+2
* new prototype for copy_file(), improve error reportingChristophe Grenier2023-08-258-62/+89
* src/fat_adv.c: move up2power() from src/common.cChristophe Grenier2023-08-253-24/+23
* src/exfat_dir.c: Better utf-8 support when iconv is missingChristophe Grenier2023-06-181-4/+73
* fidentify: report if iconv is usedChristophe Grenier2023-02-191-0/+7
* configure.ac: fidentify doesn't use com_err ext2fs ntfs-3g ntfs uuid libariesChristophe Grenier2023-02-191-18/+59
* qphotorec: improve error message when write failedChristophe Grenier2023-02-191-1/+1
* Commit various Frama-C annotationsChristophe Grenier2023-02-199-40/+103
* src/apfs_common.c: avoid integer overflow when checking block count.Christophe Grenier2023-02-191-1/+1
* testdisk, photorec: report iconv usageChristophe Grenier2023-02-193-1/+11
* Merge branch 'gszy_shapefile' to add support for .shp (ESRI Shapefiles)Christophe Grenier2023-02-033-0/+128
|\