Commit graph

10 commits

Author SHA1 Message Date
Christophe Grenier
d2d79fe429 src/common.c: rewrite set_part_name(), set_part_name_chomp() and
date_dos2unix() to fix Frama-C warnings
2023-08-25 16:45:59 +02:00
Christophe Grenier
b2a0d41da6 Numerous frama-c annotations 2021-11-20 11:26:50 +01:00
Christophe Grenier
cec850223e PhotoRec: rewrote the size tests to be more readable 2020-09-14 18:38:12 +02:00
Christophe Grenier
1f85a5da9a New prototype for test_ISO() 2016-01-23 10:14:22 +01:00
Christophe Grenier
824c7217cf Return blocksize for ISO9660 filesystem 2012-08-12 20:29:39 +02:00
Christophe Grenier
cfce3a37ce Add blocksize in filesystem description 2012-04-21 14:14:54 +02:00
Christophe Grenier
32d529ddcd remove unsued parameters from check_btrfs() and recover_ISO() 2012-04-15 11:23:48 +02:00
Christophe Grenier
8f99c2dbed Remove unused disk_car argument from test_ISO() function 2009-11-01 11:18:54 +01:00
Christophe Grenier
9b6efe3914 PhotoRec: don'tinclude iso9660.h in iso.h 2009-10-25 18:29:16 +01:00
Christophe Grenier
07c141de4d Identify ISO9660 image as non-partitionned media 2009-10-19 22:14:08 +02:00