summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* PhotoRec: rewrote the size tests to be more readableHEADmasterChristophe Grenier4 days3-21/+23
* src/file_indd.c: fix warnings reported by frama-cChristophe Grenier4 days1-2/+11
* PhotoRec - src/file_icns.c: better checkChristophe Grenier4 days1-4/+6
* src/file_ibd.c: fix warning reported by gccChristophe Grenier4 days1-1/+1
* src/file_hdf.c: fix warnings reported by frama-cChristophe Grenier4 days1-9/+25
* src/file_gif.c: fix some errors reported by frama-cChristophe Grenier4 days1-29/+80
* Fix commit 4ba942d12e7094004074b6808f2532b8f877019eChristophe Grenier4 days1-1/+1
* PhotoRec: src/file_gi.c - Ignore header when recorded filesize is too large f...Christophe Grenier5 days1-0/+2
* PhotoRec: discard fm header when the recorded size is too large for aChristophe Grenier6 days1-0/+2
* PhotoRec: src/file_fcs.c - fix problems reported by frama-cChristophe Grenier6 days1-9/+76
* PhotoRec: src/file_e01.c - set a valid name for files outside E01-Z99Christophe Grenier6 days1-5/+22
* PhotoRec: src/file_bpg.c - fix problems reported by frama-cChristophe Grenier7 days1-4/+46
* PhotoRec: src/file_axx.c - fix problems reported by frama-cChristophe Grenier7 days1-2/+13
* PhotoRec: fix problems reported by frama-cChristophe Grenier7 days3-22/+74
* src/file_dir.c: do not include dir.hChristophe Grenier7 days1-1/+0
* src/dir.h: split the file in two, see src/dir_common.hChristophe Grenier7 days4-95/+127
* src/suspend_no.c: disable JPEG library when frama-c is usedChristophe Grenier8 days1-0/+3
* PhotoRec: add an ifdef in each file for easier frama-c testingChristophe Grenier8 days333-107/+2083
* src/file_ace.c: add frama-c annotationsChristophe Grenier8 days1-32/+98
* src/file_tiff*: better frama-c annotations, free memory in reverse orderChristophe Grenier12 days4-37/+72
* fidentify: report time using localtime instead of seconds since epochChristophe Grenier12 days1-2/+23
* Move low-level structure from fat.h to fat_common.hChristophe Grenier2020-09-018-117/+118
* file_fat.c: call fat_sector_size() once instead of multiple timesChristophe Grenier2020-08-301-6/+7
* crc.[ch]: fix frama-c annotationsChristophe Grenier2020-08-302-1/+2
* file_7z.c: stricter checkChristophe Grenier2020-08-301-0/+5
* file_1cd.c: fix size for file bigger than 4 TB !Christophe Grenier2020-08-301-1/+3
* PhotoRec: stricter check for jpgChristophe Grenier2020-08-271-65/+66
* PhotoRec: find the size of small gzip filesChristophe Grenier2020-08-271-3/+17
* file_gz.c: more frama-c friendlyChristophe Grenier2020-08-271-1/+9
* Fix 73d49dbde93650c3ce08974c83142de0b87e229cChristophe Grenier2020-08-242-2/+2
* src/dfxml.c: fix xml_add_DFXML_creator() for mingw32Christophe Grenier2020-08-241-0/+4
* src/file_zip.c: Fix header_check_zip(), see commit d4a638cc44b6ec43d9b361d3ac...Christophe Grenier2020-08-243-48/+2
* file_jpg.c: create jpg_save_thumbnail() from jpg_check_app1()Christophe Grenier2020-08-241-68/+126
* file_zip.c: more frama-c annotationsChristophe Grenier2020-08-221-32/+46
* file_doc.c: make the code more frama-c friendlyChristophe Grenier2020-08-221-40/+64
* filegen.[ch]: add various frama-c annotationsChristophe Grenier2020-08-222-25/+57
* common.c: add some frama-c annotations in strip_dup(), date_dos2unix()Christophe Grenier2020-08-221-2/+22
* Stricter check in UTFsize()Christophe Grenier2020-08-081-2/+5
* autodetect_arch(): avoid some function pointersChristophe Grenier2020-08-081-7/+7
* src/hdcache.c: add frama-c annotationsChristophe Grenier2020-08-081-25/+66
* Additional frama-c annotationsChristophe Grenier2020-08-0854-39/+917
* recover_MD_from_partition(): Constify local variable offsetChristophe Grenier2020-08-081-2/+2
* New prototype for log_redirect() and log_set_levels()Christophe Grenier2020-08-082-5/+27
* Report Windows 10 and Windows server 2016Christophe Grenier2020-08-081-0/+7
* Make the return value explicit in photorec_aux() when the user pressesChristophe Grenier2020-08-083-5/+9
* Update photorec_aux() in qpsearch.cpp to match the function from psearchn.cChristophe Grenier2020-08-081-5/+25
* src/qpsearch.cpp: rename local variable from res to data_check_statusChristophe Grenier2020-08-081-13/+13
* move code from photorec_new_file() to photorec_header_found() that wasChristophe Grenier2020-08-071-21/+32
* src/psearchn.c: rename local variable from res to data_check_statusChristophe Grenier2020-08-071-13/+13
* PhotoRec: search for a previous file whenChristophe Grenier2020-08-071-5/+25