2024-01-30 - Christophe Grenier
    TestDisk: when searching for partition, press '+' to skip 5% of the disk

2024-01-30 - Christophe Grenier
    A lot of frama-c annotations or code disabling

2024-01-08 - Christophe Grenier
    configure.ac: fix regression introduce by commit 972217f99390b095fe7487441f0b3b325e5e6df2

2024-01-07 - Christophe Grenier
    src/filegen.[ch], src/photorec.h: improve Frama-C annotations

2024-01-07 - Christophe Grenier
    src/common.[ch]: improve Frama-C annotations

2024-01-07 - Christophe Grenier
    PhotoRec: src/file_tiff* - improve Frama-C annotations

2024-01-01 - Christophe Grenier
    Improve Frama-C annotations for a bunch of files

2024-01-01 - Christophe Grenier
    src/file_tiff_*.c: improve Frama-C annotations

2024-01-01 - Christophe Grenier
    src/file_nk2.c: modify code and improve Frama-C annotations

2023-12-27 - Christophe Grenier
    src/file_mxf.c: reduce function complexity for frama-c

2023-12-27 - Christophe Grenier
    src/file_mpg.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_mp3.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_mov.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_mlv.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_mkv.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_mid.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_m2ts.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_lzh.c: add more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_lnk.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_jpg.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_indd.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_idx.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_ico.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_icc.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_hdf.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_gz.h: add more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_gsm.c: add more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_gpg.c: add more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_gif.c: add more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_fits.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_dv.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_abr.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/fidentify.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_fs.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_flv.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_flac.c: add more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_fcs.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_exe.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_evt.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_emf.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_dxf.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_dss.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_ds2.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_dovecot.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_doc.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_dad.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_clip.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_che.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_caf.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_bvr.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_bld.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_bac.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_axx.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_axp.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_asf.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_amr.c: add "terminates \true;" annotations to data_check_amr() and header_check_amr()

2023-12-27 - Christophe Grenier
    src/file_ace.c: more frama-c annotations

2023-12-27 - Christophe Grenier
    src/file_ab.c: frama-c - no endless loop in data_check_addressbook() and
    header_check_addressbook()

2023-12-27 - Christophe Grenier
    src/file_3dm.c: frama-c - header_check_3dm() terminates

2023-12-27 - Christophe Grenier
    src/filegen.[ch]: add more frama-c annotations

2023-12-27 - Christophe Grenier
    TestDisk: src/dirn.c - reduce dir_partition_aux() complexity

2023-12-27 - Christophe Grenier
    src/file_riff.[ch]: PhotoRec - fix potential endless loop

2023-10-22 - Christophe Grenier
    src/file_xcf.c: add support for more recent versions of Gimp xcf files

2023-10-21 - Christophe Grenier
    src/filegen.c: fix bug introduced in 0fdbc689159d76539feb7ef29b9b3ef2a11636ef

2023-10-21 - Christophe Grenier
    PhotoRec: distinguish .FCStd from .zip files
    See https://github.com/cgsecurity/testdisk/issues/136

2023-10-08 - Christophe Grenier
    Add missing src/file_sdw.c - Recover Microsoft Jet DB / Sage Simply Accounting database

2023-10-08 - Christophe Grenier
    src/file_sig.c: improve Frama-C annotation for load_signature()

2023-10-08 - Christophe Grenier
    src/file_mkv.c: improve Frama-C annotations

2023-10-08 - Christophe Grenier
    src/file_lzh.c: fix wrong Frama-C annotations

2023-10-08 - Christophe Grenier
    src/file_hdf5.c: fix ifdef

2023-10-08 - Christophe Grenier
    src/file_zip.c: improve Frama-C annotations in file_rename_zip()

2023-10-08 - Christophe Grenier
    src/file_xml.c: rewrote file_rename_xml() for easier Frama-C validation

2023-10-08 - Christophe Grenier
    src/file_shp.c: switch size field to unsigned

2023-10-08 - Christophe Grenier
    src/file_psd.c: improve Frama-C annotations

2023-10-08 - Christophe Grenier
    src/file_psb.c: improve Frama-C annotations

2023-10-08 - Christophe Grenier
    src/file_pdf.c: improve Frama-C annotations after removing a call to
    MALLOC()

2023-10-08 - Christophe Grenier
    src/file_nk2.c: fix Frama-C annotations for file_check_nk2()

2023-10-08 - Christophe Grenier
    src/file_hdf.c: improve file_check_hdf() annotations

2023-10-08 - Christophe Grenier
    src/file*.c: add various Frama-C annotations in data_check_*()

2023-10-08 - Christophe Grenier
    src/file_fbx.c: fix wrong Frama-C annotations

2023-10-08 - Christophe Grenier
    src/file_dovecot.c: fix wrong Frama-C annotations for data_check_dovecot2()

2023-10-08 - Christophe Grenier
    src/file_list.c: fix several boggus ifdef

2023-10-08 - Christophe Grenier
    src/common.c: Frama-C annotations for _date_get_leap_day()

2023-10-08 - Christophe Grenier
    src/addpart.h: improve Frama-C annotations for add_partition_cli()

2023-10-08 - Christophe Grenier
    src/fidentify.c: improve Frama-C annotations

2023-10-08 - Christophe Grenier
    src/file_jpg.c: improve Frama-C annotations

2023-10-08 - Christophe Grenier
    src/file_tiff_be.c, src/file_tiff_le.c: Frama-C - use static buffer to avoid
    calling MALLOC()

2023-10-08 - Christophe Grenier
    src/file_exe.c: improve Frama-C annotations

2023-10-08 - Christophe Grenier
    src/file_doc.h: add annotations for file_check_doc_aux()

2023-10-08 - Christophe Grenier
    src/fat_common.c, src/fat_dir.c: more Frama-C annotations

2023-10-08 - Christophe Grenier
    src/ext2_common.c: more Frama-C annotations

2023-10-08 - Christophe Grenier
    src/apfs_common.c: fix Frama-C annotations for fletcher64()

2023-10-08 - Christophe Grenier
    src/filegen.c: improve Frama-C annotations

2023-10-08 - Christophe Grenier
    src/adv.c: add Frama-C annotation for interface_adv()

2023-10-08 - Christophe Grenier
    src/crc.c: fix Frama-C annotations for get_crc32

2023-10-08 - Christophe Grenier
    src/log.c: add Frama-C annotations for dump_log() and dump2_log()

2023-09-02 - Christophe Grenier
    Split src/list.h in 3

2023-09-01 - Christophe Grenier
    src/file_zip.c: improve Frama-C annotations

2023-08-31 - Christophe Grenier
    src/file_doc.c: improve Frama-C annotations

2023-08-25 - Christophe Grenier
    src/common.c: rewrite set_part_name(), set_part_name_chomp() and
    date_dos2unix() to fix Frama-C warnings

