| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| * | src/fidentify.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+2 |
| * | src/file_fs.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+3 |
| * | src/file_flv.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+1 |
| * | src/file_flac.c: add more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -1/+6 |
| * | src/file_fcs.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+5 |
| * | src/file_exe.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -1/+7 |
| * | src/file_evt.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+3 |
| * | src/file_emf.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+2 |
| * | src/file_dxf.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+3 |
| * | src/file_dss.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -1/+4 |
| * | src/file_ds2.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+1 |
| * | src/file_dovecot.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+4 |
| * | src/file_doc.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+12 |
| * | src/file_dad.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+3 |
| * | src/file_clip.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+2 |
| * | src/file_che.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+3 |
| * | src/file_caf.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+3 |
| * | src/file_bvr.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+2 |
| * | src/file_bld.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -3/+14 |
| * | src/file_bac.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+2 |
| * | src/file_axx.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+2 |
| * | src/file_axp.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+2 |
| * | src/file_asf.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+1 |
| * | src/file_amr.c: add "terminates \true;" annotations to data_check_amr() and h... | Christophe Grenier | 2023-12-27 | 1 | -1/+4 |
| * | src/file_ace.c: more frama-c annotations | Christophe Grenier | 2023-12-27 | 1 | -0/+3 |
| * | src/file_ab.c: frama-c - no endless loop in data_check_addressbook() and | Christophe Grenier | 2023-12-27 | 1 | -0/+3 |
| * | src/file_3dm.c: frama-c - header_check_3dm() terminates | Christophe Grenier | 2023-12-27 | 1 | -1/+5 |
| * | src/filegen.[ch]: add more frama-c annotations | Christophe Grenier | 2023-12-27 | 2 | -1/+27 |
| * | TestDisk: src/dirn.c - reduce dir_partition_aux() complexity | Christophe Grenier | 2023-12-27 | 1 | -32/+20 |
| * | src/file_riff.[ch]: PhotoRec - fix potential endless loop | Christophe Grenier | 2023-12-27 | 2 | -7/+24 |
| * | src/file_xcf.c: add support for more recent versions of Gimp xcf files | Christophe Grenier | 2023-10-22 | 1 | -2/+2 |
| * | src/filegen.c: fix bug introduced in 0fdbc689159d76539feb7ef29b9b3ef2a11636ef | Christophe Grenier | 2023-10-21 | 1 | -2/+3 |
| * | PhotoRec: distinguish .FCStd from .zip files | Christophe Grenier | 2023-10-21 | 1 | -1/+8 |
| * | Add missing src/file_sdw.c - Recover Microsoft Jet DB / Sage Simply Accountin... | Christophe Grenier | 2023-10-08 | 2 | -3/+70 |
| * | src/file_sig.c: improve Frama-C annotation for load_signature() | Christophe Grenier | 2023-10-08 | 1 | -5/+7 |
| * | src/file_mkv.c: improve Frama-C annotations | Christophe Grenier | 2023-10-08 | 1 | -3/+10 |
| * | src/file_lzh.c: fix wrong Frama-C annotations | Christophe Grenier | 2023-10-08 | 1 | -1/+1 |
| * | src/file_hdf5.c: fix ifdef | Christophe Grenier | 2023-10-08 | 1 | -1/+2 |
| * | src/file_zip.c: improve Frama-C annotations in file_rename_zip() | Christophe Grenier | 2023-10-08 | 1 | -1/+4 |
| * | src/file_xml.c: rewrote file_rename_xml() for easier Frama-C validation | Christophe Grenier | 2023-10-08 | 1 | -18/+39 |
| * | src/file_shp.c: switch size field to unsigned | Christophe Grenier | 2023-10-08 | 1 | -2/+2 |
| * | src/file_psd.c: improve Frama-C annotations | Christophe Grenier | 2023-10-08 | 1 | -0/+12 |
| * | src/file_psb.c: improve Frama-C annotations | Christophe Grenier | 2023-10-08 | 1 | -1/+13 |
| * | src/file_pdf.c: improve Frama-C annotations after removing a call to | Christophe Grenier | 2023-10-08 | 1 | -10/+36 |
| * | src/file_nk2.c: fix Frama-C annotations for file_check_nk2() | Christophe Grenier | 2023-10-08 | 1 | -0/+7 |
| * | src/file_hdf.c: improve file_check_hdf() annotations | Christophe Grenier | 2023-10-08 | 1 | -22/+44 |
| * | src/file*.c: add various Frama-C annotations in data_check_*() | Christophe Grenier | 2023-10-08 | 40 | -0/+99 |
| * | src/file_fbx.c: fix wrong Frama-C annotations | Christophe Grenier | 2023-10-08 | 1 | -1/+2 |
| * | src/file_dovecot.c: fix wrong Frama-C annotations for data_check_dovecot2() | Christophe Grenier | 2023-10-08 | 1 | -3/+2 |
| * | src/file_list.c: fix several boggus ifdef | Christophe Grenier | 2023-10-08 | 1 | -7/+17 |
