Christophe Grenier
|
3a8160d3a9
|
src/file_afdesign.c: add frama-c annotation for header_check_afdesign()
|
2021-02-07 21:56:29 +01:00 |
|
Christophe Grenier
|
e7a92eb929
|
src/file_ado.c: add frama-c annotations
|
2021-02-07 21:02:34 +01:00 |
|
Christophe Grenier
|
19dc17637e
|
src/file_ace.c: better frama-c annotations
|
2021-02-07 20:59:49 +01:00 |
|
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 |
|