| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | frama-c: add annotations for fidentify, checks reduced to file_bmp.c andHEADmaster | Christophe Grenier | 2020-01-26 | 6 | -8/+62 |
| * | configure.ac: January 2020 | Christophe Grenier | 2020-01-26 | 3 | -43/+53 |
| * | PhotoRec: fix get_prev_location_smart(), avoid a potential enless loop | Christophe Grenier | 2020-01-26 | 1 | -3/+4 |
| * | frama-c: src/file_jpg.c - annotate mpo code | Christophe Grenier | 2020-01-26 | 1 | -117/+262 |
| * | PhotoRec: src/file_gz.c, src/file_mp3.c: header_ignored_adv() must be called ... | Christophe Grenier | 2020-01-26 | 2 | -50/+59 |
| * | frama-c: annotate file_check_add_tail() and td_list_add() | Christophe Grenier | 2020-01-26 | 2 | -1/+16 |
| * | PhotoRec: add a few frama-c annotations, mostly in header_check functions | Christophe Grenier | 2020-01-18 | 13 | -12/+115 |
| * | PhotoRec - file_tiff*.c: Reintroduce fixed IFD1 parsing. | Christophe Grenier | 2020-01-18 | 3 | -3/+104 |
| * | add a few frama-c annotations | Christophe Grenier | 2020-01-01 | 3 | -1/+17 |
| * | src/file_jpg.c: declare data_check_jpg() static | Christophe Grenier | 2020-01-01 | 1 | -2/+4 |
| * | src/file_emf.c: add frama-c annotations | Christophe Grenier | 2020-01-01 | 1 | -28/+159 |
| * | src/file_mp3.c: additional frama-c annotations | Christophe Grenier | 2020-01-01 | 2 | -43/+45 |
| * | EFI GPT: List Apple Core Storage by its name | Christophe Grenier | 2019-12-30 | 2 | -0/+3 |
| * | src/file_txt.c: remove some commented lines | Christophe Grenier | 2019-12-30 | 1 | -13/+0 |
| * | src/file_txt.c: add a lot of frama-c annotations | Christophe Grenier | 2019-12-29 | 3 | -89/+2538 |
| * | src/file_txt.c: code cleanup (work in progress) | Christophe Grenier | 2019-12-28 | 1 | -117/+179 |
| * | src/file_txt.c: use static variable for each extension | Christophe Grenier | 2019-12-28 | 1 | -104/+144 |
| * | date_dos2unix(): adapt a more recent and readable version from Linux kernel. | Christophe Grenier | 2019-12-28 | 5 | -28/+63 |
| * | src/file_txt.c: reorder functions | Christophe Grenier | 2019-12-28 | 1 | -420/+416 |
| * | PhotoRec: src/file_pf.c - additional frama-c annotations for file_rename_pf() | Christophe Grenier | 2019-12-28 | 1 | -0/+7 |
| * | PhotoRec: stricter check in src/file_pdf.c | Christophe Grenier | 2019-12-28 | 1 | -1/+1 |
| * | PhotoRec: src/file_mov.c - fix bad check introduced in commit 91ba106b2523a64... | Christophe Grenier | 2019-12-28 | 1 | -3/+4 |
| * | Drop "-wp-depth" from Makefile.am as it has been removed in frama-c 20.0 | Christophe Grenier | 2019-12-12 | 3 | -21/+30 |
| * | "photorec /d recup_dir /cmd resume" can be used to resume a session | Christophe Grenier | 2019-12-10 | 2 | -2/+7 |
| * | Some code cleanup in file_rename() and file_rename_unicode() | Christophe Grenier | 2019-12-10 | 1 | -136/+107 |
| * | PhotoRec: Ctrl-C should break from more locations (see 6f24cf45f6f93f52b6bbb3... | Christophe Grenier | 2019-12-10 | 3 | -5/+9 |
| * | PhotoRec: When the first Ctrl-C/SIGINT, PhotoRec tries to emulate the Stop ac... | Christophe Grenier | 2019-12-08 | 6 | -6/+43 |
| * | src/file_exe.c: disable log message by default (regression introduced by 806a... | Christophe Grenier | 2019-12-08 | 1 | -0/+16 |
| * | src/file_zip.c: additional frama-c annotations | Christophe Grenier | 2019-12-07 | 1 | -6/+6 |
| * | file_tiff*: additional frama-c annotations | Christophe Grenier | 2019-12-07 | 2 | -0/+2 |
| * | src/file_spe.c: check using frama-c | Christophe Grenier | 2019-12-07 | 1 | -16/+158 |
| * | src/file_pf.c: additional frama-c annotation | Christophe Grenier | 2019-12-07 | 1 | -0/+1 |
| * | src/file_pdf.c: fix two wrong casting (regression) | Christophe Grenier | 2019-12-07 | 1 | -2/+2 |
| * | src/file_mp3.c: move some functions, additionnal frama-c annotations | Christophe Grenier | 2019-12-07 | 1 | -314/+312 |
| * | src/file_jpg.c: check with frama-c more code | Christophe Grenier | 2019-12-07 | 1 | -1/+10 |
| * | src/file_gpg.c: additional frama-c annotations | Christophe Grenier | 2019-12-07 | 1 | -1/+8 |
| * | src/file_exe.c: additional frama-c annotations | Christophe Grenier | 2019-12-07 | 1 | -3/+12 |
| * | src/file_doc.c: make more code frama-c friendly | Christophe Grenier | 2019-12-07 | 1 | -177/+326 |
| * | src/file_bmp.c: additionnal frama-c annotations | Christophe Grenier | 2019-12-07 | 1 | -2/+28 |
| * | add frama-c annotations for td_memmem() and several list related | Christophe Grenier | 2019-12-07 | 4 | -2/+80 |
| * | PhotoRec: recover SafeHouse virtual disk .sdsk files | Christophe Grenier | 2019-12-03 | 4 | -1/+70 |
| * | src/file_jpg.c: make most code frama-c friendly, file_tiff* modified to help | Christophe Grenier | 2019-11-23 | 5 | -205/+349 |
| * | src/file_tiff*.c: fix regression from commit a0fc92564e6db5dafce53c7eba11f413... | Christophe Grenier | 2019-11-23 | 2 | -60/+0 |
| * | src/file_jpg.c: make code more frama-c friendly, file_tiff* modified to | Christophe Grenier | 2019-11-17 | 5 | -405/+878 |
| * | New prototype for find_tag_from_tiff_header() | Christophe Grenier | 2019-11-16 | 3 | -28/+36 |
| * | New prototype for get_date_from_tiff_header() | Christophe Grenier | 2019-11-16 | 11 | -31/+69 |
| * | src/file_doc.c: additional frama-c checks, minor patch for | Christophe Grenier | 2019-11-16 | 1 | -9/+27 |
| * | fidentify: '-time' options to report the date/time in seconds from epoch of a... | Christophe Grenier | 2019-11-16 | 1 | -12/+24 |
| * | src/file_doc.c: make the code more frama-c friendly | Christophe Grenier | 2019-11-03 | 1 | -535/+713 |
| * | Do not call utime() when using frama-c, fix some minor warnings. | Christophe Grenier | 2019-11-01 | 6 | -12/+18 |
