1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
|
/*
File: file_ddf.c
Copyright (C) 2011 Christophe GRENIER <grenier@cgsecurity.org>
This software is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License along
with this program; if not, write the Free Software Foundation, Inc., 51
Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
*/
#if !defined(SINGLE_FORMAT) || defined(SINGLE_FORMAT_ddf)
#ifdef HAVE_CONFIG_H
#include <config.h>
#endif
#ifdef HAVE_STRING_H
#include <string.h>
#endif
#include <stdio.h>
#ifdef HAVE_TIME_H
#include <time.h>
#endif
#include "types.h"
#include "filegen.h"
#include "common.h"
/*@ requires valid_register_header_check(file_stat); */
static void register_header_check_ddf(file_stat_t *file_stat);
const file_hint_t file_hint_ddf= {
.extension="ddf",
.description="Didson Data File",
.max_filesize=PHOTOREC_MAX_FILE_SIZE,
.recover=1,
.enable_by_default=1,
.register_header_check=®ister_header_check_ddf
};
struct MasterHeader
{
uint32_t m_nVersion; // VERSION_DDF_03 = 0x03464444
uint32_t m_nFrameTotal;
uint32_t m_nFrameRate; // requested frame rate...actual rate may differ
uint32_t m_bHighResolution;
uint32_t m_nNumRawBeams; // Std HF = 96, Std LF and LR HF/LF = 48, may be 64 or 128 if v5
float m_fSampleRate; // dependent on Window Length
uint32_t m_nSamplesPerChannel; // always 512
uint32_t m_nReceiverGain; // relative value, 0-40 dB
uint32_t m_nWindowStart; // code: value in master header is initial value
uint32_t m_nWindowLength; // code: value in master header is initial value
uint32_t m_bReverse; // TRUE if lens down orientation
uint32_t m_nSN; // serial number of sonar
char m_cDate[32]; // date string
char m_cHeaderID[256]; // annotation string
int32_t m_iUserID1; // Four user ID values displayed in header pane
int32_t m_iUserID2; // These values are inserted by user external via
int32_t m_iUserID3; // the Edit->Header ID command
int32_t m_iUserID4;
uint32_t m_nStartFrame; // for snippet or truncated file, from source file
uint32_t m_nEndFrame; // for snippet or truncated file, from source file
uint32_t m_bTimeLapse; // flag for time lapse data recording
uint32_t m_nRecordInterval; // interval between saved frames (N seconds)
int32_t m_iRadioSeconds; // 0 = N frames interval, 1 = N seconds interval
uint32_t m_nFrameInterval; // interval between saved frames (N frames)
uint32_t m_nFlags; // save displayed processing flags (see Table 1)
uint32_t m_nAuxFlags; // types of aux information present (see Table 2)
uint32_t m_nSspd; // sound velocity in water from DidsonV6.ini
uint32_t m_n3DFlags; // reserved...currently unused
/* Fields for v4 are added here*/
char m_cRsvdData[120]; // (120) pad to 512 bytes
} __attribute__ ((gcc_struct, __packed__));
/*@
@ requires \valid_read(buffer+(0..sizeof(struct MasterHeader)-1));
@ requires \valid(file_recovery_new);
@ requires separation: \separated(&file_hint_ddf, buffer+(..), file_recovery_new);
@ ensures \result == 1;
@ ensures valid_header_check_result(\result, file_recovery_new);
@ assigns *file_recovery_new;
@*/
static int header_check_aux(const unsigned char *buffer, file_recovery_t *file_recovery_new)
{
const char *date_asc=(const char *)&buffer[0x3f];
reset_file_recovery(file_recovery_new);
file_recovery_new->extension=file_hint_ddf.extension;
if(date_asc[4]=='-' && date_asc[7]=='-' && date_asc[10]=='_')
{
file_recovery_new->time=get_time_from_YYYY_MM_DD_HHMMSS(date_asc);
}
return 1;
}
/*@
@ requires buffer_size >= sizeof(struct MasterHeader);
@ requires separation: \separated(&file_hint_ddf, buffer+(..), file_recovery, file_recovery_new);
@ requires valid_header_check_param(buffer, buffer_size, safe_header_only, file_recovery, file_recovery_new);
@ ensures valid_header_check_result(\result, file_recovery_new);
@ assigns *file_recovery_new;
@*/
static int header_check_ddf3(const unsigned char *buffer, const unsigned int buffer_size, const unsigned int safe_header_only, const file_recovery_t *file_recovery, file_recovery_t *file_recovery_new)
{
const struct MasterHeader *h=(const struct MasterHeader *)buffer;
if(le32(h->m_nNumRawBeams)!=96 && le32(h->m_nNumRawBeams)!=48)
return 0;
if(le32(h->m_nSamplesPerChannel)!=512)
return 0;
return header_check_aux(buffer, file_recovery_new);
}
/*@
@ requires buffer_size >= sizeof(struct MasterHeader);
@ requires separation: \separated(&file_hint_ddf, buffer+(..), file_recovery, file_recovery_new);
@ requires valid_header_check_param(buffer, buffer_size, safe_header_only, file_recovery, file_recovery_new);
@ ensures valid_header_check_result(\result, file_recovery_new);
@ assigns *file_recovery_new;
@*/
static int header_check_ddf4(const unsigned char *buffer, const unsigned int buffer_size, const unsigned int safe_header_only, const file_recovery_t *file_recovery, file_recovery_t *file_recovery_new)
{
const struct MasterHeader *h=(const struct MasterHeader *)buffer;
if(le32(h->m_nNumRawBeams)!=96 && le32(h->m_nNumRawBeams)!=48)
return 0;
if(le32(h->m_nSamplesPerChannel)!=512)
return 0;
return header_check_aux(buffer, file_recovery_new);
}
/*@
@ requires buffer_size >= sizeof(struct MasterHeader);
@ requires separation: \separated(&file_hint_ddf, buffer+(..), file_recovery, file_recovery_new);
@ requires valid_header_check_param(buffer, buffer_size, safe_header_only, file_recovery, file_recovery_new);
@ ensures valid_header_check_result(\result, file_recovery_new);
@ assigns *file_recovery_new;
@*/
static int header_check_ddf5(const unsigned char *buffer, const unsigned int buffer_size, const unsigned int safe_header_only, const file_recovery_t *file_recovery, file_recovery_t *file_recovery_new)
{
const struct MasterHeader *h=(const struct MasterHeader *)buffer;
switch(le32(h->m_nNumRawBeams))
{
case 48:
case 96:
case 64:
case 128:
break;
default:
return 0;
}
if(le32(h->m_nSamplesPerChannel)<512 || le32(h->m_nSamplesPerChannel)>4096)
return 0;
return header_check_aux(buffer, file_recovery_new);
}
static void register_header_check_ddf(file_stat_t *file_stat)
{
static const unsigned char ddf3_header[4]= { 'D' , 'D' , 'F' , 0x03 };
static const unsigned char ddf4_header[4]= { 'D' , 'D' , 'F' , 0x04 };
static const unsigned char ddf5_header[4]= { 'D' , 'D' , 'F' , 0x05 };
register_header_check(0, ddf3_header, sizeof(ddf3_header), &header_check_ddf3, file_stat);
register_header_check(0, ddf4_header, sizeof(ddf4_header), &header_check_ddf4, file_stat);
register_header_check(0, ddf5_header, sizeof(ddf5_header), &header_check_ddf5, file_stat);
}
#endif
|
