Commit graph

2505 commits

Author SHA1 Message Date
Christophe Grenier
c50f7a2b60 src/file_pf.c: add frama-c annotations 2021-02-07 20:20:22 +01:00
Christophe Grenier
175ca33748 src/file_acb.c: add frama-c annotations 2021-02-07 19:23:09 +01:00
Christophe Grenier
08759b3f43 src/file_a.c: add more frama-c annotations 2021-02-07 19:19:10 +01:00
Christophe Grenier
fa50d166ec src/file_abr.c: stricter frama-c annotation 2021-02-07 18:42:37 +01:00
Christophe Grenier
b396d3af19 src/file_7z.c: add frama-c annotations 2021-02-07 18:17:41 +01:00
Christophe Grenier
ddf90c5c4a src/file_3dm.c: add frama-c annotations 2021-02-07 17:40:07 +01:00
Christophe Grenier
59cbf8c839 src/file_1cd.c: add more frama-c annotations 2021-02-07 17:31:14 +01:00
Christophe Grenier
f77b8423e9 src/file_ttf.c: fix size detection 2021-02-07 17:10:52 +01:00
Christophe Grenier
888cbb5011 src/file_gsm.c: fix frama-c warnings 2021-02-07 17:06:12 +01:00
Christophe Grenier
ab9eb3a8ae src/file_mxf.c: fix frama-c warnings 2021-02-07 16:53:06 +01:00
Christophe Grenier
d7c37c5529 src/file_mpg.c: fix some frama-c warnings 2021-02-07 15:59:57 +01:00
Christophe Grenier
68eb9e3997 src/file_mov.c: fix frama-c warnings 2021-02-07 15:39:17 +01:00
Christophe Grenier
c417e742d6 src/file_mp3.c: fix some frama-c warnings 2021-02-07 10:21:39 +01:00
Christophe Grenier
b3e930c4b5 src/file_mlv.c: fix frama-c warnings 2021-02-06 23:00:07 +01:00
Christophe Grenier
1fc44cfaf8 src/file_mid.c: fix frama-c warnings 2021-02-06 22:22:41 +01:00
Christophe Grenier
162d0ca174 src/file_m2ts.c: fix some frama-c warnings 2021-02-06 21:58:01 +01:00
Christophe Grenier
2331456038 src/file_idx.c: fix frama-c warnings 2021-02-06 17:16:01 +01:00
Christophe Grenier
e373092511 src/file_gif.c: fix frama-c warnings 2021-02-06 17:11:09 +01:00
Christophe Grenier
93e4d253fe src/filegen.h: data_check() can also update time 2021-02-06 17:04:20 +01:00
Christophe Grenier
0bcffdf162 src/file_bvr.c: add missing frama-c annotations 2021-02-06 16:50:03 +01:00
Christophe Grenier
63d53f1a35 src/file_fs.c: fix frama-c warning 2021-01-31 11:02:48 +01:00
Christophe Grenier
553eb910dc src/file_flv.c: fix frama-c warnings 2021-01-31 10:50:49 +01:00
Christophe Grenier
018f31721e src/file_flac.c: check flac metadata 2021-01-31 09:29:37 +01:00
Christophe Grenier
766aa8ca26 src/file_fits.c: improve frama-c annotations.
Two integer overflow can still be triggered.
2021-01-31 09:06:51 +01:00
Christophe Grenier
afbf1bf437 src/file_ext.c: add more frama-c annotations 2021-01-30 11:34:34 +01:00
Christophe Grenier
c8b2b3d3d3 src/filegen.c, src/list.h: update frama-c annotations 2021-01-30 11:05:02 +01:00
Christophe Grenier
90e8f7414d move struct ext2_super_block from src/ext2.h to src/ext2_common.h 2021-01-29 22:53:48 +01:00
Christophe Grenier
0c59aa8d22 src/filegen.c: fix error reported by frama-c in file_check_cmp() 2021-01-29 22:42:05 +01:00
Christophe Grenier
590cf7dab3 src/file_evt.c: fix frama-c annotations 2021-01-29 21:16:33 +01:00
Christophe Grenier
cd6dec4139 src/file_emf.c: improve frama-c annotations 2021-01-29 20:52:11 +01:00
Christophe Grenier
9572df41f0 src/file_dxf.c: update frama-c annotations 2021-01-29 19:32:49 +01:00
Christophe Grenier
c1be5b4ac2 src/filegen.[ch]: update frama-c annotations 2021-01-29 19:29:35 +01:00
Christophe Grenier
5d914f2a45 src/file_dv.c: fix frama-c annotations for data_check_*() 2021-01-29 19:09:18 +01:00
Christophe Grenier
d585a2d924 src/file_dir.c: update frama-c annotations 2021-01-29 19:04:51 +01:00
Christophe Grenier
05df5fe763 src/file_dad.c: fix frama-c warnings in data_check_dad() 2021-01-29 18:55:31 +01:00
Christophe Grenier
f477eaa192 src/file_bld.c: fix frama-c warnings in data_check_*() 2021-01-29 18:54:53 +01:00
Christophe Grenier
236f0e9c38 src/file_bac.c: fix frama-c warnings in data_check_bac() 2021-01-29 18:33:39 +01:00
Christophe Grenier
f8f14a0a34 src/file_axp.c: fix frama-c warnings in data_check_axp() 2021-01-29 18:29:00 +01:00
Christophe Grenier
f347988c54 src/file_amr.c: fix frama-c warning in data_check_amr() 2021-01-29 18:22:48 +01:00
Christophe Grenier
5ab05b0da3 src/file_ab.c: fix frama-c warning in data_check_addressbook() 2021-01-29 18:08:54 +01:00
Christophe Grenier
51320a0415 src/file_abr.c: fix frama-c warning in data_check_abr() 2021-01-29 17:39:43 +01:00
Christophe Grenier
29dfb071f5 src/file_lnk.c: fix parser 2021-01-29 17:38:41 +01:00
Christophe Grenier
2346e44dfd copr: add make BuildRequires 2021-01-06 19:22:57 +01:00
Christophe Grenier
ba56bd42c2 PhotoRec: recover bbdoc files (zip archives) 2021-01-06 19:19:50 +01:00
Christophe Grenier
5cea6eb886 Disable some code sections for frama-c 2021-01-06 18:59:37 +01:00
Christophe Grenier
0889811958 PhotoRec: recover Doom .wad files 2021-01-06 18:52:23 +01:00
Christophe Grenier
d9919bf277 New prototype for ask_location() and td_getcwd() 2020-12-06 14:19:01 +01:00
Christophe Grenier
39535fa503 src/dirn.c: clear "Stop" message once files have been copied 2020-11-29 11:30:54 +01:00
Christophe Grenier
0a7811bc2b Do not return the file handle when calling log_open() and log_open_default() 2020-11-27 19:19:33 +01:00
Christophe Grenier
5167a2ddf8 fat: use uint8_t instead of int8_t for name and ext 2020-11-27 18:54:03 +01:00