Open Hub
Open Hub

 Settings |  Report Duplicate

10
I Use This!
Activity Not Available

Commits : Listings

Analyzed 12 months ago. based on code collected 12 months ago.
Jan 18, 2023 — Jan 18, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
src/file_xcf.c: add support for more recent versions of Gimp xcf files
cgrenier
as Christophe Grenier
More... about 1 year ago
src/filegen.c: fix bug introduced in 0fdbc689159d76539feb7ef29b9b3ef2a11636ef
cgrenier
as Christophe Grenier
More... about 1 year ago
PhotoRec: distinguish .FCStd from .zip files See https://github.com/cgsecurity/testdisk/issues/136
cgrenier
as Christophe Grenier
More... about 1 year ago
Add missing src/file_sdw.c - Recover Microsoft Jet DB / Sage Simply Accounting database
cgrenier
as Christophe Grenier
More... over 1 year ago
src/file_sig.c: improve Frama-C annotation for load_signature()
cgrenier
as Christophe Grenier
More... over 1 year ago
src/file_mkv.c: improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 1 year ago
src/file_lzh.c: fix wrong Frama-C annotations
cgrenier
as Christophe Grenier
More... over 1 year ago
src/file_hdf5.c: fix ifdef
cgrenier
as Christophe Grenier
More... over 1 year ago
src/file_zip.c: improve Frama-C annotations in file_rename_zip()
cgrenier
as Christophe Grenier
More... over 1 year ago
src/file_xml.c: rewrote file_rename_xml() for easier Frama-C validation
cgrenier
as Christophe Grenier
More... over 1 year ago
src/file_shp.c: switch size field to unsigned
cgrenier
as Christophe Grenier
More... over 1 year ago
src/file_psd.c: improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 1 year ago
src/file_psb.c: improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 1 year ago
src/file_pdf.c: improve Frama-C annotations after removing a call to MALLOC()
cgrenier
as Christophe Grenier
More... over 1 year ago
src/file_nk2.c: fix Frama-C annotations for file_check_nk2()
cgrenier
as Christophe Grenier
More... over 1 year ago
src/file_hdf.c: improve file_check_hdf() annotations
cgrenier
as Christophe Grenier
More... over 1 year ago
src/file*.c: add various Frama-C annotations in data_check_*()
cgrenier
as Christophe Grenier
More... over 1 year ago
src/file_fbx.c: fix wrong Frama-C annotations
cgrenier
as Christophe Grenier
More... over 1 year ago
src/file_dovecot.c: fix wrong Frama-C annotations for data_check_dovecot2()
cgrenier
as Christophe Grenier
More... over 1 year ago
src/file_list.c: fix several boggus ifdef
cgrenier
as Christophe Grenier
More... over 1 year ago
src/common.c: Frama-C annotations for _date_get_leap_day()
cgrenier
as Christophe Grenier
More... over 1 year ago
src/addpart.h: improve Frama-C annotations for add_partition_cli()
cgrenier
as Christophe Grenier
More... over 1 year ago
src/fidentify.c: improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 1 year ago
src/file_jpg.c: improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 1 year ago
src/file_tiff_be.c, src/file_tiff_le.c: Frama-C - use static buffer to avoid calling MALLOC()
cgrenier
as Christophe Grenier
More... over 1 year ago
src/file_exe.c: improve Frama-C annotations
cgrenier
as Christophe Grenier
More... over 1 year ago
src/file_doc.h: add annotations for file_check_doc_aux()
cgrenier
as Christophe Grenier
More... over 1 year ago
src/fat_common.c, src/fat_dir.c: more Frama-C annotations
cgrenier
as Christophe Grenier
More... over 1 year ago
src/ext2_common.c: more Frama-C annotations
cgrenier
as Christophe Grenier
More... over 1 year ago
src/apfs_common.c: fix Frama-C annotations for fletcher64()
cgrenier
as Christophe Grenier
More... over 1 year ago