summaryrefslogtreecommitdiffstats
Commit message (Collapse)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 ↵Christophe Grenier5 days1-0/+2
| | | | for a real file
* PhotoRec: discard fm header when the recorded size is too large for aChristophe Grenier6 days1-0/+2
| | | | real file
* 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
| | | | range
* 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 Grenier9 days1-32/+98
|
* src/file_tiff*: better frama-c annotations, free memory in reverse orderChristophe Grenier12 days4-37/+72
| | | | of allocations
* 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 ↵Christophe Grenier2020-08-243-48/+2
| | | | | | | d4a638cc44b6ec43d9b361d3ac4de56da25e1e16 src/filegen.c: remove unused file_search_lc_footer() src/file_doc.c: remove useless cast
* 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
| | | | date_dos2unix() - avoid using localtime_r()
* 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
| | | | STOP (Code readability)
* Update photorec_aux() in qpsearch.cpp to match the function from psearchn.cChristophe Grenier2020-08-081-5/+25
| | | | See commit 9b0e8ff284301e4f9d07f5ccadb8c1756c6a9150
* src/qpsearch.cpp: rename local variable from res to data_check_statusChristophe Grenier2020-08-081-13/+13
| | | | in photorec_aux()
* move code from photorec_new_file() to photorec_header_found() that wasChristophe Grenier2020-08-071-21/+32
| | | | the only caller. It should be easier to understand.
* 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
| | | | | | - a file has been recovered and truncated - a file has been recovered and is not immediately followed by a new file