2023-08-25 - Christophe Grenier
    src/hdaccess.c: use /sys/dev/block/*/device/{model,serial,rev} to get
    information about disks

2023-08-25 - Christophe Grenier
    src/file_mov.c: recover "XAVC" videos

2023-08-25 - Christophe Grenier
    new prototype for copy_file(), improve error reporting

2023-08-25 - Christophe Grenier
    src/fat_adv.c: move up2power() from src/common.c

2023-06-18 - Christophe Grenier
    src/exfat_dir.c: Better utf-8 support when iconv is missing

2023-02-19 - Christophe Grenier
    fidentify: report if iconv is used

2023-02-19 - Christophe Grenier
    configure.ac: fidentify doesn't use com_err ext2fs ntfs-3g ntfs uuid libaries

2023-02-19 - Christophe Grenier
    qphotorec: improve error message when write failed

2023-02-19 - Christophe Grenier
    Commit various Frama-C annotations

2023-02-19 - Christophe Grenier
    src/apfs_common.c: avoid integer overflow when checking block count.

2023-02-19 - Christophe Grenier
    testdisk, photorec: report iconv usage
Merge: 900207e ca8e5ca

2023-02-03 - Christophe Grenier
    Merge branch 'gszy_shapefile' to add support for .shp (ESRI Shapefiles)

2023-02-03 - Christophe Grenier
    src/file_shp.c: fix filesize detection.
    Add some frama-c annotations

2023-02-01 - Grzegorz Szymaszek
    Add basic shapefile (.shp, .shx) support
    The shapefile support includes recognition of the magic 0x0000270a and
    parsing the file length. The source code is based on the template file
    and file_bmp.c.
    The shapefile format is described at [1], the article links to other
    resources, like the Technical Description[2].
    [1]: https://en.wikipedia.org/wiki/Shapefile
    [2]: https://www.esri.com/content/dam/esrisites/sitecore-archive/Files/Pdfs/library/whitepapers/pdfs/shapefile.pdf

2023-01-23 - Christophe Grenier
    testdisk and photorec: display disk serial number when selecting source
    disk

2023-01-23 - Christophe Grenier
    update to 2023

2022-11-16 - Christophe Grenier
    PhotoRec: recover FX Preset .fxp files

2022-11-16 - Christophe Grenier
    new constant SINGLE_PARTITION_TYPE to improve code testing

2022-11-16 - Christophe Grenier
    src/file_gz.c: compilation fix when zlib is present and SINGLE_FORMAT
    enabled.

2022-11-16 - Christophe Grenier
    configure.ac: update to November 2022
    compile.sh: switch tuxera.com to https

2022-11-16 - Christophe Grenier
    Replace "Select a media (use Arrow keys, then press Enter):" message by
    "Select a media and choose 'Proceed' using arrow keys:"

2022-11-16 - Christophe Grenier
    PhotoRec: distinguish Mathcad .mtcx files from .zip

2022-11-16 - Christophe Grenier
    src/dirn.c: new function can_copy_dir()

2022-09-10 - Christophe Grenier
    Fix for 2038 compatibility

2022-08-11 - Christophe Grenier
    src/file_ext.c: fix Array-bounds issue
    See bug report: https://github.com/cgsecurity/testdisk/issues/104
    Thanks to Daniil Frolov for reporting the problem.

2022-07-14 - Christophe Grenier
    PhotoRec: recover PowerArchiver .pa files

2022-07-14 - Christophe Grenier
    src/file_list.c: reduce number of external definition when SINGLE_FORMAT
    is used

2022-07-14 - Christophe Grenier
    Improve Frama-C annotations

2022-07-14 - Christophe Grenier
    Update to July 2022

2022-07-14 - Christophe Grenier
    src/file_ptf.c: relax Pro Tools ptf file signature

2022-07-14 - Christophe Grenier
    src/ntfs_adv.c: fix mft_lcn display by casting to "long long unsigned int"

2022-07-14 - Christophe Grenier
    src/file_exe.c: remove some useless code

2022-07-14 - Christophe Grenier
    src/chgtype.c: remove redundant check

2022-07-14 - Christophe Grenier
    src/file_skp.c: remove filesize limit

2022-07-14 - Christophe Grenier
    src/file_sp3.c: rename variable time to file_time to avoid to shadow
    time() function

2022-07-14 - Christophe Grenier
    src/hdaccess.c: make disk_get_sector_size variable local

2022-07-14 - Christophe Grenier
    src/ext2p.c: remove useless memory allocation

2022-04-13 - Christophe Grenier
    Use "DISABLED_FOR_FRAMAC" to disable code to facilitate verification
    using frama-c

2022-04-10 - Christophe Grenier
    src/partmac.[ch]: Fix mac structure to avoid using pointers

2022-04-08 - Christophe Grenier
    Fix the build with rpkg-util v3+
Merge: ad93181 936e569

2022-04-08 - Christophe Grenier
    Merge branch 'praiskup_rpkg-v3'

2022-04-08 - Pavel Raiskup
    Fix the build with rpkg-util v3+
    Per example from:
    https://docs.pagure.org/copr.copr/rpkg_util_2_vs_3.html#rpkg-util-v3

2022-04-08 - Christophe Grenier
    Move spec files from copr directory to root

2022-04-08 - Christophe Grenier
    Drop "--enable-ncmouse" option from configure script

2022-04-07 - Christophe Grenier
    pdiskseln.c,phrecn.c,ppartseln.c: disable some code for Frama-C

2022-04-06 - Christophe Grenier
    copr: Build failed on copr.fedorainfracloud.org since rpkg-util has been
    updated to v3. Update spec files to try to fix the problem.

2022-04-06 - Christophe Grenier
    src/ntfs_io.c: fix ntfs_device_testdisk_io_ioctl() prototype for ntfs-3g

2022-04-06 - Christophe Grenier
    Avoid field with a 0 size as Frama-C do not support them.

2022-04-05 - Christophe Grenier
    src/qmainrec.cpp: log "QPhotoRec exited normally" when QPhotoRec is
    closed.

2022-04-05 - Christophe Grenier
    src/qphotorec_locale.qrc: fix for f599c961a03c52c1f2a5fcab47ca8103317302cb

2022-03-26 - Christophe Grenier
    QPhotoRec: add Finnish translation from https://www.transifex.com/cgsecurity/testdisk/qphotorects/
Merge: 1b8f211 b48e36f

2022-03-26 - Christophe Grenier
    Merge branch 'patch-1' of https://github.com/mb720/testdisk

2022-03-24 - Christophe Grenier
    PhotoRec recover
    - fbx: Kaydara 3D file
    - hdf: Hierarchical Data Format 5
    - lz: lzip compressed file

2022-03-24 - Christophe Grenier
    README.md: It's better to consult the documentation than starting the
    try to build from source.

2022-01-27 - Christophe Grenier
    Stops if argc <= 0

2022-01-09 - Matthias Braun
    Fix typos in README.md

2021-12-28 - Christophe Grenier
    man: fix zh_CN version
Merge: b2a0d41 c712b39

2021-12-28 - Christophe Grenier
    Merge branch 'jwilk-forks-man'

2021-12-27 - Jakub Wilk
    man: fix formatting in SEE ALSO sections

2021-11-20 - Christophe Grenier
    Numerous frama-c annotations

2021-11-20 - Christophe Grenier
    PhotoRec: recover dovecot encrypted files (Disable by default)

2021-11-10 - Christophe Grenier
    QPhotoRec: update translations, add Polish(pl)

2021-11-10 - Christophe Grenier
    Replace "harddisk" by "hard disk" and replace "is is" by "is"
    See https://github.com/cgsecurity/testdisk/issues/110

2021-11-05 - Christophe Grenier
    compile.sh: fix most warnings reported by shellcheck

2021-11-05 - Christophe Grenier
    QPhotoRec: add sv_SE and zh_CN translations - missing part

2021-11-03 - Christophe Grenier
    QPhotoRec: add sv_SE and zh_CN translations

2021-09-06 - Christophe Grenier
    src/file_doc.c: improve Frama-C annotations

2021-09-04 - Christophe Grenier
    src/file_riff.h: improve Frama-C annotations

2021-09-04 - Christophe Grenier
    src/file_nds.c: improve Frama-C annotations

2021-09-04 - Christophe Grenier
    src/file_mpg.c: improve Frama-C annotations

2021-09-04 - Christophe Grenier
    src/file_mp3.c: improve Frama-C annotations

2021-09-04 - Christophe Grenier
    src/file_mft.c: improve Frama-C annotations

2021-09-04 - Christophe Grenier
    src/intrfn.c: ask_confirmation() - clear the screen before closing it

2021-09-04 - Christophe Grenier
    src/ext2_common.c: test_EXT2() - reduce code complexity

2021-09-04 - Christophe Grenier
    part_i386: allow to force the partition type for PC Intel partition type

2021-09-04 - Christophe Grenier
    linux/testdisk.spec.in: add make to buildroot

2021-07-29 - Christophe Grenier
    src/file_zpr.c: improve Frama-C annotations

2021-07-29 - Christophe Grenier
    src/file_zip.c: improve Frama-C annotations

2021-07-29 - Christophe Grenier
    src/file_zcode.c: improve Frama-C annotations

2021-07-28 - Christophe Grenier
    src/file_z2d.c: improve Frama-C annotations

2021-07-28 - Christophe Grenier
    src/file_xz.c: improve Frama-C annotations

2021-07-28 - Christophe Grenier
    src/file_xv.c: improve Frama-C annotations

2021-07-28 - Christophe Grenier
    src/file_xsv.c: improve Frama-C annotations

2021-07-28 - Christophe Grenier
    src/file_xpt.c: improve Frama-C annotations

2021-07-28 - Christophe Grenier
    src/file_xml.c: improve Frama-C annotations

2021-07-28 - Christophe Grenier
    src/file_xm.c: improve Frama-C warnings

2021-07-28 - Christophe Grenier
    src/file_xfs.c: improve Frama-C annotations

2021-07-28 - Christophe Grenier
    src/file_xfi.c: improve Frama-C annotations

2021-07-28 - Christophe Grenier
    src/file_xcf.c: improve Frama-C annotations

2021-07-28 - Christophe Grenier
    src/file_xar.c: improve Frama-C annotations

2021-07-28 - Christophe Grenier
    src/file_x4a.c: fix Frama-C warnings

2021-07-28 - Christophe Grenier
    src/file_x3i.c: improve Frama-C annotations

2021-07-28 - Christophe Grenier
    src/file_x3f.c: improve Frama-C annotations

2021-07-28 - Christophe Grenier
    src/file_wv.c: improve Frama-C annotations

2021-07-28 - Christophe Grenier
    src/file_wtv.c: improve Frama-C annotations

2021-07-28 - Christophe Grenier
    src/file_wpd.c: improve Frama-C annotations

2021-07-28 - Christophe Grenier
    src/file_wpb.c: improve Frama-C annotations

2021-07-28 - Christophe Grenier
    src/file_woff.c: improve Frama-C annotations

2021-07-28 - Christophe Grenier
    src/file_wnk.c: improve Frama-C annotations

2021-07-27 - Christophe Grenier
    src/file_wmf.c: improve Frama-C annotations

2021-07-27 - Christophe Grenier
    src/file_wld.c: improve Frama-C annotations

2021-07-27 - Christophe Grenier
    src/file_wks.c: improve Frama-C annotations

2021-07-27 - Christophe Grenier
    src/file_win.c: improve Frama-C annotations

2021-07-27 - Christophe Grenier
    src/file_wim.c: improve Frama-C annotations

2021-07-27 - Christophe Grenier
    src/file_wee.c: improve Frama-C annotations

2021-07-27 - Christophe Grenier
    src/file_wdp.c: improve Frama-C annotations
    src/file_tiff.h: fix annotation

2021-07-27 - Christophe Grenier
    src/file_wallet.c: improve Frama-C annotations

2021-07-27 - Christophe Grenier
    src/file_wad.c: improve Frama-C annotations

2021-07-27 - Christophe Grenier
    src/file_vmg.c: improve Frama-C annotations

2021-07-27 - Christophe Grenier
    src/file_vmdk.c: improve Frama-C annotations

2021-07-27 - Christophe Grenier
    src/file_vib.c: improve Frama-C annotations

2021-07-27 - Christophe Grenier
    src/file_vfb.c: improve Frama-C annotations

2021-07-27 - Christophe Grenier
    src/file_veg.c: improve Frama-C annotations

2021-07-27 - Christophe Grenier
    src/file_vdj.c: improve Frama-C annotations

2021-07-27 - Christophe Grenier
    src/file_vdi.c: improve Frama-C annotations

2021-07-25 - Christophe Grenier
    src/file_vault.c: improve Frama-C annotations

2021-07-25 - Christophe Grenier
    src/file_v2i.c: improve Frama-C annotations

2021-07-25 - Christophe Grenier
    src/file_tz.c: improve Frama-C annotations

2021-07-25 - Christophe Grenier
    src/file_txt.c: recover cdxml and mol2 files
    Improve Frama-C annotations

2021-07-25 - Christophe Grenier
    src/file_ttf.c: improve Frama-C annotations

2021-07-25 - Christophe Grenier
    src/file_tpl.c: improve Frama-C annotations

2021-07-25 - Christophe Grenier
    src/file_tph.c: improve Frama-C annotations

2021-07-25 - Christophe Grenier
    src/file_torrent.c: improve Frama-C annotations

2021-07-25 - Christophe Grenier
    src/file_tivo.c: improve Frama-C annotations

2021-07-25 - Christophe Grenier
    src/file_tiff*.[ch]: Fix Frama-C warnings

2021-07-25 - Christophe Grenier
    src/file_tib.c: Fix Frama-C warnings

2021-07-24 - Christophe Grenier
    src/file_tg.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_tax.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_tar.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_swf.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_studio.c: improve Frama-C annotions

2021-07-24 - Christophe Grenier
    src/file_stu.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_stl.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_steuer2014.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_sqm.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_sql.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_spss.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_spf.c: Fix Frama-C warnings

2021-07-24 - Christophe Grenier
    src/file_spe.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_sp3.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_snag.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_skp.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_skd.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_sit.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_sib.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_shn.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_sgcta.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_ses.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_sdsk.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_save.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_rx2.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_rw2.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_rpm.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_rns.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_rm.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_rlv.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_riff.c: Fix Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_rfp.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_res.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_reg.c: improve FRama-C annotations

2021-07-24 - Christophe Grenier
    src/file_rdc.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_raw.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_rar.c: improve Frama-C annotations

2021-07-24 - Christophe Grenier
    src/file_raf.c: improve Frama-C annotations

2021-07-08 - Christophe Grenier
    src/file_ra.c: improve Frama-C annotations

2021-07-08 - Christophe Grenier
    src/file_r3d.c: improve Frama-C annotations

2021-07-08 - Christophe Grenier
    src/file_qxd.c: improve Frama-C annotations

2021-07-08 - Christophe Grenier
    src/file_qkt.c: improve Frama-C annotations

2021-07-08 - Christophe Grenier
    src/file_qdf.c: improve Frama-C annotations

2021-07-07 - Christophe Grenier
    src/file_qbb.c: fix Frama-C warnings

2021-07-07 - Christophe Grenier
    src/file_pzh.c: improve Frama-C annotations

2021-07-07 - Christophe Grenier
    src/file_pzf.c: improve Frama-C annotations

2021-07-07 - Christophe Grenier
    src/file_pyc.c: improve Frama-C annotations

2021-07-07 - Christophe Grenier
    src/file_ptf.c: improve Frama-C annotations

2021-07-07 - Christophe Grenier
    src/file_ptb.c: improve Frama-C annotations

2021-07-07 - Christophe Grenier
    src/file_pst.c: improve Frama-C annotations

2021-07-07 - Christophe Grenier
    src/file_psp.c: improve Frama-C annotations

2021-07-07 - Christophe Grenier
    src/file_psf.c: improve Frama-C annotations

2021-07-07 - Christophe Grenier
    src/file_psd.c: fix Frama-C warnings

2021-07-07 - Christophe Grenier
    src/file_ps.c: improve Frama-C annotations

2021-07-07 - Christophe Grenier
    src/file_psb.c: improve Frama-C annotations

2021-07-07 - Christophe Grenier
    src/file_pct.c: avoid Frama-C warnings

2021-07-07 - Christophe Grenier
    src/file_prt.c: improve Frama-C annotations

2021-07-07 - Christophe Grenier
    src/file_prd.c: improve Frama-C annotations

2021-07-07 - Christophe Grenier
    src/file_prc.c: improve Frama-C annotations

2021-07-07 - Christophe Grenier
    src/file_pnm.c: improve Frama-C annotations

2021-07-07 - Christophe Grenier
    src/file_png.c: fix Frama-C warnings

2021-07-07 - Christophe Grenier
    src/file_plt.c: improve Frama-C annotations

2021-07-07 - Christophe Grenier
    src/file_plr.c: improve Frama-C annotations

2021-07-07 - Christophe Grenier
    src/file_plist.c: improve Frama-C annotations

2021-07-07 - Christophe Grenier
    src/file_pgdump.c: improve Frama-C annotations

2021-07-07 - Christophe Grenier
    src/file_pfx.c: improve Frama-C annotations

2021-07-06 - Christophe Grenier
    src/file_pf.c: improve Frama-C annotations

2021-07-06 - Christophe Grenier
    src/file_pds.c: improve Frama-C annotations

2021-07-06 - Christophe Grenier
    src/file_pdf.c: improve Frama-C annotations

2021-07-05 - Christophe Grenier
    src/file_pdb.c: fix Frama-C warnings

2021-07-05 - Christophe Grenier
    src/file_pcx.c: improve Frama-C annotations

2021-07-04 - Christophe Grenier
    src/file_pcb.c: improve Frama-C annotations

2021-07-04 - Christophe Grenier
    src/file_pcap.c: improve Frama-C annotations

2021-07-04 - Christophe Grenier
    src/file_par2.c: fix Frama-C warnings

2021-07-04 - Christophe Grenier
    src/file_pap.c: improve Frama-C annotations

2021-07-04 - Christophe Grenier
    src/file_paf.c: improve Frama-C annotations

2021-07-04 - Christophe Grenier
    src/file_orf.c: improve Frama-C annotations

2021-07-03 - Christophe Grenier
    src/file_one.c: improve Frama-C annotations

2021-07-03 - Christophe Grenier
    src/file_ogg.c: improve Frama-C annotations

2021-07-03 - Christophe Grenier
    src/file_oci.c: improve Frama-C annotations

2021-07-03 - Christophe Grenier
    src/file_nsf.c: improve Frama-C annotations

2021-07-03 - Christophe Grenier
    src/file_nk2.c: fix Frama-C warnings

2021-07-03 - Christophe Grenier
    src/file_njx.c: improve Frama-C annotations

2021-07-03 - Christophe Grenier
    src/file_nes.c: improve Frama-C annotations

2021-07-03 - Christophe Grenier
    src/file_nd2.c: improve Frama-C annotations

2021-07-03 - Christophe Grenier
    src/file_mysql.c: improve Frama-C annotations

2021-07-03 - Christophe Grenier
    src/file_myo.c: add Frama-C annotations

2021-07-03 - Christophe Grenier
    src/file_mxf.c: improve Frama-C annotations

2021-07-03 - Christophe Grenier
    src/file_mus.c: improve Frama-C annotations

2021-07-03 - Christophe Grenier
    src/file_msa.c: improve Frama-C annotations

2021-07-03 - Christophe Grenier
    src/file_mrw.c: improve Frama-C annotations

2021-07-03 - Christophe Grenier
    src/file_mpl.c: improve Frama-C annotations

2021-07-03 - Christophe Grenier
    src/file_mpg.c: fix Frama-C annotations

2021-07-02 - Christophe Grenier
    src/file_mp3.c: improve Frama-C annotations

2021-07-02 - Christophe Grenier
    src/file_mov.c: improve Frama-C annotations

2021-07-02 - Christophe Grenier
    src/file_mobi.c: improve Frama-C annotations

2021-07-02 - Christophe Grenier
    src/file_mlv.c: improve Frama-C annotations

2021-07-02 - Christophe Grenier
    src/file_mkv.c: improve Frama-C annotations

2021-07-02 - Christophe Grenier
    src/file_mk5.c: improve Frama-C annotations

2021-07-02 - Christophe Grenier
    src/file_mig.c: fix Frama-C warnings

2021-07-02 - Christophe Grenier
    src/file_mid.c: improve Frama-C annotations

2021-07-02 - Christophe Grenier
    src/file_mfg.c: improve Frama-C annotations

2021-07-02 - Christophe Grenier
    src/file_mfa.c: improve Frama-C annotations

2021-07-02 - Christophe Grenier
    src/file_mdp.c: improve Frama-C annotations

2021-07-02 - Christophe Grenier
    src/file_mdf.c: improve Frama-C annotations

2021-07-02 - Christophe Grenier
    src/file_mdb.c: improve Frama-C annotations

2021-07-02 - Christophe Grenier
    src/file_mcd.c: improve Frama-C annotations

2021-07-02 - Christophe Grenier
    src/file_mb.c: improve Frama-C annotations

2021-07-02 - Christophe Grenier
    src/file_max.c: improve Frama-C annotations

2021-07-02 - Christophe Grenier
    src/file_mat.c: improve Frama-C annotations

2021-07-02 - Christophe Grenier
    src/file_m2ts.c: improve Frama-C annotations

2021-07-02 - Christophe Grenier
    src/file_lzo.c: improve Frama-C annotations

2021-07-02 - Christophe Grenier
    src/file_lzh.c: fix Frama-C annotations

2021-07-02 - Christophe Grenier
    src/file_lxo.c: improve Frama-C annotations

2021-06-30 - Christophe Grenier
    src/file_luks.c: improve Frama-C annotations

2021-06-30 - Christophe Grenier
    src/file_lso.c: improve Frama-C annotations

2021-06-30 - Christophe Grenier
    src/file_logic.c: improve Frama-C annotations

2021-06-30 - Christophe Grenier
    src/file_lnk.c: improve Frama-C annotations

2021-06-30 - Christophe Grenier
    src/file_lit.c: improve Frama-C annotations

2021-06-27 - Christophe Grenier
    src/file_ldf.c: improve Frama-C annotations

2021-06-27 - Christophe Grenier
    src/file_key.c: improve Frama-C annotations

2021-06-27 - Christophe Grenier
    src/file_kdbx.c: improve Frama-C annotations

2021-06-27 - Christophe Grenier
    src/file_kdb.c: improve Frama-C annotations

2021-06-27 - Christophe Grenier
    src/file_jsonlz4.c: Improve Frama-C annotations

2021-06-27 - Christophe Grenier
    src/file_jpg.c: Fix Frama-C warnings

2021-06-27 - Christophe Grenier
    src/file_jks.c: improve Frama-C annotations

2021-06-27 - Christophe Grenier
    src/file_itu.c: improve Frama-C annotations

2021-06-27 - Christophe Grenier
    src/file_it.c: improve Frama-C annotations

2021-06-27 - Christophe Grenier
    src/file_iso.c: improve Frama-C annotations

2021-06-27 - Christophe Grenier
    PhotoRec: recover Clip Studio Paint .clip files

2021-06-23 - Christophe Grenier
    src/file_info.c: improve Frama-C annotations

2021-06-23 - Christophe Grenier
    src/file_indd.c: fix Frama-C warnings

2021-06-23 - Christophe Grenier
    src/file_imb.c: improve Frama-C annotations

2021-06-23 - Christophe Grenier
    src/file_ifo.c: improve Frama-C annotations

2021-06-22 - Christophe Grenier
    src/file_idx.c: improve Frama-C annotations

2021-06-22 - Christophe Grenier
    src/file_ico.c: improve Frama-C annotations

2021-06-22 - Christophe Grenier
    src/file_icns.c: improve Frama-C annotations

2021-06-22 - Christophe Grenier
    src/file_icc.c: improve Frama-C annotations

2021-06-22 - Christophe Grenier
    src/file_ibd.c: improve Frama-C annotations

2021-06-22 - Christophe Grenier
    src/file_http.c: improve Frama-C annotations

2021-06-22 - Christophe Grenier
    src/file_hr9.c: improve Frama-C annotations

2021-06-22 - Christophe Grenier
    src/file_hm.c: improve Frama-C annotations

2021-06-22 - Christophe Grenier
    src/file_fcs.c: improve Frama-C annotations

2021-06-22 - Christophe Grenier
    src/file_doc.h: Add missing annotations from commit ac8fe1651813f4c4eca6a1001c76c9890ad6ba3d

2021-06-22 - Christophe Grenier
    src/file_hfsp.c: improve Frama-C annotations

2021-06-22 - Christophe Grenier
    src/file_hds.c: improve FRama-C annotations

2021-06-22 - Christophe Grenier
    src/file_hdr.c: improve Frama-C annotations

2021-06-15 - Christophe Grenier
    src/file_hdf.c: improve Frama-C annotations

2021-06-15 - Christophe Grenier
    src/file_gz.c: improve Frama-C annotations

2021-06-15 - Christophe Grenier
    src/file_gsm.c: improve Frama-C annotations

2021-06-15 - Christophe Grenier
    src/file_gpx.c: improve Frama-C annotations

2021-06-15 - Christophe Grenier
    src/file_gpg.c: improve Frama-C annotations

2021-06-15 - Christophe Grenier
    src/file_gp5.c: improve Frama-C annotations

2021-06-15 - Christophe Grenier
    src/file_gp2.c: improve Frama-C annotations

2021-06-15 - Christophe Grenier
    src/file_gm6.c: improve Frama-C annotations

2021-06-14 - Christophe Grenier
    src/file_gif.c: improve Frama-C annotations

2021-06-14 - Christophe Grenier
    src/file_gi.c: improve Frama-C annotations

2021-06-14 - Christophe Grenier
    src/file_gho.c: improve Frama-C annotations

2021-06-14 - Christophe Grenier
    src/file_gct.c: improve Frama-C annotations

2021-06-14 - Christophe Grenier
    src/file_gam.c: add Frama-C annotations

2021-06-14 - Christophe Grenier
    src/file_fwd.c: improve Frama-C annotations

2021-06-14 - Christophe Grenier
    src/file_fs.c: improve Frama-C annotations

2021-06-14 - Christophe Grenier
    src/file_frm.c: improve Frama-C annotations

2021-06-13 - Christophe Grenier
    src/file_freeway.c: improve Frama-C annotations

2021-06-13 - Christophe Grenier
    src/file_fp7.c: improve Frama-C annotations

2021-06-13 - Christophe Grenier
    src/file_fp5.c: improve Frama-C annotations

2021-06-13 - Christophe Grenier
    src/file_fos.c: improve Frama-C annotations

2021-06-13 - Christophe Grenier
    src/file_fob.c: improve Frama-C annotations

2021-06-13 - Christophe Grenier
    src/file_fm.c: add Frama-C annotations

2021-06-13 - Christophe Grenier
    src/file_flv.c: improve Frama-C annotations

2021-06-12 - Christophe Grenier
    src/file_flp.c: improve Frama-C annotations

2021-06-12 - Christophe Grenier
    src/file_flac.c: improve Frama-C annotations

2021-06-12 - Christophe Grenier
    src/file_fits.c: improve Frama-C annotations.
    The various integer overflow remain.

2021-06-12 - Christophe Grenier
    src/file_fit.c: improve Frama-C annotations

2021-06-12 - Christophe Grenier
    src/file_filevault.c: improve Frama-C annotations

2021-06-12 - Christophe Grenier
    src/file_DB.c: improve Frama-C annotations

2021-06-12 - Christophe Grenier
    src/file_7z.c: improve Frama-C annotations

2021-06-12 - Christophe Grenier
    src/file_3ds.c: improve Frama-C annotations

2021-06-12 - Christophe Grenier
    src/file_3dm.c: improve Frama-C annotations

2021-06-12 - Christophe Grenier
    src/file_1cd.c: improve Frama-C annotations

2021-06-12 - Christophe Grenier
    src/file_fh5.c: improve Frama-C annotations

2021-06-12 - Christophe Grenier
    src/file_fh10.c: improve Frama-C annotations

2021-06-12 - Christophe Grenier
    src/file_fds.c: improve Frama-C annotations

2021-06-12 - Christophe Grenier
    src/file_fdb.c: improve Frama-C annotations

2021-06-12 - Christophe Grenier
    src/file_fcp.c: improve Frama-C annotations

2021-06-12 - Christophe Grenier
    src/file_fbk.c: improve Frama-C annotations

2021-06-12 - Christophe Grenier
    src/file_fbf.c: improve Frama-C annotations

2021-06-12 - Christophe Grenier
    src/file_fat.c: improve Frama-C annotations

2021-06-12 - Christophe Grenier
    src/fat_common.[ch]: update Frama-C annotations

2021-06-12 - Christophe Grenier
    src/file_zip.c: recover application/vnd.adobe.indesign-idml-package as indd files

2021-06-12 - Christophe Grenier
    src/file_ext.c: improve Frama-C annotations

2021-06-10 - Christophe Grenier
    src/file_ext2.c: improve Frama-C annotations

2021-06-09 - Christophe Grenier
    src/file_exs.c: improve Frama-C annotations

2021-06-09 - Christophe Grenier
    src/file_exr.c: improve Frama-C annotations

2021-06-09 - Christophe Grenier
    src/file_exe.c: improve Frama-C annotations

2021-06-08 - Christophe Grenier
    src/file_evtx.c: improve Frama-C annotations

2021-06-08 - Christophe Grenier
    src/file_evt.c: improve Frama-C annotations

2021-06-08 - Christophe Grenier
    src/file_ess.c: add Frama-C annotations

2021-06-08 - Christophe Grenier
    src/file_emf.c: improve Frama-C annotations

2021-06-08 - Christophe Grenier
    src/file_elf.c: improve Frama-C annotations

2021-06-08 - Christophe Grenier
    src/file_edb.c: improve Frama-C annotations

2021-06-08 - Christophe Grenier
    src/file_ecryptfs.c: improve Frama-C annotations

2021-06-08 - Christophe Grenier
    src/file_e01.c: improve Frama-C annotations

2021-06-07 - Christophe Grenier
    src/file_dxf.c: improve Frama-C annotations

2021-06-07 - Christophe Grenier
    src/file_dwg.c: improve Frama-C annotations

2021-06-07 - Christophe Grenier
    src/file_dvr.c: improve Frama-C annotations

2021-06-07 - Christophe Grenier
    src/file_dvi.c: improve Frama-C annotations

2021-06-07 - Christophe Grenier
    src/file_dv.c: Fix Frama-C warnings

2021-06-07 - Christophe Grenier
    src/file_dump.c: improve Frama-C annotations

2021-06-07 - Christophe Grenier
    src/file_dta.c: improve Frama-C annotations

2021-06-07 - Christophe Grenier
    src/file_dst.c: improve Frama-C annotations

2021-06-07 - Christophe Grenier
    src/file_ds_store.c: improve Frama-C annotations

2021-06-07 - Christophe Grenier
    src/file_dss.c: improve Frama-C annotations

2021-06-07 - Christophe Grenier
    src/file_dsc.c: improve Frama-C annotations

2021-06-07 - Christophe Grenier
    src/file_ds2.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_drw.c: add Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_drw2.c: add Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_dpx.c: Add Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_doc.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_dmp.c: add Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_djv.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_dir.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_dim.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_dex.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_ddf.c: add Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_dcm.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_dbn.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_dbf.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_dat.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_dar.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_dad.c: add Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_d2s.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_cwk.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_ctg.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_csh.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_crw.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_cpi.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_cow.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_bmp.c: fix Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_compress.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_cm.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_class.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_chm.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_che.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_cdt.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_catdrawing.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_cam.c: add Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_caf.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_cab.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_c4d.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_bz2.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_bvr.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_bpg.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_bld.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_bkf.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_binvox.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_bin.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_bim.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_bfa.c: Improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_berkeley.c: update Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_bdm.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_bac.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_axx.c: Fix Frama-C warnings

2021-06-06 - Christophe Grenier
    src/file_axp.c: Improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_au.c: Improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_atd.c: Improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_asm.c: Improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_asl.c: Improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_asf.c: Improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_ari.c: Improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_apple.c: Improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_ape.c: improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_apa.c: Improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_amr.c: Improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_ace.c: Improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_amd.c: Improve Frama-C annotations

2021-06-06 - Christophe Grenier
    src/file_als.c: Improve Frama-C annotations

2021-06-05 - Christophe Grenier
    src/hdaccess.c: Do not use /dev/sdX anymore under cygwin

2021-06-05 - Christophe Grenier
    src/file_all.c: Improve Frama-C annotations

2021-06-05 - Christophe Grenier
    src/file_aif.c: improve Frama-C annotations

2021-06-05 - Christophe Grenier
    src/file_ahn.c: Improve Frama-C annotations

2021-06-05 - Christophe Grenier
    src/file_afdesign.c: improve Frama-C annotations

2021-06-05 - Christophe Grenier
    src/fidentify.c: call file_rename_*() when available but only for
    Frama-C validation

2021-06-05 - Christophe Grenier
    src/fidentify.c: call data_check_*() when available for better file check

2021-06-05 - Christophe Grenier
    src/fidentify.c: add more Frama-C annotations

2021-06-05 - Christophe Grenier
    src/file_ado.c: Update FRama-C annotations

2021-06-04 - Christophe Grenier
    src/file_acb.c: Update Frama-C annotations

2021-06-03 - Christophe Grenier
    src/file_a.c: Update Frama-C annotations

2021-06-03 - Christophe Grenier
    src/file_abr.c: Update Frama-C annotations

2021-06-03 - Christophe Grenier
    src/file_ab.c: update Frama-C annotations

2021-06-03 - Christophe Grenier
    src/file_arj.c: update Frama-C annotations

2021-06-03 - Christophe Grenier
    apfs_common.c: add Frama-C annotations

2021-06-02 - Christophe Grenier
    TestDisk: detect APFS partition

2021-05-31 - Christophe Grenier
    src/file_xm.c: fix Frama-C annotations

2021-05-31 - Christophe Grenier
    src/filegen.[ch]: add Frama-C predicates

2021-05-31 - Christophe Grenier
    PhotoRec: use LBA when listing EFI GPT partitions as TestDisk does

2021-05-21 - Christophe Grenier
    src/file_zip.c: fix mimetype parsing, improve detection of epub

2021-05-12 - Christophe Grenier
    Fix commit 65caf90a28399f6be0aa5c6401e27e646f9bdfe3
Merge: add9add f7b0240

2021-05-12 - Christophe Grenier
    Merge branch 'farvardin'

2021-05-12 - Christophe Grenier
    src/file_drw2.c: remove commented code and add Frama-C annotations
Merge: add9add 24ec21a

2021-05-12 - Christophe Grenier
    Merge https://github.com/farvardin/testdisk into farvardin

2021-05-09 - Christophe Grenier
    src/ntfs_adv.c: add missing header

2021-05-09 - Christophe Grenier
    src/common.h: add Frama-C annotations

2021-05-09 - Christophe Grenier
    Update rc files to 2021

2021-05-09 - Christophe Grenier
    compile.sh: add target aarch64-QNAP-linux-gnu

2021-04-30 - farvardin
    removing some bytes for the drw2 recognition

2021-04-30 - farvardin
    adding micrografx designer drw format

2021-04-23 - Christophe Grenier
    qphotorec: add greek (el) language

2021-04-18 - Christophe Grenier
    Update date to 2021

2021-04-18 - Xavier DANEST
    qphotorec: Restrict path used to search for DLL to current directory

2021-04-18 - Christophe Grenier
    win/*.conf must use Windows end of line

2021-04-16 - Christophe Grenier
    TestDisk: ask confirmation to stop searching for more partitions

2021-04-16 - Christophe Grenier
    src/file_jpg.c: additional signature to avoid to recover a jpg from a mov

2021-04-16 - Christophe Grenier
    src/file_win.c: add Frama-C annotations

2021-04-16 - Christophe Grenier
    src/file_png.c: add Frama-C annotations

2021-04-10 - Christophe Grenier
    file_*.c: add various Frama-C annotations

2021-04-10 - Christophe Grenier
    PhotoRec: check that file_check!=NULL before calling header_ignored()

2021-04-10 - Christophe Grenier
    src/file_vdi.c: add Frama-C annotations

2021-04-10 - Christophe Grenier
    src/file_prc.c: add Frama-C annotations

2021-04-10 - Christophe Grenier
    src/file_wpb.c: add Frama-C annotations

2021-04-10 - Christophe Grenier
    src/file_wim.c: add a Frama-C annotation

2021-04-10 - Christophe Grenier
    src/file_vault.c: add Frama-C annotations

2021-04-10 - Christophe Grenier
    src/file_tar.c: improve Frama-C annotations

2021-04-10 - Christophe Grenier
    src/file_r3d.c: add Frama-C annotations

2021-04-10 - Christophe Grenier
    src/file_prt.c: add Frama-C annotations

2021-04-10 - Christophe Grenier
    src/file_prd.c: add Frama-C annotations

2021-04-10 - Christophe Grenier
    src/file_pnm.c: add Frama-C annotations

2021-04-10 - Christophe Grenier
    src/file_mus.c: add Frama-C annotations

2021-04-10 - Christophe Grenier
    src/file_hm.c: add Frama-C annotations

2021-04-10 - Christophe Grenier
    src/file_dss.c: add Frama-C annotations

2021-04-10 - Christophe Grenier
    src/file_DB.c: add Frama-C annotations

2021-03-20 - Christophe Grenier
    src/filegen.c: add more Frama-C annotations

2021-03-20 - Christophe Grenier
    src/file_wim.c: rewrite header_check_wim(), add Frama-C annotations

2021-03-20 - Christophe Grenier
    src/file_zpr.c: add Frama-C annotations

2021-03-19 - Christophe Grenier
    src/file_zip.c: Add more Frama-C annotations

2021-03-19 - Christophe Grenier
    src/file_zip.c: add Frama-C assigns clause to zip_parse_file_entry_fn

2021-03-18 - Christophe Grenier
    src/file_zip.c: exit zip_parse_file_entry_fn() when an extension is
    found

2021-03-18 - Christophe Grenier
    src/file_zip.c: remove krita parameter

2021-03-18 - Christophe Grenier
    src/file_zip.c: move some redundant code into zip_parse_parse_entry_mimetype()

2021-03-18 - Christophe Grenier
    src/file_zip.c: move several static variables to the top

2021-03-18 - Christophe Grenier
    src/file_zip.c: move structure to the top

2021-03-15 - Christophe Grenier
    src/file_zcode.c: add Frama-C annotations

2021-03-15 - Christophe Grenier
    src/file_z2d.c: add Frama-C annotations

2021-03-15 - Christophe Grenier
    src/file_xz.c: add Frama-C annotations

2021-03-15 - Christophe Grenier
    src/file_xv.c: add Frama-C annotations

2021-03-14 - Christophe Grenier
    src/file_xsv.c: add Frama-C annotations

2021-03-14 - Christophe Grenier
    src/file_xpt.c: add Frama-C annotations

2021-03-14 - Christophe Grenier
    src/file_xml.c: fix problems reported by Frama-C

2021-03-14 - Christophe Grenier
    src/file_xm.c: Add Frama-C annotations

2021-03-14 - Christophe Grenier
    src/file_xfs.c: add Frama-C annotations
    src/xfs_struct.h: move structure from src/xfs.h

2021-03-14 - Christophe Grenier
    src/file_xfi.c: add Frama-C annotations

2021-03-14 - Christophe Grenier
    src/file_xcf.c: add Frama-C annotations

2021-03-14 - Christophe Grenier
    src/file_xar.c: add Frama-C annotations

2021-03-14 - Christophe Grenier
    src/file_x4a.c: add Frama-C annotations

2021-03-14 - Christophe Grenier
    src/file_x3i.c: add Frama-C annotations

2021-03-14 - Christophe Grenier
    src/file_x3f.c: add Frama-C annotations

2021-03-14 - Christophe Grenier
    src/file_wv.c: fix problems reported by Frama-C

2021-03-14 - Christophe Grenier
    src/file_wtv.c: add Frama-C annotations

2021-03-14 - Christophe Grenier
    src/file_wpd.c: add Frama-C annotations

2021-03-14 - Christophe Grenier
    src/file_woff.c: add Frama-C annotations

2021-03-14 - Christophe Grenier
    src/file_wnk.c: add Frama-C annotations

2021-03-14 - Christophe Grenier
    src/file_wmf.c: avoid integer overflow in wmf_check_meta_header(), add Frama-C annotations

2021-03-14 - Christophe Grenier
    src/file_wld.c: add Frama-C annotations

2021-03-14 - Christophe Grenier
    src/file_wks.c: add Frama-C annotations

2021-03-14 - Christophe Grenier
    Move UTFsize() from src/file_txt.c to src/utfsize.c
    src/file_win.c: add Frama-C annotations

2021-03-13 - Christophe Grenier
    src/file_wee.c: add Frama-C annotations

2021-03-13 - Christophe Grenier
    src/file_wdp.c: add Frama-C annotations
    src/file_tiff_[bl]e.c: more annotations

2021-03-13 - Christophe Grenier
    src/file_wallet.c: add Frama-C annotations

2021-03-13 - Christophe Grenier
    src/file_wad.c: add Frama-C annotations

2021-03-13 - Christophe Grenier
    src/file_vmg.c: add Frama-C annotations

2021-03-13 - Christophe Grenier
    src/file_vmdk.c: add Frama-C annotations

2021-03-13 - Christophe Grenier
    src/file_vib.c: add Frama-C annotations

2021-03-13 - Christophe Grenier
    src/file_vfb.c: add Frama-C annotations

2021-03-13 - Christophe Grenier
    src/file_veg.c: add Frama-C annotations

2021-03-13 - Christophe Grenier
    src/file_vdj.c: add Frama-C annotations

2021-03-13 - Christophe Grenier
    src/file_v2i.c: add Frama-C annotations

2021-03-13 - Christophe Grenier
    src/file_tz.c: add Frama-C annotations

2021-03-13 - Christophe Grenier
    src/file_txt.c: improve Frama-C annotations

2021-03-12 - Christophe Grenier
    src/file_tpl.c: add Frama-C annotations

2021-03-11 - Christophe Grenier
    src/file_tph.c: add Frama-C annotations

2021-03-11 - Christophe Grenier
    src/file_torrent.c: add Frama-C annotations

2021-03-11 - Christophe Grenier
    .travis.yml: SonarQube Scanner failed due to node.js 8 instead of 10.
    Try the bump the version

2021-03-09 - Christophe Grenier
    travis: update to xenial

2021-03-09 - Christophe Grenier
    src/file_tivo.c: add Frama-C annotations

2021-03-09 - Christophe Grenier
    src/file_ttiff*.[ch]: improve Frama-C annotations

2021-03-07 - Christophe Grenier
    src/file_tib.c: add Frama-C annotations

2021-03-07 - Christophe Grenier
    src/file_tg.c: add Frama-C annotations

2021-03-07 - Christophe Grenier
    src/file_tax.c: add Frama-C annotations

2021-03-07 - Christophe Grenier
    src/file_swf.c: add Frama-C "assigns" annotations

2021-03-07 - Christophe Grenier
    src/file_studio.c: add Frama-C annotations

2021-03-07 - Christophe Grenier
    src/file_stu.c: add Frama-C annotations

2021-03-07 - Christophe Grenier
    src/file_steuer2014.c: add Frama-C annotations

2021-03-07 - Christophe Grenier
    src/file_sqm.c: add Frama-C annotations

2021-03-07 - Christophe Grenier
    src/file_sql.c: add Frama-C annotations

2021-03-07 - Christophe Grenier
    src/file_spss.c: add Frama-C annotations

2021-03-07 - Christophe Grenier
    src/file_spf.c: add Frama-C annotations

2021-03-06 - Christophe Grenier
    src/file_spe.c: add Frama-C annotations

2021-03-06 - Christophe Grenier
    src/file_sp3.c: add Frama-C annotations - split the main function

2021-03-05 - Christophe Grenier
    src/file_snag.c: add Frama-C annotations
    src/file_doc.c: disable half the code when validating snag files using Frama-C

2021-03-05 - Christophe Grenier
    src/file_skp.c: add Frama-C annotations

2021-03-05 - Christophe Grenier
    src/file_skd.c: add Frama-C annotations

2021-03-05 - Christophe Grenier
    src/file_sit.c: add Frama-C annotations

2021-03-05 - Christophe Grenier
    src/file_sib.c: add Frama-C annotations

2021-03-05 - Christophe Grenier
    src/file_shn.c: add Frama-C annotations

2021-03-05 - Christophe Grenier
    src/file_stl.c: add Frama-C annotations

2021-03-05 - Christophe Grenier
    src/file_sgcta.c: add Frama-C annotations

2021-03-03 - Christophe Grenier
    src/file_ses.c: add Frama-C annotations

2021-03-03 - Christophe Grenier
    src/file_sdsk.c: add Frama-C annotations

2021-03-03 - Christophe Grenier
    src/file_save.c: add Frama-C annotations

2021-03-03 - Christophe Grenier
    src/file_rx2.c: add Frama-C annotations

2021-03-03 - Christophe Grenier
    src/file_rw2.c: add Frama-C annotations

2021-03-03 - Christophe Grenier
    src/file_rpm.c: add Frama-C annotations

2021-03-03 - Christophe Grenier
    src/file_rns.c: add Frama-C annotations

2021-03-03 - Christophe Grenier
    src/file_rm.c: add Frama-C annotations

2021-03-03 - Christophe Grenier
    src/file_rlv.c: add Frama-C annotations

2021-03-03 - Christophe Grenier
    src/file_riff.c: add Frama-C annotations, stricter checks

2021-03-03 - Christophe Grenier
    src/file_rfp.c: add Frama-C annotations

2021-03-03 - Christophe Grenier
    src/file_res.c: add Frama-C annotations

2021-03-03 - Christophe Grenier
    src/file_rdc.c: add Frama-C annotations

2021-03-01 - Christophe Grenier
    src/file_raw.c: add Frama-C annotations

2021-03-01 - Christophe Grenier
    src/file_rar.c: add Frama-C annotations

2021-02-28 - Christophe Grenier
    src/file_raf.c: add Frama-C annotations

2021-02-28 - Christophe Grenier
    src/file_ra.c: add Frama-C annotations

2021-02-28 - Christophe Grenier
    src/file_qxd.c: add Frama-C annotations

2021-02-28 - Christophe Grenier
    src/file_qkt.c: add Frama-C annotations

2021-02-28 - Christophe Grenier
    src/file_qdf.c: add Frama-C annotations

2021-02-28 - Christophe Grenier
    src/file_qbb.c: add Frama-C annotations

2021-02-28 - Christophe Grenier
    src/file_pzh.c: add Frama-C annotations

2021-02-28 - Christophe Grenier
    src/file_pzf.c: add Frama-C annotations

2021-02-28 - Christophe Grenier
    src/file_pyc.c: add Frama-C annotations

2021-02-28 - Christophe Grenier
    src/file_ptf.c: add Frama-C annotations

2021-02-28 - Christophe Grenier
    src/file_ptb.c: add Frama-C annotations

2021-02-28 - Christophe Grenier
    src/file_pst.c: add Frama-C annotations

2021-02-28 - Christophe Grenier
    src/file_psp.c: add Frama-C annotations

2021-02-28 - Christophe Grenier
    src/file_psf.c: add Frama-C annotations

2021-02-28 - Christophe Grenier
    src/file_psb.c, src/file_psd.c: Fix Photoshop file parsers
    Add Frama-C annotations

2021-02-27 - Christophe Grenier
    src/file_plt.c: add Frama-C annotations

2021-02-27 - Christophe Grenier
    src/file_plr.c: add Frama-C annotations

2021-02-27 - Christophe Grenier
    src/file_plist.c: add Frama-C annotations

2021-02-27 - Christophe Grenier
    src/file_pgdump.c: add Frama-C annotations

2021-02-27 - Christophe Grenier
    src/file_pfx.c: add Frama-C annotations

2021-02-27 - Christophe Grenier
    src/file_pf.c: improve Frama-C annotations

2021-02-27 - Christophe Grenier
    src/file_pds.c: add frama-c annotations

2021-02-27 - Christophe Grenier
    src/file_pdf.c: fix problems reported by Frama-C

2021-02-27 - Christophe Grenier
    src/file_pdb.c: add Frama-C annotations

2021-02-27 - Christophe Grenier
    src/file_pcx.c: add frama-c annotations

2021-02-27 - Christophe Grenier
    src/file_pct.c: add frama-c annotations

2021-02-27 - Christophe Grenier
    src/file_pcb.c: add frama-c annotations

2021-02-27 - Christophe Grenier
    src/file_pcap.c: add frama-c annotations

2021-02-27 - Christophe Grenier
    src/file_par2.c: fix problems reported by frama-c

2021-02-27 - Christophe Grenier
    src/file_pap.c: add frama-c annotations

2021-02-27 - Christophe Grenier
    src/file_paf.c: add frama-c annotations

2021-02-26 - Christophe Grenier
    src/file_orf.c: add frama-c annotations

2021-02-26 - Christophe Grenier
    src/file_one.c: add frama-c annotations

2021-02-25 - Christophe Grenier
    src/file_ogg.c: fix frama-c warnings

2021-02-25 - Christophe Grenier
    src/file_oci.c: add frama-c annotations

2021-02-25 - Christophe Grenier
    src/file_nsf.c: add frama-c annotations

2021-02-25 - Christophe Grenier
    src/file_nk2.c: add frama-c annotations

2021-02-25 - Christophe Grenier
    src/file_njx.c: add frama-c annotations

2021-02-25 - Christophe Grenier
    src/file_nes.c: add frama-c annotations

2021-02-25 - Christophe Grenier
    src/file_nds.c: add frama-c annotations

2021-02-25 - Christophe Grenier
    src/file_nd2.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_mysql.c: add frama-c "assigns" annotations

2021-02-24 - Christophe Grenier
    src/file_myo.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_msa.c: improve frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_mrw.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_mpl.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_mov.c: better annotations for file_rename_mov()

2021-02-24 - Christophe Grenier
    src/file_mobi.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_mkv.c: add frama-c annotations for header_check_mkv

2021-02-24 - Christophe Grenier
    src/file_mk5.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_mig.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_mfg.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_mfa.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_mdp.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_mdf.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_mdb.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_mcd.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_mb.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_max.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_mat.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/luks_struct.h: move struct from src/luks.h to this new file

2021-02-24 - Christophe Grenier
    src/file_m2ts.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_lzo.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_lzh.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_lxo.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_lso.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_logic.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_lnk.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_lit.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_ldf.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_key.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_kdbx.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_kdb.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_jsonlz4.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_jks.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_itu.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_it.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_iso.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_info.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_indd.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_imb.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_ifo.c: add frama-c annotations

2021-02-24 - Christophe Grenier
    src/file_ico.c: add frama-c annotations

2021-02-22 - Christophe Grenier
    src/file_icns.c: add frama-c annotations

2021-02-22 - Christophe Grenier
    src/file_icc.c: add frama-c annotations

2021-02-22 - Christophe Grenier
    src/file_ibd.c: add frama-c annotations

2021-02-22 - Christophe Grenier
    src/file_http.c: add frama-c annotations

2021-02-22 - Christophe Grenier
    src/file_hr9.c: add frama-c annotations

2021-02-22 - Christophe Grenier
    src/hfsp_struct.h: move struct from src/hfsp.h
    src/file_hfsp.c: add frama-c annotations

2021-02-22 - Christophe Grenier
    src/ntfs_struct.h: move struct from src/ntfs.h
    src/file_mft.c: add frama-c annotations

2021-02-22 - Christophe Grenier
    src/file_hds.c: add frama-c annotations

2021-02-22 - Christophe Grenier
    src/file_hdr.c: add frama-c annotations

2021-02-22 - Christophe Grenier
    src/file_hdf.c: add some frama-c annotations

2021-02-22 - Christophe Grenier
    src/file_gpx.c: add frama-c annotations

2021-02-22 - Christophe Grenier
    src/file_gpg.c: improve frama-c annotations

2021-02-21 - Christophe Grenier
    src/file_gp5.c: add frama-c annotations

2021-02-21 - Christophe Grenier
    src/file_gp2.c: add frama-c annotations

2021-02-21 - Christophe Grenier
    src/file_gm6.c: add frama-c annotations

2021-02-21 - Christophe Grenier
    src/file_gi.c: add frama-c annotations

2021-02-21 - Christophe Grenier
    src/file_gho.c: add frama-c annotations

2021-02-21 - Christophe Grenier
    src/file_gct.c: add frama-c annotations

2021-02-21 - Christophe Grenier
    src/file_gam.c: add frama-c annotations

2021-02-21 - Christophe Grenier
    src/file_fwd.c: add frama-c annotations

2021-02-21 - Christophe Grenier
    src/file_frm.c: add frama-c annotations

2021-02-21 - Christophe Grenier
    src/file_freeway.c: add frama-c annotations

2021-02-21 - Christophe Grenier
    src/file_fp7.c: add frama-c annotations

2021-02-21 - Christophe Grenier
    src/file_fp5.c: add frama-c annotations

2021-02-21 - Christophe Grenier
    src/file_fos.c: add frama-c annotations

2021-02-21 - Christophe Grenier
    src/file_fob.c: add frama-c annotations

2021-02-21 - Christophe Grenier
    src/file_fm.c: add frama-c annotations

2021-02-21 - Christophe Grenier
    src/file_flv.c: better frama-c annotations

2021-02-21 - Christophe Grenier
    src/file_flp.c: add frama-c annotations

2021-02-20 - Christophe Grenier
    src/file_fits.c: two integer overflow remains...

2021-02-20 - Christophe Grenier
    src/file_fit.c: add frama-c annotations

2021-02-20 - Christophe Grenier
    src/file_filevault.c: add frama-c annotations

2021-02-20 - Christophe Grenier
    src/file_fh5.c: add frama-c annotations

2021-02-20 - Christophe Grenier
    src/file_fh10.c: add frama-c annotations

2021-02-20 - Christophe Grenier
    src/file_fds.c: add frama-c annotations

2021-02-20 - Christophe Grenier
    src/file_fdb.c: add frama-c annotations

2021-02-20 - Christophe Grenier
    src/file_fcs.c: add frama-c annotations

2021-02-20 - Christophe Grenier
    src/file_fcp.c: add frama-c annotations

2021-02-20 - Christophe Grenier
    src/file_fbk.c: add frama-c annotations

2021-02-20 - Christophe Grenier
    src/file_fbf.c: add frama-c annotations

2021-02-20 - Christophe Grenier
    src/file_fat.c: add frama-c annotations

2021-02-20 - Christophe Grenier
    src/file_ext.c: add frama-c annotations

2021-02-19 - Christophe Grenier
    src/file_ext2.c: add frama-c annotations

2021-02-19 - Christophe Grenier
    src/file_exs.c: add frama-c annotations

2021-02-19 - Christophe Grenier
    src/file_exr.c: add frama-c annotations

2021-02-19 - Christophe Grenier
    qphotorec doesn't work under Vista
    qphotorec_win.exe - Point d'entrée introuvable
    Le point d'entrée de procédure TryAcquireSRWLockExclusive est introuvable dans la bibliothèque de liens dynamiques KERNEL32.dll.

2021-02-19 - Christophe Grenier
    src/file_exe.c: add a frama-c assign clause to header_check_exe()

2021-02-19 - Christophe Grenier
    src/file_evtx.c: add frama-c annotations

2021-02-19 - Christophe Grenier
    src/file_ess.c: add frama-c annotations

2021-02-19 - Christophe Grenier
    src/file_emf.c: remove duplicated line

2021-02-19 - Christophe Grenier
    src/file_elf.c: split header_check_elf() in 4 functions

2021-02-19 - Christophe Grenier
    src/file_edb.c: add frama-c annotations

2021-02-15 - Christophe Grenier
    src/file_ecryptfs.c: add frama-c annotations

2021-02-15 - Christophe Grenier
    src/file_e01.c: add frama-c annotations

2021-02-15 - Christophe Grenier
    src/file_dxf.c: improve frama-c annotations

2021-02-15 - Christophe Grenier
    src/file_dwg.c: add frama-c annotations

2021-02-15 - Christophe Grenier
    src/file_dvr.c: add frama-c annotations

2021-02-15 - Christophe Grenier
    src/file_dvi.c: add frama-c annotations

2021-02-15 - Christophe Grenier
    src/file_dv.c: additional frama-c annotation

2021-02-15 - Christophe Grenier
    src/file_dump.c: add frama-c annotations

2021-02-15 - Christophe Grenier
    src/file_dta.c: add frama-c annotations

2021-02-15 - Christophe Grenier
    src/file_dst.c: fix frama-c warnings

2021-02-14 - Christophe Grenier
    src/file_ds_store.c: fix frama-c warnings

2021-02-14 - Christophe Grenier
    src/file_dsc.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_ds2.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_drw.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_dpx.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_dmp.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_djv.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_dim.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_dex.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_ddf.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_dcm.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_dbn.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_dbf.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_dat.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_dar.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_d2s.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_cwk.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_ctg.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_csh.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_crw.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_cpi.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_cow.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_compress.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_cm.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_class.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_chm.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_che.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_cdt.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_catdrawing.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_cam.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_caf.c: switch chunksize to uint64_t to avoid frama-c
    warnings

2021-02-14 - Christophe Grenier
    src/file_cab.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_c4d.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_bz2.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_bpg.c: improve frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_binvox.c: add frama-c annotations

2021-02-14 - Christophe Grenier
    src/file_bin.c: add frama-c annotations

2021-02-13 - Christophe Grenier
    src/file_bim.c: add frama-c annotations

2021-02-13 - Christophe Grenier
    src/file_bfa.c: add frama-c annotations

2021-02-13 - Christophe Grenier
    src/file_berkeley.c: add frama-c annotations

2021-02-13 - Christophe Grenier
    src/file_bdm.c: add frama-c annotations

2021-02-13 - Christophe Grenier
    src/file_bac.c: remove some dead code

2021-02-13 - Christophe Grenier
    src/file_axx.c: add frama-c annotations

2021-02-13 - Christophe Grenier
    src/file_au.c: fix frama-c warnings

2021-02-13 - Christophe Grenier
    src/file_atd.c: add frama-c annotations

2021-02-13 - Christophe Grenier
    src/file_asm.c: add frama-c annotations

2021-02-13 - Christophe Grenier
    file_asl.c: add frama-c annotations

2021-02-13 - Christophe Grenier
    file_asf.c, file_reg.c: add frama-c annotations
    td_ntfs2utc(): fix error reported by frama-c

2021-02-13 - Christophe Grenier
    src/file_arj.c: add frama-c annotations

2021-02-13 - Christophe Grenier
    src/file_ari.c: add frama-c annotations

2021-02-13 - Christophe Grenier
    src/file_apple.c: add frama-c annotations
    src/file_ace.c, src/file_ape.c: better frama-c annotations

2021-02-13 - Christophe Grenier
    src/file_ps.c: improve filesize detection

2021-02-13 - Christophe Grenier
    src/file_axp.c: better file_check

2021-02-13 - Christophe Grenier
    src/file_ape.c: add frama-c annotations

2021-02-11 - Christophe Grenier
    src/file_apa.c: add frama-c annotations

2021-02-11 - Christophe Grenier
    src/file_amd.c: add frama-c annotations

2021-02-11 - Christophe Grenier
    src/file_gz.c: fix gcc warning

2021-02-11 - Christophe Grenier
    src/file_als.c: add frama-c annotations

2021-02-11 - Christophe Grenier
    src/file_all.c: add frama-c annotations

2021-02-11 - Christophe Grenier
    src/file_gz.[ch]: improve frama-c annotations

2021-02-11 - Christophe Grenier
    src/file_caf.c: add frama-c annotations

2021-02-11 - Christophe Grenier
    src/file_doc.c: improve frama-c annotations

2021-02-11 - Christophe Grenier
    src/file_aif.c: add frama-c annotations

2021-02-11 - Christophe Grenier
    src/file_ahn.c: add frama-c annotations

2021-02-11 - Christophe Grenier
    src/file_3ds.c: add frama-c annotations

2021-02-08 - Christophe Grenier
    src/file_jpg.c: fix size detection for mpo files when libjpeg is missing

2021-02-07 - Christophe Grenier
    src/file_afdesign.c: add frama-c annotation for header_check_afdesign()

2021-02-07 - Christophe Grenier
    src/file_ado.c: add frama-c annotations

2021-02-07 - Christophe Grenier
    src/file_ace.c: better frama-c annotations

2021-02-07 - Christophe Grenier
    src/file_pf.c: add frama-c annotations

2021-02-07 - Christophe Grenier
    src/file_acb.c: add frama-c annotations

2021-02-07 - Christophe Grenier
    src/file_a.c: add more frama-c annotations

2021-02-07 - Christophe Grenier
    src/file_abr.c: stricter frama-c annotation

2021-02-07 - Christophe Grenier
    src/file_7z.c: add frama-c annotations

2021-02-07 - Christophe Grenier
    src/file_3dm.c: add frama-c annotations

2021-02-07 - Christophe Grenier
    src/file_1cd.c: add more frama-c annotations

2021-02-07 - Christophe Grenier
    src/file_ttf.c: fix size detection

2021-02-07 - Christophe Grenier
    src/file_gsm.c: fix frama-c warnings

2021-02-07 - Christophe Grenier
    src/file_mxf.c: fix frama-c warnings

2021-02-07 - Christophe Grenier
    src/file_mpg.c: fix some frama-c warnings

2021-02-07 - Christophe Grenier
    src/file_mov.c: fix frama-c warnings

2021-02-07 - Christophe Grenier
    src/file_mp3.c: fix some frama-c warnings

2021-02-06 - Christophe Grenier
    src/file_mlv.c: fix frama-c warnings

2021-02-06 - Christophe Grenier
    src/file_mid.c: fix frama-c warnings

2021-02-06 - Christophe Grenier
    src/file_m2ts.c: fix some frama-c warnings

2021-02-06 - Christophe Grenier
    src/file_idx.c: fix frama-c warnings

2021-02-06 - Christophe Grenier
    src/file_gif.c: fix frama-c warnings

2021-02-06 - Christophe Grenier
    src/filegen.h: data_check() can also update time

2021-02-06 - Christophe Grenier
    src/file_bvr.c: add missing frama-c annotations

2021-01-31 - Christophe Grenier
    src/file_fs.c: fix frama-c warning

2021-01-31 - Christophe Grenier
    src/file_flv.c: fix frama-c warnings

2021-01-31 - Christophe Grenier
    src/file_flac.c: check flac metadata

2021-01-31 - Christophe Grenier
    src/file_fits.c: improve frama-c annotations.
    Two integer overflow can still be triggered.

2021-01-30 - Christophe Grenier
    src/file_ext.c: add more frama-c annotations

2021-01-30 - Christophe Grenier
    src/filegen.c, src/list.h: update frama-c annotations

2021-01-29 - Christophe Grenier
    move struct ext2_super_block from src/ext2.h to src/ext2_common.h

2021-01-29 - Christophe Grenier
    src/filegen.c: fix error reported by frama-c in file_check_cmp()

2021-01-29 - Christophe Grenier
    src/file_evt.c: fix frama-c annotations

2021-01-29 - Christophe Grenier
    src/file_emf.c: improve frama-c annotations

2021-01-29 - Christophe Grenier
    src/file_dxf.c: update frama-c annotations

2021-01-29 - Christophe Grenier
    src/filegen.[ch]: update frama-c annotations

2021-01-29 - Christophe Grenier
    src/file_dv.c: fix frama-c annotations for data_check_*()

2021-01-29 - Christophe Grenier
    src/file_dir.c: update frama-c annotations

2021-01-29 - Christophe Grenier
    src/file_dad.c: fix frama-c warnings in data_check_dad()

2021-01-29 - Christophe Grenier
    src/file_bld.c: fix frama-c warnings in data_check_*()

2021-01-29 - Christophe Grenier
    src/file_bac.c: fix frama-c warnings in data_check_bac()

2021-01-29 - Christophe Grenier
    src/file_axp.c: fix frama-c warnings in data_check_axp()

2021-01-29 - Christophe Grenier
    src/file_amr.c: fix frama-c warning in data_check_amr()

2021-01-29 - Christophe Grenier
    src/file_ab.c: fix frama-c warning in data_check_addressbook()

2021-01-29 - Christophe Grenier
    src/file_abr.c: fix frama-c warning in data_check_abr()

2021-01-29 - Christophe Grenier
    src/file_lnk.c: fix parser

2021-01-06 - Christophe Grenier
    copr: add make BuildRequires

2021-01-06 - Christophe Grenier
    PhotoRec: recover bbdoc files (zip archives)

2021-01-06 - Christophe Grenier
    Disable some code sections for frama-c

2021-01-06 - Christophe Grenier
    PhotoRec: recover Doom .wad files

2020-12-06 - Christophe Grenier
    New prototype for ask_location() and td_getcwd()

2020-11-29 - Christophe Grenier
    src/dirn.c: clear "Stop" message once files have been copied

2020-11-27 - Christophe Grenier
    Do not return the file handle when calling log_open() and log_open_default()

2020-11-27 - Christophe Grenier
    fat: use uint8_t instead of int8_t for name and ext

2020-11-27 - Christophe Grenier
    src/Makefile.am: add "-c11" flag when calling frama-c

2020-11-27 - Christophe Grenier
    src/ntfs.c: fix a check in ntfs_attribheader()

2020-11-27 - Christophe Grenier
    src/luks.c: improve code readability

2020-11-27 - Christophe Grenier
    src/xfs.c: improve code readability

2020-11-27 - Christophe Grenier
    sysv: use unsigned int when checking the signature

2020-11-27 - Christophe Grenier
    src/log.c: call dup2() in log_open()

2020-11-17 - Christophe Grenier
    src/file_swf.c: Check scriptLen in compressed swf header

2020-11-01 - Christophe Grenier
    src/file_txt.c: try to be more frama-c friendly

2020-11-01 - Christophe Grenier
    src/Makefile.am: add session_photorec-%.framac target

2020-11-01 - Christophe Grenier
    Disable ncurses library when using frama-c

2020-11-01 - Christophe Grenier
    src/godmode.c: try to be more static parser friendly

2020-11-01 - Christophe Grenier
    src/file_ab.c: fix frama-c annotation

2020-11-01 - Christophe Grenier
    src/fatp.c: remove useless prototypes

2020-11-01 - Christophe Grenier
    src/file_vmdk.c: remove unused l1_entry_sectors variable

2020-10-28 - Christophe Grenier
    src/file_fits.c: small steps to make the parser more frama-c friendly.

2020-10-25 - Christophe Grenier
    src/file_mkv.c: rewrite mkv parser

2020-10-24 - Christophe Grenier
    src/file_xm.c: fix frama-c warnings

2020-10-24 - Christophe Grenier
    src/file_xfs.c: fix Frama-c warnings

2020-10-24 - Christophe Grenier
    src/file_xar.c: recover xar archive using sha512 to checksum data

2020-10-24 - Christophe Grenier
    src/file_x4a.c: add frama-c annotations

2020-10-24 - Christophe Grenier
    src/file_vmdk.c: stricter header check

2020-10-24 - Christophe Grenier
    src/file_ttf.c: Fix frama-c warnings

2020-10-24 - Christophe Grenier
    src/file_gif.c: hide frama-c warning

2020-10-24 - Christophe Grenier
    file_allow_nl(): add assigns frama-c annotation

2020-10-18 - Christophe Grenier
    src/file_tib.c: fix frama-c warnings in file_check_tib2()

2020-10-17 - Christophe Grenier
    PhotoRec: fix tar recovery
    Probably broken since commit 0dd2adf2daf284f421857fc94890474572594f4b

2020-10-17 - Christophe Grenier
    update win/readme.txt: TestDisk & PhotoRec archive with binaries for Windows doesn't run on unsupported Windows version.

2020-10-12 - Christophe Grenier
    Fix "make fram-c-fidentify-swf"

2020-10-12 - Christophe Grenier
    src/file_sp3.c: hide frama-c warning

2020-10-12 - Christophe Grenier
    src/file_spf.c: fix frama-c warnings

2020-10-12 - Christophe Grenier
    src/file_stl.c: fix filesize

2020-10-11 - Christophe Grenier
    src/file_jpg.c: prevent thumb file recovered instead of the whole
    picture instead in the first 16k (previously first 4k)

2020-10-11 - Christophe Grenier
    src/file_jpg.c: some jpg were originally using Multiple-Picture Format (MPF). When edited by a picture editor, a single JPG may remain with the original MPF information listing several pictures. In this case, limit the jpg to the first jpg.

2020-10-11 - Christophe Grenier
    src/jfs.c: prevent a potential overflow when calculating the partition
    size.

2020-10-11 - Christophe Grenier
    src/file_doc.c: identify more Thumbs.db files

2020-10-11 - Christophe Grenier
    src/file_asf.c: header check was too strong and rejecting valid files.

2020-10-11 - Christophe Grenier
    Fix "make frama-c-fidentify-rw2"

2020-10-11 - Christophe Grenier
    Add an header guard to prevent multiple inclusion

2020-10-10 - Christophe Grenier
    src/file_pdb.c: fix Frama-C warning

2020-10-10 - Christophe Grenier
    src/file_par2.c: better filesize check

2020-10-10 - Christophe Grenier
    src/file_oci.c: better filesize check

2020-10-10 - Christophe Grenier
    src/file_mysql.c: add Frama-C annotations

2020-10-10 - Christophe Grenier
    src/file_msa.c: add a filesize check

2020-10-10 - Christophe Grenier
    src/file_mpg.c: move frama-c annotation at the header definition

2020-10-09 - Christophe Grenier
    src/file_pdf.c: add Frama-C annotations

2020-10-04 - Christophe Grenier
    src/file_vdi.c: better check filesize

2020-10-04 - Christophe Grenier
    Add an header guard to prevent multiple inclusion, some files were forgotten in previous commit.

2020-10-04 - Christophe Grenier
    Add an header guard to prevent multiple inclusion

2020-10-03 - Christophe Grenier
    src/file_nk2.c: add frama-c annotations

2020-10-01 - Christophe Grenier
    src/file_mpg.c: add frama-c annotations

2020-10-01 - Christophe Grenier
    src/file_mov.c: add some frama-c annotations for data_check_mov

2020-09-30 - Christophe Grenier
    PhotoRec: try to find ID3 header appended to mp3

2020-09-19 - Christophe Grenier
    src/file_lxo.c: avoid a potential integer overflow

2020-09-19 - Christophe Grenier
    src/file_lnk.c: better check filesize

2020-09-14 - Christophe Grenier
    PhotoRec: rewrote the size tests to be more readable

2020-09-14 - Christophe Grenier
    src/file_indd.c: fix warnings reported by frama-c

2020-09-14 - Christophe Grenier
    PhotoRec - src/file_icns.c: better check

2020-09-14 - Christophe Grenier
    src/file_ibd.c: fix warning reported by gcc

2020-09-14 - Christophe Grenier
    src/file_hdf.c: fix warnings reported by frama-c

2020-09-14 - Christophe Grenier
    src/file_gif.c: fix some errors reported by frama-c

2020-09-14 - Christophe Grenier
    Fix commit 4ba942d12e7094004074b6808f2532b8f877019e

2020-09-13 - Christophe Grenier
    PhotoRec: src/file_gi.c - Ignore header when recorded filesize is too large for a real file

2020-09-13 - Christophe Grenier
    PhotoRec: discard fm header when the recorded size is too large for a
    real file

2020-09-13 - Christophe Grenier
    PhotoRec: src/file_fcs.c - fix problems reported by frama-c

2020-09-13 - Christophe Grenier
    PhotoRec: src/file_e01.c - set a valid name for files outside E01-Z99
    range

2020-09-12 - Christophe Grenier
    PhotoRec: src/file_bpg.c - fix problems reported by frama-c

2020-09-12 - Christophe Grenier
    PhotoRec: src/file_axx.c - fix problems reported by frama-c

2020-09-12 - Christophe Grenier
    PhotoRec: fix problems reported by frama-c

2020-09-12 - Christophe Grenier
    src/file_dir.c: do not include dir.h

2020-09-12 - Christophe Grenier
    src/dir.h: split the file in two, see src/dir_common.h

2020-09-11 - Christophe Grenier
    src/suspend_no.c: disable JPEG library when frama-c is used

2020-09-11 - Christophe Grenier
    PhotoRec: add an ifdef in each file for easier frama-c testing

2020-09-10 - Christophe Grenier
    src/file_ace.c: add frama-c annotations

2020-09-06 - Christophe Grenier
    src/file_tiff*: better frama-c annotations, free memory in reverse order
    of allocations

2020-09-06 - Christophe Grenier
    fidentify: report time using localtime instead of seconds since epoch

2020-08-30 - Christophe Grenier
    Move low-level structure from fat.h to fat_common.h

2020-08-30 - Christophe Grenier
    file_fat.c: call fat_sector_size() once instead of multiple times

2020-08-30 - Christophe Grenier
    crc.[ch]: fix frama-c annotations

2020-08-30 - Christophe Grenier
    file_7z.c: stricter check

2020-08-30 - Christophe Grenier
    file_1cd.c: fix size for file bigger than 4 TB !

2020-08-27 - Christophe Grenier
    PhotoRec: stricter check for jpg

2020-08-27 - Christophe Grenier
    PhotoRec: find the size of small gzip files

2020-08-27 - Christophe Grenier
    file_gz.c: more frama-c friendly

2020-08-24 - Christophe Grenier
    Fix 73d49dbde93650c3ce08974c83142de0b87e229c

2020-08-24 - Christophe Grenier
    src/dfxml.c: fix xml_add_DFXML_creator() for mingw32

2020-08-24 - Christophe Grenier
    src/file_zip.c: Fix header_check_zip(), see commit d4a638cc44b6ec43d9b361d3ac4de56da25e1e16
    src/filegen.c: remove unused file_search_lc_footer()
    src/file_doc.c: remove useless cast

2020-08-24 - Christophe Grenier
    file_jpg.c: create jpg_save_thumbnail() from jpg_check_app1()

2020-08-22 - Christophe Grenier
    file_zip.c: more frama-c annotations

2020-08-22 - Christophe Grenier
    file_doc.c: make the code more frama-c friendly

2020-08-22 - Christophe Grenier
    filegen.[ch]: add various frama-c annotations

2020-08-22 - Christophe Grenier
    common.c: add some frama-c annotations in strip_dup(), date_dos2unix()
    date_dos2unix() - avoid using localtime_r()

2020-08-08 - Christophe Grenier
    Stricter check in UTFsize()

2020-08-08 - Christophe Grenier
    autodetect_arch(): avoid some function pointers

2020-08-08 - Christophe Grenier
    src/hdcache.c: add frama-c annotations

2020-08-08 - Christophe Grenier
    Additional frama-c annotations

2020-08-08 - Christophe Grenier
    recover_MD_from_partition(): Constify local variable offset

2020-08-08 - Christophe Grenier
    New prototype for log_redirect() and log_set_levels()

2020-08-08 - Christophe Grenier
    Report Windows 10 and Windows server 2016

2020-08-08 - Christophe Grenier
    Make the return value explicit in photorec_aux() when the user presses
    STOP (Code readability)

2020-08-08 - Christophe Grenier
    Update photorec_aux() in qpsearch.cpp to match the function from psearchn.c
    See commit 9b0e8ff284301e4f9d07f5ccadb8c1756c6a9150

2020-08-08 - Christophe Grenier
    src/qpsearch.cpp: rename local variable from res to data_check_status
    in photorec_aux()

2020-08-07 - Christophe Grenier
    move code from photorec_new_file() to photorec_header_found() that was
    the only caller. It should be easier to understand.

2020-08-07 - Christophe Grenier
    src/psearchn.c: rename local variable from res to data_check_status

2020-08-07 - Christophe Grenier
    PhotoRec: search for a previous file when
    - a file has been recovered and truncated
    - a file has been recovered and is not immediately followed by a new
      file

2020-08-07 - Christophe Grenier
    PhotoRec: track fragmentation impact

2020-08-07 - Christophe Grenier
    PhotoRec: fix argument parsing

2020-08-02 - Christophe Grenier
    New prototype for recover_HFS()

2020-08-02 - Christophe Grenier
    New prototype for test_structure()

2020-08-02 - Christophe Grenier
    Avoid function pointer when function is already known

2020-08-02 - Christophe Grenier
    New prototype for align_pread()

2020-08-02 - Christophe Grenier
    src/alignio.h: rewrite align_pread() and align_pwrite() to be easier to
    understand.

2020-08-02 - Christophe Grenier
    Create two functions ewf_init(), one using LIBEWF v2 API, instead of a single huge function with too many ifdef
    Hanlde strdup failure

2020-08-02 - Christophe Grenier
    src/common.[ch]: modify check_command() prototype
Merge: daa7baf f784306

2020-07-25 - Christophe Grenier
    Merge remote-tracking branch 'github/whitesource/configure'

2020-07-25                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       