382 lines
10 KiB
C
382 lines
10 KiB
C
/*
|
|
|
|
File: sessionp.c
|
|
|
|
Copyright (C) 2006-2008 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.
|
|
|
|
*/
|
|
#ifdef HAVE_CONFIG_H
|
|
#include <config.h>
|
|
#endif
|
|
#include <stdio.h>
|
|
#ifdef HAVE_SYS_STAT_H
|
|
#include <sys/stat.h>
|
|
#endif
|
|
#ifdef HAVE_UNISTD_H
|
|
#include <unistd.h> /* unlink */
|
|
#endif
|
|
#ifdef HAVE_STRING_H
|
|
#include <string.h>
|
|
#endif
|
|
#ifdef HAVE_TIME_H
|
|
#include <time.h>
|
|
#endif
|
|
#ifdef HAVE_SYS_TIME_H
|
|
#include <sys/time.h>
|
|
#endif
|
|
#ifdef HAVE_STDLIB_H
|
|
#include <stdlib.h>
|
|
#endif
|
|
#include <errno.h>
|
|
#if defined(__FRAMAC__)
|
|
#include "__fc_builtin.h"
|
|
#endif
|
|
#include "types.h"
|
|
#include "common.h"
|
|
#include "intrf.h"
|
|
#include "filegen.h"
|
|
#include "photorec.h"
|
|
#include "sessionp.h"
|
|
#include "log.h"
|
|
|
|
#define SESSION_MAXSIZE 40960
|
|
#define SESSION_FILENAME "photorec.ses"
|
|
|
|
static int session_save_empty(void)
|
|
{
|
|
FILE *f_session;
|
|
f_session=fopen(SESSION_FILENAME,"wb");
|
|
if(!f_session)
|
|
{
|
|
#ifndef DISABLED_FOR_FRAMAC
|
|
log_critical("Can't create photorec.ses file: %s\n",strerror(errno));
|
|
#endif
|
|
return -1;
|
|
}
|
|
{ /* Reserve some space */
|
|
int res;
|
|
char *buffer;
|
|
buffer=(char *)MALLOC(SESSION_MAXSIZE);
|
|
memset(buffer,0,SESSION_MAXSIZE);
|
|
res=fwrite(buffer,1,SESSION_MAXSIZE,f_session);
|
|
free(buffer);
|
|
if(res<SESSION_MAXSIZE)
|
|
{
|
|
fclose(f_session);
|
|
return -1;
|
|
}
|
|
}
|
|
fclose(f_session);
|
|
return 0;
|
|
}
|
|
|
|
int session_load(char **cmd_device, char **current_cmd, alloc_data_t *list_free_space)
|
|
{
|
|
FILE *f_session;
|
|
char *buffer;
|
|
char *pos;
|
|
int taille;
|
|
struct stat stat_rec;
|
|
unsigned int buffer_size;
|
|
// time_t my_time;
|
|
char *info=NULL;
|
|
*cmd_device=NULL;
|
|
*current_cmd=NULL;
|
|
f_session=fopen(SESSION_FILENAME,"rb");
|
|
if(!f_session)
|
|
{
|
|
log_info("Can't open photorec.ses file: %s\n",strerror(errno));
|
|
session_save_empty();
|
|
return -1;
|
|
}
|
|
#ifndef DISABLED_FOR_FRAMAC
|
|
if(fstat(fileno(f_session), &stat_rec)>=0)
|
|
buffer_size=stat_rec.st_size;
|
|
else
|
|
#endif
|
|
buffer_size=SESSION_MAXSIZE;
|
|
buffer=(char *)MALLOC(buffer_size+1);
|
|
taille=fread(buffer,1,buffer_size,f_session);
|
|
#if defined(__FRAMAC__)
|
|
Frama_C_make_unknown(buffer, buffer_size);
|
|
#endif
|
|
buffer[taille]='\0';
|
|
fclose(f_session);
|
|
pos=buffer;
|
|
if(*pos!='#')
|
|
{
|
|
free(buffer);
|
|
return -1;
|
|
}
|
|
pos++;
|
|
/* load time */
|
|
strtol(pos,&pos,10); // my_time=strtol(pos,&pos,10);
|
|
if(pos==NULL)
|
|
{
|
|
free(buffer);
|
|
return 0;
|
|
}
|
|
pos=strstr(pos,"\n");
|
|
if(pos==NULL)
|
|
{
|
|
free(buffer);
|
|
return 0;
|
|
}
|
|
pos++;
|
|
/* get current disk */
|
|
info=pos;
|
|
pos=strstr(info," ");
|
|
if(pos==NULL)
|
|
{
|
|
free(buffer);
|
|
return 0;
|
|
}
|
|
*pos='\0';
|
|
pos++;
|
|
*cmd_device=strdup(info);
|
|
/* search part_name_option */
|
|
info=pos;
|
|
pos=strstr(pos,"\n");
|
|
if(pos==NULL)
|
|
{
|
|
free(buffer);
|
|
return 0;
|
|
}
|
|
*pos='\0';
|
|
pos++;
|
|
*current_cmd=strdup(info);
|
|
while(1)
|
|
{
|
|
uint64_t start=0;
|
|
uint64_t end=0;
|
|
while(*pos>='0' && *pos<='9')
|
|
{
|
|
start=start*10 + (*pos - '0');
|
|
pos++;
|
|
}
|
|
if(*pos++ != '-')
|
|
{
|
|
free(buffer);
|
|
return 0;
|
|
}
|
|
while(*pos >= '0' && *pos <= '9')
|
|
{
|
|
end=end*10+(*pos -'0');
|
|
pos++;
|
|
}
|
|
if(start <= end)
|
|
{
|
|
alloc_data_t *new_free_space;
|
|
new_free_space=(alloc_data_t*)MALLOC(sizeof(*new_free_space));
|
|
/* Temporary storage, values need to be multiplied by sector_size */
|
|
new_free_space->start=start;
|
|
new_free_space->end=end;
|
|
new_free_space->file_stat=NULL;
|
|
new_free_space->data=1;
|
|
td_list_add_tail(&new_free_space->list, &list_free_space->list);
|
|
#ifdef DEBUG
|
|
log_trace(">%lu-%lu<\n", start, end);
|
|
#endif
|
|
}
|
|
while(*pos=='\n' || *pos=='\r')
|
|
pos++;
|
|
}
|
|
}
|
|
|
|
int session_save(const alloc_data_t *list_free_space, const struct ph_param *params, const struct ph_options *options)
|
|
{
|
|
FILE *f_session;
|
|
if(params->status==STATUS_QUIT)
|
|
return 0;
|
|
f_session=fopen(SESSION_FILENAME,"wb");
|
|
if(!f_session)
|
|
{
|
|
#ifndef DISABLED_FOR_FRAMAC
|
|
log_critical("Can't create photorec.ses file: %s\n",strerror(errno));
|
|
#endif
|
|
/*@ assert \valid_read(list_free_space); */
|
|
/*@ assert valid_ph_param(params); */
|
|
/*@ assert \valid_read(options); */
|
|
return -1;
|
|
}
|
|
#ifndef DISABLED_FOR_FRAMAC
|
|
{
|
|
struct td_list_head *free_walker = NULL;
|
|
unsigned int i;
|
|
const file_enable_t *files_enable=options->list_file_format;
|
|
unsigned int disable=0;
|
|
unsigned int enable=0;
|
|
unsigned int enable_by_default=0;
|
|
if(options->verbose>1)
|
|
{
|
|
log_trace("session_save\n");
|
|
}
|
|
fprintf(f_session,"#%lu\n%s %s,%u,",
|
|
(unsigned long int)time(NULL), params->disk->device, params->disk->arch->part_name_option, params->partition->order);
|
|
if(params->blocksize>0)
|
|
fprintf(f_session,"blocksize,%u,", params->blocksize);
|
|
fprintf(f_session,"fileopt,");
|
|
/*@
|
|
@ loop assigns i, disable, enable, enable_by_default;
|
|
@*/
|
|
for(i=0;files_enable[i].file_hint!=NULL;i++)
|
|
{
|
|
if(files_enable[i].enable==0)
|
|
disable++;
|
|
else
|
|
enable++;
|
|
if(files_enable[i].enable==files_enable[i].file_hint->enable_by_default)
|
|
enable_by_default++;
|
|
}
|
|
if(enable_by_default >= disable && enable_by_default >= enable)
|
|
{
|
|
for(i=0;files_enable[i].file_hint!=NULL;i++)
|
|
{
|
|
if(files_enable[i].enable!=files_enable[i].file_hint->enable_by_default &&
|
|
files_enable[i].file_hint->extension!=NULL &&
|
|
files_enable[i].file_hint->extension[0]!='\0')
|
|
{
|
|
fprintf(f_session,"%s,%s,", files_enable[i].file_hint->extension,
|
|
(files_enable[i].enable!=0?"enable":"disable"));
|
|
}
|
|
}
|
|
}
|
|
else if(enable > disable)
|
|
{
|
|
fprintf(f_session,"everything,enable,");
|
|
for(i=0;files_enable[i].file_hint!=NULL;i++)
|
|
{
|
|
if(files_enable[i].enable==0 &&
|
|
files_enable[i].file_hint->extension!=NULL &&
|
|
files_enable[i].file_hint->extension[0]!='\0')
|
|
{
|
|
fprintf(f_session,"%s,disable,", files_enable[i].file_hint->extension);
|
|
}
|
|
}
|
|
}
|
|
else
|
|
{
|
|
fprintf(f_session,"everything,disable,");
|
|
for(i=0;files_enable[i].file_hint!=NULL;i++)
|
|
{
|
|
if(files_enable[i].enable!=0 &&
|
|
files_enable[i].file_hint->extension!=NULL &&
|
|
files_enable[i].file_hint->extension[0]!='\0')
|
|
{
|
|
fprintf(f_session,"%s,enable,", files_enable[i].file_hint->extension);
|
|
}
|
|
}
|
|
}
|
|
/* Save options */
|
|
fprintf(f_session, "options,");
|
|
if(options->paranoid==0)
|
|
fprintf(f_session, "paranoid_no,");
|
|
else if(options->paranoid==1)
|
|
fprintf(f_session, "paranoid,");
|
|
else
|
|
fprintf(f_session, "paranoid_bf,");
|
|
if(options->keep_corrupted_file>0)
|
|
fprintf(f_session, "keep_corrupted_file,");
|
|
else
|
|
fprintf(f_session, "keep_corrupted_file_no,");
|
|
if(options->mode_ext2>0)
|
|
fprintf(f_session, "mode_ext2,");
|
|
if(options->expert>0)
|
|
fprintf(f_session, "expert,");
|
|
if(options->lowmem>0)
|
|
fprintf(f_session, "lowmem,");
|
|
/* Save options - End */
|
|
if(params->carve_free_space_only>0)
|
|
fprintf(f_session,"freespace,");
|
|
else
|
|
fprintf(f_session,"wholespace,");
|
|
fprintf(f_session,"search,");
|
|
switch(params->status)
|
|
{
|
|
case STATUS_UNFORMAT:
|
|
fprintf(f_session, "status=unformat,");
|
|
break;
|
|
case STATUS_FIND_OFFSET:
|
|
fprintf(f_session, "status=find_offset,");
|
|
break;
|
|
case STATUS_EXT2_ON_BF:
|
|
fprintf(f_session, "status=ext2_on_bf,");
|
|
break;
|
|
case STATUS_EXT2_ON_SAVE_EVERYTHING:
|
|
fprintf(f_session, "status=ext2_on_save_everything,");
|
|
break;
|
|
case STATUS_EXT2_ON:
|
|
fprintf(f_session, "status=ext2_on,");
|
|
break;
|
|
case STATUS_EXT2_OFF_SAVE_EVERYTHING:
|
|
fprintf(f_session, "status=ext2_off_save_everything,");
|
|
break;
|
|
case STATUS_EXT2_OFF_BF:
|
|
fprintf(f_session, "status=ext2_off_bf,");
|
|
break;
|
|
case STATUS_EXT2_OFF:
|
|
fprintf(f_session, "status=ext2_off,");
|
|
break;
|
|
case STATUS_QUIT:
|
|
break;
|
|
}
|
|
if(params->status!=STATUS_FIND_OFFSET && params->offset!=PH_INVALID_OFFSET)
|
|
fprintf(f_session, "%llu,",
|
|
(long long unsigned)(params->offset/params->disk->sector_size));
|
|
fprintf(f_session,"inter\n");
|
|
td_list_for_each(free_walker, &list_free_space->list)
|
|
{
|
|
alloc_data_t *current_free_space;
|
|
current_free_space=td_list_entry(free_walker, alloc_data_t, list);
|
|
fprintf(f_session,"%llu-%llu\n",
|
|
(long long unsigned)(current_free_space->start/params->disk->sector_size),
|
|
(long long unsigned)(current_free_space->end/params->disk->sector_size));
|
|
}
|
|
}
|
|
#endif
|
|
{ /* Reserve some space */
|
|
int res;
|
|
char *buffer;
|
|
buffer=(char *)MALLOC(SESSION_MAXSIZE);
|
|
memset(buffer,0,SESSION_MAXSIZE);
|
|
res=fwrite(buffer,1,SESSION_MAXSIZE,f_session);
|
|
free(buffer);
|
|
if(res<SESSION_MAXSIZE)
|
|
{
|
|
fclose(f_session);
|
|
/*@ assert \valid_read(list_free_space); */
|
|
/*@ assert valid_ph_param(params); */
|
|
/*@ assert \valid_read(options); */
|
|
return -1;
|
|
}
|
|
}
|
|
fclose(f_session);
|
|
/*@ assert \valid_read(list_free_space); */
|
|
/*@ assert valid_ph_param(params); */
|
|
/*@ assert \valid_read(options); */
|
|
return 0;
|
|
}
|
|
|
|
time_t regular_session_save(alloc_data_t *list_free_space, struct ph_param *params, const struct ph_options *options, time_t current_time)
|
|
{
|
|
time_t new_time;
|
|
/* Save current progress */
|
|
session_save(list_free_space, params, options);
|
|
new_time=time(NULL);
|
|
/* If it takes more then 30s to save the session, save every 15 minutes instead of every 5 minutes */
|
|
return new_time+(current_time+30<new_time?15:5)*60;
|
|
}
|